[all packages] [package ] [class hierarchy] [index]

public abstract class PremonType

(source file: PremonType.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonType
The pure class interface. 
public abstract class PremonType
  extends Printable
The class representing a type.

Author:
Alan Jeffrey
Version: v1.0 1998/06/03

Constuctor Index

O PremonType()

Methods

O equals(PremonType)
Equality on types.
O semantics()
Find the semantics of the type as an object.
O traceable()
Is the type traceable?

Constructors

O PremonType
public PremonType();

Methods

O semantics
public abstract Obj semantics();
Find the semantics of the type as an object.

Returns:
[[this]].

O equals

public abstract boolean equals(PremonType T);
Equality on types.

Parameters:
T - the type to compare to.
Returns:
true iff this type equals T.

O traceable

public abstract boolean traceable();
Is the type traceable?

Returns:
true iff this type is traceable.

[all packages] [package ] [class hierarchy] [index]
PremonType.html