Branch Stmts Creation

Creates a method which calls java.lang.Class.forName(String). The method should look like the following: <pre> .static java.lang.Class class

Create class file

Adds a path to the classpath.

Creates a conitional AND expr

Creates a conditional OR expr

Constructor Call Creation

Constructor Declaration Creation

DoWhile Stmts Creation

initialize area containing options as a stack layout

Field Declaration Creation

For Loop Stmts Creation

Formal creation - method parameters

If Stmts Creation - only add line-number tags to if (the other stmts needing tags are created elsewhere

Create an initial Item for the term node. This is generally how the Item that will be given to the start node of a graph is created, although this met

Initializer Creation

Jimple Body Creation

Create a new non-<code>SourceJob</code> <code>Job</code>, for the given AST. In general this method should only be called by <code>spawnJob</code>. @

Labeled Stmt Creation

Literal Creation

Local Class Decl - Local Inner Class

Local Decl Creation

Method Declaration Creation

Procedure Declaration Helper Methods creates procedure name

Create the node factory for this extension.

Return Stmts Creation

creates the tree of options sections

creates the tree of options sections

Source Creation

Create a new <code>SourceJob</code> for the given source and AST. In general, this method should only be called by <code>addJob</code>.

Adds a path to sourcepath.

Switch Stmts Creation

Synchronized Stmt Creation

Throw Stmt Creation

Try Stmt Creation

handles try/catch (try/catch/finally is separate for simplicity)

handles try/catch/finally (try/catch is separate for simplicity)

Create the type for this class file.

Create the type system for this extension.

While Stmts Creation

Method for creating a new uniquely named hidden non-terminal using the given string as a base for the name (or "NT$" if null is passed). @param prefi

Demand-driven refinement-based context-sensitive points-to analysis -- After running Spark, refine points-to sets on demand with context information.