soot.JastAddJ

Class ConditionalExpr

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 and 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 and Description
ConditionalExpr()
ConditionalExpr(Expr p0, Expr p1, Expr p2)

Method Summary

Modifier and Type	Method and 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