soot.JastAddJ

Class SuperConstructorAccess

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.ConstructorAccess

soot.JastAddJ.SuperConstructorAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ParSuperConstructorAccess

public class SuperConstructorAccess
extends ConstructorAccess
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	decls_computed
protected SimpleSet	decls_value

Fields inherited from class soot.JastAddJ.ConstructorAccess

addEnclosingVariables, decl_computed, decl_value, IDend, IDstart, tokenString_ID, 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 and Description
SuperConstructorAccess()
SuperConstructorAccess(String p0, List<Expr> p1)
SuperConstructorAccess(Symbol p0, List<Expr> p1)

Method Summary

Modifier and Type	Method and Description
void	addArg(Expr node) Append an element to the Arg list.
void	addArgNoTransform(Expr node)
SuperConstructorAccess	clone()
void	collectTypesToSignatures(Collection<Type> set)
SuperConstructorAccess	copy()
SimpleSet	decls()
boolean	Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName)
boolean	Define_boolean_inExplicitConstructorInvocation(ASTNode caller, ASTNode child)
SimpleSet	Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)
TypeDecl	enclosingInstance()
Value	eval(Body b)
void	flushCache()
void	flushCollectionCache()
SuperConstructorAccess	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.
String	getID() Retrieves the value for the lexeme ID.
int	getNumArg() Retrieves the number of children in the Arg list.
int	getNumArgNoTransform() Retrieves the number of children in the Arg list.
void	init$Children() Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	isSuperConstructorAccess()
Collection	lookupSuperConstructor()
boolean	mayHaveRewrite()
String	name()
void	nameCheck()
protected int	numChildren()
NameType	predNameType()
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	transformation()

Methods inherited from class soot.JastAddJ.ConstructorAccess

addEnclosingVariables, applicableAndAccessible, arity, checkModifiers, decl, Define_Collection_lookupMethod, Define_NameType_nameType, Define_SimpleSet_lookupType, Define_String_methodHost, exceptionHandling, handlesException, invokesVariableArityAsArray, lookupConstructor, reachedException, refined_Transformations_ConstructorAccess_transformation, toString, transformEnumConstructors, type, unknownConstructor, validArgs

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, emitLoadLocalInNestedClass, emitThis, hasPrevExpr, inExplicitConstructorInvocation, 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, isThisAccess, isTrue, isTypeAccess, isUnknown, isVariable, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, nextAccess, packageName, parentDot, qualifiedLookupType, 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

accessControl, 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_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_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_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_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, Define_String_hostPackage, 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_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, 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, 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

decls_computed

protected boolean decls_computed

decls_value

protected SimpleSet decls_value

Constructor Detail

SuperConstructorAccess

public SuperConstructorAccess()

SuperConstructorAccess

public SuperConstructorAccess(String p0,
                              List<Expr> p1)

SuperConstructorAccess

public SuperConstructorAccess(Symbol p0,
                              List<Expr> p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class ConstructorAccess

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class ConstructorAccess

clone

public SuperConstructorAccess clone()
                             throws CloneNotSupportedException

Overrides:

clone in class ConstructorAccess

Throws:

CloneNotSupportedException

copy

public SuperConstructorAccess copy()

Overrides:

copy in class ConstructorAccess

fullCopy

public SuperConstructorAccess 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 ConstructorAccess

Returns:

dangling copy of the subtree at this node

nameCheck

public void nameCheck()

Overrides:

nameCheck in class ConstructorAccess

transformation

public void transformation()

Overrides:

transformation in class ConstructorAccess

collectTypesToSignatures

public void collectTypesToSignatures(Collection<Type> set)

Overrides:

collectTypesToSignatures in class ConstructorAccess

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 ConstructorAccess

numChildren

protected int numChildren()

Overrides:

numChildren in class ConstructorAccess

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class ConstructorAccess

setID

public void setID(String value)

Replaces the lexeme ID.

Overrides:

setID in class ConstructorAccess

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 ConstructorAccess

getID

public String getID()

Retrieves the value for the lexeme ID.

Overrides:

getID in class ConstructorAccess

Returns:

The value for the lexeme ID.

setArgList

public void setArgList(List<Expr> list)

Replaces the Arg list.

Overrides:

setArgList in class ConstructorAccess

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 ConstructorAccess

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 ConstructorAccess

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 ConstructorAccess

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 ConstructorAccess

Parameters:

node - The element to append to the Arg list.

addArgNoTransform

public void addArgNoTransform(Expr node)

Overrides:

addArgNoTransform in class ConstructorAccess

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 ConstructorAccess

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 ConstructorAccess

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 ConstructorAccess

Returns:

The node representing the Arg list.

getArgList

public List<Expr> getArgList()

Retrieves the Arg list.

Overrides:

getArgList in class ConstructorAccess

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 ConstructorAccess

Returns:

The node representing the Arg list.

eval

public Value eval(Body b)

Overrides:

eval in class ConstructorAccess

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class ConstructorAccess

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class ConstructorAccess

decls

public SimpleSet decls()

Overrides:

decls in class ConstructorAccess

name

public String name()

Overrides:

name in class ConstructorAccess

isSuperConstructorAccess

public boolean isSuperConstructorAccess()

Overrides:

isSuperConstructorAccess in class Expr

predNameType

public NameType predNameType()

Overrides:

predNameType in class ConstructorAccess

lookupSuperConstructor

public Collection lookupSuperConstructor()

enclosingInstance

public TypeDecl enclosingInstance()

Define_boolean_hasPackage

public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         String packageName)

Overrides:

Define_boolean_hasPackage in class ConstructorAccess

Define_SimpleSet_lookupVariable

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:

Define_SimpleSet_lookupVariable in class ConstructorAccess

Define_boolean_inExplicitConstructorInvocation

public boolean Define_boolean_inExplicitConstructorInvocation(ASTNode caller,
                                                              ASTNode child)

Overrides:

Define_boolean_inExplicitConstructorInvocation in class ConstructorAccess

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class ConstructorAccess