Package soot.JastAddJ

Class FieldDeclarationSubstituted

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.BodyDecl

soot.JastAddJ.MemberDecl

soot.JastAddJ.FieldDeclaration

soot.JastAddJ.FieldDeclarationSubstituted

All Implemented Interfaces:

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

public class FieldDeclarationSubstituted
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	Description
protected boolean	sourceVariableDecl_computed
protected Variable	sourceVariableDecl_value
protected FieldDeclaration	tokenFieldDeclaration_Original

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, 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	Description
FieldDeclarationSubstituted()
FieldDeclarationSubstituted(Modifiers p0, Access p1, Symbol p2, Opt<Expr> p3, FieldDeclaration p4)
FieldDeclarationSubstituted(Modifiers p0, Access p1, String p2, Opt<Expr> p3, FieldDeclaration p4)

Method Summary

Modifier and Type	Method	Description
FieldDeclarationSubstituted	clone()
FieldDeclarationSubstituted	copy()
FieldDeclaration	erasedField()
void	flushCache()
void	flushCollectionCache()
FieldDeclarationSubstituted	fullCopy()	Create a deep copy of the AST subtree at this node.
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.
FieldDeclaration	getOriginal()	Retrieves the value for the lexeme Original.
Access	getTypeAccess()	Retrieves the TypeAccess child.
Access	getTypeAccessNoTransform()	Retrieves the TypeAccess child.
boolean	hasInit()	Check whether the optional Init child exists.
void	init$Children()	Initializes the child array to the correct size.
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setID(Symbol symbol)	JastAdd-internal setter for lexeme ID using the Beaver parser.
void	setID(String value)	Replaces the lexeme ID.
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	setOriginal(FieldDeclaration value)	Replaces the lexeme Original.
void	setTypeAccess(Access node)	Replaces the TypeAccess child.
Variable	sourceVariableDecl()

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_NameType_nameType, Define_TypeDecl_assignConvertedType, Define_TypeDecl_declType, Define_TypeDecl_expectedType, definiteAssignment, dumpString, exceptions, getFieldDecl, handlesException, hasAnnotationSafeVarargs, hasAnnotationSuppressWarnings, hasNext, isBlank, isClassVariable, isConstant, isConstructorParameter, isDAafter, isDeprecated, isDUafter, isEmpty, isExceptionHandlerParameter, isFinal, isInstanceVariable, isLocalVariable, isMethodParameter, isParameter, isPrivate, isProtected, isPublic, isSingleton, isSingleton, isStatic, isSynthetic, isTransient, isVoid, isVolatile, iterator, jimplify1phase2, name, nameCheck, next, remove, setFieldDecl, size, sootRef, sootTypeModifiers, substitutedBodyDecl, suppressWarnings, throwTypes, toString, 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, isEnumConstant, 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.lang.Iterable

forEach, spliterator

Methods inherited from interface java.util.Iterator

forEachRemaining

Methods inherited from interface soot.JastAddJ.Variable

hostType

Field Detail

tokenFieldDeclaration_Original

protected FieldDeclaration tokenFieldDeclaration_Original

sourceVariableDecl_computed

protected boolean sourceVariableDecl_computed

sourceVariableDecl_value

protected Variable sourceVariableDecl_value

Constructor Detail

FieldDeclarationSubstituted

public FieldDeclarationSubstituted()

FieldDeclarationSubstituted

public FieldDeclarationSubstituted(Modifiers p0,
                                   Access p1,
                                   String p2,
                                   Opt<Expr> p3,
                                   FieldDeclaration p4)

FieldDeclarationSubstituted

public FieldDeclarationSubstituted(Modifiers p0,
                                   Access p1,
                                   Symbol p2,
                                   Opt<Expr> p3,
                                   FieldDeclaration p4)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class FieldDeclaration

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class FieldDeclaration

clone

public FieldDeclarationSubstituted clone()
                                  throws CloneNotSupportedException

Overrides:

clone in class FieldDeclaration

Throws:

CloneNotSupportedException

copy

public FieldDeclarationSubstituted copy()

Overrides:

copy in class FieldDeclaration

fullCopy

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

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.

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.

getTypeAccess

public Access getTypeAccess()

Retrieves the TypeAccess child.

Overrides:

getTypeAccess in class FieldDeclaration

Returns:

The current node used as 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.

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.

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.

setOriginal

public void setOriginal(FieldDeclaration value)

Replaces the lexeme Original.

Parameters:

value - The new value for the lexeme Original.

getOriginal

public FieldDeclaration getOriginal()

Retrieves the value for the lexeme Original.

Returns:

The value for the lexeme Original.

sourceVariableDecl

public Variable sourceVariableDecl()

Specified by:

sourceVariableDecl in interface Variable

Overrides:

sourceVariableDecl in class FieldDeclaration

erasedField

public FieldDeclaration erasedField()

Overrides:

erasedField in class FieldDeclaration

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class FieldDeclaration