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 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 Description

ParExpr()

ParExpr(Expr p0)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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

Modifier and Type	Field	Description
`protected boolean`	`type_computed`
`protected TypeDecl`	`type_value`

Constructors
Constructor	Description
`ParExpr()`
`ParExpr(Expr p0)`

Class ParExpr

Field Summary

Fields inherited from class soot.JastAddJ.Expr

Fields inherited from class soot.JastAddJ.ASTNode

Fields inherited from class beaver.Symbol

Constructor Summary

Method Summary

Methods inherited from class soot.JastAddJ.Expr

Methods inherited from class soot.JastAddJ.ASTNode

Methods inherited from class beaver.Symbol

Methods inherited from class java.lang.Object

Methods inherited from interface java.lang.Iterable

Field Detail

type_computed

type_value

Constructor Detail

ParExpr

ParExpr

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

toString

typeCheck

emitEvalBranch

eval

init$Children

numChildren

mayHaveRewrite

setExpr

getExpr

getExprNoTransform

constant

isConstant

varDecl

isDAafterTrue

isDAafterFalse

isDAafter

isDUafterTrue

isDUafterFalse

isDUafter

isSuperAccess

isThisAccess

type

isVariable

staticContextQualifier

definesLabel

canBeTrue

canBeFalse

rewriteTo