`[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

##

PremonDec()

##

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

##

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

##

PremonDec

    public PremonDec();

##

cat

    public PremonCat cat;

  The category of the declaration.

bind

    public PremonCon bind;

  The bound variables of the declaration.

free

    public PremonCon free;

  The free variables of the declaration.

##

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