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>

Constructor Summary
ODPAMain()
           
 
Method Summary
static boolean check_mcg()
           
static boolean isCoherent()
           
static void main(String[] params)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ODPAMain

public ODPAMain()
Method Detail

main

public static void main(String[] params)
                 throws IOException
IOException

isCoherent

public static boolean isCoherent()

check_mcg

public static boolean check_mcg()