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

# public class PremonExpApp

(source file: PremonExpApp.java)

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

The pure class interface.

    public class PremonExpApp
      extends PremonExp

  A function application M N.

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

##

PremonExpApp(PremonExp, PremonExp)
  Create a new application.

##

print(Printer)
printA(Printer)
semantics()
  The semantics of the expression.

##

PremonExpApp

    public PremonExpApp(PremonExp M,
                        PremonExp N);

  Create a new application.

  Parameters:
    M - the function.
    N - the argument.
  Throws:
    SemanticError -thrown if M is not a function.

##

print

    public void print(Printer p);

printA

    public void printA(Printer p);

semantics

    public Mor semantics();

  The semantics of the expression.

  Returns:
    (id [[N]]) ; uncurry[[M]]
  Overrides:
    semantics in class PremonExp

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

###### PremonExpApp.html