[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

Constuctor Index

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

Variables Index

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

Methods

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

Constructors

O PremonVar
public PremonVar(String name,
                 PremonType type);
Create a new variable.

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

O PremonVar

public PremonVar(PremonType type);
Create a new fresh variable.

Returns:
a fresh variable.

Variables

O name
public String name;
The name of the variable.

O type

public PremonType type;
The type of the variable.

O free

public PremonCon free;
The free variables.

Methods

O semantics
public Mor semantics();
Find the semantics of the variable.

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

O alphaConvert

public PremonVar alphaConvert();
Alpha-convert the variable.

Returns:
a new variable with a distinct name.

O 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