[all packages]
[package ]
[class hierarchy]
[index]
public class PremonJJTExpDouble
(source file: PremonJJTExpDouble.java)
java.lang.Object
|
+----Printable
|
+----PremonJJTNode
|
+----PremonJJTExp
|
+----PremonJJTExpDouble
The pure class interface.
public class PremonJJTExpDouble
extends PremonJJTExp
-
An expression representing a floating point constant.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/09

PremonJJTExpDouble(int)
-

desugar(PremonCon)
-
print(Printer)
-
printA(Printer)
-
setValue(double)
-

PremonJJTExpDouble
public PremonJJTExpDouble(int id);

setValue
public void setValue(double d);
print
public void print(Printer p);
printA
public void printA(Printer p);
desugar
public PremonExp desugar(PremonCon Gamma)
throws TypeError;
[all packages]
[package ]
[class hierarchy]
[index]
PremonJJTExpDouble.html