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

public class PremonExpVar

(source file: PremonExpVar.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonExp
                   |
                   +----PremonExpVar
The pure class interface. 
public class PremonExpVar
  extends PremonExp
A variable expression x.

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

Constuctor Index

O PremonExpVar(PremonVar)
Create a new expression.

Methods

O print(Printer)
O printA(Printer)
O semantics()
The semantics of the expression.

Constructors

O PremonExpVar
public PremonExpVar(PremonVar x);
Create a new expression.

Parameters:
x - the variable.

Methods

O print
public void print(Printer p);

O printA

public void printA(Printer p);

O semantics

public Mor semantics();
The semantics of the expression.

Returns:
[[x:T x:T]] = [[T]]
Overrides:
semantics in class PremonExp

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