`[all packages] [package ] [class hierarchy] [index]`

# public class PremonJJTExpInt

(source file: PremonJJTExpInt.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonJJTNode
                       |
                       +----PremonJJTExp
                               |
                               +----PremonJJTExpInt

The pure class interface.

    public class PremonJJTExpInt
      extends PremonJJTExp

  An integer constant.

  Author:
    Alan Jeffrey
  Version: v1.0 1998/06/10

##

PremonJJTExpInt(int)

##

desugar(PremonCon)
print(Printer)
printA(Printer)
setValue(int)
  Set the value of the integer.

##

PremonJJTExpInt

    public PremonJJTExpInt(int id);

##

setValue

    public void setValue(int n);

  Set the value of the integer.

  Parameters:
    n - the new integer value.

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]`

###### PremonJJTExpInt.html