Class PremonJJTDecEmpty

java.lang.Object
   |
   +----Printable
           |
           +----PremonJJTNode
                   |
                   +----PremonJJTDec
                           |
                           +----PremonJJTDecEmpty

public class PremonJJTDecEmpty
extends PremonJJTDec
An empty declaration ().

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

Variable Index

 o id

Constructor Index

 o PremonJJTDecEmpty(String)

Method Index

 o desugar(PremonCon)
Desugar it.
 o getBind()
Find the bound variables of the context.
 o jjtCreate(String)
 o print(Printer)
How to print this term.

Variables

 o id
 public String id

Constructors

 o PremonJJTDecEmpty
 public PremonJJTDecEmpty(String id)

Methods

 o jjtCreate
 public static Node jjtCreate(String id)
 o print
 public void print(Printer p)
How to print this term.

Overrides:
print in class Printable
 o getBind
 public PremonCon getBind() throws TypeError
Find the bound variables of the context.

Overrides:
getBind in class PremonJJTDec
 o desugar
 public PremonDec desugar(PremonCon Gamma) throws TypeError
Desugar it.

Overrides:
desugar in class PremonJJTDec