`[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

##

PremonType()

##

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

##

PremonType

    public PremonType();

##

semantics

    public abstract Obj semantics();

  Find the semantics of the type as an object.

  Returns:
    [[this]].

equals

    public abstract boolean equals(PremonType T);

  Equality on types.

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

traceable

    public abstract boolean traceable();

  Is the type traceable?

  Returns:
    true iff this type is traceable.

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

###### PremonType.html