[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

Constuctor Index

O PremonJJTExp(int)

Methods

O desugar(PremonCon)
Desugar it.

Constructors

O PremonJJTExp
public PremonJJTExp(int id);

Methods

O 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