harpoon.Main
Class ODPAMain
java.lang.Object
|
+--harpoon.Main.ODPAMain
- public abstract class ODPAMain
- extends Object
ODPAMain
is a simple Pointer Analysis top-level class.
It is designed for testing and evaluation only.
- Version:
- $Id: ODPAMain.java,v 1.3 2002/02/26 22:46:40 cananian Exp $
- Author:
- Alexandru SALCIANU <salcianu@retezat.lcs.mit.edu>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ODPAMain
public ODPAMain()
main
public static void main(String[] params)
throws IOException
IOException
isCoherent
public static boolean isCoherent()
check_mcg
public static boolean check_mcg()