# 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. |