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