[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

Constuctor Index

O PremonJJTExpVar(int)

Methods

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

Constructors

O PremonJJTExpVar
public PremonJJTExpVar(int id);

Methods

O print
public void print(Printer p);

O printA

public void printA(Printer p);

O 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