[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

Constuctor Index

O PremonJJTExpInt(int)

Methods

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

Constructors

O PremonJJTExpInt
public PremonJJTExpInt(int id);

Methods

O setValue
public void setValue(int n);
Set the value of the integer.

Parameters:
n - the new integer value.

O print

public void print(Printer p);

O printA

public void printA(Printer p);

O desugar

public PremonExp desugar(PremonCon Gamma)
  throws TypeError;

[all packages] [package ] [class hierarchy] [index]
PremonJJTExpInt.html