soot.JastAddJ

Class ParExpr

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Expr

soot.JastAddJ.PrimaryExpr

soot.JastAddJ.ParExpr

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class ParExpr
extends PrimaryExpr
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
ParExpr()
ParExpr(Expr p0)

Method Summary

Modifier and Type	Method and Description
boolean	canBeFalse()
boolean	canBeTrue()
ParExpr	clone()
Constant	constant()
ParExpr	copy()
boolean	definesLabel()
void	emitEvalBranch(Body b)
Value	eval(Body b)
void	flushCache()
void	flushCollectionCache()
ParExpr	fullCopy() Create a deep copy of the AST subtree at this node.
Expr	getExpr() Retrieves the Expr child.
Expr	getExprNoTransform() Retrieves the Expr child.
void	init$Children() Initializes the child array to the correct size.
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	isSuperAccess()
boolean	isThisAccess()
boolean	isVariable()
boolean	mayHaveRewrite()
protected int	numChildren()
ASTNode	rewriteTo()
void	setExpr(Expr node) Replaces the Expr child.
boolean	staticContextQualifier()
void	toString(StringBuffer s)
TypeDecl	type()
void	typeCheck()
Variable	varDecl()

Methods inherited from class soot.JastAddJ.Expr

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

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

Field Detail

type_computed

protected boolean type_computed

type_value

protected TypeDecl type_value

Constructor Detail

ParExpr

public ParExpr()

ParExpr

public ParExpr(Expr p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class PrimaryExpr

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class PrimaryExpr

clone

public ParExpr clone()
              throws CloneNotSupportedException

Overrides:

clone in class PrimaryExpr

Throws:

CloneNotSupportedException

copy

public ParExpr copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

emitEvalBranch

public void emitEvalBranch(Body b)

Overrides:

emitEvalBranch in class Expr

eval

public Value eval(Body b)

Overrides:

eval 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 PrimaryExpr

numChildren

protected int numChildren()

Overrides:

numChildren in class PrimaryExpr

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class PrimaryExpr

setExpr

public void setExpr(Expr node)

Replaces the Expr child.

Parameters:

node - The new node to replace the Expr child.

getExpr

public Expr getExpr()

Retrieves the Expr child.

Returns:

The current node used as the Expr child.

getExprNoTransform

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:

The current node used as the Expr 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

isSuperAccess

public boolean isSuperAccess()

Overrides:

isSuperAccess in class Expr

isThisAccess

public boolean isThisAccess()

Overrides:

isThisAccess in class Expr

type

public TypeDecl type()

Specified by:

type in class Expr

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

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class PrimaryExpr