[all packages]
[package ]
[class hierarchy]
[index]
public class PremonExpFun
(source file: PremonExpFun.java)
java.lang.Object
|
+----Printable
|
+----PremonExp
|
+----PremonExpFun
The pure class interface.
public class PremonExpFun
extends PremonExp
-
A function expression fn C P { M }
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/09
- PremonExpFun(PremonCat, PremonPat, PremonExp)
-
Create a new function.
- print(Printer)
-
- printA(Printer)
-
- semantics()
-
The semantics of the expression.
PremonExpFun
public PremonExpFun(PremonCat C,
PremonPat P,
PremonExp M);
-
Create a new function.
- Parameters:
- C - the category of the function (val, central or proc).
- P - the argument pattern
- M - the function body
print
public void print(Printer p);
printA
public void printA(Printer p);
semantics
public Mor semantics();
-
The semantics of the expression.
- Returns:
- curry[[M]]
- Overrides:
- semantics in class PremonExp
[all packages]
[package ]
[class hierarchy]
[index]
PremonExpFun.html