Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs. @return the next token @e

Returns the size of the current FlowSet.

Return the first (sub)term performed when evaluating this term.

returns the elements of the universe in form of an array.<br> The returned array could be backed or not. If you want to be sure that it is unbacked, c

Inserts <code>toInsert</code> in the Chain before <code>point</code>.

Returns an iterator for the nodes in this graph. No specific ordering of the nodes is guaranteed.

Visit a single child of the node. @param v The visitor which will traverse/rewrite the AST. @param child The child to visit. @return The result of <c

Retrieves the active body for this method.

Inserts <code>toInsert</code> in the Chain before <code>point</code>.

Returns the {@link Body} from which this graph was built. @return the <code>Body</code> from which this graph was built.

Returns the sootCommandList. @return SootCommandList

Create an edge for a node <code>a</code> with a single successor <code>succ</code>. The EdgeKey used for the edge from <code>a</code> to <code>succ</

Converts internal representation into an actual String. @return String version of this utf8 object.

Constructs a Local with the given name and type.

Copies the current FlowSet into dest.

Compose two delegates together. Order is important: e1 gets added at the end of e2's chain. @param e1 the <code>JL</code> object to add to the end of

Compose two extensions together. Order is important: e1 gets added at the end of e2's chain of extensions. @param e1 the <code>Ext</code> object to ad

Returns the node count for this graph.

Creates an ArrayType parametrized by a given Type and dimension count. @param baseType a Type to parametrize the ArrayType @param numDimensions the

Returns the first object in this Chain.

This is the method to add CPE items to a class. CPE items for a class are "uniquefied". Ie, if you add a CPE items whose contents already exist in the

Returns the name of this method.

returns a mapping of units to trap-changes. whenever the scope of a trap changes (ie. a trap opens or closes), an entry is added in the map, and the u

Creates a new TypedList, containing all the elements of <list>, which restricts all members to belong to class <c>. If <c> is null, no typing restric

Index into the array.

Parse a string into an AST node of the given type, applying substitutions.

Returns the class which declares the current <code>SootMethod</code>.

Constructs a NopStmt() grammar chunk.

@param key

Adds the given object at the beginning of the Chain.

Set the containing class of the field.

Returns a list of predecessors for the given node in the graph.

Return whether the expression evaluates to a constant. This is not valid until after disambiguation.

Create an empty list.

WARNING: interfaces are subclasses of the java.lang.Object class! Returns the superclass of this class. (see hasSuperclass())

Tests if there are more tokens available from this tokenizer's string. Pre-condition: not inside a quoted string (token).

The literal's value.

Returns the constant value of the expression, if any.

Returns the unit contained within this box.

Right child of the binary.

Returns the union (join) of this FlowSet and <code>other</code>, putting result into <code>this</code>.