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

java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.ElementValue
    - - soot.JastAddJ.ElementConstantValue

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class ElementConstantValue
extends ElementValue
implements Cloneable

Field Summary
- 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

ElementConstantValue()

ElementConstantValue(Expr p0)

Constructors
Constructor and Description
`ElementConstantValue()`
`ElementConstantValue(Expr p0)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`appendAsAttributeTo(Collection list, String name)`
`ElementConstantValue`	`clone()`
`boolean`	`commensurateWithTypeDecl(TypeDecl type)`
`ElementConstantValue`	`copy()`
`NameType`	`Define_NameType_nameType(ASTNode caller, ASTNode child)`
`String`	`Define_String_methodHost(ASTNode caller, ASTNode child)`
`ElementValue`	`definesElementTypeValue(String name)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`ElementConstantValue`	`fullCopy()` Create a deep copy of the AST subtree at this node.
`Expr`	`getExpr()` Retrieves the Expr child.
`Expr`	`getExprNoTransform()` Retrieves the Expr child.
`boolean`	`hasValue(String s)`
`void`	`init$Children()` Initializes the child array to the correct size.
`ElementValue`	`lookupElementTypeValue(String name)`
`boolean`	`mayHaveRewrite()`
`void`	`nameCheck()`
`protected int`	`numChildren()`
`ASTNode`	`rewriteTo()`
`void`	`setExpr(Expr node)` Replaces the Expr child.
`void`	`toString(StringBuffer s)`
`TypeDecl`	`type()`
`boolean`	`validTarget(Annotation a)`

Methods inherited from class soot.JastAddJ.ElementValue
commensurateWithArrayDecl, enclosingAnnotationDecl, hostType, unknownType

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_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_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_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, 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, newLabel, options, putSimpleSetElement, reachedException, removeChild, removeInstanceMethods, removeInstanceVariables, replace, setChild, setEnd, setLocation, setParent, setStart, sourceFile, start, state, 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

- Constructor Detail
  - ElementConstantValue
```
public ElementConstantValue()
```
  - ElementConstantValue
```
public ElementConstantValue(Expr p0)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class ElementValue
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class ElementValue
  - clone
```
public ElementConstantValue clone()
                           throws CloneNotSupportedException
```
    Overrides:
    
    clone in class ElementValue
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public ElementConstantValue copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public ElementConstantValue 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
  - nameCheck
```
public void nameCheck()
```
    Overrides:
    
    nameCheck in class ASTNode<ASTNode>
  - toString
```
public void toString(StringBuffer s)
```
    Overrides:
    
    toString in class ASTNode<ASTNode>
  - appendAsAttributeTo
```
public void appendAsAttributeTo(Collection list,
                                String name)
```
    Overrides:
    
    appendAsAttributeTo in class ElementValue
  - 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 ElementValue
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class ElementValue
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class ElementValue
  - setExpr
```
public void setExpr(Expr node)
```
    Replaces the Expr child.
    
    Parameters:
    
    node - The new node to replace the Expr child.
  - getExpr
```
public Expr getExpr()
```
    Retrieves the Expr child.
    
    Returns:
    
    The current node used as the Expr child.
  - getExprNoTransform
```
public Expr getExprNoTransform()
```
    Retrieves the Expr child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the Expr child.
  - validTarget
```
public boolean validTarget(Annotation a)
```
    Overrides:
    
    validTarget in class ElementValue
  - definesElementTypeValue
```
public ElementValue definesElementTypeValue(String name)
```
    Overrides:
    
    definesElementTypeValue in class ElementValue
  - hasValue
```
public boolean hasValue(String s)
```
    Overrides:
    
    hasValue in class ElementValue
  - commensurateWithTypeDecl
```
public boolean commensurateWithTypeDecl(TypeDecl type)
```
    Overrides:
    
    commensurateWithTypeDecl in class ElementValue
  - type
```
public TypeDecl type()
```
    Overrides:
    
    type in class ElementValue
  - lookupElementTypeValue
```
public ElementValue lookupElementTypeValue(String name)
```
  - 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>
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class ElementValue

Class ElementConstantValue

Field Summary

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.ElementValue

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

Constructor Detail

ElementConstantValue

ElementConstantValue

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

nameCheck

toString

appendAsAttributeTo

init$Children

numChildren

mayHaveRewrite

setExpr

getExpr

getExprNoTransform

validTarget

definesElementTypeValue

hasValue

commensurateWithTypeDecl

type

lookupElementTypeValue

Define_NameType_nameType

Define_String_methodHost

rewriteTo