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

public abstract class PremonDec

(source file: PremonDec.java)
java.lang.Object
   |
   +----Printable
           |
           +----PremonDec
The pure class interface. 
public abstract class PremonDec
  extends Printable
The syntactic class of type-annotated declarations, without syntax sugar.

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

Constuctor Index

O PremonDec()

Variables Index

O bind
The bound variables of the declaration.
O cat
The category of the declaration.
O free
The free variables of the declaration.

Methods

O semanticsTo(PremonCon)
The semantics of the declaration, with a given context to aim for

Constructors

O PremonDec
public PremonDec();

Variables

O cat
public PremonCat cat;
The category of the declaration.

O bind

public PremonCon bind;
The bound variables of the declaration.

O free

public PremonCon free;
The free variables of the declaration.

Methods

O semanticsTo
public abstract Mor semanticsTo(PremonCon target);
The semantics of the declaration, with a given context to aim for. The context should be a subset of the bound variables of the declaration.

Parameters:
target - the context to aim at.
Returns:
[[free D : target]]

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