---

ClassToken Interface Reference

Inheritance diagram for ClassToken:[legend]

---

Detailed Description

This represents a class in the given system as a token.

It needs to be implemented by classes which represent a particular sort of class in the system being analysed. For example, eacy array type used in the program has an associated class token. This class is not required in reality but it placed in to improve readability and for future extensions.

Author:

John Hatcliff , Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 59 of file ClassToken.java.

---

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

• ClassToken.java

---