Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

Case Class Reference

List of all members.

Public Methods

 Case (String cond, TreeNode node)
Object clone ()
void insertTrap (String trapCond, String desc, boolean fatal)
void replace (TreeNode node)

Public Attributes

String cond
TreeNode node
Case parent

Detailed Description

Case of CaseNode.

Definition at line 44 of file Case.java.


Member Function Documentation

void Case::insertTrap String   trapCond,
String   desc,
boolean   fatal
[inline]
 

Insert a CaseNode to check for a specific trap condition.

Definition at line 61 of file Case.java.

Referenced by SpinTrans::caseArrayExpr(), SpinTrans::caseAssignAction(), SpinTrans::caseDivExpr(), and SpinTrans::caseNewArrayExpr().


The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:05:56 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001