[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

Constuctor Index

O PremonExpApp(PremonExp, PremonExp)
Create a new application.

Methods

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

Constructors

O 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.

Methods

O print
public void print(Printer p);

O printA

public void printA(Printer p);

O 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