Package soot.JastAddJ

Class PrimitiveCompilationUnit

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.CompilationUnit

soot.JastAddJ.PrimitiveCompilationUnit

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class PrimitiveCompilationUnit
extends CompilationUnit
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
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	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	typeShort_computed
protected TypeDecl	typeShort_value
protected boolean	typeVoid_computed
protected TypeDecl	typeVoid_value
protected boolean	unknownType_computed
protected TypeDecl	unknownType_value

Fields inherited from class soot.JastAddJ.CompilationUnit

errors, isResolved, lookupType_String_values, PackageDeclend, PackageDeclstart, packageName_computed, packageName_value, parseErrors, tokenjava_lang_String_PackageDecl, warnings

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	Description
PrimitiveCompilationUnit()
PrimitiveCompilationUnit(Symbol p0, List<ImportDecl> p1, List<TypeDecl> p2)
PrimitiveCompilationUnit(String p0, List<ImportDecl> p1, List<TypeDecl> p2)

Method Summary

Modifier and Type	Method	Description
void	addImportDecl(ImportDecl node)	Append an element to the ImportDecl list.
void	addImportDeclNoTransform(ImportDecl node)
void	addTypeDecl(TypeDecl node)	Append an element to the TypeDecl list.
void	addTypeDeclNoTransform(TypeDecl node)
PrimitiveCompilationUnit	clone()
PrimitiveCompilationUnit	copy()
void	flushCache()
void	flushCollectionCache()
PrimitiveCompilationUnit	fullCopy()	Create a deep copy of the AST subtree at this node.
ImportDecl	getImportDecl(int i)	Retrieves the element at index i in the ImportDecl list..
List<ImportDecl>	getImportDeclList()	Retrieves the ImportDecl list.
List<ImportDecl>	getImportDeclListNoTransform()	Retrieves the ImportDecl list.
List<ImportDecl>	getImportDecls()	Retrieves the ImportDecl list.
List<ImportDecl>	getImportDeclsNoTransform()	Retrieves the ImportDecl list.
int	getNumImportDecl()	Retrieves the number of children in the ImportDecl list.
int	getNumImportDeclNoTransform()	Retrieves the number of children in the ImportDecl list.
int	getNumTypeDecl()	Retrieves the number of children in the TypeDecl list.
int	getNumTypeDeclNoTransform()	Retrieves the number of children in the TypeDecl list.
String	getPackageDecl()	Retrieves the value for the lexeme PackageDecl.
TypeDecl	getTypeDecl(int i)	Retrieves the element at index i in the TypeDecl list..
List<TypeDecl>	getTypeDeclList()	Retrieves the TypeDecl list.
List<TypeDecl>	getTypeDeclListNoTransform()	Retrieves the TypeDecl list.
List<TypeDecl>	getTypeDecls()	Retrieves the TypeDecl list.
List<TypeDecl>	getTypeDeclsNoTransform()	Retrieves the TypeDecl list.
void	init$Children()	Initializes the child array to the correct size.
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setImportDecl(ImportDecl node, int i)	Replaces the ImportDecl list element at index i with the new node node.
void	setImportDeclList(List<ImportDecl> list)	Replaces the ImportDecl list.
void	setPackageDecl(Symbol symbol)	JastAdd-internal setter for lexeme PackageDecl using the Beaver parser.
void	setPackageDecl(String value)	Replaces the lexeme PackageDecl.
void	setTypeDecl(TypeDecl node, int i)	Replaces the TypeDecl list element at index i with the new node node.
void	setTypeDeclList(List<TypeDecl> list)	Replaces the TypeDecl list.
TypeDecl	typeBoolean()
TypeDecl	typeByte()
TypeDecl	typeChar()
TypeDecl	typeDouble()
TypeDecl	typeFloat()
TypeDecl	typeInt()
TypeDecl	typeLong()
TypeDecl	typeNull()
TypeDecl	typeShort()
TypeDecl	typeVoid()
TypeDecl	unknownType()

Methods inherited from class soot.JastAddJ.CompilationUnit

addParseError, Define_boolean_handlesException, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isNestedType, Define_Collection_lookupMethod, Define_CompilationUnit_compilationUnit, Define_NameType_nameType, Define_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_String_hostPackage, Define_String_packageName, Define_TypeDecl_enclosingType, Define_TypeDecl_hostType, dumpString, errorCheck, errorCheck, fromSource, importedFields, importedFieldsOnDemand, importedMethods, importedMethodsOnDemand, importedTypes, importedTypesOnDemand, localLookupType, lookupMethod, lookupType, lookupType, lookupVariable, nameCheck, packageName, parseErrors, pathName, refined_NameCheck_CompilationUnit_nameCheck, relativeName, setFromSource, setPathName, setRelativeName, toString, transformation

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_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isMethodParameter, Define_boolean_isSource, Define_boolean_mayBeAbstract, Define_boolean_mayBeFinal, Define_boolean_mayBeNative, Define_boolean_mayBePrivate, Define_boolean_mayBeProtected, Define_boolean_mayBePublic, Define_boolean_mayBeStatic, Define_boolean_mayBeStrictfp, Define_boolean_mayBeSynchronized, Define_boolean_mayBeTransient, Define_boolean_mayBeVolatile, Define_boolean_mayUseAnnotationTarget, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_boolean_reportUnreachable, Define_boolean_resourcePreviouslyDeclared, Define_boolean_variableArityValid, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, Define_Collection_lookupConstructor, Define_Collection_lookupSuperConstructor, Define_Collection_TypeDecl__caughtExceptions, Define_ConstructorDecl_constructorDecl, Define_ConstructorDecl_unknownConstructor, Define_ElementValue_lookupElementTypeValue, Define_Expr_nestedScope, Define_GLBType_lookupGLBType, Define_int_localNum, Define_LabeledStmt_lookupLabel, Define_LUBType_lookupLUBType, Define_MethodDecl_unknownMethod, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_methodHost, Define_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, Define_TypeDecl_componentType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_returnType, Define_TypeDecl_superType, Define_TypeDecl_switchType, Define_TypeDecl_typeBoolean, Define_TypeDecl_typeByte, Define_TypeDecl_typeChar, Define_TypeDecl_typeCloneable, Define_TypeDecl_typeDouble, Define_TypeDecl_typeError, Define_TypeDecl_typeException, Define_TypeDecl_typeFloat, Define_TypeDecl_typeInt, Define_TypeDecl_typeLong, Define_TypeDecl_typeNull, Define_TypeDecl_typeNullPointerException, Define_TypeDecl_typeObject, Define_TypeDecl_typeRuntimeException, Define_TypeDecl_typeSerializable, Define_TypeDecl_typeShort, Define_TypeDecl_typeString, Define_TypeDecl_typeThrowable, Define_TypeDecl_typeVoid, Define_TypeDecl_typeWildcard, Define_TypeDecl_unknownType, Define_Variable_unknownField, Define_VariableScope_outerScope, definesLabel, definiteAssignment, dumpTree, 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, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, 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

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

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

Constructor Detail

PrimitiveCompilationUnit

public PrimitiveCompilationUnit()

PrimitiveCompilationUnit

public PrimitiveCompilationUnit(String p0,
                                List<ImportDecl> p1,
                                List<TypeDecl> p2)

PrimitiveCompilationUnit

public PrimitiveCompilationUnit(Symbol p0,
                                List<ImportDecl> p1,
                                List<TypeDecl> p2)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class CompilationUnit

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class CompilationUnit

clone

public PrimitiveCompilationUnit clone()
                               throws CloneNotSupportedException

Overrides:

clone in class CompilationUnit

Throws:

CloneNotSupportedException

copy

public PrimitiveCompilationUnit copy()

Overrides:

copy in class CompilationUnit

fullCopy

public PrimitiveCompilationUnit 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 CompilationUnit

Returns:

dangling copy of the subtree at this node

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 CompilationUnit

numChildren

protected int numChildren()

Overrides:

numChildren in class CompilationUnit

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class CompilationUnit

setPackageDecl

public void setPackageDecl(String value)

Replaces the lexeme PackageDecl.

Overrides:

setPackageDecl in class CompilationUnit

Parameters:

value - The new value for the lexeme PackageDecl.

setPackageDecl

public void setPackageDecl(Symbol symbol)

JastAdd-internal setter for lexeme PackageDecl using the Beaver parser.

Overrides:

setPackageDecl in class CompilationUnit

getPackageDecl

public String getPackageDecl()

Retrieves the value for the lexeme PackageDecl.

Overrides:

getPackageDecl in class CompilationUnit

Returns:

The value for the lexeme PackageDecl.

setImportDeclList

public void setImportDeclList(List<ImportDecl> list)

Replaces the ImportDecl list.

Overrides:

setImportDeclList in class CompilationUnit

Parameters:

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

getNumImportDecl

public int getNumImportDecl()

Retrieves the number of children in the ImportDecl list.

Overrides:

getNumImportDecl in class CompilationUnit

Returns:

Number of children in the ImportDecl list.

getNumImportDeclNoTransform

public int getNumImportDeclNoTransform()

Retrieves the number of children in the ImportDecl list. Calling this method will not trigger rewrites..

Overrides:

getNumImportDeclNoTransform in class CompilationUnit

Returns:

Number of children in the ImportDecl list.

getImportDecl

public ImportDecl getImportDecl(int i)

Retrieves the element at index i in the ImportDecl list..

Overrides:

getImportDecl in class CompilationUnit

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the ImportDecl list.

addImportDecl

public void addImportDecl(ImportDecl node)

Append an element to the ImportDecl list.

Overrides:

addImportDecl in class CompilationUnit

Parameters:

node - The element to append to the ImportDecl list.

addImportDeclNoTransform

public void addImportDeclNoTransform(ImportDecl node)

Overrides:

addImportDeclNoTransform in class CompilationUnit

setImportDecl

public void setImportDecl(ImportDecl node,
                          int i)

Replaces the ImportDecl list element at index i with the new node node.

Overrides:

setImportDecl in class CompilationUnit

Parameters:

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

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

getImportDecls

public List<ImportDecl> getImportDecls()

Retrieves the ImportDecl list.

Overrides:

getImportDecls in class CompilationUnit

Returns:

The node representing the ImportDecl list.

getImportDeclsNoTransform

public List<ImportDecl> getImportDeclsNoTransform()

Retrieves the ImportDecl list.

This method does not invoke AST transformations.

Overrides:

getImportDeclsNoTransform in class CompilationUnit

Returns:

The node representing the ImportDecl list.

getImportDeclList

public List<ImportDecl> getImportDeclList()

Retrieves the ImportDecl list.

Overrides:

getImportDeclList in class CompilationUnit

Returns:

The node representing the ImportDecl list.

getImportDeclListNoTransform

public List<ImportDecl> getImportDeclListNoTransform()

Retrieves the ImportDecl list.

This method does not invoke AST transformations.

Overrides:

getImportDeclListNoTransform in class CompilationUnit

Returns:

The node representing the ImportDecl list.

setTypeDeclList

public void setTypeDeclList(List<TypeDecl> list)

Replaces the TypeDecl list.

Overrides:

setTypeDeclList in class CompilationUnit

Parameters:

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

getNumTypeDecl

public int getNumTypeDecl()

Retrieves the number of children in the TypeDecl list.

Overrides:

getNumTypeDecl in class CompilationUnit

Returns:

Number of children in the TypeDecl list.

getNumTypeDeclNoTransform

public int getNumTypeDeclNoTransform()

Retrieves the number of children in the TypeDecl list. Calling this method will not trigger rewrites..

Overrides:

getNumTypeDeclNoTransform in class CompilationUnit

Returns:

Number of children in the TypeDecl list.

getTypeDecl

public TypeDecl getTypeDecl(int i)

Retrieves the element at index i in the TypeDecl list..

Overrides:

getTypeDecl in class CompilationUnit

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the TypeDecl list.

addTypeDecl

public void addTypeDecl(TypeDecl node)

Append an element to the TypeDecl list.

Overrides:

addTypeDecl in class CompilationUnit

Parameters:

node - The element to append to the TypeDecl list.

addTypeDeclNoTransform

public void addTypeDeclNoTransform(TypeDecl node)

Overrides:

addTypeDeclNoTransform in class CompilationUnit

setTypeDecl

public void setTypeDecl(TypeDecl node,
                        int i)

Replaces the TypeDecl list element at index i with the new node node.

Overrides:

setTypeDecl in class CompilationUnit

Parameters:

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

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

getTypeDecls

public List<TypeDecl> getTypeDecls()

Retrieves the TypeDecl list.

Overrides:

getTypeDecls in class CompilationUnit

Returns:

The node representing the TypeDecl list.

getTypeDeclsNoTransform

public List<TypeDecl> getTypeDeclsNoTransform()

Retrieves the TypeDecl list.

This method does not invoke AST transformations.

Overrides:

getTypeDeclsNoTransform in class CompilationUnit

Returns:

The node representing the TypeDecl list.

getTypeDeclList

public List<TypeDecl> getTypeDeclList()

Retrieves the TypeDecl list.

Overrides:

getTypeDeclList in class CompilationUnit

Returns:

The node representing the TypeDecl list.

getTypeDeclListNoTransform

public List<TypeDecl> getTypeDeclListNoTransform()

Retrieves the TypeDecl list.

This method does not invoke AST transformations.

Overrides:

getTypeDeclListNoTransform in class CompilationUnit

Returns:

The node representing the TypeDecl list.

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()

typeVoid

public TypeDecl typeVoid()

typeNull

public TypeDecl typeNull()

unknownType

public TypeDecl unknownType()

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class CompilationUnit