Get the procedureInstance of the constructor.

Get the procedure instance of the method.

Visit this statement by the given statement visitor. This will invoke the corresponding method in the visitor. @param <T> return type @param v Entry p

The entry point of native method simulation. @param method, must be a native method @param thisVar, the variable represent @this, it c

Method processAttributesDom.

Returns (Unit, Constant) pair if an assumption has changed due to the fact that u is reachable. Else returns null.

Calculate dominance frontier for a set of basic blocks. <p> Uses the algorithm of Cytron et al., TOPLAS Oct. 91: <pre> for each X in a bottom-up tra

Specific stmts within AST Constructs are processed through this method. It will be invoked everytime a stmt is encountered

Deal with the key in the switch construct

To deal with the local used for synch blocks

To have maximum flexibility in analyzing conditions the analysis API breaks down the aggregated conditions to simple unary or binary conditions user d

Actually does the propagation.

Propagates constants to the definition and uses of the relevant locals given a mapping. Notice that we use the Shimple implementation of LocalDefs an

Propagate lookahead sets through the constructed viable prefix recognizer. When the machine is constructed, each item that results in the crea

Propagate lookahead sets out of this state. This recursively propagates to all items that have propagation links from some item in this state.

Returns the prototype of this field. @param constant_pool the constant_pool for this class. @return the prototype (access + return + name + parameters

Removes the first block in the queue (and resets its <i>inq</i> flag). @return BasicBlock which was first. @exception java.util.NoSuchElementException

Enter the scope of a source file.

Enter a static scope. In general, this is only used for explicit constructor calls; static methods, initializers of static fields and static initializ

Associates a value with a key.

Parse the input as an <code>ClassDecl</code>.

Parse the input as an <code>Expr</code>.

Parse the input as an <code>SourceFile</code>.

Parse the input as an <code>ClassMember</code>.

Parse the input as an <code>Stmt</code>.

Parse the input as an <code>TypeNode</code>.

Get the qualifier expression of the allocation.