ConstructorAccess (Soot - a J*va Optimization Framework 4.2.1 API)

java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Expr
    - - soot.JastAddJ.Access
      - soot.JastAddJ.ConstructorAccess

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

ParConstructorAccess, SuperConstructorAccess
```
public class ConstructorAccess
extends Access
implements Cloneable
```

Field Summary

Fields
Modifier and Type	Field and Description
`protected boolean`	`addEnclosingVariables`
`protected boolean`	`decl_computed`
`protected ConstructorDecl`	`decl_value`
`protected boolean`	`decls_computed`
`protected SimpleSet`	`decls_value`
`int`	`IDend`
`int`	`IDstart`
`protected String`	`tokenString_ID`
`protected boolean`	`type_computed`
`protected TypeDecl`	`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
`ConstructorAccess()`
`ConstructorAccess(String p0, List<Expr> p1)`
`ConstructorAccess(Symbol p0, List<Expr> p1)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addArg(Expr node)` Append an element to the Arg list.
`void`	`addArgNoTransform(Expr node)`
`void`	`addEnclosingVariables()`
`boolean`	`applicableAndAccessible(ConstructorDecl decl)`
`int`	`arity()`
`void`	`checkModifiers()`
`ConstructorAccess`	`clone()`
`void`	`collectTypesToSignatures(Collection<Type> set)`
`ConstructorAccess`	`copy()`
`ConstructorDecl`	`decl()`
`SimpleSet`	`decls()`
`boolean`	`Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName)`
`boolean`	`Define_boolean_inExplicitConstructorInvocation(ASTNode caller, ASTNode child)`
`Collection`	`Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`SimpleSet`	`Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)`
`SimpleSet`	`Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)`
`String`	`Define_String_methodHost(ASTNode caller, ASTNode child)`
`Value`	`eval(Body b)`
`void`	`exceptionHandling()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`ConstructorAccess`	`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.
`boolean`	`handlesException(TypeDecl exceptionType)`
`void`	`init$Children()` Initializes the child array to the correct size.
`boolean`	`invokesVariableArityAsArray()`
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDUafter(Variable v)`
`Collection`	`lookupConstructor()`
`boolean`	`mayHaveRewrite()`
`String`	`name()`
`void`	`nameCheck()`
`protected int`	`numChildren()`
`NameType`	`predNameType()`
`protected boolean`	`reachedException(TypeDecl catchType)`
`void`	`refined_Transformations_ConstructorAccess_transformation()`
`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`	`toString(StringBuffer s)`
`void`	`transformation()`
`protected void`	`transformEnumConstructors()`
`TypeDecl`	`type()`
`ConstructorDecl`	`unknownConstructor()`
`boolean`	`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, isSuperConstructorAccess, 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

addEnclosingVariables

protected boolean addEnclosingVariables

tokenString_ID
```
protected String tokenString_ID
```

IDstart
```
public int IDstart
```

IDend
```
public int IDend
```

decls_computed
```
protected boolean decls_computed
```

decls_value
```
protected SimpleSet decls_value
```

decl_computed
```
protected boolean decl_computed
```

decl_value
```
protected ConstructorDecl decl_value
```

type_computed
```
protected boolean type_computed
```

type_value
```
protected TypeDecl type_value
```

Constructor Detail

ConstructorAccess
```
public ConstructorAccess()
```

ConstructorAccess

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

ConstructorAccess

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

Method Detail
- flushCache
```
public void flushCache()
```
  Overrides:
  
  flushCache in class Access
- flushCollectionCache
```
public void flushCollectionCache()
```
  Overrides:
  
  flushCollectionCache in class Access
- clone
```
public ConstructorAccess clone()
                        throws CloneNotSupportedException
```
  Overrides:
  
  clone in class Access
  
  Throws:
  
  CloneNotSupportedException
- copy
```
public ConstructorAccess copy()
```
  Overrides:
  
  copy in class ASTNode<ASTNode>
- fullCopy
```
public ConstructorAccess 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
- exceptionHandling
```
public void exceptionHandling()
```
  Overrides:
  
  exceptionHandling in class ASTNode<ASTNode>
- reachedException
```
protected boolean reachedException(TypeDecl catchType)
```
  Overrides:
  
  reachedException in class ASTNode<ASTNode>
- nameCheck
```
public void nameCheck()
```
  Overrides:
  
  nameCheck in class ASTNode<ASTNode>
- toString
```
public void toString(StringBuffer s)
```
  Overrides:
  
  toString in class ASTNode<ASTNode>
- checkModifiers
```
public void checkModifiers()
```
- transformEnumConstructors
```
protected void transformEnumConstructors()
```
  Overrides:
  
  transformEnumConstructors in class ASTNode<ASTNode>
- addEnclosingVariables
```
public void addEnclosingVariables()
```
- refined_Transformations_ConstructorAccess_transformation
```
public void refined_Transformations_ConstructorAccess_transformation()
```
- collectTypesToSignatures
```
public void collectTypesToSignatures(Collection<Type> set)
```
  Overrides:
  
  collectTypesToSignatures in class ASTNode<ASTNode>
- 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 Access
- numChildren
```
protected int numChildren()
```
  Overrides:
  
  numChildren in class Access
- mayHaveRewrite
```
public boolean mayHaveRewrite()
```
  Overrides:
  
  mayHaveRewrite in class Access
- 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.
- 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.
- transformation
```
public void transformation()
```
  Overrides:
  
  transformation in class ASTNode<ASTNode>
- eval
```
public Value eval(Body b)
```
  Overrides:
  
  eval in class Expr
- isDAafter
```
public boolean isDAafter(Variable v)
```
  Overrides:
  
  isDAafter in class Expr
- isDUafter
```
public boolean isDUafter(Variable v)
```
  Overrides:
  
  isDUafter in class Expr
- applicableAndAccessible
```
public boolean applicableAndAccessible(ConstructorDecl decl)
```
  Overrides:
  
  applicableAndAccessible in class Expr
- decls
```
public SimpleSet decls()
```
- decl
```
public ConstructorDecl decl()
```
- validArgs
```
public boolean validArgs()
```
- name
```
public String name()
```
- predNameType
```
public NameType predNameType()
```
  Overrides:
  
  predNameType in class Access
- type
```
public TypeDecl type()
```
  Overrides:
  
  type in class Access
- arity
```
public int arity()
```
- invokesVariableArityAsArray
```
public boolean invokesVariableArityAsArray()
```
- handlesException
```
public boolean handlesException(TypeDecl exceptionType)
```
- lookupConstructor
```
public Collection lookupConstructor()
```
- unknownConstructor
```
public ConstructorDecl unknownConstructor()
```
- Define_Collection_lookupMethod
```
public Collection Define_Collection_lookupMethod(ASTNode caller,
                                                 ASTNode child,
                                                 String name)
```
  Overrides:
  
  Define_Collection_lookupMethod in class ASTNode<ASTNode>
- Define_boolean_hasPackage
```
public boolean Define_boolean_hasPackage(ASTNode caller,
                                         ASTNode child,
                                         String packageName)
```
  Overrides:
  
  Define_boolean_hasPackage in class ASTNode<ASTNode>
- Define_SimpleSet_lookupType
```
public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             String name)
```
  Overrides:
  
  Define_SimpleSet_lookupType in class ASTNode<ASTNode>
- Define_SimpleSet_lookupVariable
```
public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)
```
  Overrides:
  
  Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>
- Define_NameType_nameType
```
public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)
```
  Overrides:
  
  Define_NameType_nameType in class ASTNode<ASTNode>
- Define_String_methodHost
```
public String Define_String_methodHost(ASTNode caller,
                                       ASTNode child)
```
  Overrides:
  
  Define_String_methodHost in class ASTNode<ASTNode>
- Define_boolean_inExplicitConstructorInvocation
```
public boolean Define_boolean_inExplicitConstructorInvocation(ASTNode caller,
                                                              ASTNode child)
```
  Overrides:
  
  Define_boolean_inExplicitConstructorInvocation in class ASTNode<ASTNode>
- rewriteTo
```
public ASTNode rewriteTo()
```
  Overrides:
  
  rewriteTo in class Access

Class ConstructorAccess

Field Summary

Fields inherited from class soot.JastAddJ.Access

Fields inherited from class soot.JastAddJ.Expr

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.Access

Methods inherited from class soot.JastAddJ.Expr

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

addEnclosingVariables

tokenString_ID

IDstart

IDend

decls_computed

decls_value

decl_computed

decl_value

type_computed

type_value

Constructor Detail

ConstructorAccess

ConstructorAccess

ConstructorAccess

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

exceptionHandling

reachedException

nameCheck

toString

checkModifiers

transformEnumConstructors

addEnclosingVariables

refined_Transformations_ConstructorAccess_transformation

collectTypesToSignatures

init$Children

numChildren

mayHaveRewrite

setID

setID

getID

setArgList

getNumArg

getNumArgNoTransform

getArg

addArg

addArgNoTransform

setArg

getArgs

getArgsNoTransform

getArgList

getArgListNoTransform

transformation

eval

isDAafter

isDUafter

applicableAndAccessible

decls

decl

validArgs

name

predNameType

type

arity

invokesVariableArityAsArray

handlesException

lookupConstructor

unknownConstructor

Define_Collection_lookupMethod

Define_boolean_hasPackage

Define_SimpleSet_lookupType