Fetch an action from the action table. The table is broken up into rows, one per state (rows are indexed directly by state number). Within each row

Return the tainted variables @rtype : L{TaintedVariables}

Assume nothing about Refs.

Returns true iff <code>p</code> has exactly the formal arguments <code>formalTypes</code>.

The input data flow item. Should only be called after data flow analysis is performed.

Get the next node in the tree. Return NULL if there are no more nodes.

Get the type object for the initializer expression, or null. We evaluate the initializer expression as if it were in an initializer block (e.g., <code

Returns true iff this is the default case.

Returns the isExtraCmd. @return boolean

Is it an inside node ?

Is it a load node ?

Convenience method returning true if this class is a phantom class. @see Scene#getPhantomClasses()

Convenience method returning true if this method is static.

Indicate if this is an action (rather than a symbol). Here in the base class, we don't this know yet, so its an abstract method.

Return the job associated with this Translator.

Optional label for referring to the part within an action (null for no label).

Load just the set of basic classes soot needs, ignoring those specified on the command-line. You don't need to use both this and loadNecessaryClasse

Get the number of bytes that haven't been ran through the match finder yet.

Set the local's name.

The method's name.

The declaration's name.

Returns an empty ShimpleBody associated with method m, using default phase options.

Constructs a CaughtExceptionRef() grammar chunk.