Package soot.JastAddJ

Class WildcardsCompilationUnit

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.CompilationUnit

soot.JastAddJ.WildcardsCompilationUnit

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class WildcardsCompilationUnit
extends CompilationUnit
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected List	lookupGLBType_ArrayList_list
protected Map	lookupGLBType_ArrayList_values
protected List	lookupLUBType_Collection_list
protected Map	lookupLUBType_Collection_values
protected List	lookupWildcardExtends_TypeDecl_list
protected Map	lookupWildcardExtends_TypeDecl_values
protected List	lookupWildcardSuper_TypeDecl_list
protected Map	lookupWildcardSuper_TypeDecl_values
protected boolean	typeWildcard_computed
protected TypeDecl	typeWildcard_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
WildcardsCompilationUnit()
WildcardsCompilationUnit(Symbol p0, List<ImportDecl> p1, List<TypeDecl> p2)
WildcardsCompilationUnit(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)
WildcardsCompilationUnit	clone()
WildcardsCompilationUnit	copy()
static LUBType	createLUBType(Collection bounds)
void	flushCache()
void	flushCollectionCache()
WildcardsCompilationUnit	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.
GLBType	lookupGLBType(ArrayList bounds)
LUBType	lookupLUBType(Collection bounds)
TypeDecl	lookupWildcardExtends(TypeDecl bound)
TypeDecl	lookupWildcardSuper(TypeDecl bound)
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	typeWildcard()

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

typeWildcard_computed

protected boolean typeWildcard_computed

typeWildcard_value

protected TypeDecl typeWildcard_value

lookupWildcardExtends_TypeDecl_values

protected Map lookupWildcardExtends_TypeDecl_values

lookupWildcardExtends_TypeDecl_list

protected List lookupWildcardExtends_TypeDecl_list

lookupWildcardSuper_TypeDecl_values

protected Map lookupWildcardSuper_TypeDecl_values

lookupWildcardSuper_TypeDecl_list

protected List lookupWildcardSuper_TypeDecl_list

lookupLUBType_Collection_values

protected Map lookupLUBType_Collection_values

lookupLUBType_Collection_list

protected List lookupLUBType_Collection_list

lookupGLBType_ArrayList_values

protected Map lookupGLBType_ArrayList_values

lookupGLBType_ArrayList_list

protected List lookupGLBType_ArrayList_list

Constructor Detail

WildcardsCompilationUnit

public WildcardsCompilationUnit()

WildcardsCompilationUnit

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

WildcardsCompilationUnit

public WildcardsCompilationUnit(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 WildcardsCompilationUnit clone()
                               throws CloneNotSupportedException

Overrides:

clone in class CompilationUnit

Throws:

CloneNotSupportedException

copy

public WildcardsCompilationUnit copy()

Overrides:

copy in class CompilationUnit

fullCopy

public WildcardsCompilationUnit 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

createLUBType

public static LUBType createLUBType(Collection bounds)

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.

typeWildcard

public TypeDecl typeWildcard()

lookupWildcardExtends

public TypeDecl lookupWildcardExtends(TypeDecl bound)

lookupWildcardSuper

public TypeDecl lookupWildcardSuper(TypeDecl bound)

lookupLUBType

public LUBType lookupLUBType(Collection bounds)

lookupGLBType

public GLBType lookupGLBType(ArrayList bounds)

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class CompilationUnit