# 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

##

id

##

PremonJJTDecEmpty(String)

##

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

##

id

     public String id

##

PremonJJTDecEmpty

     public PremonJJTDecEmpty(String id)

##

jjtCreate

     public static Node jjtCreate(String id)

print

     public void print(Printer p)

  How to print this term.

  Overrides:
    print in class Printable

getBind

     public PremonCon getBind() throws TypeError

  Find the bound variables of the context.

  Overrides:
    getBind in class PremonJJTDec

desugar

     public PremonDec desugar(PremonCon Gamma) throws TypeError

  Desugar it.

  Overrides:
    desugar in class PremonJJTDec