Program (Soot - a J*va Optimization Framework 4.2.1 API)

java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Program

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class Program
extends ASTNode<ASTNode>
implements Cloneable

Field Summary

Fields
Modifier and Type	Field and Description
`protected BytecodeReader`	`bytecodeReader`
`int`	`classFileReadTime`
`protected List`	`getLibCompilationUnit_String_list`
`protected Map`	`getLibCompilationUnit_String_values`
`protected boolean`	`getPrimitiveCompilationUnit_computed`
`protected PrimitiveCompilationUnit`	`getPrimitiveCompilationUnit_value`
`protected Map`	`hasPackage_String_values`
`protected JavaParser`	`javaParser`
`protected Map`	`lookupLibType_String_String_values`
`protected Map`	`lookupType_String_String_values`
`static int`	`SRC_PREC_CLASS`
`static int`	`SRC_PREC_JAVA`
`static int`	`SRC_PREC_ONLY_CLASS`
`protected boolean`	`typeBoolean_computed`
`protected TypeDecl`	`typeBoolean_value`
`protected boolean`	`typeByte_computed`
`protected TypeDecl`	`typeByte_value`
`protected boolean`	`typeChar_computed`
`protected TypeDecl`	`typeChar_value`
`protected boolean`	`typeCloneable_computed`
`protected TypeDecl`	`typeCloneable_value`
`protected boolean`	`typeDouble_computed`
`protected TypeDecl`	`typeDouble_value`
`protected boolean`	`typeFloat_computed`
`protected TypeDecl`	`typeFloat_value`
`protected boolean`	`typeInt_computed`
`protected TypeDecl`	`typeInt_value`
`protected boolean`	`typeLong_computed`
`protected TypeDecl`	`typeLong_value`
`protected boolean`	`typeNull_computed`
`protected TypeDecl`	`typeNull_value`
`protected boolean`	`typeObject_computed`
`protected TypeDecl`	`typeObject_value`
`protected boolean`	`typeSerializable_computed`
`protected TypeDecl`	`typeSerializable_value`
`protected boolean`	`typeShort_computed`
`protected TypeDecl`	`typeShort_value`
`protected boolean`	`typeString_computed`
`protected TypeDecl`	`typeString_value`
`protected boolean`	`typeVoid_computed`
`protected TypeDecl`	`typeVoid_value`
`protected boolean`	`unknownConstructor_computed`
`protected ConstructorDecl`	`unknownConstructor_value`
`protected boolean`	`unknownType_computed`
`protected TypeDecl`	`unknownType_value`
`protected boolean`	`wildcards_computed`
`protected WildcardsCompilationUnit`	`wildcards_value`

Fields inherited from class soot.JastAddJ.ASTNode
children, generatedWithCacheCycle, generatedWithCircularEnabled, generatedWithComponentCheck, in$Circle, is$Final, numChildren, parent, PRIMITIVE_PACKAGE_NAME, state

Fields inherited from class beaver.Symbol
end, id, start, value

Constructor Summary

Constructors
Constructor and Description

Program()

Program(List<CompilationUnit> p0)

Constructors
Constructor and Description
`Program()`
`Program(List<CompilationUnit> p0)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addClassPath(PathPart pathPart)` Add a path part to the library class path.
`void`	`addCompilationUnitNoTransform(CompilationUnit node)`
`CompilationUnit`	`addSourceFile(String name)` Add a filename to the list of source files to process.
`void`	`addSourcePath(PathPart pathPart)` Add a path part to the user class path.
`Program`	`clone()`
`Iterator`	`compilationUnitIterator()`
`Program`	`copy()`
`Annotation`	`Define_Annotation_lookupAnnotation(ASTNode caller, ASTNode child, TypeDecl typeDecl)`
`ArrayList`	`Define_ArrayList_exceptionRanges(ASTNode caller, ASTNode child)`
`ASTNode`	`Define_ASTNode_enclosingBlock(ASTNode caller, ASTNode child)`
`BodyDecl`	`Define_BodyDecl_enclosingBodyDecl(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_enclosedByExceptionHandler(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_handlesException(ASTNode caller, ASTNode child, TypeDecl exceptionType)`
`boolean`	`Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName)`
`boolean`	`Define_boolean_inExplicitConstructorInvocation(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_inExtendsOrImplements(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_insideLoop(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_insideSwitch(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_inStaticContext(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isAnonymous(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isAnonymousDecl(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isCatchParam(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isConstructorParameter(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDest(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isExceptionHandlerParameter(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isExplicitGenericConstructorAccess(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isIncOrDec(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isMemberType(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isMethodParameter(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_isSource(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeAbstract(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeFinal(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeNative(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBePrivate(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeProtected(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBePublic(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeStatic(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeStrictfp(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeSynchronized(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeTransient(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayBeVolatile(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_mayUseAnnotationTarget(ASTNode caller, ASTNode child, String name)`
`boolean`	`Define_boolean_reportUnreachable(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_resourcePreviouslyDeclared(ASTNode caller, ASTNode child, String name)`
`boolean`	`Define_boolean_variableArityValid(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_withinDeprecatedAnnotation(ASTNode caller, ASTNode child)`
`boolean`	`Define_boolean_withinSuppressWarnings(ASTNode caller, ASTNode child, String s)`
`Case`	`Define_Case_bind(ASTNode caller, ASTNode child, Case c)`
`CatchClause`	`Define_CatchClause_catchClause(ASTNode caller, ASTNode child)`
`ClassInstanceExpr`	`Define_ClassInstanceExpr_getClassInstanceExpr(ASTNode caller, ASTNode child)`
`Collection`	`Define_Collection_lookupConstructor(ASTNode caller, ASTNode child)`
`Collection`	`Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)`
`Collection`	`Define_Collection_lookupSuperConstructor(ASTNode caller, ASTNode child)`
`ConstructorDecl`	`Define_ConstructorDecl_constructorDecl(ASTNode caller, ASTNode child)`
`ConstructorDecl`	`Define_ConstructorDecl_unknownConstructor(ASTNode caller, ASTNode child)`
`ElementValue`	`Define_ElementValue_lookupElementTypeValue(ASTNode caller, ASTNode child, String name)`
`Expr`	`Define_Expr_nestedScope(ASTNode caller, ASTNode child)`
`GLBType`	`Define_GLBType_lookupGLBType(ASTNode caller, ASTNode child, ArrayList bounds)`
`int`	`Define_int_localNum(ASTNode caller, ASTNode child)`
`LabeledStmt`	`Define_LabeledStmt_lookupLabel(ASTNode caller, ASTNode child, String name)`
`LUBType`	`Define_LUBType_lookupLUBType(ASTNode caller, ASTNode child, Collection bounds)`
`MethodDecl`	`Define_MethodDecl_unknownMethod(ASTNode caller, ASTNode child)`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`SimpleSet`	`Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)`
`SimpleSet`	`Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)`
`Stmt`	`Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)`
`Stmt`	`Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)`
`String`	`Define_String_methodHost(ASTNode caller, ASTNode child)`
`String`	`Define_String_typeDeclIndent(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_assignConvertedType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_componentType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_declType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_enclosingAnnotationDecl(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_enclosingInstance(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_expectedType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_genericDecl(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_hostType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_lookupType(ASTNode caller, ASTNode child, String packageName, String typeName)`
`TypeDecl`	`Define_TypeDecl_lookupWildcardExtends(ASTNode caller, ASTNode child, TypeDecl typeDecl)`
`TypeDecl`	`Define_TypeDecl_lookupWildcardSuper(ASTNode caller, ASTNode child, TypeDecl typeDecl)`
`TypeDecl`	`Define_TypeDecl_returnType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_superType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_switchType(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeBoolean(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeByte(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeChar(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeCloneable(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeDouble(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeError(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeException(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeFloat(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeInt(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeLong(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeNull(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeNullPointerException(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeObject(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeRuntimeException(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeSerializable(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeShort(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeString(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeThrowable(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeVoid(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_typeWildcard(ASTNode caller, ASTNode child)`
`TypeDecl`	`Define_TypeDecl_unknownType(ASTNode caller, ASTNode child)`
`Variable`	`Define_Variable_unknownField(ASTNode caller, ASTNode child)`
`VariableScope`	`Define_VariableScope_outerScope(ASTNode caller, ASTNode child)`
`String`	`dumpTree()`
`boolean`	`errorCheck()`
`void`	`errorCheck(Collection collection)`
`void`	`errorCheck(Collection collection, Collection warn)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`Program`	`fullCopy()` Create a deep copy of the AST subtree at this node.
`CompilationUnit`	`getCachedOrLoadCompilationUnit(String fileName)`
`CompilationUnit`	`getCompilationUnit(int i)` Retrieves the element at index `i` in the CompilationUnit list..
`CompilationUnit`	`getCompilationUnit(String name)`
`List`	`getCompilationUnitList()`
`List<CompilationUnit>`	`getCompilationUnitListNoTransform()` Retrieves the CompilationUnit list.
`List<CompilationUnit>`	`getCompilationUnits()` Retrieves the CompilationUnit list.
`List<CompilationUnit>`	`getCompilationUnitsNoTransform()` Retrieves the CompilationUnit list.
`InputStream`	`getInputStream(String name)`
`CompilationUnit`	`getLibCompilationUnit(String fullName)`
`int`	`getNumCompilationUnit()` Retrieves the number of children in the CompilationUnit list.
`int`	`getNumCompilationUnitNoTransform()` Retrieves the number of children in the CompilationUnit list.
`PrimitiveCompilationUnit`	`getPrimitiveCompilationUnit()`
`boolean`	`hasLoadedCompilationUnit(String fileName)`
`boolean`	`hasPackage(String packageName)`
`void`	`init$Children()` Initializes the child array to the correct size.
`void`	`initBytecodeReader(BytecodeReader r)`
`void`	`initJavaParser(JavaParser p)`
`void`	`initPaths()`
`boolean`	`isPackage(String name)`
`void`	`jimplify1()`
`void`	`jimplify2()`
`TypeDecl`	`lookupLibType(String packageName, String typeName)` Lookup types in the library
`TypeDecl`	`lookupType(String packageName, String typeName)` Checks from-source compilation units for the given type.
`boolean`	`mayHaveRewrite()`
`protected int`	`numChildren()`
`void`	`popClassPath()`
`void`	`pushClassPath(String name)`
`void`	`refined__Program_addCompilationUnit(CompilationUnit node)` Append an element to the CompilationUnit list.
`List<CompilationUnit>`	`refined__Program_getCompilationUnitList()` Retrieves the CompilationUnit list.
`void`	`releaseCompilationUnitForFile(String fileName)`
`ASTNode`	`rewriteTo()`
`void`	`setCompilationUnit(CompilationUnit node, int i)` Replaces the CompilationUnit list element at index `i` with the new node `node`.
`void`	`setCompilationUnitList(List<CompilationUnit> list)` Replaces the CompilationUnit list.
`void`	`setSrcPrec(int i)`
`void`	`simpleReset()`
`void`	`toString(StringBuffer s)`
`TypeDecl`	`typeBoolean()`
`TypeDecl`	`typeByte()`
`TypeDecl`	`typeChar()`
`TypeDecl`	`typeCloneable()`
`TypeDecl`	`typeDouble()`
`TypeDecl`	`typeFloat()`
`TypeDecl`	`typeInt()`
`TypeDecl`	`typeLong()`
`TypeDecl`	`typeNull()`
`TypeDecl`	`typeObject()`
`TypeDecl`	`typeSerializable()`
`TypeDecl`	`typeShort()`
`TypeDecl`	`typeString()`
`TypeDecl`	`typeVoid()`
`ConstructorDecl`	`unknownConstructor()`
`TypeDecl`	`unknownType()`
`WildcardsCompilationUnit`	`wildcards()`

Methods inherited from class soot.JastAddJ.ASTNode
accessControl, addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_boolean_inhModifiedInScope, Define_boolean_isLocalClass, Define_boolean_isNestedType, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_Collection_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, Define_SimpleSet_allImportedTypes, Define_String_hostPackage, Define_String_packageName, Define_TypeDecl_enclosingType, definesLabel, definiteAssignment, dumpString, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, exceptionHandling, extractIndent, extractSingleType, flushCaches, getChild, getChildNoTransform, getIndexOfChild, getNumChild, getNumChildNoTransform, getParent, in$Circle, in$Circle, indent, insertChild, is$Final, is$Final, isDescendantTo, isStringAdd, iterator, jimplify1phase1, jimplify1phase2, jimplify2, lineNumber, location, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, transformEnumConstructors, typeCheck, unassignedEverywhere, usesTypeVariable, varChildIndex, varChildIndex, warning, warningPrefix, with

Methods inherited from class beaver.Symbol
getColumn, getEnd, getId, getLine, getStart, makePosition

Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable
forEach, spliterator

Field Detail

bytecodeReader

protected BytecodeReader bytecodeReader

javaParser
```
protected JavaParser javaParser
```

classFileReadTime
```
public int classFileReadTime
```

SRC_PREC_JAVA
```
public static final int SRC_PREC_JAVA
```
See Also:

Constant Field Values

SRC_PREC_CLASS
```
public static final int SRC_PREC_CLASS
```
See Also:

Constant Field Values

SRC_PREC_ONLY_CLASS
```
public static final int SRC_PREC_ONLY_CLASS
```
See Also:

Constant Field Values

typeObject_computed
```
protected boolean typeObject_computed
```

typeObject_value
```
protected TypeDecl typeObject_value
```

typeCloneable_computed

protected boolean typeCloneable_computed

typeCloneable_value
```
protected TypeDecl typeCloneable_value
```

typeSerializable_computed

protected boolean typeSerializable_computed

typeSerializable_value

protected TypeDecl typeSerializable_value

typeBoolean_computed
```
protected boolean typeBoolean_computed
```

typeBoolean_value
```
protected TypeDecl typeBoolean_value
```

typeByte_computed
```
protected boolean typeByte_computed
```

typeByte_value
```
protected TypeDecl typeByte_value
```

typeShort_computed
```
protected boolean typeShort_computed
```

typeShort_value
```
protected TypeDecl typeShort_value
```

typeChar_computed
```
protected boolean typeChar_computed
```

typeChar_value
```
protected TypeDecl typeChar_value
```

typeInt_computed
```
protected boolean typeInt_computed
```

typeInt_value
```
protected TypeDecl typeInt_value
```

typeLong_computed
```
protected boolean typeLong_computed
```

typeLong_value
```
protected TypeDecl typeLong_value
```

typeFloat_computed
```
protected boolean typeFloat_computed
```

typeFloat_value
```
protected TypeDecl typeFloat_value
```

typeDouble_computed
```
protected boolean typeDouble_computed
```

typeDouble_value
```
protected TypeDecl typeDouble_value
```

typeString_computed
```
protected boolean typeString_computed
```

typeString_value
```
protected TypeDecl typeString_value
```

typeVoid_computed
```
protected boolean typeVoid_computed
```

typeVoid_value
```
protected TypeDecl typeVoid_value
```

typeNull_computed
```
protected boolean typeNull_computed
```

typeNull_value
```
protected TypeDecl typeNull_value
```

unknownType_computed
```
protected boolean unknownType_computed
```

unknownType_value
```
protected TypeDecl unknownType_value
```

hasPackage_String_values
```
protected Map hasPackage_String_values
```

lookupType_String_String_values

protected Map lookupType_String_String_values

lookupLibType_String_String_values

protected Map lookupLibType_String_String_values

getLibCompilationUnit_String_values

protected Map getLibCompilationUnit_String_values

getLibCompilationUnit_String_list

protected List getLibCompilationUnit_String_list

getPrimitiveCompilationUnit_computed

protected boolean getPrimitiveCompilationUnit_computed

getPrimitiveCompilationUnit_value

protected PrimitiveCompilationUnit getPrimitiveCompilationUnit_value

unknownConstructor_computed

protected boolean unknownConstructor_computed

unknownConstructor_value

protected ConstructorDecl unknownConstructor_value

wildcards_computed
```
protected boolean wildcards_computed
```

wildcards_value

protected WildcardsCompilationUnit wildcards_value

Constructor Detail

Program
```
public Program()
```

Program

public Program(List<CompilationUnit> p0)

Method Detail

flushCache
```
public void flushCache()
```
Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache
```
public void flushCollectionCache()
```
Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone

public Program clone()
              throws CloneNotSupportedException

Overrides:: clone in class ASTNode<ASTNode>
Throws:: CloneNotSupportedException

copy
```
public Program copy()
```
Overrides:

copy in class ASTNode<ASTNode>

fullCopy
```
public Program fullCopy()
```
Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.

Overrides:

fullCopy in class ASTNode<ASTNode>

Returns:

dangling copy of the subtree at this node

initBytecodeReader

public void initBytecodeReader(BytecodeReader r)

initJavaParser

public void initJavaParser(JavaParser p)

addSourceFile
```
public CompilationUnit addSourceFile(String name)
```
Add a filename to the list of source files to process.

Returns:

The CompilationUnit representing the source file, or null if no such file exists

compilationUnitIterator

public Iterator compilationUnitIterator()

getInputStream

public InputStream getInputStream(String name)

isPackage
```
public boolean isPackage(String name)
```
Returns:

true if there is a package with the given name on the path

pushClassPath

public void pushClassPath(String name)

popClassPath
```
public void popClassPath()
```

initPaths
```
public void initPaths()
```

addClassPath
```
public void addClassPath(PathPart pathPart)
```
Add a path part to the library class path.

addSourcePath
```
public void addSourcePath(PathPart pathPart)
```
Add a path part to the user class path.

simpleReset
```
public void simpleReset()
```

errorCheck

public void errorCheck(Collection collection)

errorCheck

public void errorCheck(Collection collection,
                       Collection warn)

errorCheck
```
public boolean errorCheck()
```

toString
```
public void toString(StringBuffer s)
```
Overrides:

toString in class ASTNode<ASTNode>

dumpTree
```
public String dumpTree()
```
Overrides:

dumpTree in class ASTNode<ASTNode>

jimplify1
```
public void jimplify1()
```

jimplify2
```
public void jimplify2()
```
Overrides:

jimplify2 in class ASTNode<ASTNode>

setSrcPrec
```
public void setSrcPrec(int i)
```

hasLoadedCompilationUnit

public boolean hasLoadedCompilationUnit(String fileName)

getCachedOrLoadCompilationUnit

public CompilationUnit getCachedOrLoadCompilationUnit(String fileName)

releaseCompilationUnitForFile

public void releaseCompilationUnitForFile(String fileName)

init$Children
```
public void init$Children()
```
Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:

init$Children in class ASTNode<ASTNode>

numChildren
```
protected int numChildren()
```
Overrides:

numChildren in class ASTNode<ASTNode>

mayHaveRewrite
```
public boolean mayHaveRewrite()
```
Overrides:

mayHaveRewrite in class ASTNode<ASTNode>

setCompilationUnitList
```
public void setCompilationUnitList(List<CompilationUnit> list)
```
Replaces the CompilationUnit list.

Parameters:

list - The new list node to be used as the CompilationUnit list.

getNumCompilationUnit
```
public int getNumCompilationUnit()
```
Retrieves the number of children in the CompilationUnit list.

Returns:

Number of children in the CompilationUnit list.

getNumCompilationUnitNoTransform
```
public int getNumCompilationUnitNoTransform()
```
Retrieves the number of children in the CompilationUnit list. Calling this method will not trigger rewrites..

Returns:

Number of children in the CompilationUnit list.

getCompilationUnit
```
public CompilationUnit getCompilationUnit(int i)
```
Retrieves the element at index i in the CompilationUnit list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the CompilationUnit list.

refined__Program_addCompilationUnit
```
public void refined__Program_addCompilationUnit(CompilationUnit node)
```
Append an element to the CompilationUnit list.

Parameters:

node - The element to append to the CompilationUnit list.

addCompilationUnitNoTransform

public void addCompilationUnitNoTransform(CompilationUnit node)

setCompilationUnit
```
public void setCompilationUnit(CompilationUnit node,
                               int i)
```
Replaces the CompilationUnit list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

getCompilationUnits
```
public List<CompilationUnit> getCompilationUnits()
```
Retrieves the CompilationUnit list.

Returns:

The node representing the CompilationUnit list.

getCompilationUnitsNoTransform
```
public List<CompilationUnit> getCompilationUnitsNoTransform()
```
Retrieves the CompilationUnit list.
This method does not invoke AST transformations.

Returns:

The node representing the CompilationUnit list.

refined__Program_getCompilationUnitList
```
public List<CompilationUnit> refined__Program_getCompilationUnitList()
```
Retrieves the CompilationUnit list.

Returns:

The node representing the CompilationUnit list.

getCompilationUnitListNoTransform
```
public List<CompilationUnit> getCompilationUnitListNoTransform()
```
Retrieves the CompilationUnit list.
This method does not invoke AST transformations.

Returns:

The node representing the CompilationUnit list.

getCompilationUnit

public CompilationUnit getCompilationUnit(String name)

getCompilationUnitList
```
public List getCompilationUnitList()
```

typeObject
```
public TypeDecl typeObject()
```

typeCloneable
```
public TypeDecl typeCloneable()
```

typeSerializable
```
public TypeDecl typeSerializable()
```

typeBoolean
```
public TypeDecl typeBoolean()
```

typeByte
```
public TypeDecl typeByte()
```

typeShort
```
public TypeDecl typeShort()
```

typeChar
```
public TypeDecl typeChar()
```

typeInt
```
public TypeDecl typeInt()
```

typeLong
```
public TypeDecl typeLong()
```

typeFloat
```
public TypeDecl typeFloat()
```

typeDouble
```
public TypeDecl typeDouble()
```

typeString
```
public TypeDecl typeString()
```

typeVoid
```
public TypeDecl typeVoid()
```

typeNull
```
public TypeDecl typeNull()
```

unknownType
```
public TypeDecl unknownType()
```

hasPackage

public boolean hasPackage(String packageName)

lookupType
```
public TypeDecl lookupType(String packageName,
                           String typeName)
```
Checks from-source compilation units for the given type. If no matching compilation unit is found the library compliation units will be searched.

lookupLibType

public TypeDecl lookupLibType(String packageName,
                              String typeName)

Lookup types in the library

getLibCompilationUnit

public CompilationUnit getLibCompilationUnit(String fullName)

getPrimitiveCompilationUnit

public PrimitiveCompilationUnit getPrimitiveCompilationUnit()

unknownConstructor

public ConstructorDecl unknownConstructor()

wildcards

public WildcardsCompilationUnit wildcards()

Define_TypeDecl_superType

public TypeDecl Define_TypeDecl_superType(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_TypeDecl_superType in class ASTNode<ASTNode>

Define_ConstructorDecl_constructorDecl

public ConstructorDecl Define_ConstructorDecl_constructorDecl(ASTNode caller,
                                                              ASTNode child)

Overrides:: Define_ConstructorDecl_constructorDecl in class ASTNode<ASTNode>

Define_TypeDecl_componentType

public TypeDecl Define_TypeDecl_componentType(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_TypeDecl_componentType in class ASTNode<ASTNode>

Define_LabeledStmt_lookupLabel

public LabeledStmt Define_LabeledStmt_lookupLabel(ASTNode caller,
                                                  ASTNode child,
                                                  String name)

Overrides:: Define_LabeledStmt_lookupLabel in class ASTNode<ASTNode>

Define_boolean_isDest

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:: Define_boolean_isDest in class ASTNode<ASTNode>

Define_boolean_isSource

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:: Define_boolean_isSource in class ASTNode<ASTNode>

Define_boolean_isIncOrDec

public boolean Define_boolean_isIncOrDec(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_boolean_isIncOrDec in class ASTNode<ASTNode>

Define_boolean_isDAbefore

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:: Define_boolean_isDAbefore in class ASTNode<ASTNode>

Define_boolean_isDUbefore

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:: Define_boolean_isDUbefore in class ASTNode<ASTNode>

Define_TypeDecl_typeException

public TypeDecl Define_TypeDecl_typeException(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_TypeDecl_typeException in class ASTNode<ASTNode>

Define_TypeDecl_typeRuntimeException

public TypeDecl Define_TypeDecl_typeRuntimeException(ASTNode caller,
                                                     ASTNode child)

Overrides:: Define_TypeDecl_typeRuntimeException in class ASTNode<ASTNode>

Define_TypeDecl_typeError

public TypeDecl Define_TypeDecl_typeError(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_TypeDecl_typeError in class ASTNode<ASTNode>

Define_TypeDecl_typeNullPointerException

public TypeDecl Define_TypeDecl_typeNullPointerException(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_TypeDecl_typeNullPointerException in class ASTNode<ASTNode>

Define_TypeDecl_typeThrowable

public TypeDecl Define_TypeDecl_typeThrowable(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_TypeDecl_typeThrowable in class ASTNode<ASTNode>

Define_boolean_handlesException

public boolean Define_boolean_handlesException(ASTNode caller,
                                               ASTNode child,
                                               TypeDecl exceptionType)

Overrides:: Define_boolean_handlesException in class ASTNode<ASTNode>

Define_Collection_lookupConstructor

public Collection Define_Collection_lookupConstructor(ASTNode caller,
                                                      ASTNode child)

Overrides:: Define_Collection_lookupConstructor in class ASTNode<ASTNode>

Define_Collection_lookupSuperConstructor

public Collection Define_Collection_lookupSuperConstructor(ASTNode caller,
                                                           ASTNode child)

Overrides:: Define_Collection_lookupSuperConstructor in class ASTNode<ASTNode>

Define_Expr_nestedScope

public Expr Define_Expr_nestedScope(ASTNode caller,
                                    ASTNode child)

Overrides:: Define_Expr_nestedScope in class ASTNode<ASTNode>

Define_Collection_lookupMethod

public Collection Define_Collection_lookupMethod(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:: Define_Collection_lookupMethod in class ASTNode<ASTNode>

Define_TypeDecl_typeObject

public TypeDecl Define_TypeDecl_typeObject(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_typeObject in class ASTNode<ASTNode>

Define_TypeDecl_typeCloneable

public TypeDecl Define_TypeDecl_typeCloneable(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_TypeDecl_typeCloneable in class ASTNode<ASTNode>

Define_TypeDecl_typeSerializable

public TypeDecl Define_TypeDecl_typeSerializable(ASTNode caller,
                                                 ASTNode child)

Overrides:: Define_TypeDecl_typeSerializable in class ASTNode<ASTNode>

Define_TypeDecl_typeBoolean

public TypeDecl Define_TypeDecl_typeBoolean(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_TypeDecl_typeBoolean in class ASTNode<ASTNode>

Define_TypeDecl_typeByte

public TypeDecl Define_TypeDecl_typeByte(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_typeByte in class ASTNode<ASTNode>

Define_TypeDecl_typeShort

public TypeDecl Define_TypeDecl_typeShort(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_TypeDecl_typeShort in class ASTNode<ASTNode>

Define_TypeDecl_typeChar

public TypeDecl Define_TypeDecl_typeChar(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_typeChar in class ASTNode<ASTNode>

Define_TypeDecl_typeInt

public TypeDecl Define_TypeDecl_typeInt(ASTNode caller,
                                        ASTNode child)

Overrides:: Define_TypeDecl_typeInt in class ASTNode<ASTNode>

Define_TypeDecl_typeLong

public TypeDecl Define_TypeDecl_typeLong(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_typeLong in class ASTNode<ASTNode>

Define_TypeDecl_typeFloat

public TypeDecl Define_TypeDecl_typeFloat(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_TypeDecl_typeFloat in class ASTNode<ASTNode>

Define_TypeDecl_typeDouble

public TypeDecl Define_TypeDecl_typeDouble(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_typeDouble in class ASTNode<ASTNode>

Define_TypeDecl_typeString

public TypeDecl Define_TypeDecl_typeString(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_typeString in class ASTNode<ASTNode>

Define_TypeDecl_typeVoid

public TypeDecl Define_TypeDecl_typeVoid(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_typeVoid in class ASTNode<ASTNode>

Define_TypeDecl_typeNull

public TypeDecl Define_TypeDecl_typeNull(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_typeNull in class ASTNode<ASTNode>

Define_TypeDecl_unknownType

public TypeDecl Define_TypeDecl_unknownType(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_TypeDecl_unknownType in class ASTNode<ASTNode>

Define_boolean_hasPackage

public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         String packageName)

Overrides:: Define_boolean_hasPackage in class ASTNode<ASTNode>

Define_TypeDecl_lookupType

public TypeDecl Define_TypeDecl_lookupType(ASTNode caller,
                                           ASTNode child,
                                           String packageName,
                                           String typeName)

Overrides:: Define_TypeDecl_lookupType in class ASTNode<ASTNode>

Define_SimpleSet_lookupType

public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             String name)

Overrides:: Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Define_SimpleSet_lookupVariable

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:: Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Define_boolean_mayBePublic

public boolean Define_boolean_mayBePublic(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBePublic in class ASTNode<ASTNode>

Define_boolean_mayBeProtected

public boolean Define_boolean_mayBeProtected(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_boolean_mayBeProtected in class ASTNode<ASTNode>

Define_boolean_mayBePrivate

public boolean Define_boolean_mayBePrivate(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_mayBePrivate in class ASTNode<ASTNode>

Define_boolean_mayBeStatic

public boolean Define_boolean_mayBeStatic(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBeStatic in class ASTNode<ASTNode>

Define_boolean_mayBeFinal

public boolean Define_boolean_mayBeFinal(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_boolean_mayBeFinal in class ASTNode<ASTNode>

Define_boolean_mayBeAbstract

public boolean Define_boolean_mayBeAbstract(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeAbstract in class ASTNode<ASTNode>

Define_boolean_mayBeVolatile

public boolean Define_boolean_mayBeVolatile(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeVolatile in class ASTNode<ASTNode>

Define_boolean_mayBeTransient

public boolean Define_boolean_mayBeTransient(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_boolean_mayBeTransient in class ASTNode<ASTNode>

Define_boolean_mayBeStrictfp

public boolean Define_boolean_mayBeStrictfp(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_boolean_mayBeStrictfp in class ASTNode<ASTNode>

Define_boolean_mayBeSynchronized

public boolean Define_boolean_mayBeSynchronized(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_mayBeSynchronized in class ASTNode<ASTNode>

Define_boolean_mayBeNative

public boolean Define_boolean_mayBeNative(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_mayBeNative in class ASTNode<ASTNode>

Define_ASTNode_enclosingBlock

public ASTNode Define_ASTNode_enclosingBlock(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_ASTNode_enclosingBlock in class ASTNode<ASTNode>

Define_VariableScope_outerScope

public VariableScope Define_VariableScope_outerScope(ASTNode caller,
                                                     ASTNode child)

Overrides:: Define_VariableScope_outerScope in class ASTNode<ASTNode>

Define_boolean_insideLoop

public boolean Define_boolean_insideLoop(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_boolean_insideLoop in class ASTNode<ASTNode>

Define_boolean_insideSwitch

public boolean Define_boolean_insideSwitch(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_insideSwitch in class ASTNode<ASTNode>

Define_Case_bind

public Case Define_Case_bind(ASTNode caller,
                             ASTNode child,
                             Case c)

Overrides:: Define_Case_bind in class ASTNode<ASTNode>

Define_String_typeDeclIndent

public String Define_String_typeDeclIndent(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_String_typeDeclIndent in class ASTNode<ASTNode>

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_NameType_nameType in class ASTNode<ASTNode>

Define_boolean_isAnonymous

public boolean Define_boolean_isAnonymous(ASTNode caller,
                                          ASTNode child)

Overrides:: Define_boolean_isAnonymous in class ASTNode<ASTNode>

Define_Variable_unknownField

public Variable Define_Variable_unknownField(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_Variable_unknownField in class ASTNode<ASTNode>

Define_MethodDecl_unknownMethod

public MethodDecl Define_MethodDecl_unknownMethod(ASTNode caller,
                                                  ASTNode child)

Overrides:: Define_MethodDecl_unknownMethod in class ASTNode<ASTNode>

Define_ConstructorDecl_unknownConstructor

public ConstructorDecl Define_ConstructorDecl_unknownConstructor(ASTNode caller,
                                                                 ASTNode child)

Overrides:: Define_ConstructorDecl_unknownConstructor in class ASTNode<ASTNode>

Define_TypeDecl_declType

public TypeDecl Define_TypeDecl_declType(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_declType in class ASTNode<ASTNode>

Define_BodyDecl_enclosingBodyDecl

public BodyDecl Define_BodyDecl_enclosingBodyDecl(ASTNode caller,
                                                  ASTNode child)

Overrides:: Define_BodyDecl_enclosingBodyDecl in class ASTNode<ASTNode>

Define_boolean_isMemberType

public boolean Define_boolean_isMemberType(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_isMemberType in class ASTNode<ASTNode>

Define_TypeDecl_hostType

public TypeDecl Define_TypeDecl_hostType(ASTNode caller,
                                         ASTNode child)

Overrides:: Define_TypeDecl_hostType in class ASTNode<ASTNode>

Define_TypeDecl_switchType

public TypeDecl Define_TypeDecl_switchType(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_switchType in class ASTNode<ASTNode>

Define_TypeDecl_returnType

public TypeDecl Define_TypeDecl_returnType(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_TypeDecl_returnType in class ASTNode<ASTNode>

Define_TypeDecl_enclosingInstance

public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller,
                                                  ASTNode child)

Overrides:: Define_TypeDecl_enclosingInstance in class ASTNode<ASTNode>

Define_String_methodHost

public String Define_String_methodHost(ASTNode caller,
                                       ASTNode child)

Overrides:: Define_String_methodHost in class ASTNode<ASTNode>

Define_boolean_inExplicitConstructorInvocation

public boolean Define_boolean_inExplicitConstructorInvocation(ASTNode caller,
                                                              ASTNode child)

Overrides:: Define_boolean_inExplicitConstructorInvocation in class ASTNode<ASTNode>

Define_boolean_inStaticContext

public boolean Define_boolean_inStaticContext(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_boolean_inStaticContext in class ASTNode<ASTNode>

Define_boolean_reportUnreachable

public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_reportUnreachable in class ASTNode<ASTNode>

Define_boolean_isMethodParameter

public boolean Define_boolean_isMethodParameter(ASTNode caller,
                                                ASTNode child)

Overrides:: Define_boolean_isMethodParameter in class ASTNode<ASTNode>

Define_boolean_isConstructorParameter

public boolean Define_boolean_isConstructorParameter(ASTNode caller,
                                                     ASTNode child)

Overrides:: Define_boolean_isConstructorParameter in class ASTNode<ASTNode>

Define_boolean_isExceptionHandlerParameter

public boolean Define_boolean_isExceptionHandlerParameter(ASTNode caller,
                                                          ASTNode child)

Overrides:: Define_boolean_isExceptionHandlerParameter in class ASTNode<ASTNode>

Define_boolean_mayUseAnnotationTarget

public boolean Define_boolean_mayUseAnnotationTarget(ASTNode caller,
                                                     ASTNode child,
                                                     String name)

Overrides:: Define_boolean_mayUseAnnotationTarget in class ASTNode<ASTNode>

Define_ElementValue_lookupElementTypeValue

public ElementValue Define_ElementValue_lookupElementTypeValue(ASTNode caller,
                                                               ASTNode child,
                                                               String name)

Overrides:: Define_ElementValue_lookupElementTypeValue in class ASTNode<ASTNode>

Define_boolean_withinSuppressWarnings

public boolean Define_boolean_withinSuppressWarnings(ASTNode caller,
                                                     ASTNode child,
                                                     String s)

Overrides:: Define_boolean_withinSuppressWarnings in class ASTNode<ASTNode>

Define_boolean_withinDeprecatedAnnotation

public boolean Define_boolean_withinDeprecatedAnnotation(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_boolean_withinDeprecatedAnnotation in class ASTNode<ASTNode>

Define_Annotation_lookupAnnotation

public Annotation Define_Annotation_lookupAnnotation(ASTNode caller,
                                                     ASTNode child,
                                                     TypeDecl typeDecl)

Overrides:: Define_Annotation_lookupAnnotation in class ASTNode<ASTNode>

Define_TypeDecl_enclosingAnnotationDecl

public TypeDecl Define_TypeDecl_enclosingAnnotationDecl(ASTNode caller,
                                                        ASTNode child)

Overrides:: Define_TypeDecl_enclosingAnnotationDecl in class ASTNode<ASTNode>

Define_TypeDecl_assignConvertedType

public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)

Overrides:: Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>

Define_boolean_inExtendsOrImplements

public boolean Define_boolean_inExtendsOrImplements(ASTNode caller,
                                                    ASTNode child)

Overrides:: Define_boolean_inExtendsOrImplements in class ASTNode<ASTNode>

Define_TypeDecl_typeWildcard

public TypeDecl Define_TypeDecl_typeWildcard(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_TypeDecl_typeWildcard in class ASTNode<ASTNode>

Define_TypeDecl_lookupWildcardExtends

public TypeDecl Define_TypeDecl_lookupWildcardExtends(ASTNode caller,
                                                      ASTNode child,
                                                      TypeDecl typeDecl)

Overrides:: Define_TypeDecl_lookupWildcardExtends in class ASTNode<ASTNode>

Define_TypeDecl_lookupWildcardSuper

public TypeDecl Define_TypeDecl_lookupWildcardSuper(ASTNode caller,
                                                    ASTNode child,
                                                    TypeDecl typeDecl)

Overrides:: Define_TypeDecl_lookupWildcardSuper in class ASTNode<ASTNode>

Define_LUBType_lookupLUBType

public LUBType Define_LUBType_lookupLUBType(ASTNode caller,
                                            ASTNode child,
                                            Collection bounds)

Overrides:: Define_LUBType_lookupLUBType in class ASTNode<ASTNode>

Define_GLBType_lookupGLBType

public GLBType Define_GLBType_lookupGLBType(ASTNode caller,
                                            ASTNode child,
                                            ArrayList bounds)

Overrides:: Define_GLBType_lookupGLBType in class ASTNode<ASTNode>

Define_TypeDecl_genericDecl

public TypeDecl Define_TypeDecl_genericDecl(ASTNode caller,
                                            ASTNode child)

Overrides:: Define_TypeDecl_genericDecl in class ASTNode<ASTNode>

Define_boolean_variableArityValid

public boolean Define_boolean_variableArityValid(ASTNode caller,
                                                 ASTNode child)

Overrides:: Define_boolean_variableArityValid in class ASTNode<ASTNode>

Define_TypeDecl_expectedType

public TypeDecl Define_TypeDecl_expectedType(ASTNode caller,
                                             ASTNode child)

Overrides:: Define_TypeDecl_expectedType in class ASTNode<ASTNode>

Define_soot_jimple_Stmt_condition_false_label

public Stmt Define_soot_jimple_Stmt_condition_false_label(ASTNode caller,
                                                          ASTNode child)

Overrides:: Define_soot_jimple_Stmt_condition_false_label in class ASTNode<ASTNode>

Define_soot_jimple_Stmt_condition_true_label

public Stmt Define_soot_jimple_Stmt_condition_true_label(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_soot_jimple_Stmt_condition_true_label in class ASTNode<ASTNode>

Define_int_localNum

public int Define_int_localNum(ASTNode caller,
                               ASTNode child)

Overrides:: Define_int_localNum in class ASTNode<ASTNode>

Define_boolean_enclosedByExceptionHandler

public boolean Define_boolean_enclosedByExceptionHandler(ASTNode caller,
                                                         ASTNode child)

Overrides:: Define_boolean_enclosedByExceptionHandler in class ASTNode<ASTNode>

Define_ArrayList_exceptionRanges

public ArrayList Define_ArrayList_exceptionRanges(ASTNode caller,
                                                  ASTNode child)

Overrides:: Define_ArrayList_exceptionRanges in class ASTNode<ASTNode>

Define_boolean_isCatchParam

public boolean Define_boolean_isCatchParam(ASTNode caller,
                                           ASTNode child)

Overrides:: Define_boolean_isCatchParam in class ASTNode<ASTNode>

Define_CatchClause_catchClause

public CatchClause Define_CatchClause_catchClause(ASTNode caller,
                                                  ASTNode child)

Overrides:: Define_CatchClause_catchClause in class ASTNode<ASTNode>

Define_boolean_resourcePreviouslyDeclared

public boolean Define_boolean_resourcePreviouslyDeclared(ASTNode caller,
                                                         ASTNode child,
                                                         String name)

Overrides:: Define_boolean_resourcePreviouslyDeclared in class ASTNode<ASTNode>

Define_ClassInstanceExpr_getClassInstanceExpr

public ClassInstanceExpr Define_ClassInstanceExpr_getClassInstanceExpr(ASTNode caller,
                                                                       ASTNode child)

Overrides:: Define_ClassInstanceExpr_getClassInstanceExpr in class ASTNode<ASTNode>

Define_boolean_isAnonymousDecl

public boolean Define_boolean_isAnonymousDecl(ASTNode caller,
                                              ASTNode child)

Overrides:: Define_boolean_isAnonymousDecl in class ASTNode<ASTNode>

Define_boolean_isExplicitGenericConstructorAccess

public boolean Define_boolean_isExplicitGenericConstructorAccess(ASTNode caller,
                                                                 ASTNode child)

Overrides:: Define_boolean_isExplicitGenericConstructorAccess in class ASTNode<ASTNode>

rewriteTo
```
public ASTNode rewriteTo()
```
Overrides:

rewriteTo in class ASTNode<ASTNode>

Class Program

Field Summary

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

bytecodeReader

javaParser

classFileReadTime

SRC_PREC_JAVA

SRC_PREC_CLASS

SRC_PREC_ONLY_CLASS

typeObject_computed

typeObject_value

typeCloneable_computed

typeCloneable_value

typeSerializable_computed

typeSerializable_value

typeBoolean_computed

typeBoolean_value

typeByte_computed

typeByte_value

typeShort_computed

typeShort_value

typeChar_computed

typeChar_value

typeInt_computed

typeInt_value

typeLong_computed

typeLong_value

typeFloat_computed

typeFloat_value

typeDouble_computed

typeDouble_value

typeString_computed

typeString_value

typeVoid_computed

typeVoid_value

typeNull_computed

typeNull_value

unknownType_computed

unknownType_value

hasPackage_String_values

lookupType_String_String_values

lookupLibType_String_String_values

getLibCompilationUnit_String_values

getLibCompilationUnit_String_list

getPrimitiveCompilationUnit_computed

getPrimitiveCompilationUnit_value

unknownConstructor_computed

unknownConstructor_value

wildcards_computed

wildcards_value

Constructor Detail

Program

Program

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

initBytecodeReader

initJavaParser

addSourceFile

compilationUnitIterator

getInputStream

isPackage

pushClassPath

popClassPath

initPaths

addClassPath

addSourcePath

simpleReset

errorCheck