|
Section 6.8.7:
Post-condition Expressions
|
|
Post-condition expressions, as the name suggests, may only appear in
a post-condition of some method. In this section the term is used with the first meaning defined in the
glossary.
Concrete Syntax
6.8.7.1 Initial Expression
Concrete Syntax
Abstract Syntax
Static Semantics
Dynamic Semantics
6.8.7.2 Result Expression
Concrete Syntax
Abstract Syntax
Static Semantics
Dynamic Semantics
Comments
or enquiries should be made to Keith Hopper.
Page last modified: Tuesday, 23 May
2000. |
|