[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

PremonExpVar(PremonVar)
-
Create a new expression.

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

PremonExpVar
public PremonExpVar(PremonVar x);
-
Create a new expression.
- Parameters:
- x - the variable.

print
public void print(Printer p);
printA
public void printA(Printer p);
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