[all packages]
[package ]
[class hierarchy]
[index]
java.lang.Object | +----Printable | +----PremonJJTNode | +----PremonJJTExp | +----PremonJJTExpString
public class PremonJJTExpString extends PremonJJTExp
public PremonJJTExpString(int id);
setValue
public void setValue(String s);
public void print(Printer p);
public void printA(Printer p);
public PremonExp desugar(PremonCon Gamma) throws TypeError;
[all packages]
[package ]
[class hierarchy]
[index]