harpoon.Main
Class Purity

java.lang.Object
  harpoon.Main.Purity

public class Purity
extends Object

Purity

Version:

$Id: Purity.java,v 1.6 2005/11/30 19:44:20 salcianu Exp $

Author:

Alexandru Salcianu <salcianu@alum.mit.edu>

Field Summary

static String

VERSION Version number for the Purity tool.

Constructor Summary

Purity()

Method Summary

static void

main(String[] args) Convenient entry point for the purity analysis.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

VERSION

public static String VERSION

Version number for the Purity tool.

Constructor Detail

Purity

public Purity()

Method Detail

main

public static void main(String[] args)

Convenient entry point for the purity analysis. args[0] should be the main class of the application you want to analyze. args[1] should be the path where your application resides. The analysis will load the analyzed classes from this path and from the GNU classpath implementation of the Java standard library (if your application invokes the standard library); you do NOT need to pass the path to GNU classpath: we use the glibj.zip included in the purity analysis kit.

The rest of the arguments are passed verbatim to SAMain.main

If you encounter problems, try using