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

# public class PremonDecComp

(source file: PremonDecComp.java)

    java.lang.Object
       |
       +----Printable
               |
               +----PremonDec
                       |
                       +----PremonDecComp

The pure class interface.

    public class PremonDecComp
      extends PremonDec

  The composition of two declarations.

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

##

PremonDecComp(PremonDec, PremonDec)
  Create a new declaration D E.

##

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

##

PremonDecComp

    public PremonDecComp(PremonDec D,
                         PremonDec E);

  Create a new declaration D E.

  Parameters:
    D - the first declaration
    E - the second declaration

##

print

    public void print(Printer p);

semanticsTo

    public Mor semanticsTo(PremonCon target);

  The semantics of the declaration.

  Returns:
    ; ([[ D : ]] [[]]) ; [[ E : ]] (with some tidying up).
  Overrides:
    semanticsTo in class PremonDec

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

###### PremonDecComp.html