Package soot.JastAddJ

Class AssignSimpleExpr

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.AssignExpr

soot.JastAddJ.AssignSimpleExpr

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class AssignSimpleExpr
extends AssignExpr
implements Cloneable

Field Summary

Fields inherited from class soot.JastAddJ.AssignExpr

type_computed, 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	Description
AssignSimpleExpr()
AssignSimpleExpr(Expr p0, Expr p1)

Method Summary

Modifier and Type	Method	Description
void	checkWarnings()	Checking of the SafeVarargs annotation is only needed for method declarations.
AssignSimpleExpr	clone()
AssignSimpleExpr	copy()
boolean	Define_boolean_isDest(ASTNode caller, ASTNode child)
boolean	Define_boolean_isSource(ASTNode caller, ASTNode child)
TypeDecl	Define_TypeDecl_assignConvertedType(ASTNode caller, ASTNode child)
Value	eval(Body b)
void	flushCache()
void	flushCollectionCache()
AssignSimpleExpr	fullCopy()	Create a deep copy of the AST subtree at this node.
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	mayHaveRewrite()
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	typeCheck()
boolean	withinSuppressWarnings(String s)

Methods inherited from class soot.JastAddJ.AssignExpr

asStmt, checkDUeverywhere, createAssignOp, Define_boolean_isDAbefore, Define_boolean_isDUbefore, Define_NameType_nameType, emitShiftExpr, isDAafter, isDAafterFalse, isDAafterTrue, isDUafter, isDUafterFalse, isDUafterTrue, modifiedInScope, toString, type

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, 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_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_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, 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

Constructor Detail

AssignSimpleExpr

public AssignSimpleExpr()

AssignSimpleExpr

public AssignSimpleExpr(Expr p0,
                        Expr p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class AssignExpr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class AssignExpr

clone

public AssignSimpleExpr clone()
                       throws CloneNotSupportedException

Overrides:

clone in class AssignExpr

Throws:

CloneNotSupportedException

copy

public AssignSimpleExpr copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

typeCheck

public void typeCheck()

Overrides:

typeCheck in class AssignExpr

eval

public Value eval(Body b)

Overrides:

eval in class AssignExpr

checkWarnings

public void checkWarnings()

Description copied from class: ASTNode

Checking of the SafeVarargs annotation is only needed for method declarations.

Overrides:

checkWarnings 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 AssignExpr

numChildren

protected int numChildren()

Overrides:

numChildren in class AssignExpr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class AssignExpr

setDest

public void setDest(Expr node)

Replaces the Dest child.

Overrides:

setDest in class AssignExpr

Parameters:

node - The new node to replace the Dest child.

getDest

public Expr getDest()

Retrieves the Dest child.

Overrides:

getDest in class AssignExpr

Returns:

The current node used as the Dest child.

getDestNoTransform

public Expr getDestNoTransform()

Retrieves the Dest child.

This method does not invoke AST transformations.

Overrides:

getDestNoTransform in class AssignExpr

Returns:

The current node used as the Dest child.

setSource

public void setSource(Expr node)

Replaces the Source child.

Overrides:

setSource in class AssignExpr

Parameters:

node - The new node to replace the Source child.

getSource

public Expr getSource()

Retrieves the Source child.

Overrides:

getSource in class AssignExpr

Returns:

The current node used as the Source child.

getSourceNoTransform

public Expr getSourceNoTransform()

Retrieves the Source child.

This method does not invoke AST transformations.

Overrides:

getSourceNoTransform in class AssignExpr

Returns:

The current node used as the Source child.

printOp

public String printOp()

Overrides:

printOp in class AssignExpr

sourceType

public TypeDecl sourceType()

Overrides:

sourceType in class AssignExpr

withinSuppressWarnings

public boolean withinSuppressWarnings(String s)

Define_boolean_isDest

public boolean Define_boolean_isDest(ASTNode caller,
                                     ASTNode child)

Overrides:

Define_boolean_isDest in class AssignExpr

Define_boolean_isSource

public boolean Define_boolean_isSource(ASTNode caller,
                                       ASTNode child)

Overrides:

Define_boolean_isSource in class AssignExpr

Define_TypeDecl_assignConvertedType

public TypeDecl Define_TypeDecl_assignConvertedType(ASTNode caller,
                                                    ASTNode child)

Overrides:

Define_TypeDecl_assignConvertedType in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class AssignExpr