Package soot.JastAddJ

Class SynchronizedStmt

java.lang.Object

beaver.Symbol

soot.JastAddJ.ASTNode<ASTNode>

soot.JastAddJ.Stmt

soot.JastAddJ.SynchronizedStmt

All Implemented Interfaces:

Cloneable, Iterable<ASTNode>, FinallyHost

public class SynchronizedStmt
extends Stmt
implements Cloneable, FinallyHost

Field Summary

Fields

Modifier and Type	Field	Description
protected boolean	canCompleteNormally_computed
protected boolean	canCompleteNormally_value
protected boolean	exceptionRanges_computed
protected ArrayList	exceptionRanges_value
protected Map	isDAafter_Variable_values
protected Map	isDUafter_Variable_values
protected boolean	label_begin_computed
protected Stmt	label_begin_value
protected boolean	label_end_computed
protected Stmt	label_end_value
protected boolean	label_exception_handler_computed
protected Stmt	label_exception_handler_value
protected boolean	label_finally_block_computed
protected Stmt	label_finally_block_value
protected boolean	label_finally_computed
protected Stmt	label_finally_value
protected Map	monitor_Body_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
SynchronizedStmt()
SynchronizedStmt(Expr p0, Block p1)

Method Summary

Modifier and Type	Method	Description
boolean	canCompleteNormally()
SynchronizedStmt	clone()
void	collectFinally(Stmt branchStmt, ArrayList list)
SynchronizedStmt	copy()
ArrayList	Define_ArrayList_exceptionRanges(ASTNode caller, ASTNode child)
boolean	Define_boolean_enclosedByExceptionHandler(ASTNode caller, ASTNode child)
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)
void	emitFinallyCode(Body b)
boolean	enclosedByExceptionHandler()
ArrayList	exceptionRanges()
void	flushCache()
void	flushCollectionCache()
SynchronizedStmt	fullCopy()	Create a deep copy of the AST subtree at this node.
Block	getBlock()	Retrieves the Block child.
Block	getBlockNoTransform()	Retrieves the Block child.
Expr	getExpr()	Retrieves the Expr child.
Expr	getExprNoTransform()	Retrieves the Expr child.
void	init$Children()	Initializes the child array to the correct size.
boolean	isDAafter(Variable v)
boolean	isDAafterFinally(Variable v)
boolean	isDUafter(Variable v)
boolean	isDUafterFinally(Variable v)
void	jimplify2(Body b)
Stmt	label_begin()
Stmt	label_end()
Stmt	label_exception_handler()
Stmt	label_finally()
Stmt	label_finally_block()
boolean	mayHaveRewrite()
boolean	modifiedInScope(Variable var)
Local	monitor(Body b)
boolean	needsFinallyTrap()
protected int	numChildren()
ASTNode	rewriteTo()
void	setBlock(Block node)	Replaces the Block child.
void	setExpr(Expr node)	Replaces the Expr child.
void	toString(StringBuffer s)
void	typeCheck()
TypeDecl	typeThrowable()

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, collectTypesToHierarchy, collectTypesToSignatures, compilationUnit, Define_Annotation_lookupAnnotation, Define_ASTNode_enclosingBlock, Define_BodyDecl_enclosingBodyDecl, 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_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, Define_VariableScope_outerScope, 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, 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

monitor_Body_values

protected Map monitor_Body_values

exceptionRanges_computed

protected boolean exceptionRanges_computed

exceptionRanges_value

protected ArrayList exceptionRanges_value

label_begin_computed

protected boolean label_begin_computed

label_begin_value

protected Stmt label_begin_value

label_end_computed

protected boolean label_end_computed

label_end_value

protected Stmt label_end_value

label_finally_computed

protected boolean label_finally_computed

label_finally_value

protected Stmt label_finally_value

label_finally_block_computed

protected boolean label_finally_block_computed

label_finally_block_value

protected Stmt label_finally_block_value

label_exception_handler_computed

protected boolean label_exception_handler_computed

label_exception_handler_value

protected Stmt label_exception_handler_value

Constructor Detail

SynchronizedStmt

public SynchronizedStmt()

SynchronizedStmt

public SynchronizedStmt(Expr p0,
                        Block p1)

Method Detail

flushCache

public void flushCache()

Overrides:

flushCache in class Stmt

flushCollectionCache

public void flushCollectionCache()

Overrides:

flushCollectionCache in class Stmt

clone

public SynchronizedStmt clone()
                       throws CloneNotSupportedException

Overrides:

clone in class Stmt

Throws:

CloneNotSupportedException

copy

public SynchronizedStmt copy()

Overrides:

copy in class ASTNode<ASTNode>

fullCopy

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

collectFinally

public void collectFinally(Stmt branchStmt,
                           ArrayList list)

Overrides:

collectFinally in class ASTNode<ASTNode>

toString

public void toString(StringBuffer s)

Overrides:

toString in class ASTNode<ASTNode>

typeCheck

public void typeCheck()

Overrides:

typeCheck in class ASTNode<ASTNode>

emitFinallyCode

public void emitFinallyCode(Body b)

Specified by:

emitFinallyCode in interface FinallyHost

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

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.

setBlock

public void setBlock(Block node)

Replaces the Block child.

Parameters:

node - The new node to replace the Block child.

getBlock

public Block getBlock()

Retrieves the Block child.

Returns:

The current node used as the Block child.

getBlockNoTransform

public Block getBlockNoTransform()

Retrieves the Block child.

This method does not invoke AST transformations.

Returns:

The current node used as the Block child.

isDAafter

public boolean isDAafter(Variable v)

Overrides:

isDAafter in class Stmt

isDUafterFinally

public boolean isDUafterFinally(Variable v)

Specified by:

isDUafterFinally in interface FinallyHost

isDAafterFinally

public boolean isDAafterFinally(Variable v)

Specified by:

isDAafterFinally in interface FinallyHost

isDUafter

public boolean isDUafter(Variable v)

Overrides:

isDUafter in class Stmt

canCompleteNormally

public boolean canCompleteNormally()

Overrides:

canCompleteNormally in class Stmt

monitor

public Local monitor(Body b)

needsFinallyTrap

public boolean needsFinallyTrap()

exceptionRanges

public ArrayList exceptionRanges()

label_begin

public Stmt label_begin()

label_end

public Stmt label_end()

label_finally

public Stmt label_finally()

label_finally_block

public Stmt label_finally_block()

Specified by:

label_finally_block in interface FinallyHost

label_exception_handler

public Stmt label_exception_handler()

modifiedInScope

public boolean modifiedInScope(Variable var)

Specified by:

modifiedInScope in class Stmt

enclosedByExceptionHandler

public boolean enclosedByExceptionHandler()

typeThrowable

public TypeDecl typeThrowable()

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_boolean_enclosedByExceptionHandler

public boolean Define_boolean_enclosedByExceptionHandler(ASTNode caller,
                                                         ASTNode child)

Overrides:

Define_boolean_enclosedByExceptionHandler in class ASTNode<ASTNode>

Define_ArrayList_exceptionRanges

public ArrayList Define_ArrayList_exceptionRanges(ASTNode caller,
                                                  ASTNode child)

Overrides:

Define_ArrayList_exceptionRanges in class ASTNode<ASTNode>

rewriteTo

public ASTNode rewriteTo()

Overrides:

rewriteTo in class Stmt