ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

javafe.ast
Class GenericBlockStmt

java.lang.Object
  extended byjavafe.ast.ASTNode
      extended byjavafe.ast.Stmt
          extended byjavafe.ast.GenericBlockStmt
All Implemented Interfaces:
java.lang.Cloneable
Direct Known Subclasses:
BlockStmt, SwitchStmt

public abstract class GenericBlockStmt
extends Stmt


Field Summary
 int locCloseBrace
           
 int locOpenBrace
           
 StmtVec stmts
           
 
Fields inherited from class javafe.ast.ASTNode
decorations
 
Constructor Summary
protected GenericBlockStmt()
          Construct a raw GenericBlockStmt whose class invariant(s) have not yet been established.
 
Method Summary
 void check()
           
 int getEndLoc()
           
 
Methods inherited from class javafe.ast.ASTNode
accept, accept, childAt, childCount, clone, clone, getDecorations, getStartLoc, getTag, setDecorations, toString
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

stmts

public StmtVec stmts

locOpenBrace

public int locOpenBrace

locCloseBrace

public int locCloseBrace
Constructor Detail

GenericBlockStmt

protected GenericBlockStmt()
Construct a raw GenericBlockStmt whose class invariant(s) have not yet been established. It is the caller's job to initialize the returned node's fields so that any class invariants hold.

Method Detail

getEndLoc

public int getEndLoc()
Overrides:
getEndLoc in class ASTNode

check

public void check()
Overrides:
check in class Stmt

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage