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

# public class PremonExpTopLevel

(source file: PremonExpTopLevel.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonExp
                       |
                       +----PremonExpTopLevel

The pure class interface.

    public class PremonExpTopLevel
      extends PremonExp

  A top-level expression.

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

##

PremonExpTopLevel(PremonExp)
  Create a new top-level expression.

##

print(Printer)
semantics()

##

PremonExpTopLevel

    public PremonExpTopLevel(PremonExp M);

  Create a new top-level expression.

  Parameters:
    M - the expression.

##

print

    public void print(Printer p);

semantics

    public Mor semantics();

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

###### PremonExpTopLevel.html