[all packages]
[package ]
[class hierarchy]
[index]
public class PremonJJTExpString
(source file: PremonJJTExpString.java)
java.lang.Object
|
+----Printable
|
+----PremonJJTNode
|
+----PremonJJTExp
|
+----PremonJJTExpString
The pure class interface.
public class PremonJJTExpString
extends PremonJJTExp
-
A string constant.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/10

PremonJJTExpString(int)
-

desugar(PremonCon)
-
print(Printer)
-
printA(Printer)
-
setValue(String)
-
Set the string contents.

PremonJJTExpString
public PremonJJTExpString(int id);

setValue
public void setValue(String s);
-
Set the string contents.
- Parameters:
- s - the new contents.
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]
PremonJJTExpString.html