Package soot.JastAddJ

Class Block

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.Block

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, VariableScope

public class Block
extends Stmt
implements Cloneable, VariableScope

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	canCompleteNormally_computed
protected boolean	canCompleteNormally_value
protected Map	checkReturnDA_Variable_values
protected Map	checkReturnDU_Variable_values
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values
protected Map	localVariableDeclaration_String_values
protected Map	lookupType_String_values
protected Map	lookupVariable_String_values

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	Description
Block()
Block(List<Stmt> p0)

Method Summary

Modifier and Type	Method	Description
boolean	addsIndentationLevel()
void	addStmt(Stmt node)	Append an element to the Stmt list.
void	addStmtNoTransform(Stmt node)
boolean	canCompleteNormally()
boolean	checkReturnDA(Variable v)
boolean	checkReturnDU(Variable v)
Block	clone()
Block	copy()
boolean	declaredBeforeUse(Variable decl, int indexUse)
boolean	declaredBeforeUse(Variable decl, ASTNode use)
boolean	Define_boolean_isDAbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isDUbefore(ASTNode caller, ASTNode child, Variable v)
boolean	Define_boolean_isIncOrDec(ASTNode caller, ASTNode child)
boolean	Define_boolean_reachable(ASTNode caller, ASTNode child)
boolean	Define_boolean_reportUnreachable(ASTNode caller, ASTNode child)
NameType	Define_NameType_nameType(ASTNode caller, ASTNode child)
SimpleSet	Define_SimpleSet_lookupType(ASTNode caller, ASTNode child, String name)
SimpleSet	Define_SimpleSet_lookupVariable(ASTNode caller, ASTNode child, String name)
VariableScope	Define_VariableScope_outerScope(ASTNode caller, ASTNode child)
void	flushCache()
void	flushCollectionCache()
Block	fullCopy()	Create a deep copy of the AST subtree at this node.
int	getNumStmt()	Retrieves the number of children in the Stmt list.
int	getNumStmtNoTransform()	Retrieves the number of children in the Stmt list.
Stmt	getStmt(int i)	Retrieves the element at index i in the Stmt list..
List<Stmt>	getStmtList()	Retrieves the Stmt list.
List<Stmt>	getStmtListNoTransform()	Retrieves the Stmt list.
List<Stmt>	getStmts()	Retrieves the Stmt list.
List<Stmt>	getStmtsNoTransform()	Retrieves the Stmt list.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDUafter(Variable v)
boolean	isDUeverywhere(Variable v)
void	jimplify2(Body b)
VariableDeclaration	localVariableDeclaration(String name)
SimpleSet	lookupType(String name)
SimpleSet	lookupVariable(String name)
boolean	mayHaveRewrite()
boolean	modifiedInScope(Variable var)
protected int	numChildren()
boolean	reachable()
ASTNode	rewriteTo()
void	setStmt(Stmt node, int i)	Replaces the Stmt list element at index i with the new node node.
void	setStmtList(List<Stmt> list)	Replaces the Stmt list.
boolean	shouldHaveIndent()
void	toString(StringBuffer s)

Methods inherited from class soot.JastAddJ.Stmt

break_label, continue_label, continueLabel, declaresVariable, Define_String_typeDeclIndent, enclosingBodyDecl, hostType, isDAbefore, isDUbefore, localNum, lookupMethod, lookupType, 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_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_SimpleSet_allImportedTypes, Define_soot_jimple_Stmt_condition_false_label, Define_soot_jimple_Stmt_condition_true_label, 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, definesLabel, 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, typeCheck, 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

checkReturnDA_Variable_values

protected Map checkReturnDA_Variable_values

isDAafter_Variable_values

protected Map isDAafter_Variable_values

checkReturnDU_Variable_values

protected Map checkReturnDU_Variable_values

isDUafter_Variable_values

protected Map isDUafter_Variable_values

localVariableDeclaration_String_values

protected Map localVariableDeclaration_String_values

canCompleteNormally_computed

protected boolean canCompleteNormally_computed

canCompleteNormally_value

protected boolean canCompleteNormally_value

lookupType_String_values

protected Map lookupType_String_values

lookupVariable_String_values

protected Map lookupVariable_String_values

Constructor Detail

Block

public Block()

Block

public Block(List<Stmt> p0)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Stmt

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Stmt

clone

public Block clone()
            throws CloneNotSupportedException

Overrides:

clone in class Stmt

Throws:

CloneNotSupportedException

copy

public Block copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

declaredBeforeUse

public boolean declaredBeforeUse(Variable decl,
                                 ASTNode use)

declaredBeforeUse

public boolean declaredBeforeUse(Variable decl,
                                 int indexUse)

toString

public void toString(StringBuffer s)

Overrides:

toString 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

setStmtList

public void setStmtList(List<Stmt> list)

Replaces the Stmt list.

Parameters:

list - The new list node to be used as the Stmt list.

getNumStmt

public int getNumStmt()

Retrieves the number of children in the Stmt list.

Returns:

Number of children in the Stmt list.

getNumStmtNoTransform

public int getNumStmtNoTransform()

Retrieves the number of children in the Stmt list. Calling this method will not trigger rewrites..

Returns:

Number of children in the Stmt list.

getStmt

public Stmt getStmt(int i)

Retrieves the element at index i in the Stmt list..

Parameters:

i - Index of the element to return.

Returns:

The element at position i in the Stmt list.

addStmt

public void addStmt(Stmt node)

Append an element to the Stmt list.

Parameters:

node - The element to append to the Stmt list.

addStmtNoTransform

public void addStmtNoTransform(Stmt node)

setStmt

public void setStmt(Stmt node,
                    int i)

Replaces the Stmt list element at index i with the new node node.

Parameters:

node - The new node to replace the old list element.

i - The list index of the node to be replaced.

getStmts

public List<Stmt> getStmts()

Retrieves the Stmt list.

Returns:

The node representing the Stmt list.

getStmtsNoTransform

public List<Stmt> getStmtsNoTransform()

Retrieves the Stmt list.

This method does not invoke AST transformations.

Returns:

The node representing the Stmt list.

getStmtList

public List<Stmt> getStmtList()

Retrieves the Stmt list.

Returns:

The node representing the Stmt list.

getStmtListNoTransform

public List<Stmt> getStmtListNoTransform()

Retrieves the Stmt list.

This method does not invoke AST transformations.

Returns:

The node representing the Stmt list.

checkReturnDA

public boolean checkReturnDA(Variable v)

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Stmt

isDUeverywhere

public boolean isDUeverywhere(Variable v)

checkReturnDU

public boolean checkReturnDU(Variable v)

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Stmt

localVariableDeclaration

public VariableDeclaration localVariableDeclaration(String name)

addsIndentationLevel

public boolean addsIndentationLevel()

Overrides:

addsIndentationLevel in class Stmt

shouldHaveIndent

public boolean shouldHaveIndent()

canCompleteNormally

public boolean canCompleteNormally()

Overrides:

canCompleteNormally in class Stmt

modifiedInScope

public boolean modifiedInScope(Variable var)

Specified by:

modifiedInScope in class Stmt

lookupType

public SimpleSet lookupType(String name)

Overrides:

lookupType in class Stmt

lookupVariable

public SimpleSet lookupVariable(String name)

Specified by:

lookupVariable in interface VariableScope

Overrides:

lookupVariable in class Stmt

reachable

public boolean reachable()

Overrides:

reachable in class Stmt

Define_boolean_isIncOrDec

public boolean Define_boolean_isIncOrDec(ASTNode caller,
                                         ASTNode child)

Overrides:

Define_boolean_isIncOrDec in class ASTNode<ASTNode>

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_SimpleSet_lookupType

public SimpleSet Define_SimpleSet_lookupType(ASTNode caller,
                                             ASTNode child,
                                             String name)

Overrides:

Define_SimpleSet_lookupType in class ASTNode<ASTNode>

Define_SimpleSet_lookupVariable

public SimpleSet Define_SimpleSet_lookupVariable(ASTNode caller,
                                                 ASTNode child,
                                                 String name)

Overrides:

Define_SimpleSet_lookupVariable in class ASTNode<ASTNode>

Define_VariableScope_outerScope

public VariableScope Define_VariableScope_outerScope(ASTNode caller,
                                                     ASTNode child)

Overrides:

Define_VariableScope_outerScope in class ASTNode<ASTNode>

Define_NameType_nameType

public NameType Define_NameType_nameType(ASTNode caller,
                                         ASTNode child)

Overrides:

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

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Stmt