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

public abstract class PremonJJTDec

(source file: PremonJJTDec.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTDec
The pure class interface. 
public abstract class PremonJJTDec
  extends PremonJJTNode
The syntactic class of declarations (including syntax sugar).

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

Constuctor Index

O PremonJJTDec(int)

Methods

O desugar(PremonCon)
Desugar it.
O getBind()
Find the bound variables of the context.

Constructors

O PremonJJTDec
public PremonJJTDec(int id);

Methods

O desugar
public abstract PremonDec desugar(PremonCon Gamma)
  throws TypeError;
Desugar it.

Parameters:
Gamma - the type context for all the variables.
Returns:
the declaration with all syntax sugar removed, and annotated with types.
Throws:
TypeError -thrown if the declaration fails to typecheck.

O getBind

public abstract PremonCon getBind()
  throws TypeError;
Find the bound variables of the context.

Returns:
the bound variables, with their types.
Throws:
TypeError -thrown if the declaration fails to typecheck.

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