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

##

PremonTypeVar(String)
  Create a new type variable.

##

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

##

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

##

PremonTypeVar

    public PremonTypeVar(String s);

  Create a new type variable.

  Parameters:
    s - the name of the type.

##

string

    public static PremonTypeVar string;

  The type variable `string`.

integer

    public static PremonTypeVar integer;

  The type variable `int`.

dubble

    public static PremonTypeVar dubble;

  The type variable `double`.

##

print

    public void print(Printer p);

semantics

    public Obj semantics();

  Returns a generator.

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

equals

    public boolean equals(PremonType T);

traceable

    public boolean traceable();

  Type variables are not traceable.

  Returns:
    false.
  Overrides:
    traceable in class PremonType

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

###### PremonTypeVar.html