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

public class PremonJJTExpDec

(source file: PremonJJTExpDec.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTExp
                           |
                           +----PremonJJTExpDec
The pure class interface. 
public class PremonJJTExpDec
  extends PremonJJTExp
An expression D M where D is a declaration which may bind variables in M.

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

Constuctor Index

O PremonJJTExpDec(int)

Methods

O desugar(PremonCon)
O print(Printer)
O printB(Printer)

Constructors

O PremonJJTExpDec
public PremonJJTExpDec(int id);

Methods

O print
public void print(Printer p);

O printB

public void printB(Printer p);

O desugar

public PremonExp desugar(PremonCon Gamma)
  throws TypeError;

[all packages] [package ] [class hierarchy] [index]
PremonJJTExpDec.html