WhileStmt

AST
node type WhileStmt

General Info

Production

WhileStmt : BranchTargetStmt ::= Condition:Expr Stmt;

Type Hierarchy:

java.lang.Object
  beaver.Symbol
      AST.ASTNode<ASTNode>
          AST.Stmt
              AST.BranchTargetStmt
                  AST.WhileStmt

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

Description

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

Constructors

public WhileStmt()

public WhileStmt(Expr p0,
                 Stmt p1)

Attributes

syn boolean targetOf(ContinueStmt stmt)

Specified by:targetOf in interface BranchPropagationSpecified by:targetOf in class BranchTargetStmt

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

syn boolean targetOf(BreakStmt stmt)

Specified by:targetOf in interface BranchPropagationSpecified by:targetOf in class BranchTargetStmt

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

syn boolean isDAafter(Variable v)

Overrides:isDAafter in class Stmt

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

syn boolean isDUafter(Variable v)

Overrides:isDUafter in class Stmt

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

syn boolean isDUbeforeCondition(Variable v)

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

syn boolean continueLabel()

Overrides:continueLabel in class Stmt

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 401
Aspect: NameCheck

syn boolean canCompleteNormally()

Overrides:canCompleteNormally in class Stmt

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

syn boolean definesLabel()

Overrides:definesLabel in class ASTNode<ASTNode>

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

syn int cond_label()

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

syn int end_label()

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

syn int stmt_label()

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

syn int break_label()

Overrides:break_label in class Stmt

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

syn int continue_label()

Overrides:continue_label in class Stmt

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1417
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 BranchTargetStmt

public void flushCollectionCache()

Overrides:flushCollectionCache in class BranchTargetStmt

public WhileStmt clone()
                throws java.lang.CloneNotSupportedException

Overrides:clone in class BranchTargetStmt

Throws:: java.lang.CloneNotSupportedException

public WhileStmt copy()

Overrides:copy in class ASTNode<ASTNode>

public WhileStmt 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 toString(java.lang.StringBuffer s)

Overrides:toString in class ASTNode<ASTNode>

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

public void typeCheck()

Overrides:typeCheck in class ASTNode<ASTNode>

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

public void createBCode(CodeGeneration gen)

Overrides:createBCode in class Stmt

Source: Declared in Java1.4Backend/CreateBCode.jrag at line 1346
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 BranchTargetStmt

protected int numChildren()

Overrides:numChildren in class BranchTargetStmt

public boolean mayHaveRewrite()

Overrides:mayHaveRewrite in class BranchTargetStmt

public void setCondition(Expr node)

Replaces the Condition child.

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

public Expr getCondition()

Retrieves the Condition child.

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

public Expr getConditionNoTransform()

Retrieves the Condition child.

This method does not invoke AST transformations.

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

public void setStmt(Stmt node)

Replaces the Stmt child.

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

public Stmt getStmt()

Retrieves the Stmt child.

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

public Stmt getStmtNoTransform()

Retrieves the Stmt child.

This method does not invoke AST transformations.

Returns:: The current node used as the Stmt 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 587

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 1066

public boolean Define_boolean_insideLoop(ASTNode caller,
                                         ASTNode child)

Overrides:Define_boolean_insideLoop in class ASTNode<ASTNode>

Source: Declared in Java1.4Frontend/NameCheck.jrag at line 371

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 86

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 153

public int Define_int_condition_false_label(ASTNode caller,
                                            ASTNode child)

Overrides:Define_int_condition_false_label in class ASTNode<ASTNode>

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

public int Define_int_condition_true_label(ASTNode caller,
                                           ASTNode child)

Overrides:Define_int_condition_true_label in class ASTNode<ASTNode>

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

public ASTNode rewriteTo()

Overrides:rewriteTo in class BranchTargetStmt

Fields

protected java.util.Map targetOf_ContinueStmt_values

protected java.util.Map targetOf_BreakStmt_values

protected java.util.Map isDAafter_Variable_values

protected java.util.Map isDUafter_Variable_values

protected java.util.Map isDUbeforeCondition_Variable_values

protected boolean canCompleteNormally_computed

protected boolean canCompleteNormally_value

protected boolean cond_label_computed

protected int cond_label_value

protected boolean end_label_computed

protected int end_label_value

protected boolean stmt_label_computed

protected int stmt_label_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

Fields inherited from AST.BranchTargetStmt

branches_computed

branches_value

escapedBranches_computed

escapedBranches_value

reachableBreak_computed

reachableBreak_value

reachableContinue_computed

reachableContinue_value

targetBranches_computed

targetBranches_value

targetBreaks_computed

targetBreaks_value

targetContinues_computed

targetContinues_value

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 WhileStmt

General Info

Description

Member Filters

Constructors

Attributes

Methods

Fields

Inherited Members

Attributes inherited from AST.BranchTargetStmt

Attributes inherited from AST.Stmt

Attributes inherited from AST.ASTNode

Methods inherited from class AST.BranchTargetStmt

Methods inherited from class AST.Stmt

Methods inherited from class AST.ASTNode