SynchronizedStmt

AST
node type SynchronizedStmt

General Info

Production

SynchronizedStmt : Stmt ::= Expr Block;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Stmt
              AST.SynchronizedStmt

All Implemented Interfaces:: FinallyHost, java.lang.Cloneable, java.lang.Iterable<ASTNode>

Description

Source: Declared in Java1.4Frontend/java.ast at line 217

Constructors

public SynchronizedStmt()

public SynchronizedStmt(Expr p0,
                        Block p1)

Attributes

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Stmt

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 655
Aspect: DA

syn boolean isDUafterFinally(Variable v)

Specified by:isDUafterFinally in interface FinallyHost

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 915
Aspect: DU

syn boolean isDAafterFinally(Variable v)

Specified by:isDAafterFinally in interface FinallyHost

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 918
Aspect: DU

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Stmt

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1178
Aspect: DU

syn boolean canCompleteNormally()

Overrides:canCompleteNormally in class Stmt

Source: Declared in Java1.4Frontend/UnreachableStatements.jrag at line 110
Aspect: UnreachableStatements

syn int label_begin()

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1533
Aspect: CreateBCode

syn int label_end()

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1534
Aspect: CreateBCode

syn int label_finally()

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1535
Aspect: CreateBCode

syn int label_finally_block()

Specified by:label_finally_block in interface FinallyHost

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1536
Aspect: CreateBCode

syn int label_exception_handler()

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1537
Aspect: CreateBCode

syn boolean modifiedInScope(Variable var)

Specified by:modifiedInScope in class Stmt

Source: Declared in Java7Frontend/PreciseRethrow.jrag at line 55
Aspect: PreciseRethrow

Methods

public void flushCache()

Overrides:flushCache in class Stmt

public void flushCollectionCache()

Overrides:flushCollectionCache in class Stmt

public SynchronizedStmt clone()
                       throws java.lang.CloneNotSupportedException

Overrides:clone in class Stmt

Throws:: java.lang.CloneNotSupportedException

public SynchronizedStmt copy()

Overrides:copy in class ASTNode<ASTNode>

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

public void collectFinally(Stmt branchStmt,
                           java.util.ArrayList list)

Overrides:collectFinally in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/BranchTarget.jrag at line 206
Aspect: BranchTarget

public void toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/PrettyPrint.jadd at line 699
Aspect: PrettyPrint

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/TypeCheck.jrag at line 362
Aspect: TypeCheck

public void emitMonitorEnter(CodeGeneration gen)

Source: Declared in Java1.4Backend/CodeGeneration.jrag at line 817
Aspect: CodeGeneration

public void emitExceptionHandler(CodeGeneration gen)

Source: Declared in Java1.4Backend/CodeGeneration.jrag at line 823
Aspect: CodeGeneration

public void emitFinallyBlock(CodeGeneration gen)

Source: Declared in Java1.4Backend/CodeGeneration.jrag at line 832
Aspect: CodeGeneration

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class Stmt

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1539
Aspect: CreateBCode

public void init$Children()

Initializes the child array to the correct size. Initializes List and Opt nta children.

Overrides:init$Children in class Stmt

protected int numChildren()

Overrides:numChildren in class Stmt

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class Stmt

public void setExpr(Expr node)

Replaces the Expr child.

Parameters:: node - The new node to replace the Expr child.

public Expr getExpr()

Retrieves the Expr child.

Returns:: The current node used as the Expr child.

public Expr getExprNoTransform()

Retrieves the Expr child.

This method does not invoke AST transformations.

Returns:: The current node used as the Expr child.

public void setBlock(Block node)

Replaces the Block child.

Parameters:: node - The new node to replace the Block child.

public Block getBlock()

Retrieves the Block child.

Returns:: The current node used as the Block child.

public Block getBlockNoTransform()

Retrieves the Block child.

This method does not invoke AST transformations.

Returns:: The current node used as the Block child.

public boolean Define_boolean_isDAbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDAbefore in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 657

public boolean Define_boolean_isDUbefore(ASTNode caller,
                                         ASTNode child,
                                         Variable v)

Overrides:Define_boolean_isDUbefore in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/DefiniteAssignment.jrag at line 1180

public boolean Define_boolean_reachable(ASTNode caller,
                                        ASTNode child)

Overrides:Define_boolean_reachable in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/UnreachableStatements.jrag at line 111

public boolean Define_boolean_reportUnreachable(ASTNode caller,
                                                ASTNode child)

Overrides:Define_boolean_reportUnreachable in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/UnreachableStatements.jrag at line 157

public int Define_int_localNum(ASTNode caller,
                               ASTNode child)

Overrides:Define_int_localNum in class ASTNode<ASTNode>

Source: Declared in Java1.4Backend/LocalNum.jrag at line 122

public ASTNode rewriteTo()

Overrides:rewriteTo in class Stmt

Fields

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafter_Variable_values

protected boolean canCompleteNormally_computed

protected boolean canCompleteNormally_value

protected boolean label_begin_computed

protected int label_begin_value

protected boolean label_end_computed

protected int label_end_value

protected boolean label_finally_computed

protected int label_finally_value

protected boolean label_finally_block_computed

protected int label_finally_block_value

protected boolean label_exception_handler_computed

protected int label_exception_handler_value

Inherited Members

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

Methods inherited from interface AST.FinallyHost

isDAafterFinally

isDUafterFinally

Fields inherited from AST.Stmt

localNum_computed

localNum_value

Fields inherited from AST.ASTNode

children

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck

PRIMITIVE_PACKAGE_NAME

state

Fields inherited from beaver.Symbol

end

start

value

AST node type SynchronizedStmt