soot.JastAddJ

Class EnumConstant

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.BodyDecl

soot.JastAddJ.MemberDecl

soot.JastAddJ.FieldDeclaration

soot.JastAddJ.EnumConstant

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, Iterator, SimpleSet, Variable

public class EnumConstant
extends FieldDeclaration
implements Cloneable

Nested Class Summary

Nested classes/interfaces inherited from interface soot.JastAddJ.SimpleSet

SimpleSet.SimpleSetImpl

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	getTypeAccess_computed
protected Access	getTypeAccess_value
protected boolean	localMethodsSignatureMap_computed
protected HashMap	localMethodsSignatureMap_value

Fields inherited from class soot.JastAddJ.FieldDeclaration

accessibleFrom_TypeDecl_values, constant_computed, constant_value, exceptions_computed, exceptions_value, IDend, IDstart, isDAafter_Variable_values, isDUafter_Variable_values, sootField, sootRef_computed, sootRef_value, sourceVariableDecl_computed, sourceVariableDecl_value, throwTypes_computed, throwTypes_value, tokenString_ID, usesTypeVariable_computed, usesTypeVariable_value

Fields inherited from class soot.JastAddJ.BodyDecl

isDAbefore_Variable_values, isDUbefore_Variable_values, lookupVariable_String_values, typeThrowable_computed, typeThrowable_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

Fields inherited from interface soot.JastAddJ.SimpleSet

emptySet, fullSet

Constructor Summary

Constructors

Constructor and Description
EnumConstant()
EnumConstant(Modifiers mods, String name, List<Expr> args, List<BodyDecl> bds)
EnumConstant(Modifiers p0, String p1, List<Expr> p2, Opt<Expr> p3)
EnumConstant(Modifiers p0, Symbol p1, List<Expr> p2, Opt<Expr> p3)

Method Summary

Modifier and Type	Method and Description
void	addArg(Expr node) Append an element to the Arg list.
void	addArgNoTransform(Expr node)
EnumConstant	clone()
EnumConstant	copy()
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
void	flushCache()
void	flushCollectionCache()
EnumConstant	fullCopy() Create a deep copy of the AST subtree at this node.
Expr	getArg(int i) Retrieves the element at index i in the Arg list..
List<Expr>	getArgList() Retrieves the Arg list.
List<Expr>	getArgListNoTransform() Retrieves the Arg list.
List<Expr>	getArgs() Retrieves the Arg list.
List<Expr>	getArgsNoTransform() Retrieves the Arg list.
BodyDecl	getBodyDecl(int i)
String	getID() Retrieves the value for the lexeme ID.
Expr	getInit() Retrieves the (optional) Init child.
Opt<Expr>	getInitOpt()
Opt<Expr>	getInitOptNoTransform() Retrieves the optional node for child Init.
Modifiers	getModifiers() Retrieves the Modifiers child.
Modifiers	getModifiersNoTransform() Retrieves the Modifiers child.
int	getNumArg() Retrieves the number of children in the Arg list.
int	getNumArgNoTransform() Retrieves the number of children in the Arg list.
int	getNumBodyDecl()
Access	getTypeAccess() Retrieves the TypeAccess child.
protected int	getTypeAccessChildPosition() Retrieves the child position of the optional child TypeAccess.
Access	getTypeAccessNoTransform() Retrieves the TypeAccess child.
boolean	hasInit() Check whether the optional Init child exists.
boolean	implementsMethod(MethodDecl method)
void	init$Children() Initializes the child array to the correct size.
boolean	isEnumConstant()
boolean	isFinal()
boolean	isPublic()
boolean	isStatic()
SimpleSet	localMethodsSignature(String signature)
HashMap	localMethodsSignatureMap()
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
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	setID(String value) Replaces the lexeme ID.
void	setID(Symbol symbol) JastAdd-internal setter for lexeme ID using the Beaver parser.
void	setInit(Expr node) Replaces the (optional) Init child.
void	setInitOpt(Opt<Expr> opt) Replaces the optional node for the Init child.
void	setModifiers(Modifiers node) Replaces the Modifiers child.
void	setTypeAccess(Access node) Replaces the TypeAccess child.
int	sootTypeModifiers()
void	toString(StringBuffer s)

Methods inherited from class soot.JastAddJ.FieldDeclaration

accessibleFrom, add, addAttributes, checkModifiers, checkWarnings, constant, contains, createAccessor, createAccessorWrite, createBoundFieldAccess, createQualifiedBoundAccess, Define_boolean_handlesException, Define_boolean_inStaticContext, Define_boolean_isDAbefore, Define_boolean_isSource, Define_boolean_mayBeFinal, Define_boolean_mayBePrivate, Define_boolean_mayBeProtected, Define_boolean_mayBePublic, Define_boolean_mayBeStatic, Define_boolean_mayBeTransient, Define_boolean_mayBeVolatile, Define_boolean_mayUseAnnotationTarget, Define_TypeDecl_assignConvertedType, Define_TypeDecl_declType, Define_TypeDecl_expectedType, definiteAssignment, dumpString, erasedField, exceptions, getFieldDecl, handlesException, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasNext, isBlank, isClassVariable, isConstant, isConstructorParameter, isDAafter, isDeprecated, isDUafter, isEmpty, isExceptionHandlerParameter, isInstanceVariable, isLocalVariable, isMethodParameter, isParameter, isPrivate, isProtected, isSingleton, isSingleton, isSynthetic, isTransient, isVoid, isVolatile, iterator, jimplify1phase2, name, nameCheck, next, remove, setFieldDecl, size, sootRef, sourceVariableDecl, substitutedBodyDecl, suppressWarnings, throwTypes, type, typeCheck, usesTypeVariable, visibleTypeParameters, withinSuppressWarnings

Methods inherited from class soot.JastAddJ.BodyDecl

addsIndentationLevel, collectFinally, declaresType, Define_ArrayList_exceptionRanges, Define_BodyDecl_enclosingBodyDecl, Define_boolean_resourcePreviouslyDeclared, Define_String_typeDeclIndent, generate, hasIllegalAnnotationSafeVarargs, hostPackage, hostType, isDAbefore, isDUbefore, jimplify2, lookupMethod, lookupType, lookupType, lookupVariable, nameType, type, typeThrowable

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ASTNode_enclosingBlock, Define_boolean_enclosedByExceptionHandler, Define_boolean_hasPackage, Define_boolean_inExplicitConstructorInvocation, Define_boolean_inExtendsOrImplements, Define_boolean_inhModifiedInScope, Define_boolean_insideLoop, Define_boolean_insideSwitch, Define_boolean_isAnonymous, Define_boolean_isAnonymousDecl, Define_boolean_isCatchParam, Define_boolean_isConstructorParameter, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isExceptionHandlerParameter, Define_boolean_isExplicitGenericConstructorAccess, Define_boolean_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_isNestedType, Define_boolean_mayBeAbstract, Define_boolean_mayBeNative, Define_boolean_mayBeStrictfp, Define_boolean_mayBeSynchronized, Define_boolean_reachable, Define_boolean_reachableCatchClause, Define_boolean_reportUnreachable, Define_boolean_variableArityValid, Define_boolean_withinDeprecatedAnnotation, Define_boolean_withinSuppressWarnings, Define_Case_bind, Define_CatchClause_catchClause, Define_ClassInstanceExpr_getClassInstanceExpr, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_Collection_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, 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_SimpleSet_allImportedTypes, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, Define_String_methodHost, Define_String_packageName, Define_TypeDecl_componentType, Define_TypeDecl_enclosingAnnotationDecl, Define_TypeDecl_enclosingInstance, Define_TypeDecl_enclosingType, Define_TypeDecl_genericDecl, Define_TypeDecl_hostType, 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, 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, jimplify1phase1, jimplify2, lineNumber, location, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, transformation, transformEnumConstructors, unassignedEverywhere, 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.util.Iterator

forEachRemaining

Methods inherited from interface soot.JastAddJ.Variable

hostType

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

getTypeAccess_computed

protected boolean getTypeAccess_computed

getTypeAccess_value

protected Access getTypeAccess_value

localMethodsSignatureMap_computed

protected boolean localMethodsSignatureMap_computed

localMethodsSignatureMap_value

protected HashMap localMethodsSignatureMap_value

Constructor Detail

EnumConstant

public EnumConstant(Modifiers mods,
                    String name,
                    List<Expr> args,
                    List<BodyDecl> bds)

EnumConstant

public EnumConstant()

EnumConstant

public EnumConstant(Modifiers p0,
                    String p1,
                    List<Expr> p2,
                    Opt<Expr> p3)

EnumConstant

public EnumConstant(Modifiers p0,
                    Symbol p1,
                    List<Expr> p2,
                    Opt<Expr> p3)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class FieldDeclaration

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class FieldDeclaration

clone

public EnumConstant clone()
                   throws CloneNotSupportedException

Overrides:

clone in class FieldDeclaration

Throws:

CloneNotSupportedException

copy

public EnumConstant copy()

Overrides:

copy in class FieldDeclaration

fullCopy

public EnumConstant 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 FieldDeclaration

Returns:

dangling copy of the subtree at this node

getNumBodyDecl

public int getNumBodyDecl()

getBodyDecl

public BodyDecl getBodyDecl(int i)

toString

public void toString(StringBuffer s)

Overrides:

toString in class FieldDeclaration

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 FieldDeclaration

numChildren

protected int numChildren()

Overrides:

numChildren in class FieldDeclaration

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class FieldDeclaration

setModifiers

public void setModifiers(Modifiers node)

Replaces the Modifiers child.

Overrides:

setModifiers in class FieldDeclaration

Parameters:

node - The new node to replace the Modifiers child.

getModifiers

public Modifiers getModifiers()

Retrieves the Modifiers child.

Specified by:

getModifiers in interface Variable

Overrides:

getModifiers in class FieldDeclaration

Returns:

The current node used as the Modifiers child.

getModifiersNoTransform

public Modifiers getModifiersNoTransform()

Retrieves the Modifiers child.

This method does not invoke AST transformations.

Overrides:

getModifiersNoTransform in class FieldDeclaration

Returns:

The current node used as the Modifiers child.

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class FieldDeclaration

Parameters:

value - The new value for the lexeme ID.

setID

public void setID(Symbol symbol)

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

Overrides:

setID in class FieldDeclaration

getID

public String getID()

Retrieves the value for the lexeme ID.

Overrides:

getID in class FieldDeclaration

Returns:

The value for the lexeme ID.

setArgList

public void setArgList(List<Expr> list)

Replaces the Arg list.

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.

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..

Returns:

Number of children in the Arg list.

getArg

public Expr getArg(int i)

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

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.

Parameters:

node - The element to append to the Arg list.

addArgNoTransform

public void addArgNoTransform(Expr node)

setArg

public void setArg(Expr node,
                   int i)

Replaces the Arg 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.

getArgs

public List<Expr> getArgs()

Retrieves the Arg list.

Returns:

The node representing the Arg list.

getArgsNoTransform

public List<Expr> getArgsNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Returns:

The node representing the Arg list.

getArgList

public List<Expr> getArgList()

Retrieves the Arg list.

Returns:

The node representing the Arg list.

getArgListNoTransform

public List<Expr> getArgListNoTransform()

Retrieves the Arg list.

This method does not invoke AST transformations.

Returns:

The node representing the Arg list.

setInitOpt

public void setInitOpt(Opt<Expr> opt)

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

Overrides:

setInitOpt in class FieldDeclaration

Parameters:

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

hasInit

public boolean hasInit()

Check whether the optional Init child exists.

Specified by:

hasInit in interface Variable

Overrides:

hasInit in class FieldDeclaration

Returns:

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

getInit

public Expr getInit()

Retrieves the (optional) Init child.

Specified by:

getInit in interface Variable

Overrides:

getInit in class FieldDeclaration

Returns:

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

setInit

public void setInit(Expr node)

Replaces the (optional) Init child.

Overrides:

setInit in class FieldDeclaration

Parameters:

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

getInitOpt

public Opt<Expr> getInitOpt()

Overrides:

getInitOpt in class FieldDeclaration

getInitOptNoTransform

public Opt<Expr> getInitOptNoTransform()

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

This method does not invoke AST transformations.

Overrides:

getInitOptNoTransform in class FieldDeclaration

Returns:

The optional node for child Init.

setTypeAccess

public void setTypeAccess(Access node)

Replaces the TypeAccess child.

Overrides:

setTypeAccess in class FieldDeclaration

Parameters:

node - The new node to replace the TypeAccess child.

getTypeAccessNoTransform

public Access getTypeAccessNoTransform()

Retrieves the TypeAccess child.

This method does not invoke AST transformations.

Overrides:

getTypeAccessNoTransform in class FieldDeclaration

Returns:

The current node used as the TypeAccess child.

getTypeAccessChildPosition

protected int getTypeAccessChildPosition()

Retrieves the child position of the optional child TypeAccess.

Returns:

The the child position of the optional child TypeAccess.

isEnumConstant

public boolean isEnumConstant()

Overrides:

isEnumConstant in class BodyDecl

isPublic

public boolean isPublic()

Overrides:

isPublic in class FieldDeclaration

isStatic

public boolean isStatic()

Specified by:

isStatic in interface Variable

Overrides:

isStatic in class FieldDeclaration

isFinal

public boolean isFinal()

Specified by:

isFinal in interface Variable

Overrides:

isFinal in class FieldDeclaration

getTypeAccess

public Access getTypeAccess()

Description copied from class: FieldDeclaration

Retrieves the TypeAccess child.

Overrides:

getTypeAccess in class FieldDeclaration

Returns:

The current node used as the TypeAccess child.

localMethodsSignature

public SimpleSet localMethodsSignature(String signature)

localMethodsSignatureMap

public HashMap localMethodsSignatureMap()

implementsMethod

public boolean implementsMethod(MethodDecl method)

sootTypeModifiers

public int sootTypeModifiers()

Overrides:

sootTypeModifiers in class FieldDeclaration

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_NameType_nameType in class FieldDeclaration

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class FieldDeclaration