java.lang.Object
- beaver.Symbol
- - soot.JastAddJ.ASTNode<ASTNode>
  - - soot.JastAddJ.Expr
    - - soot.JastAddJ.ConditionalExpr

All Implemented Interfaces:: Cloneable, Iterable<ASTNode>

public class ConditionalExpr
extends Expr
implements Cloneable

Field Summary

Fields
Modifier and Type	Field	Description
`protected boolean`	`booleanOperator_computed`
`protected boolean`	`booleanOperator_value`
`protected boolean`	`constant_computed`
`protected Constant`	`constant_value`
`protected boolean`	`else_branch_label_computed`
`protected Stmt`	`else_branch_label_value`
`protected boolean`	`isConstant_computed`
`protected boolean`	`isConstant_value`
`protected boolean`	`then_branch_label_computed`
`protected Stmt`	`then_branch_label_value`
`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

ConditionalExpr()

ConditionalExpr(Expr p0, Expr p1, Expr p2)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`booleanOperator()`
`boolean`	`canBeFalse()`
`boolean`	`canBeTrue()`
`ConditionalExpr`	`clone()`
`Constant`	`constant()`
`ConditionalExpr`	`copy()`
`boolean`	`Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)`
`boolean`	`Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)`
`Stmt`	`Define_soot_jimple_Stmt_condition_false_label(ASTNode caller, ASTNode child)`
`Stmt`	`Define_soot_jimple_Stmt_condition_true_label(ASTNode caller, ASTNode child)`
`boolean`	`definesLabel()`
`Stmt`	`else_branch_label()`
`void`	`emitEvalBranch(Body b)`
`Value`	`eval(Body b)`
`void`	`flushCache()`
`void`	`flushCollectionCache()`
`ConditionalExpr`	`fullCopy()`	Create a deep copy of the AST subtree at this node.
`Expr`	`getCondition()`	Retrieves the Condition child.
`Expr`	`getConditionNoTransform()`	Retrieves the Condition child.
`Expr`	`getFalseExpr()`	Retrieves the FalseExpr child.
`Expr`	`getFalseExprNoTransform()`	Retrieves the FalseExpr child.
`Expr`	`getTrueExpr()`	Retrieves the TrueExpr child.
`Expr`	`getTrueExprNoTransform()`	Retrieves the TrueExpr 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`	`mayHaveRewrite()`
`protected int`	`numChildren()`
`ASTNode`	`rewriteTo()`
`void`	`setCondition(Expr node)`	Replaces the Condition child.
`void`	`setFalseExpr(Expr node)`	Replaces the FalseExpr child.
`void`	`setTrueExpr(Expr node)`	Replaces the TrueExpr child.
`Stmt`	`then_branch_label()`
`void`	`toString(StringBuffer s)`
`TypeDecl`	`type()`
`void`	`typeCheck()`

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, isSuperAccess, isSuperConstructorAccess, isThisAccess, isTrue, isTypeAccess, isUnknown, isVariable, isVariable, keepAccessibleFields, keepAccessibleTypes, lookupMethod, lookupType, lookupType, lookupVariable, mayAccess, methodHost, modifiedInScope, 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, 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_isDest, 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_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
  - constant_computed
```
protected boolean constant_computed
```
  - constant_value
```
protected Constant constant_value
```
  - isConstant_computed
```
protected boolean isConstant_computed
```
  - isConstant_value
```
protected boolean isConstant_value
```
  - booleanOperator_computed
```
protected boolean booleanOperator_computed
```
  - booleanOperator_value
```
protected boolean booleanOperator_value
```
  - type_computed
```
protected boolean type_computed
```
  - type_value
```
protected TypeDecl type_value
```
  - else_branch_label_computed
```
protected boolean else_branch_label_computed
```
  - else_branch_label_value
```
protected Stmt else_branch_label_value
```
  - then_branch_label_computed
```
protected boolean then_branch_label_computed
```
  - then_branch_label_value
```
protected Stmt then_branch_label_value
```
- Constructor Detail
  - ConditionalExpr
```
public ConditionalExpr()
```
  - ConditionalExpr
```
public ConditionalExpr(Expr p0,
                       Expr p1,
                       Expr p2)
```
- Method Detail
  - flushCache
```
public void flushCache()
```
    Overrides:
    
    flushCache in class Expr
  - flushCollectionCache
```
public void flushCollectionCache()
```
    Overrides:
    
    flushCollectionCache in class Expr
  - clone
```
public ConditionalExpr clone()
                      throws CloneNotSupportedException
```
    Overrides:
    
    clone in class Expr
    
    Throws:
    
    CloneNotSupportedException
  - copy
```
public ConditionalExpr copy()
```
    Overrides:
    
    copy in class ASTNode<ASTNode>
  - fullCopy
```
public ConditionalExpr 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>
  - eval
```
public Value eval(Body b)
```
    Overrides:
    
    eval in class Expr
  - emitEvalBranch
```
public void emitEvalBranch(Body b)
```
    Overrides:
    
    emitEvalBranch 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 Expr
  - numChildren
```
protected int numChildren()
```
    Overrides:
    
    numChildren in class Expr
  - mayHaveRewrite
```
public boolean mayHaveRewrite()
```
    Overrides:
    
    mayHaveRewrite in class Expr
  - setCondition
```
public void setCondition(Expr node)
```
    Replaces the Condition child.
    
    Parameters:
    
    node - The new node to replace the Condition child.
  - getCondition
```
public Expr getCondition()
```
    Retrieves the Condition child.
    
    Returns:
    
    The current node used as the Condition child.
  - getConditionNoTransform
```
public Expr getConditionNoTransform()
```
    Retrieves the Condition child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the Condition child.
  - setTrueExpr
```
public void setTrueExpr(Expr node)
```
    Replaces the TrueExpr child.
    
    Parameters:
    
    node - The new node to replace the TrueExpr child.
  - getTrueExpr
```
public Expr getTrueExpr()
```
    Retrieves the TrueExpr child.
    
    Returns:
    
    The current node used as the TrueExpr child.
  - getTrueExprNoTransform
```
public Expr getTrueExprNoTransform()
```
    Retrieves the TrueExpr child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the TrueExpr child.
  - setFalseExpr
```
public void setFalseExpr(Expr node)
```
    Replaces the FalseExpr child.
    
    Parameters:
    
    node - The new node to replace the FalseExpr child.
  - getFalseExpr
```
public Expr getFalseExpr()
```
    Retrieves the FalseExpr child.
    
    Returns:
    
    The current node used as the FalseExpr child.
  - getFalseExprNoTransform
```
public Expr getFalseExprNoTransform()
```
    Retrieves the FalseExpr child.
    This method does not invoke AST transformations.
    
    Returns:
    
    The current node used as the FalseExpr child.
  - constant
```
public Constant constant()
```
    Overrides:
    
    constant in class Expr
  - isConstant
```
public boolean isConstant()
```
    Overrides:
    
    isConstant in class Expr
  - booleanOperator
```
public boolean booleanOperator()
```
  - 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
  - type
```
public TypeDecl type()
```
    Specified by:
    
    type 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
  - else_branch_label
```
public Stmt else_branch_label()
```
  - then_branch_label
```
public Stmt then_branch_label()
```
  - 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_soot_jimple_Stmt_condition_false_label
```
public Stmt Define_soot_jimple_Stmt_condition_false_label(ASTNode caller,
                                                          ASTNode child)
```
    Overrides:
    
    Define_soot_jimple_Stmt_condition_false_label in class ASTNode<ASTNode>
  - Define_soot_jimple_Stmt_condition_true_label
```
public Stmt Define_soot_jimple_Stmt_condition_true_label(ASTNode caller,
                                                         ASTNode child)
```
    Overrides:
    
    Define_soot_jimple_Stmt_condition_true_label in class ASTNode<ASTNode>
  - rewriteTo
```
public ASTNode rewriteTo()
```
    Overrides:
    
    rewriteTo in class Expr

Constructor	Description
`ConditionalExpr()`
`ConditionalExpr(Expr p0, Expr p1, Expr p2)`

Class ConditionalExpr

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

constant_computed

constant_value

isConstant_computed

isConstant_value

booleanOperator_computed

booleanOperator_value

type_computed

type_value

else_branch_label_computed

else_branch_label_value

then_branch_label_computed

then_branch_label_value

Constructor Detail

ConditionalExpr

ConditionalExpr

Method Detail

flushCache

flushCollectionCache

clone

copy

fullCopy

toString

typeCheck

eval

emitEvalBranch

init$Children

numChildren

mayHaveRewrite

setCondition

getCondition

getConditionNoTransform

setTrueExpr

getTrueExpr

getTrueExprNoTransform

setFalseExpr

getFalseExpr

getFalseExprNoTransform

constant

isConstant

booleanOperator

isDAafterTrue

isDAafterFalse

isDAafter

isDUafterTrue

isDUafterFalse

isDUafter

type

definesLabel

canBeTrue

canBeFalse

else_branch_label

then_branch_label

Define_boolean_isDAbefore

Define_boolean_isDUbefore

Define_soot_jimple_Stmt_condition_false_label

Define_soot_jimple_Stmt_condition_true_label

rewriteTo