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

# public class PremonJJTExpVar

(source file: PremonJJTExpVar.java)

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

The pure class interface.

    public class PremonJJTExpVar
      extends PremonJJTExp

  An expression x.

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

##

PremonJJTExpVar(int)

##

desugar(PremonCon)
  Desugar it.
print(Printer)
printA(Printer)

##

PremonJJTExpVar

    public PremonJJTExpVar(int id);

##

print

    public void print(Printer p);

printA

    public void printA(Printer p);

desugar

    public PremonExp desugar(PremonCon Gamma)
      throws TypeError;

  Desugar it.

  Parameters:
    the - context.
  Returns:
    this variable, typed as it appears in Gamma.
  Throws:
    TypeError -thrown if this variable does not appear in Gamma.
  Overrides:
    desugar in class PremonJJTExp

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

###### PremonJJTExpVar.html