[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