---

Main Class Reference

List of all members.

Static Public Methods
void	main (String args[])
void	main (String[] args) throws RuntimeException
void	printClassInfo (String name)
void	main (String[] args) throws RuntimeException
void	main (String[] args) throws RuntimeException
String	paddedLeftOf (String s, int length)
double	truncatedOf (double d, int numDigits)
void	main (java.lang.String[] args) throws Exception
void	main (String[] args)
void	main (String args[])
Static Public Attributes
String	VERSION = "JVM 0.1 beta 12 - (C) 2000 RIACS/NASA Ames Research Center"
boolean	isVerbose
String	jimpleClassPath
Static Private Methods
void	handleClass (SootClass c, String postFix, PrintWriter writerOut, int buildBodyOptions)
void	handleClass (SootClass c, String postFix, PrintWriter writerOut, int buildBodyOptions)
String	toFormattedString (double value)
String	toTimeString (Timer timer, long totalTime)
Static Private Attributes
boolean	naiveJimplification
boolean	onlyJimpleOutput
boolean	onlyJasminOutput
boolean	isProfilingOptimization
boolean	oldTyping
boolean	isInDebugMode
boolean	usePackedLive
boolean	usePackedDefs = true
boolean	isTestingPerformance
boolean	produceJimpleFile
boolean	produceJasminFile
boolean	produceJimpFile = true
boolean	produceGrimpleFile
boolean	produceGrimpFile = true
Timer	copiesTimer = new Timer()
Timer	defsTimer = new Timer()
Timer	usesTimer = new Timer()
Timer	liveTimer = new Timer()
Timer	splitTimer = new Timer()
Timer	packTimer = new Timer()
Timer	cleanup1Timer = new Timer()
Timer	cleanup2Timer = new Timer()
Timer	conversionTimer = new Timer()
Timer	cleanupAlgorithmTimer = new Timer()
Timer	graphTimer = new Timer()
Timer	assignTimer = new Timer()
Timer	resolveTimer = new Timer()
Timer	aggregationTimer = new Timer()
Timer	totalTimer = new Timer()
int	conversionLocalCount
int	cleanup1LocalCount
int	splitLocalCount
int	assignLocalCount
int	packLocalCount
int	cleanup2LocalCount
int	conversionStmtCount
int	cleanup1StmtCount
int	splitStmtCount
int	assignStmtCount
int	packStmtCount
int	cleanup2StmtCount
int	totalFlowNodes
int	totalFlowComputations
Timer	splitPhase1Timer = new Timer()
Timer	splitPhase2Timer = new Timer()
Timer	defsSetupTimer = new Timer()
Timer	defsAnalysisTimer = new Timer()
Timer	defsPostTimer = new Timer()
Timer	liveSetupTimer = new Timer()
Timer	liveAnalysisTimer = new Timer()
Timer	livePostTimer = new Timer()
Timer	grimpAggregationTimer = new Timer()
Timer	deadCodeTimer = new Timer()
Timer	propagatorTimer = new Timer()

---

Detailed Description

Main is a class used to execute JPF with the Java virtual machine.

Author:

Flavio Lerda , Willem Visser

Version:

1.0

Since:

1.0

Definition at line 38 of file lib/jpf/gov/nasa/arc/ase/jpf/jvm/Main.java.

---

Member Function Documentation

void Main::main (  String   args[] )  [inline, static]

Executes the model checker. After parsing the arguments, it initializes the virtual machine and executes the model checker engine. Parameters: args   an array of strings containing the program arguments Definition at line 63 of file src/gov/nasa/arc/ase/jpf/jvm/Main.java.

void Main::main (  java.lang.String   args[] )  [inline, static]

Starts the application. Parameters: args   an array of command-line arguments Definition at line 46 of file src/edu/ksu/cis/bandera/abstraction/Main.java.

---

Member Data Documentation

String Main::VERSION = "JVM 0.1 beta 12 - (C) 2000 RIACS/NASA Ames Research Center" [static]

A String containing the version of the Java virtual machine. This field is used to output the version information by the Engine class. See also: gov.nasa.arc.ase.jpf.Enginestart() Definition at line 54 of file src/gov/nasa/arc/ase/jpf/jvm/Main.java.

---

The documentation for this class was generated from the following files:

• lib/jpf/gov/nasa/arc/ase/jpf/jvm/Main.java
• src/ca/mcgill/sable/soot/grimp/Main.java
• src/ca/mcgill/sable/soot/jimple/Main.java
• src/gov/nasa/arc/ase/jpf/jvm/Main.java
• src/ca/mcgill/sable/soot/coffi/Main.java
• src/edu/ksu/cis/bandera/abstraction/Main.java
• src/edu/ksu/cis/bandera/abstraction/pvs/Main.java

---