soot.JastAddJ

Class AssignExpr

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.AssignExpr

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

Direct Known Subclasses:

AssignAdditiveExpr, AssignBitwiseExpr, AssignMultiplicativeExpr, AssignShiftExpr, AssignSimpleExpr

public abstract class AssignExpr
extends Expr
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	type_computed
protected TypeDecl	type_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
AssignExpr()
AssignExpr(Expr p0, Expr p1)

Method Summary

Modifier and Type	Method and Description
static Stmt	asStmt(Expr left, Expr right)
protected boolean	checkDUeverywhere(Variable v)
AssignExpr	clone()
Value	createAssignOp(Body b, Value fst, Value snd)
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)
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
Value	emitShiftExpr(Body b)
Value	eval(Body b)
void	flushCache()
void	flushCollectionCache()
Expr	getDest() Retrieves the Dest child.
Expr	getDestNoTransform() Retrieves the Dest child.
Expr	getSource() Retrieves the Source child.
Expr	getSourceNoTransform() Retrieves the Source child.
void	init$Children() Initializes the child array to the correct size.
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	mayHaveRewrite()
boolean	modifiedInScope(Variable var)
protected int	numChildren()
String	printOp()
ASTNode	rewriteTo()
void	setDest(Expr node) Replaces the Dest child.
void	setSource(Expr node) Replaces the Source child.
TypeDecl	sourceType()
void	toString(StringBuffer s)
TypeDecl	type()
void	typeCheck()

Methods inherited from class soot.JastAddJ.Expr

addDependencyIfNeeded, applicableAndAccessible, 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, isDAbefore, isDest, 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, 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, unknownType, varDecl

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, addsIndentationLevel, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, 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_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_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_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, transformation, transformEnumConstructors, 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

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

Constructor Detail

AssignExpr

public AssignExpr()

AssignExpr

public AssignExpr(Expr p0,
                  Expr p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Expr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Expr

clone

public AssignExpr clone()
                 throws CloneNotSupportedException

Overrides:

clone in class Expr

Throws:

CloneNotSupportedException

checkDUeverywhere

protected boolean checkDUeverywhere(Variable v)

Overrides:

checkDUeverywhere in class ASTNode<ASTNode>

asStmt

public static Stmt asStmt(Expr left,
                          Expr right)

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

eval

public Value eval(Body b)

Overrides:

eval in class Expr

emitShiftExpr

public Value emitShiftExpr(Body b)

createAssignOp

public Value createAssignOp(Body b,
                            Value fst,
                            Value snd)

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 Expr

numChildren

protected int numChildren()

Overrides:

numChildren in class Expr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class Expr

setDest

public void setDest(Expr node)

Replaces the Dest child.

Parameters:

node - The new node to replace the Dest child.

getDest

public Expr getDest()

Retrieves the Dest child.

Returns:

The current node used as the Dest child.

getDestNoTransform

public Expr getDestNoTransform()

Retrieves the Dest child.

This method does not invoke AST transformations.

Returns:

The current node used as the Dest child.

setSource

public void setSource(Expr node)

Replaces the Source child.

Parameters:

node - The new node to replace the Source child.

getSource

public Expr getSource()

Retrieves the Source child.

Returns:

The current node used as the Source child.

getSourceNoTransform

public Expr getSourceNoTransform()

Retrieves the Source child.

This method does not invoke AST transformations.

Returns:

The current node used as the Source child.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter 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

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter 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

printOp

public String printOp()

type

public TypeDecl type()

Specified by:

type in class Expr

sourceType

public TypeDecl sourceType()

modifiedInScope

public boolean modifiedInScope(Variable var)

Overrides:

modifiedInScope 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_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_NameType_nameType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Expr