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

public class PremonDecBind

(source file: PremonDecBind.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonDec
                   |
                   +----PremonDecBind
The pure class interface. 
public class PremonDecBind
  extends PremonDec
A declaration let P = M;

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

Constuctor Index

O PremonDecBind(PremonPat, PremonExp)
Create a new declaration.

Methods

O print(Printer)
O semanticsTo(PremonCon)
The semantics of the declaration.

Constructors

O PremonDecBind
public PremonDecBind(PremonPat P,
                     PremonExp M);
Create a new declaration.

Parameters:
P - the binding pattern.
M - the bound expression.

Methods

O print
public void print(Printer p);

O semanticsTo

public Mor semanticsTo(PremonCon target);
The semantics of the declaration.

Returns:
[[M]] ; [[P target]]
Overrides:
semanticsTo in class PremonDec

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