Sather Home Page

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

postcondition expression = initial expression
| result expression ;

6.8.7.1 Initial Expression

Concrete Syntax

initial expression = Initial_SY, parenthesised expression ;

Abstract Syntax

Static Semantics

Dynamic Semantics

6.8.7.2 Result Expression

Concrete Syntax

result expression = Result_SY ;

Abstract Syntax

Static Semantics

Dynamic Semantics


Specification Index Language Index Section 6 Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Tuesday, 23 May 2000.
Produced with Amaya