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

public class PremonExpDec

(source file: PremonExpDec.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonExp
                   |
                   +----PremonExpDec
The pure class interface. 
public class PremonExpDec
  extends PremonExp
An expression D M binding a declaration D to an expression M.

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

Constuctor Index

O PremonExpDec(PremonDec, PremonExp)
Create a new binding.

Methods

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

Constructors

O PremonExpDec
public PremonExpDec(PremonDec D,
                    PremonExp M);
Create a new binding.

Parameters:
D - the declaration
M - the expression

Methods

O print
public void print(Printer p);

O printB

public void printB(Printer p);

O semantics

public Mor semantics();
The semantics of the expression.

Returns:
([[  D : ]]  [[]]) ; [[  M : T]]
Overrides:
semantics in class PremonExp

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