soot.JastAddJ

Class IfStmt

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.IfStmt

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>

public class IfStmt
extends Stmt
implements Cloneable

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	canCompleteNormally_computed
protected boolean	canCompleteNormally_value
protected boolean	else_branch_label_computed
protected Stmt	else_branch_label_value
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values
protected boolean	then_branch_label_computed
protected Stmt	then_branch_label_value

Fields inherited from class soot.JastAddJ.Stmt

localNum_computed, localNum_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
IfStmt()
IfStmt(Expr cond, Stmt thenBranch)
IfStmt(Expr p0, Stmt p1, Opt<Stmt> p2)
IfStmt(Expr cond, Stmt thenBranch, Stmt elseBranch)

Method Summary

Modifier and Type	Method and Description
boolean	canCompleteNormally()
IfStmt	clone()
IfStmt	copy()
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_reachable(ASTNode caller, ASTNode child)
boolean	Define_boolean_reportUnreachable(ASTNode caller, ASTNode child)
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	flushCache()
void	flushCollectionCache()
IfStmt	fullCopy() Create a deep copy of the AST subtree at this node.
Expr	getCondition() Retrieves the Condition child.
Expr	getConditionNoTransform() Retrieves the Condition child.
Stmt	getElse() Retrieves the (optional) Else child.
Opt<Stmt>	getElseOpt()
Opt<Stmt>	getElseOptNoTransform() Retrieves the optional node for child Else.
Stmt	getThen() Retrieves the Then child.
Stmt	getThenNoTransform() Retrieves the Then child.
boolean	hasElse() Check whether the optional Else child exists.
void	init$Children() Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
void	jimplify2(Body b)
boolean	mayHaveRewrite()
boolean	modifiedInScope(Variable var)
protected int	numChildren()
ASTNode	rewriteTo()
void	setCondition(Expr node) Replaces the Condition child.
void	setElse(Stmt node) Replaces the (optional) Else child.
void	setElseOpt(Opt<Stmt> opt) Replaces the optional node for the Else child.
void	setThen(Stmt node) Replaces the Then child.
Stmt	then_branch_label()
void	toString(StringBuffer s)
void	typeCheck()

Methods inherited from class soot.JastAddJ.Stmt

addsIndentationLevel, break_label, continue_label, continueLabel, declaresVariable, Define_String_typeDeclIndent, enclosingBodyDecl, hostType, isDAbefore, isDUbefore, localNum, lookupMethod, lookupType, lookupType, lookupVariable, reachable, reportUnreachable

Methods inherited from class soot.JastAddJ.ASTNode

accessControl, addAttributes, addChild, asImmediate, asLocal, asLocal, asRValue, beginExceptionRange, branchTarget, checkDUeverywhere, checkEnum, checkUncheckedConversion, checkWarnings, clearLocations, cloneSubtree, collectBranches, collectEnclosingVariables, collectErrors, collectExceptions, collectFinally, collectTypesToHierarchy, 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_reachableCatchClause, 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_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, 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

isDAafter_Variable_values

protected Map isDAafter_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

canCompleteNormally_computed

protected boolean canCompleteNormally_computed

canCompleteNormally_value

protected boolean canCompleteNormally_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

IfStmt

public IfStmt(Expr cond,
              Stmt thenBranch)

IfStmt

public IfStmt(Expr cond,
              Stmt thenBranch,
              Stmt elseBranch)

IfStmt

public IfStmt()

IfStmt

public IfStmt(Expr p0,
              Stmt p1,
              Opt<Stmt> p2)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Stmt

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Stmt

clone

public IfStmt clone()
             throws CloneNotSupportedException

Overrides:

clone in class Stmt

Throws:

CloneNotSupportedException

copy

public IfStmt copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

jimplify2

public void jimplify2(Body b)

Overrides:

jimplify2 in class Stmt

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 Stmt

numChildren

protected int numChildren()

Overrides:

numChildren in class Stmt

mayHaveRewrite

public boolean mayHaveRewrite()

Overrides:

mayHaveRewrite in class Stmt

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.

setThen

public void setThen(Stmt node)

Replaces the Then child.

Parameters:

node - The new node to replace the Then child.

getThen

public Stmt getThen()

Retrieves the Then child.

Returns:

The current node used as the Then child.

getThenNoTransform

public Stmt getThenNoTransform()

Retrieves the Then child.

This method does not invoke AST transformations.

Returns:

The current node used as the Then child.

setElseOpt

public void setElseOpt(Opt<Stmt> opt)

Replaces the optional node for the Else child. This is the Opt node containing the child Else, not the actual child!

Parameters:

opt - The new node to be used as the optional node for the Else child.

hasElse

public boolean hasElse()

Check whether the optional Else child exists.

Returns:

true if the optional Else child exists, false if it does not.

getElse

public Stmt getElse()

Retrieves the (optional) Else child.

Returns:

The Else child, if it exists. Returns null otherwise.

setElse

public void setElse(Stmt node)

Replaces the (optional) Else child.

Parameters:

node - The new node to be used as the Else child.

getElseOpt

public Opt<Stmt> getElseOpt()

getElseOptNoTransform

public Opt<Stmt> getElseOptNoTransform()

Retrieves the optional node for child Else. This is the Opt node containing the child Else, not the actual child!

This method does not invoke AST transformations.

Returns:

The optional node for child Else.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Stmt

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Stmt

canCompleteNormally

public boolean canCompleteNormally()

Overrides:

canCompleteNormally in class Stmt

definesLabel

public boolean definesLabel()

Overrides:

definesLabel in class ASTNode<ASTNode>

else_branch_label

public Stmt else_branch_label()

then_branch_label

public Stmt then_branch_label()

modifiedInScope

public boolean modifiedInScope(Variable var)

Specified by:

modifiedInScope in class Stmt

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_boolean_reachable

public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)

Overrides:

Define_boolean_reachable in class ASTNode<ASTNode>

Define_boolean_reportUnreachable

public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)

Overrides:

Define_boolean_reportUnreachable 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 Stmt