[all packages]
[package ]
[class hierarchy]
[index]
public class PremonExpDec
(source file: PremonExpDec.java)
java.lang.Object
|
+----Printable
|
+----PremonExp
|
+----PremonExpDec
The pure class interface.
public class PremonExpDec
extends PremonExp
-
An expression D M binding a declaration D to an expression M.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/10

PremonExpDec(PremonDec, PremonExp)
-
Create a new binding.

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

PremonExpDec
public PremonExpDec(PremonDec D,
PremonExp M);
-
Create a new binding.
- Parameters:
- D - the declaration
- M - the expression

print
public void print(Printer p);
printB
public void printB(Printer p);
semantics
public Mor semantics();
-
The semantics of the expression.
- Returns:
- ([[
D :
]]
[[
]]) ; [[
M : T]]
- Overrides:
- semantics in class PremonExp
[all packages]
[package ]
[class hierarchy]
[index]
PremonExpDec.html