`[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

##

PremonJJTDec(int)

##

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

##

PremonJJTDec

    public PremonJJTDec(int id);

##

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.

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