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

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

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

Access, ArrayInit, AssignExpr, Binary, CastExpr, ConditionalExpr, InstanceOfExpr, PrimaryExpr, Unary
```
public abstract class Expr
extends ASTNode<ASTNode>
implements Cloneable
```

Field Summary

Fields
Modifier and Type	Field and Description
`protected boolean`	`false_label_computed`
`protected Stmt`	`false_label_value`
`protected boolean`	`true_label_computed`
`protected Stmt`	`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

Expr()

Constructors
Constructor and Description
`Expr()`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`addDependencyIfNeeded(Collection<Type> set, TypeDecl type)`
`boolean`	`applicableAndAccessible(ConstructorDecl decl)`
`TypeDecl`	`assignConvertedType()`
`boolean`	`canBeFalse()`
`boolean`	`canBeTrue()`
`protected SimpleSet`	`chooseConstructor(Collection constructors, List argList)`
`Expr`	`clone()`
`void`	`collectTypesToHierarchy(Collection<Type> set)`
`Stmt`	`condition_false_label()`
`Stmt`	`condition_true_label()`
`Constant`	`constant()`
`protected Value`	`emitBooleanCondition(Body b)`
`void`	`emitEvalBranch(Body b)`
`Value`	`emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)`
`BodyDecl`	`enclosingBodyDecl()`
`Stmt`	`enclosingStmt()`
`Value`	`eval(Body b)`
`Stmt`	`false_label()`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`boolean`	`hasNextAccess()`
`boolean`	`hasPackage(String packageName)`
`boolean`	`hasParentDot()`
`boolean`	`hasQualifiedPackage(String packageName)`
`String`	`hostPackage()`
`TypeDecl`	`hostType()`
`boolean`	`inExtendsOrImplements()`
`void`	`init$Children()` Initializes the child array to the correct size.
`boolean`	`inStaticContext()`
`boolean`	`isArrayAccess()`
`boolean`	`isClassAccess()`
`boolean`	`isConstant()`
`boolean`	`isDAafter(Variable v)`
`boolean`	`isDAafterFalse(Variable v)`
`boolean`	`isDAafterTrue(Variable v)`
`boolean`	`isDAbefore(Variable v)`
`boolean`	`isDest()`
`boolean`	`isDUafter(Variable v)`
`boolean`	`isDUafterFalse(Variable v)`
`boolean`	`isDUafterTrue(Variable v)`
`boolean`	`isDUbefore(Variable v)`
`boolean`	`isEnumConstant()`
`boolean`	`isFalse()`
`boolean`	`isFieldAccess()`
`boolean`	`isIncOrDec()`
`boolean`	`isLeftChildOfDot()`
`boolean`	`isMethodAccess()`
`boolean`	`isPackageAccess()`
`boolean`	`isPositive()`
`boolean`	`isRightChildOfDot()`
`boolean`	`isSource()`
`boolean`	`isSuperAccess()`
`boolean`	`isSuperConstructorAccess()`
`boolean`	`isThisAccess()`
`boolean`	`isTrue()`
`boolean`	`isTypeAccess()`
`boolean`	`isUnknown()`
`boolean`	`isVariable()`
`boolean`	`isVariable(Variable var)`
`SimpleSet`	`keepAccessibleFields(SimpleSet oldSet)` Remove fields that are not accessible when using this Expr as qualifier
`SimpleSet`	`keepAccessibleTypes(SimpleSet oldSet)`
`Collection`	`lookupMethod(String name)`
`SimpleSet`	`lookupType(String name)`
`TypeDecl`	`lookupType(String packageName, String typeName)`
`SimpleSet`	`lookupVariable(String name)`
`boolean`	`mayAccess(FieldDeclaration f)`
`boolean`	`mayHaveRewrite()`
`String`	`methodHost()`
`boolean`	`modifiedInScope(Variable var)`
`protected static SimpleSet`	`mostSpecific(SimpleSet maxSpecific, ConstructorDecl decl)`
`SimpleSet`	`mostSpecificConstructor(Collection constructors)`
`NameType`	`nameType()`
`Access`	`nextAccess()`
`protected int`	`numChildren()`
`String`	`packageName()`
`AbstractDot`	`parentDot()`
`SimpleSet`	`qualifiedLookupType(String name)`
`SimpleSet`	`qualifiedLookupVariable(String name)`
`Dot`	`qualifiesAccess(Access access)`
`void`	`refined_BooleanExpressions_Expr_emitEvalBranch(Body b)`
`boolean`	`representableIn(TypeDecl t)`
`ASTNode`	`rewriteTo()`
`boolean`	`staticContextQualifier()`
`Collection<TypeDecl>`	`throwTypes()`
`Stmt`	`true_label()`
`abstract TypeDecl`	`type()`
`TypeDecl`	`typeBoolean()`
`TypeDecl`	`typeByte()`
`TypeDecl`	`typeChar()`
`TypeDecl`	`typeDouble()`
`TypeDecl`	`typeFloat()`
`TypeDecl`	`typeInt()`
`TypeDecl`	`typeLong()`
`String`	`typeName()`
`TypeDecl`	`typeNull()`
`TypeDecl`	`typeShort()`
`TypeDecl`	`typeString()`
`TypeDecl`	`typeVoid()`
`TypeDecl`	`unknownType()`
`Variable`	`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, collectTypesToSignatures, compilationUnit, copy, 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_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_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, fullCopy, 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

false_label_computed
```
protected boolean false_label_computed
```

false_label_value
```
protected Stmt false_label_value
```

true_label_computed
```
protected boolean true_label_computed
```

true_label_value
```
protected Stmt true_label_value
```

Constructor Detail
- Expr
```
public Expr()
```

Method Detail

flushCache
```
public void flushCache()
```
Overrides:

flushCache in class ASTNode<ASTNode>

flushCollectionCache
```
public void flushCollectionCache()
```
Overrides:

flushCollectionCache in class ASTNode<ASTNode>

clone
```
public Expr clone()
           throws CloneNotSupportedException
```
Overrides:

clone in class ASTNode<ASTNode>

Throws:

CloneNotSupportedException

keepAccessibleTypes

public SimpleSet keepAccessibleTypes(SimpleSet oldSet)

keepAccessibleFields
```
public SimpleSet keepAccessibleFields(SimpleSet oldSet)
```
Remove fields that are not accessible when using this Expr as qualifier

Returns:

a set containing the accessible fields

mayAccess
```
public boolean mayAccess(FieldDeclaration f)
```
Returns:

true if the expression may access the given field

See Also:

"JLS $6.6.2.1"

qualifiesAccess

public Dot qualifiesAccess(Access access)

chooseConstructor

protected SimpleSet chooseConstructor(Collection constructors,
                                      List argList)

mostSpecific

protected static SimpleSet mostSpecific(SimpleSet maxSpecific,
                                        ConstructorDecl decl)

emitBooleanCondition

protected Value emitBooleanCondition(Body b)

refined_BooleanExpressions_Expr_emitEvalBranch

public void refined_BooleanExpressions_Expr_emitEvalBranch(Body b)

eval
```
public Value eval(Body b)
```

emitStore

public Value emitStore(Body b,
                       Value lvalue,
                       Value rvalue,
                       ASTNode location)

collectTypesToHierarchy
```
public void collectTypesToHierarchy(Collection<Type> set)
```
Overrides:

collectTypesToHierarchy in class ASTNode<ASTNode>

addDependencyIfNeeded

protected void addDependencyIfNeeded(Collection<Type> set,
                                     TypeDecl 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>

emitEvalBranch
```
public void emitEvalBranch(Body b)
```

type
```
public abstract TypeDecl type()
```

constant
```
public Constant constant()
```

isPositive
```
public boolean isPositive()
```

representableIn

public boolean representableIn(TypeDecl t)

isConstant
```
public boolean isConstant()
```

isTrue
```
public boolean isTrue()
```

isFalse
```
public boolean isFalse()
```

varDecl
```
public Variable varDecl()
```

isDAafterFalse

public boolean isDAafterFalse(Variable v)

isDAafterTrue

public boolean isDAafterTrue(Variable v)

isDAafter
```
public boolean isDAafter(Variable v)
```

isDUafterFalse

public boolean isDUafterFalse(Variable v)

isDUafterTrue

public boolean isDUafterTrue(Variable v)

isDUafter
```
public boolean isDUafter(Variable v)
```

mostSpecificConstructor

public SimpleSet mostSpecificConstructor(Collection constructors)

applicableAndAccessible

public boolean applicableAndAccessible(ConstructorDecl decl)

hasQualifiedPackage

public boolean hasQualifiedPackage(String packageName)

qualifiedLookupType

public SimpleSet qualifiedLookupType(String name)

qualifiedLookupVariable

public SimpleSet qualifiedLookupVariable(String name)

packageName
```
public String packageName()
```

typeName
```
public String typeName()
```

isTypeAccess
```
public boolean isTypeAccess()
```

isMethodAccess
```
public boolean isMethodAccess()
```

isFieldAccess
```
public boolean isFieldAccess()
```

isSuperAccess
```
public boolean isSuperAccess()
```

isThisAccess
```
public boolean isThisAccess()
```

isPackageAccess
```
public boolean isPackageAccess()
```

isArrayAccess
```
public boolean isArrayAccess()
```

isClassAccess
```
public boolean isClassAccess()
```

isSuperConstructorAccess

public boolean isSuperConstructorAccess()

isLeftChildOfDot
```
public boolean isLeftChildOfDot()
```

isRightChildOfDot
```
public boolean isRightChildOfDot()
```

parentDot
```
public AbstractDot parentDot()
```

hasParentDot
```
public boolean hasParentDot()
```

nextAccess
```
public Access nextAccess()
```

hasNextAccess
```
public boolean hasNextAccess()
```

enclosingStmt
```
public Stmt enclosingStmt()
```

isVariable
```
public boolean isVariable()
```

isUnknown
```
public boolean isUnknown()
```

staticContextQualifier

public boolean staticContextQualifier()

isEnumConstant
```
public boolean isEnumConstant()
```

false_label
```
public Stmt false_label()
```

true_label
```
public Stmt true_label()
```

canBeTrue
```
public boolean canBeTrue()
```

canBeFalse
```
public boolean canBeFalse()
```

throwTypes

public Collection<TypeDecl> throwTypes()

modifiedInScope

public boolean modifiedInScope(Variable var)

isVariable

public boolean isVariable(Variable var)

isDest
```
public boolean isDest()
```

isSource
```
public boolean isSource()
```

isIncOrDec
```
public boolean isIncOrDec()
```

isDAbefore

public boolean isDAbefore(Variable v)

isDUbefore

public boolean isDUbefore(Variable v)

lookupMethod

public Collection lookupMethod(String name)

typeBoolean
```
public TypeDecl typeBoolean()
```

typeByte
```
public TypeDecl typeByte()
```

typeShort
```
public TypeDecl typeShort()
```

typeChar
```
public TypeDecl typeChar()
```

typeInt
```
public TypeDecl typeInt()
```

typeLong
```
public TypeDecl typeLong()
```

typeFloat
```
public TypeDecl typeFloat()
```

typeDouble
```
public TypeDecl typeDouble()
```

typeString
```
public TypeDecl typeString()
```

typeVoid
```
public TypeDecl typeVoid()
```

typeNull
```
public TypeDecl typeNull()
```

unknownType
```
public TypeDecl unknownType()
```

hasPackage

public boolean hasPackage(String packageName)

lookupType

public TypeDecl lookupType(String packageName,
                           String typeName)

lookupType

public SimpleSet lookupType(String name)

lookupVariable

public SimpleSet lookupVariable(String name)

nameType
```
public NameType nameType()
```

enclosingBodyDecl
```
public BodyDecl enclosingBodyDecl()
```

hostPackage
```
public String hostPackage()
```

hostType
```
public TypeDecl hostType()
```

methodHost
```
public String methodHost()
```

inStaticContext
```
public boolean inStaticContext()
```

assignConvertedType
```
public TypeDecl assignConvertedType()
```

inExtendsOrImplements

public boolean inExtendsOrImplements()

condition_false_label
```
public Stmt condition_false_label()
```

condition_true_label
```
public Stmt condition_true_label()
```

rewriteTo
```
public ASTNode rewriteTo()
```
Overrides:

rewriteTo in class ASTNode<ASTNode>

Class Expr

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

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

false_label_computed

false_label_value

true_label_computed

true_label_value

Constructor Detail

Expr

Method Detail

flushCache

flushCollectionCache

clone

keepAccessibleTypes

keepAccessibleFields

mayAccess

qualifiesAccess

chooseConstructor

mostSpecific

emitBooleanCondition

refined_BooleanExpressions_Expr_emitEvalBranch

eval

emitStore

collectTypesToHierarchy

addDependencyIfNeeded

init$Children

numChildren

mayHaveRewrite

emitEvalBranch

type

constant

isPositive

representableIn

isConstant

isTrue

isFalse

varDecl

isDAafterFalse

isDAafterTrue

isDAafter

isDUafterFalse

isDUafterTrue

isDUafter

mostSpecificConstructor

applicableAndAccessible

hasQualifiedPackage

qualifiedLookupType

qualifiedLookupVariable

packageName

typeName

isTypeAccess

isMethodAccess

isFieldAccess

isSuperAccess

isThisAccess

isPackageAccess

isArrayAccess

isClassAccess

isSuperConstructorAccess

isLeftChildOfDot

isRightChildOfDot

parentDot

hasParentDot

nextAccess

hasNextAccess

enclosingStmt

isVariable

isUnknown

staticContextQualifier

isEnumConstant

false_label

true_label