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

public class PremonJJTDecBindFunCurried

(source file: PremonJJTDecBindFunCurried.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTDec
                           |
                           +----PremonJJTDecBindFunCurried
The pure class interface. 
public class PremonJJTDecBindFunCurried
  extends PremonJJTDec
A curried function declaration C x P1 ... Pn : T {M} which is syntax sugar for let x : U = fn C P1 ... Pn {M} where U is the appropriate type (determined from the types of Pi and T).

Author:
Alan Jeffrey
Version: v1.01 1998/07/20

Constuctor Index

O PremonJJTDecBindFunCurried(int)

Methods

O desugar(PremonCon)
O getBind()
O print(Printer)

Constructors

O PremonJJTDecBindFunCurried
public PremonJJTDecBindFunCurried(int id);

Methods

O print
public void print(Printer p);

O getBind

public PremonCon getBind()
  throws TypeError;

O desugar

public PremonDec desugar(PremonCon Gamma)
  throws TypeError;

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