Package soot.JastAddJ

Class Dot

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.Access

soot.JastAddJ.AbstractDot

soot.JastAddJ.Dot

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class Dot
extends AbstractDot
implements Cloneable

Field Summary

Fields inherited from class soot.JastAddJ.AbstractDot

isDAafter_Variable_values, isDUafter_Variable_values, isDUbefore_Variable_values, type_computed, 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
Dot()
Dot(Expr p0, Access p1)

Method Summary

Modifier and Type	Method	Description
Dot	clone()
Dot	copy()
Access	extractLast()
void	flushCache()
void	flushCollectionCache()
Dot	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.
void	init$Children()	Initializes the child array to the correct size.
Dot	lastDot()
boolean	mayHaveRewrite()
protected int	numChildren()
Dot	qualifiesAccess(Access access)
void	replaceLast(Access access)
ASTNode	rewriteTo()
void	setLeft(Expr node)	Replaces the Left child.
void	setRight(Access node)	Replaces the Right child.

Methods inherited from class soot.JastAddJ.AbstractDot

canBeFalse, canBeTrue, constant, Define_boolean_hasPackage, Define_boolean_isDAbefore, Define_boolean_isDest, Define_boolean_isDUbefore, Define_boolean_isSource, Define_Collection_lookupConstructor, Define_Collection_lookupMethod, Define_Collection_lookupSuperConstructor, Define_Expr_nestedScope, Define_NameType_nameType, Define_SimpleSet_lookupType, Define_SimpleSet_lookupVariable, Define_String_methodHost, Define_TypeDecl_enclosingInstance, definesLabel, emitEvalBranch, emitStore, eval, hasPrevExpr, isArrayAccess, isClassAccess, isConstant, isDAafter, isDAafterFalse, isDAafterTrue, isDUafter, isDUafterFalse, isDUafterTrue, isDUbefore, isFieldAccess, isMethodAccess, isPackageAccess, isQualified, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTypeAccess, isVariable, lastAccess, leftSide, nextAccess, predNameType, prevExpr, rightSide, staticContextQualifier, toString, type, typeName, 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, 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

Constructor Detail

Dot

public Dot()

Dot

public Dot(Expr p0,
           Access p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class AbstractDot

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class AbstractDot

clone

public Dot clone()
          throws CloneNotSupportedException

Overrides:

clone in class AbstractDot

Throws:

CloneNotSupportedException

copy

public Dot copy()

Overrides:

copy in class AbstractDot

fullCopy

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

Returns:

dangling copy of the subtree at this node

lastDot

public Dot lastDot()

qualifiesAccess

public Dot qualifiesAccess(Access access)

Overrides:

qualifiesAccess in class Expr

extractLast

public Access extractLast()

Overrides:

extractLast in class AbstractDot

replaceLast

public void replaceLast(Access access)

Overrides:

replaceLast in class AbstractDot

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 AbstractDot

numChildren

protected int numChildren()

Overrides:

numChildren in class AbstractDot

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class AbstractDot

setLeft

public void setLeft(Expr node)

Replaces the Left child.

Overrides:

setLeft in class AbstractDot

Parameters:

node - The new node to replace the Left child.

getLeft

public Expr getLeft()

Retrieves the Left child.

Overrides:

getLeft in class AbstractDot

Returns:

The current node used as the Left child.

getLeftNoTransform

public Expr getLeftNoTransform()

Retrieves the Left child.

This method does not invoke AST transformations.

Overrides:

getLeftNoTransform in class AbstractDot

Returns:

The current node used as the Left child.

setRight

public void setRight(Access node)

Replaces the Right child.

Overrides:

setRight in class AbstractDot

Parameters:

node - The new node to replace the Right child.

getRight

public Access getRight()

Retrieves the Right child.

Overrides:

getRight in class AbstractDot

Returns:

The current node used as the Right child.

getRightNoTransform

public Access getRightNoTransform()

Retrieves the Right child.

This method does not invoke AST transformations.

Overrides:

getRightNoTransform in class AbstractDot

Returns:

The current node used as the Right child.

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class AbstractDot