Package soot.JastAddJ

Class VariableDecl

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.VariableDecl

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class VariableDecl
extends ASTNode<ASTNode>
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
int	IDend
int	IDstart
protected String	tokenString_ID

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
VariableDecl()
VariableDecl(Symbol p0, List<Dims> p1, Opt<Expr> p2)
VariableDecl(String p0, List<Dims> p1, Opt<Expr> p2)

Method Summary

Modifier and Type	Method	Description
void	addDims(Dims node)	Append an element to the Dims list.
void	addDimsNoTransform(Dims node)
VariableDecl	clone()
VariableDecl	copy()
FieldDeclaration	createFieldDeclarationFrom(Modifiers modifiers, Access type)
VariableDeclaration	createVariableDeclarationFrom(Modifiers modifiers, Access type)
boolean	Define_boolean_isSource(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_expectedType(ASTNode caller, ASTNode child)
void	flushCache()
void	flushCollectionCache()
VariableDecl	fullCopy()	Create a deep copy of the AST subtree at this node.
Dims	getDims(int i)	Retrieves the element at index i in the Dims list..
List<Dims>	getDimsList()	Retrieves the Dims list.
List<Dims>	getDimsListNoTransform()	Retrieves the Dims list.
List<Dims>	getDimss()	Retrieves the Dims list.
List<Dims>	getDimssNoTransform()	Retrieves the Dims list.
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.
int	getNumDims()	Retrieves the number of children in the Dims list.
int	getNumDimsNoTransform()	Retrieves the number of children in the Dims list.
boolean	hasInit()	Check whether the optional Init child exists.
void	init$Children()	Initializes the child array to the correct size.
boolean	mayHaveRewrite()
String	name()
protected int	numChildren()
ASTNode	rewriteTo()
void	setDims(Dims node, int i)	Replaces the Dims list element at index i with the new node node.
void	setDimsList(List<Dims> list)	Replaces the Dims list.
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.

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_handlesException, 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_isIncOrDec, Define_boolean_isLocalClass, Define_boolean_isMemberType, Define_boolean_isMethodParameter, Define_boolean_isNestedType, 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_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_NameType_nameType, 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_String_typeDeclIndent, Define_TypeDecl_assignConvertedType, Define_TypeDecl_componentType, Define_TypeDecl_declType, 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, definiteAssignment, dumpString, 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, nameCheck, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, toString, toString, transformation, 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

tokenString_ID

protected String tokenString_ID

IDstart

public int IDstart

IDend

public int IDend

Constructor Detail

VariableDecl

public VariableDecl()

VariableDecl

public VariableDecl(String p0,
                    List<Dims> p1,
                    Opt<Expr> p2)

VariableDecl

public VariableDecl(Symbol p0,
                    List<Dims> p1,
                    Opt<Expr> p2)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone

public VariableDecl clone()
                   throws CloneNotSupportedException

Overrides:

clone in class ASTNode<ASTNode>

Throws:

CloneNotSupportedException

copy

public VariableDecl copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

public VariableDecl 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 ASTNode<ASTNode>

Returns:

dangling copy of the subtree at this node

createVariableDeclarationFrom

public VariableDeclaration createVariableDeclarationFrom(Modifiers modifiers,
                                                         Access type)

createFieldDeclarationFrom

public FieldDeclaration createFieldDeclarationFrom(Modifiers modifiers,
                                                   Access type)

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

numChildren

protected int numChildren()

Overrides:

numChildren in class ASTNode<ASTNode>

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class ASTNode<ASTNode>

setID

public void setID(String value)

Replaces the lexeme ID.

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.

getID

public String getID()

Retrieves the value for the lexeme ID.

Returns:

The value for the lexeme ID.

setDimsList

public void setDimsList(List<Dims> list)

Replaces the Dims list.

Parameters:

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

getNumDims

public int getNumDims()

Retrieves the number of children in the Dims list.

Returns:

Number of children in the Dims list.

getNumDimsNoTransform

public int getNumDimsNoTransform()

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

Returns:

Number of children in the Dims list.

getDims

public Dims getDims(int i)

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

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Dims list.

addDims

public void addDims(Dims node)

Append an element to the Dims list.

Parameters:

node - The element to append to the Dims list.

addDimsNoTransform

public void addDimsNoTransform(Dims node)

setDims

public void setDims(Dims node,
                    int i)

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

getDimss

public List<Dims> getDimss()

Retrieves the Dims list.

Returns:

The node representing the Dims list.

getDimssNoTransform

public List<Dims> getDimssNoTransform()

Retrieves the Dims list.

This method does not invoke AST transformations.

Returns:

The node representing the Dims list.

getDimsList

public List<Dims> getDimsList()

Retrieves the Dims list.

Returns:

The node representing the Dims list.

getDimsListNoTransform

public List<Dims> getDimsListNoTransform()

Retrieves the Dims list.

This method does not invoke AST transformations.

Returns:

The node representing the Dims 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!

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.

Returns:

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

getInit

public Expr getInit()

Retrieves the (optional) Init child.

Returns:

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

setInit

public void setInit(Expr node)

Replaces the (optional) Init child.

Parameters:

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

getInitOpt

public Opt<Expr> getInitOpt()

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.

Returns:

The optional node for child Init.

name

public String name()

Define_boolean_isSource

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:

Define_boolean_isSource in class ASTNode<ASTNode>

Define_TypeDecl_expectedType

public TypeDecl Define_TypeDecl_expectedType(ASTNode caller,
                                             ASTNode child)

Overrides:

Define_TypeDecl_expectedType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class ASTNode<ASTNode>