[all packages] [package ] [class hierarchy] [index]

public class PremonJJTExpFunCurried

(source file: PremonJJTExpFunCurried.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTExp
                           |
                           +----PremonJJTExpFunCurried
The pure class interface. 
public class PremonJJTExpFunCurried
  extends PremonJJTExp

An anonymous function fn C P1 ... Pn {M} where:

fn C P1 P2 ... Pn {M}
is sugar for
fn val P1 {fn P2 ... Pn {M}}.
Note that the return type of an anonymous function can be determined from the type of its body.

Author:
Alan Jeffrey
Version: v1.0 1998/06/09

Constuctor Index

O PremonJJTExpFunCurried(int)

Methods

O desugar(PremonCon)
O desugarFrom(int, PremonCon)
O print(Printer)
O printA(Printer)

Constructors

O PremonJJTExpFunCurried
public PremonJJTExpFunCurried(int id);

Methods

O print
public void print(Printer p);

O printA

public void printA(Printer p);

O desugarFrom

public PremonExp desugarFrom(int i,
                             PremonCon Gamma)
  throws TypeError;

O desugar

public PremonExp desugar(PremonCon Gamma)
  throws TypeError;

[all packages] [package ] [class hierarchy] [index]
PremonJJTExpFunCurried.html