Package soot.JastAddJ

Class AbstractDot

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.AbstractDot

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

Dot

public class AbstractDot
extends Access
implements Cloneable

Field Summary

Fields

Modifier and Type	Field	Description
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values
protected Map	isDUbefore_Variable_values
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	Description
AbstractDot()
AbstractDot(Expr p0, Access p1)

Method Summary

Modifier and Type	Method	Description
boolean	canBeFalse()
boolean	canBeTrue()
AbstractDot	clone()
Constant	constant()
AbstractDot	copy()
boolean	Define_boolean_hasPackage(ASTNode caller, ASTNode child, String packageName)
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isDest(ASTNode caller, ASTNode child)
boolean	Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isSource(ASTNode caller, ASTNode child)
Collection	Define_Collection_lookupConstructor(ASTNode caller, ASTNode child)
Collection	Define_Collection_lookupMethod(ASTNode caller, ASTNode child, String name)
Collection	Define_Collection_lookupSuperConstructor(ASTNode caller, ASTNode child)
Expr	Define_Expr_nestedScope(ASTNode caller, ASTNode child)
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)
TypeDecl	Define_TypeDecl_enclosingInstance(ASTNode caller, ASTNode child)
boolean	definesLabel()
void	emitEvalBranch(Body b)
Value	emitStore(Body b, Value lvalue, Value rvalue, ASTNode location)
Value	eval(Body b)
Access	extractLast()
void	flushCache()
void	flushCollectionCache()
AbstractDot	fullCopy()	Create a deep copy of the AST subtree at this node.
Expr	getLeft()	Retrieves the Left child.
Expr	getLeftNoTransform()	Retrieves the Left child.
Access	getRight()	Retrieves the Right child.
Access	getRightNoTransform()	Retrieves the Right child.
boolean	hasPrevExpr()
void	init$Children()	Initializes the child array to the correct size.
boolean	isArrayAccess()
boolean	isClassAccess()
boolean	isConstant()
boolean	isDAafter(Variable v)
boolean	isDAafterFalse(Variable v)
boolean	isDAafterTrue(Variable v)
boolean	isDUafter(Variable v)
boolean	isDUafterFalse(Variable v)
boolean	isDUafterTrue(Variable v)
boolean	isDUbefore(Variable v)
boolean	isFieldAccess()
boolean	isMethodAccess()
boolean	isPackageAccess()
boolean	isQualified()
boolean	isSuperAccess()
boolean	isSuperConstructorAccess()
boolean	isThisAccess()
boolean	isTypeAccess()
boolean	isVariable()
Access	lastAccess()
Expr	leftSide()
boolean	mayHaveRewrite()
Access	nextAccess()
protected int	numChildren()
NameType	predNameType()
Expr	prevExpr()
void	replaceLast(Access access)
ASTNode	rewriteTo()
Access	rightSide()
void	setLeft(Expr node)	Replaces the Left child.
void	setRight(Access node)	Replaces the Right child.
boolean	staticContextQualifier()
void	toString(StringBuffer s)
TypeDecl	type()
String	typeName()
Variable	varDecl()

Methods inherited from class soot.JastAddJ.Access

addArrayDims, addArraySize, emitLoadLocalInNestedClass, emitThis, inExplicitConstructorInvocation, isDiamond, nestedScope, qualifier, substituted, superConstructorQualifier, unknownField, unknownType, unqualifiedScope, withinDeprecatedAnnotation, withinSuppressWarnings

Methods inherited from class soot.JastAddJ.Expr

addDependencyIfNeeded, applicableAndAccessible, assignConvertedType, chooseConstructor, collectTypesToHierarchy, condition_false_label, condition_true_label, emitBooleanCondition, enclosingBodyDecl, enclosingStmt, false_label, hasNextAccess, hasPackage, hasParentDot, hasQualifiedPackage, hostPackage, hostType, inExtendsOrImplements, inStaticContext, isDAbefore, isDest, isEnumConstant, isFalse, isIncOrDec, isLeftChildOfDot, isPositive, isRightChildOfDot, isSource, isTrue, isUnknown, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, mostSpecific, mostSpecificConstructor, nameType, packageName, parentDot, qualifiedLookupType, qualifiedLookupVariable, qualifiesAccess, refined_BooleanExpressions_Expr_emitEvalBranch, representableIn, throwTypes, true_label, typeBoolean, typeByte, typeChar, typeDouble, typeFloat, typeInt, typeLong, typeNull, typeShort, typeString, typeVoid

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, Define_Annotation_lookupAnnotation, Define_ArrayList_exceptionRanges, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, Define_boolean_enclosedByExceptionHandler, Define_boolean_handlesException, 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_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_TypeDecl__caughtExceptions, Define_CompilationUnit_compilationUnit, Define_ConstructorDecl_constructorDecl, Define_ConstructorDecl_unknownConstructor, Define_ElementValue_lookupElementTypeValue, 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_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, 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, 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

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

isDUbefore_Variable_values

protected Map isDUbefore_Variable_values

Constructor Detail

AbstractDot

public AbstractDot()

AbstractDot

public AbstractDot(Expr p0,
                   Access p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Access

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Access

clone

public AbstractDot clone()
                  throws CloneNotSupportedException

Overrides:

clone in class Access

Throws:

CloneNotSupportedException

copy

public AbstractDot copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

public AbstractDot 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

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

extractLast

public Access extractLast()

replaceLast

public void replaceLast(Access access)

emitEvalBranch

public void emitEvalBranch(Body b)

Overrides:

emitEvalBranch in class Expr

eval

public Value eval(Body b)

Overrides:

eval in class Expr

emitStore

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

Overrides:

emitStore in class Expr

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

setLeft

public void setLeft(Expr node)

Replaces the Left child.

Parameters:

node - The new node to replace the Left child.

getLeft

public Expr getLeft()

Retrieves the Left child.

Returns:

The current node used as the Left child.

getLeftNoTransform

public Expr getLeftNoTransform()

Retrieves the Left child.

This method does not invoke AST transformations.

Returns:

The current node used as the Left child.

setRight

public void setRight(Access node)

Replaces the Right child.

Parameters:

node - The new node to replace the Right child.

getRight

public Access getRight()

Retrieves the Right child.

Returns:

The current node used as the Right child.

getRightNoTransform

public Access getRightNoTransform()

Retrieves the Right child.

This method does not invoke AST transformations.

Returns:

The current node used as the Right child.

constant

public Constant constant()

Overrides:

constant in class Expr

isConstant

public boolean isConstant()

Overrides:

isConstant in class Expr

varDecl

public Variable varDecl()

Overrides:

varDecl in class Expr

isDAafterTrue

public boolean isDAafterTrue(Variable v)

Overrides:

isDAafterTrue in class Expr

isDAafterFalse

public boolean isDAafterFalse(Variable v)

Overrides:

isDAafterFalse in class Expr

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Expr

isDUafterTrue

public boolean isDUafterTrue(Variable v)

Overrides:

isDUafterTrue in class Expr

isDUafterFalse

public boolean isDUafterFalse(Variable v)

Overrides:

isDUafterFalse in class Expr

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Expr

typeName

public String typeName()

Overrides:

typeName in class Expr

isTypeAccess

public boolean isTypeAccess()

Overrides:

isTypeAccess in class Expr

isMethodAccess

public boolean isMethodAccess()

Overrides:

isMethodAccess in class Expr

isFieldAccess

public boolean isFieldAccess()

Overrides:

isFieldAccess in class Expr

isSuperAccess

public boolean isSuperAccess()

Overrides:

isSuperAccess in class Expr

isThisAccess

public boolean isThisAccess()

Overrides:

isThisAccess in class Expr

isPackageAccess

public boolean isPackageAccess()

Overrides:

isPackageAccess in class Expr

isArrayAccess

public boolean isArrayAccess()

Overrides:

isArrayAccess in class Expr

isClassAccess

public boolean isClassAccess()

Overrides:

isClassAccess in class Expr

isSuperConstructorAccess

public boolean isSuperConstructorAccess()

Overrides:

isSuperConstructorAccess in class Expr

isQualified

public boolean isQualified()

Overrides:

isQualified in class Access

leftSide

public Expr leftSide()

rightSide

public Access rightSide()

lastAccess

public Access lastAccess()

Overrides:

lastAccess in class Access

nextAccess

public Access nextAccess()

Overrides:

nextAccess in class Expr

prevExpr

public Expr prevExpr()

Overrides:

prevExpr in class Access

hasPrevExpr

public boolean hasPrevExpr()

Overrides:

hasPrevExpr in class Access

predNameType

public NameType predNameType()

Overrides:

predNameType in class Access

type

public TypeDecl type()

Overrides:

type in class Access

isVariable

public boolean isVariable()

Overrides:

isVariable in class Expr

staticContextQualifier

public boolean staticContextQualifier()

Overrides:

staticContextQualifier in class Expr

definesLabel

public boolean definesLabel()

Overrides:

definesLabel in class ASTNode<ASTNode>

canBeTrue

public boolean canBeTrue()

Overrides:

canBeTrue in class Expr

canBeFalse

public boolean canBeFalse()

Overrides:

canBeFalse in class Expr

isDUbefore

public boolean isDUbefore(Variable v)

Overrides:

isDUbefore in class Expr

Define_boolean_isDest

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:

Define_boolean_isDest in class ASTNode<ASTNode>

Define_boolean_isSource

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:

Define_boolean_isSource in class ASTNode<ASTNode>

Define_boolean_isDAbefore

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:

Define_boolean_isDAbefore in class ASTNode<ASTNode>

Define_boolean_isDUbefore

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:

Define_boolean_isDUbefore in class ASTNode<ASTNode>

Define_Collection_lookupConstructor

public Collection Define_Collection_lookupConstructor(ASTNode caller,
                                                      ASTNode child)

Overrides:

Define_Collection_lookupConstructor in class ASTNode<ASTNode>

Define_Collection_lookupSuperConstructor

public Collection Define_Collection_lookupSuperConstructor(ASTNode caller,
                                                           ASTNode child)

Overrides:

Define_Collection_lookupSuperConstructor in class ASTNode<ASTNode>

Define_Expr_nestedScope

public Expr Define_Expr_nestedScope(ASTNode caller,
                                    ASTNode child)

Overrides:

Define_Expr_nestedScope in class ASTNode<ASTNode>

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_TypeDecl_enclosingInstance

public TypeDecl Define_TypeDecl_enclosingInstance(ASTNode caller,
                                                  ASTNode child)

Overrides:

Define_TypeDecl_enclosingInstance 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 Access