[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

Constuctor Index

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

Methods

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

Constructors

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

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

Methods

O print
public void print(Printer p);

O 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