Definition Interface Reference

Inheritance diagram for Definition:[legend]List of all members.

Detailed Description

A definition---binds a name to a Type or constant Integer.

Definition at line 44 of file Definition.java.

The documentation for this interface was generated from the following file:

Generated at Thu Feb 7 07:09:01 2002 for Bandera by