WhileStmt

AST
node type WhileStmt

General Info

Production

WhileStmt : Stmt ::= Condition:Exp Body:Stmt;

Type Hierarchy:

java.lang.Object
  AST.ASTNode<ASTNode>
      AST.BlockStmt
          AST.Stmt
              AST.WhileStmt

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

Description

Source: Declared in spec/picojava.ast at line 11

Constructors

public WhileStmt()

public WhileStmt(Exp p0,
                 Stmt p1)

Attributes

inh PrimitiveDecl booleanType()

Source: Declared in spec/PredefinedTypes.jrag at line 14
Aspect: PredefinedTypes

Methods

public WhileStmt clone()
                throws java.lang.CloneNotSupportedException

Overrides:clone in class Stmt

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 collectErrors(java.util.Collection c)

Overrides:collectErrors in class ASTNode<ASTNode>

Source: Declared in spec/ErrorCheck.jadd at line 39
Aspect: ErrorCheck

public void prettyPrint(java.lang.StringBuilder sb,
                        int t)

Source: Declared in spec/PrettyPrint.jadd at line 56
Aspect: PrettyPrint

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 flushCache()

Overrides:flushCache in class Stmt

public void flushCollectionCache()

Overrides:flushCollectionCache in class Stmt

public void setCondition(Exp node)

Replaces the Condition child.

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

public Exp getCondition()

Retrieves the Condition child.

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

public Exp getConditionNoTransform()

Retrieves the Condition child.

This method does not invoke AST transformations.

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

public void setBody(Stmt node)

Replaces the Body child.

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

public Stmt getBody()

Retrieves the Body child.

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

public Stmt getBodyNoTransform()

Retrieves the Body child.

This method does not invoke AST transformations.

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

public ASTNode rewriteTo()

Overrides:rewriteTo in class Stmt

Fields

protected int booleanType_visited

Inherited Members

Attributes inherited from AST.BlockStmt

declarationOf

Methods inherited from class AST.ASTNode

addChild

Define_Access_qualifier

Define_boolean_isQualified

Define_Decl_lookup

Define_Decl_unknownDecl

Define_PrimitiveDecl_booleanType

getNumChildNoTransform

Methods inherited from class java.lang.Object

equals

finalize

getClass

hashCode

notify

notifyAll

toString

wait

Fields inherited from AST.BlockStmt

declarationOf_String_visited

Fields inherited from AST.ASTNode

children

endColumn

endLine

generatedWithCacheCycle

generatedWithCircularEnabled

generatedWithComponentCheck