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

# public abstract class PremonJJTExp

(source file: PremonJJTExp.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonJJTNode
                       |
                       +----PremonJJTExp

The pure class interface.

    public abstract class PremonJJTExp
      extends PremonJJTNode

  The syntactic class of expressions (including syntax sugar).

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

##

PremonJJTExp(int)

##

desugar(PremonCon)
  Desugar it.

##

PremonJJTExp

    public PremonJJTExp(int id);

##

desugar

    public abstract PremonExp desugar(PremonCon Gamma)
      throws TypeError;

  Desugar it.

  Parameters:
    Gamma - the type context (since desugared terms are type-annotated). @returns this expression with the syntax sugar stripped out, and with type annotations.
  Throws:
    TypeError -thrown if the term does not typecheck.

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

###### PremonJJTExp.html