Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
RefExpr Class Reference
Inheritance diagram for RefExpr:[legend]Collaboration diagram for RefExpr:[legend]List of all members.
Public Methods |
|
| RefExpr (StateVar target) |
|
void | apply (Switch sw) |
|
boolean | equals (Object o) |
|
StateVar | getTarget () |
|
Type | getType () |
|
void | print () |
Private Attributes |
|
StateVar | target |
|
Type | type |
Detailed Description
Reference to a specific singleton (a constant).
Definition at line 41 of file RefExpr.java.
The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:21:07 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001