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

public class PremonTypeVar

(source file: PremonTypeVar.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonType
                   |
                   +----PremonTypeVar
The pure class interface. 
public class PremonTypeVar
  extends PremonType
A type variable.

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

Constuctor Index

O PremonTypeVar(String)
Create a new type variable.

Variables Index

O dubble
The type variable double.
O integer
The type variable int.
O string
The type variable string.

Methods

O equals(PremonType)
O print(Printer)
O semantics()
Returns a generator.
O traceable()
Type variables are not traceable.

Constructors

O PremonTypeVar
public PremonTypeVar(String s);
Create a new type variable.

Parameters:
s - the name of the type.

Variables

O string
public static PremonTypeVar string;
The type variable string.

O integer

public static PremonTypeVar integer;
The type variable int.

O dubble

public static PremonTypeVar dubble;
The type variable double.

Methods

O print
public void print(Printer p);

O semantics

public Obj semantics();
Returns a generator.

Returns:
s (viewed as a sort).
Overrides:
semantics in class PremonType

O equals

public boolean equals(PremonType T);

O traceable

public boolean traceable();
Type variables are not traceable.

Returns:
false.
Overrides:
traceable in class PremonType

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