[all packages]
[package ]
[class hierarchy]
[index]
public class PremonExpTopLevel
(source file: PremonExpTopLevel.java)
java.lang.Object
|
+----Printable
|
+----PremonExp
|
+----PremonExpTopLevel
The pure class interface.
public class PremonExpTopLevel
extends PremonExp
-
A top-level expression.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/09
- PremonExpTopLevel(PremonExp)
-
Create a new top-level expression.
- print(Printer)
-
- semantics()
-
PremonExpTopLevel
public PremonExpTopLevel(PremonExp M);
-
Create a new top-level expression.
- Parameters:
- M - the expression.
print
public void print(Printer p);
semantics
public Mor semantics();
[all packages]
[package ]
[class hierarchy]
[index]
PremonExpTopLevel.html