Main Page Packages Class Hierarchy Alphabetical List Compound List File List Compound Members
NullExpr Class Reference
Inheritance diagram for NullExpr:[legend]Collaboration diagram for NullExpr:[legend]List of all members.
Public Methods |
| NullExpr (TransSystem system) |
void | apply (Switch sw) |
boolean | equals (Object o) |
Type | getType () |
void | print () |
String | toString () |
Private Attributes |
TransSystem | system |
Detailed Description
The null reference.
Note that we must know the TransSystem to create a NullExpr since the type of the NullExpr is the refAny type of the TransSystem (this allows the NullExpr to be assigned to any ref type in the TransSystem).
Definition at line 46 of file NullExpr.java.
The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:20:29 2002 for Bandera by
1.2.10 written by Dimitri van Heesch,
© 1997-2001