[all packages]
[package ]
[class hierarchy]
[index]
public class PremonDecBind
(source file: PremonDecBind.java)
java.lang.Object
|
+----Printable
|
+----PremonDec
|
+----PremonDecBind
The pure class interface.
public class PremonDecBind
extends PremonDec
-
A declaration let P = M;
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/09

PremonDecBind(PremonPat, PremonExp)
-
Create a new declaration.

print(Printer)
-
semanticsTo(PremonCon)
-
The semantics of the declaration.

PremonDecBind
public PremonDecBind(PremonPat P,
PremonExp M);
-
Create a new declaration.
- Parameters:
- P - the binding pattern.
- M - the bound expression.

print
public void print(Printer p);
semanticsTo
public Mor semanticsTo(PremonCon target);
-
The semantics of the declaration.
- Returns:
- [[M]] ; [[P
target]]
- Overrides:
- semanticsTo in class PremonDec
[all packages]
[package ]
[class hierarchy]
[index]
PremonDecBind.html