Package soot.JastAddJ

Class EnumInstanceExpr

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.ClassInstanceExpr

soot.JastAddJ.EnumInstanceExpr

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class EnumInstanceExpr
extends ClassInstanceExpr
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	getAccess_computed
protected Access	getAccess_value
protected boolean	getArgList_computed
protected List<Expr>	getArgList_value

Fields inherited from class soot.JastAddJ.ClassInstanceExpr

addEnclosingVariables, computeDAbefore_int_Variable_values, computeDUbefore_int_Variable_values, decl_computed, decl_value, decls_computed, decls_value, isDAafterInstance_Variable_values, localLookupType_String_values, type_computed, type_value

Fields inherited from class soot.JastAddJ.Access

hasPrevExpr_computed, hasPrevExpr_value, prevExpr_computed, prevExpr_value

Fields inherited from class soot.JastAddJ.Expr

false_label_computed, false_label_value, true_label_computed, true_label_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	Description
EnumInstanceExpr()
EnumInstanceExpr(Opt<TypeDecl> p0)

Method Summary

Modifier and Type	Method	Description
void	addArg(Expr node)	Append an element to the Arg list.
void	addArgNoTransform(Expr node)
EnumInstanceExpr	clone()
EnumInstanceExpr	copy()
void	flushCache()
void	flushCollectionCache()
EnumInstanceExpr	fullCopy()	Create a deep copy of the AST subtree at this node.
Access	getAccess()	Retrieves the Access child.
protected int	getAccessChildPosition()	Retrieves the child position of the optional child Access.
Access	getAccessNoTransform()	Retrieves the Access child.
Expr	getArg(int i)	Retrieves the element at index i in the Arg list..
List<Expr>	getArgList()	Retrieves the Arg list.
protected int	getArgListChildPosition()	Retrieves the child position of the Arg list.
List<Expr>	getArgListNoTransform()	Retrieves the Arg list.
List<Expr>	getArgs()	Retrieves the Arg list.
List<Expr>	getArgsNoTransform()	Retrieves the Arg list.
int	getNumArg()	Retrieves the number of children in the Arg list.
int	getNumArgNoTransform()	Retrieves the number of children in the Arg list.
TypeDecl	getTypeDecl()	Retrieves the (optional) TypeDecl child.
Opt<TypeDecl>	getTypeDeclOpt()
Opt<TypeDecl>	getTypeDeclOptNoTransform()	Retrieves the optional node for child TypeDecl.
boolean	hasTypeDecl()	Check whether the optional TypeDecl child exists.
void	init$Children()	Initializes the child array to the correct size.
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setAccess(Access node)	Replaces the Access child.
void	setArg(Expr node, int i)	Replaces the Arg list element at index i with the new node node.
void	setArgList(List<Expr> list)	Replaces the Arg list.
void	setTypeDecl(TypeDecl node)	Replaces the (optional) TypeDecl child.
void	setTypeDeclOpt(Opt<TypeDecl> opt)	Replaces the optional node for the TypeDecl child.

Methods inherited from class soot.JastAddJ.ClassInstanceExpr

accessControl, addEnclosingVariables, applicableAndAccessible, arity, checkModifiers, collectTypesToSignatures, computeDAbefore, computeDUbefore, decl, decls, Define_boolean_hasPackage, Define_boolean_inStaticContext, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isDAbefore, Define_boolean_isDUbefore, Define_boolean_isMemberType, Define_ClassInstanceExpr_getClassInstanceExpr, Define_ConstructorDecl_constructorDecl, Define_NameType_nameType, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_TypeDecl_hostType, Define_TypeDecl_superType, enclosingInstance, eval, exceptionHandling, handlesException, inExplicitConstructorInvocation, invokesVariableArityAsArray, isDAafter, isDAafterInstance, isDUafter, isDUafterInstance, keepInnerClasses, localLookupType, nameCheck, noEnclosingInstance, predNameType, qualifiedLookupType, reachedException, refined_NameCheck_ClassInstanceExpr_nameCheck, refined_Transformations_ClassInstanceExpr_transformation, toString, transformation, type, typeCheck, typeCheckAnonymousSuperclassEnclosingInstance, typeCheckEnclosingInstance, typeDeclIndent, typeObject, unknownConstructor, validArgs

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, emitLoadLocalInNestedClass, emitThis, hasPrevExpr, isDiamond, isQualified, lastAccess, nestedScope, prevExpr, qualifier, substituted, superConstructorQualifier, unknownField, unknownType, unqualifiedScope, withinDeprecatedAnnotation, withinSuppressWarnings

Methods inherited from class soot.JastAddJ.Expr

addDependencyIfNeeded, assignConvertedType, canBeFalse, canBeTrue, chooseConstructor, collectTypesToHierarchy, condition_false_label, condition_true_label, constant, emitBooleanCondition, emitEvalBranch, emitStore, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isArrayAccess, isClassAccess, isConstant, isDAafterFalse, isDAafterTrue, isDAbefore, isDest, isDUafterFalse, isDUafterTrue, isDUbefore, isEnumConstant, isFalse, isFieldAccess, isIncOrDec, isLeftChildOfDot, isMethodAccess, isPackageAccess, isPositive, isRightChildOfDot, isSource, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTrue, isTypeAccess, isUnknown, isVariable, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, nextAccess, packageName, parentDot, qualifiedLookupVariable, qualifiesAccess, refined_BooleanExpressions_Expr_emitEvalBranch, representableIn, staticContextQualifier, throwTypes, true_label, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeName, typeNull, typeShort, typeString, typeVoid, varDecl

Methods inherited from class soot.JastAddJ.ASTNode

addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, compilationUnit, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, Define_boolean_handlesException, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isDest, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMethodParameter, Define_boolean_isNestedType, 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_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_Collection_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, 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_SimpleSet_allImportedTypes, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, Define_TypeDecl_componentType, Define_TypeDecl_declType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_expectedType, Define_TypeDecl_genericDecl, Define_TypeDecl_lookupType, Define_TypeDecl_lookupWildcardExtends, Define_TypeDecl_lookupWildcardSuper, Define_TypeDecl_returnType, 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, dumpString, dumpTree, dumpTree, dumpTreeNoRewrite, dumpTreeNoRewrite, duringAnnotations, duringAnonymousClasses, duringBoundNames, duringDU, duringEnums, duringGenericTypeVariables, duringImplicitConstructor, duringLiterals, duringNameResolution, duringSyntacticClassification, duringVariableDeclarationTransformation, emitConstant, end, endExceptionRange, error, errorPrefix, 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, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformEnumConstructors, 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

getAccess_computed

protected boolean getAccess_computed

getAccess_value

protected Access getAccess_value

getArgList_computed

protected boolean getArgList_computed

getArgList_value

protected List<Expr> getArgList_value

Constructor Detail

EnumInstanceExpr

public EnumInstanceExpr()

EnumInstanceExpr

public EnumInstanceExpr(Opt<TypeDecl> p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class ClassInstanceExpr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class ClassInstanceExpr

clone

public EnumInstanceExpr clone()
                       throws CloneNotSupportedException

Overrides:

clone in class ClassInstanceExpr

Throws:

CloneNotSupportedException

copy

public EnumInstanceExpr copy()

Overrides:

copy in class ClassInstanceExpr

fullCopy

public EnumInstanceExpr 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 ClassInstanceExpr

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 ClassInstanceExpr

numChildren

protected int numChildren()

Overrides:

numChildren in class ClassInstanceExpr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class ClassInstanceExpr

setTypeDeclOpt

public void setTypeDeclOpt(Opt<TypeDecl> opt)

Replaces the optional node for the TypeDecl child. This is the Opt node containing the child TypeDecl, not the actual child!

Overrides:

setTypeDeclOpt in class ClassInstanceExpr

Parameters:

opt - The new node to be used as the optional node for the TypeDecl child.

hasTypeDecl

public boolean hasTypeDecl()

Check whether the optional TypeDecl child exists.

Overrides:

hasTypeDecl in class ClassInstanceExpr

Returns:

true if the optional TypeDecl child exists, false if it does not.

getTypeDecl

public TypeDecl getTypeDecl()

Retrieves the (optional) TypeDecl child.

Overrides:

getTypeDecl in class ClassInstanceExpr

Returns:

The TypeDecl child, if it exists. Returns null otherwise.

setTypeDecl

public void setTypeDecl(TypeDecl node)

Replaces the (optional) TypeDecl child.

Overrides:

setTypeDecl in class ClassInstanceExpr

Parameters:

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

getTypeDeclOpt

public Opt<TypeDecl> getTypeDeclOpt()

Overrides:

getTypeDeclOpt in class ClassInstanceExpr

getTypeDeclOptNoTransform

public Opt<TypeDecl> getTypeDeclOptNoTransform()

Retrieves the optional node for child TypeDecl. This is the Opt node containing the child TypeDecl, not the actual child!

This method does not invoke AST transformations.

Overrides:

getTypeDeclOptNoTransform in class ClassInstanceExpr

Returns:

The optional node for child TypeDecl.

setAccess

public void setAccess(Access node)

Replaces the Access child.

Overrides:

setAccess in class ClassInstanceExpr

Parameters:

node - The new node to replace the Access child.

getAccessNoTransform

public Access getAccessNoTransform()

Retrieves the Access child.

This method does not invoke AST transformations.

Overrides:

getAccessNoTransform in class ClassInstanceExpr

Returns:

The current node used as the Access child.

getAccessChildPosition

protected int getAccessChildPosition()

Retrieves the child position of the optional child Access.

Returns:

The the child position of the optional child Access.

setArgList

public void setArgList(List<Expr> list)

Replaces the Arg list.

Overrides:

setArgList in class ClassInstanceExpr

Parameters:

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

getNumArg

public int getNumArg()

Retrieves the number of children in the Arg list.

Overrides:

getNumArg in class ClassInstanceExpr

Returns:

Number of children in the Arg list.

getNumArgNoTransform

public int getNumArgNoTransform()

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

Overrides:

getNumArgNoTransform in class ClassInstanceExpr

Returns:

Number of children in the Arg list.

getArg

public Expr getArg(int i)

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

Overrides:

getArg in class ClassInstanceExpr

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Arg list.

addArg

public void addArg(Expr node)

Append an element to the Arg list.

Overrides:

addArg in class ClassInstanceExpr

Parameters:

node - The element to append to the Arg list.

addArgNoTransform

public void addArgNoTransform(Expr node)

Overrides:

addArgNoTransform in class ClassInstanceExpr

setArg

public void setArg(Expr node,
                   int i)

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

Overrides:

setArg in class ClassInstanceExpr

Parameters:

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

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

getArgs

public List<Expr> getArgs()

Retrieves the Arg list.

Overrides:

getArgs in class ClassInstanceExpr

Returns:

The node representing the Arg list.

getArgsNoTransform

public List<Expr> getArgsNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Overrides:

getArgsNoTransform in class ClassInstanceExpr

Returns:

The node representing the Arg list.

getArgListNoTransform

public List<Expr> getArgListNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Overrides:

getArgListNoTransform in class ClassInstanceExpr

Returns:

The node representing the Arg list.

getArgListChildPosition

protected int getArgListChildPosition()

Retrieves the child position of the Arg list.

Returns:

The the child position of the Arg list.

getAccess

public Access getAccess()

Description copied from class: ClassInstanceExpr

Retrieves the Access child.

Overrides:

getAccess in class ClassInstanceExpr

Returns:

The current node used as the Access child.

getArgList

public List<Expr> getArgList()

Description copied from class: ClassInstanceExpr

Retrieves the Arg list.

Overrides:

getArgList in class ClassInstanceExpr

Returns:

The node representing the Arg list.

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class ClassInstanceExpr