 | 11.3 Declarations |
| 
| 11 PVS translator |
| 
| 11.5 Object expressions |
|
| 11.4 Class expressions |
11.4 Class expressions
A class expression translates to the definitions which
the translation of the contents
of the class expression results in.
A basic class expression translates as its declarations.
An extending class expression translates as the two class expressions.
Hiding is ignored (with a warning): hidden names are visible.
Renaming is ignored (with a warning).
With expressions are ignored: names are qualified as if they had been
in RSL.
A scheme instantiation translates as the unfolded scheme with
substituted parameters.
Chris George, April 17, 2008
| 11.4 Class expressions |
| 11.3 Declarations |
| |
| 11 PVS translator |
| |
| 11.5 Object expressions |
|