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

# public class PremonVar

(source file: PremonVar.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonVar

The pure class interface.

    public class PremonVar
      extends Printable

  The syntactic class of variables.

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

##

PremonVar(PremonType)
  Create a new fresh variable.
PremonVar(String, PremonType)
  Create a new variable.

##

free
  The free variables.
name
  The name of the variable.
type
  The type of the variable.

##

alphaConvert()
  Alpha-convert the variable.
print(Printer)
  Print the variable.
semantics()
  Find the semantics of the variable.

##

PremonVar

    public PremonVar(String name,
                     PremonType type);

  Create a new variable.

  Parameters:
    name - the name of the variable.
    type - the type of the variable.

PremonVar

    public PremonVar(PremonType type);

  Create a new fresh variable.

  Returns:
    a fresh variable.

##

name

    public String name;

  The name of the variable.

type

    public PremonType type;

  The type of the variable.

free

    public PremonCon free;

  The free variables.

##

semantics

    public Mor semantics();

  Find the semantics of the variable.

  Returns:
    the identity morphism of the variable's type.

alphaConvert

    public PremonVar alphaConvert();

  Alpha-convert the variable.

  Returns:
    a new variable with a distinct name.

print

    public void print(Printer p);

  Print the variable.

  Parameters:
    p - where to print to.
  Overrides:
    print in class Printable

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

###### PremonVar.html