## 172 Pascal Report 

(a) The activation contains t'IC program-point. 

(b) The activation contains Ihl' activation-point of another activation that is not teflilinated (i.e., that satisfies one of these two conditions). 

## 9.2. Structured Statements 

Structured statements are const! ucts composed of other statements which have to be executed eithe! in sequence (compound statement), conditionally (conditional st.ltements), repeatedly (repetitive statements), or within an expand,.·d scope (with statement). 

StructuredStatement = Compound.' ',III'ment I ConditionalStatement I RepetitiveStatemel1l WithStatement. 

A statement sequence is a Sl quence of statements that are to be executed in the sequence that th:'y are written, except where a goto statement indicates otherwise. 

StatementSequence = Statement 1 . ,. Statement l ' 

Statement sequences are used in l om pound statements (Section 9.2.1), and repeat statements (Section 9.2,3.2). 

9.2.1. Compound statements. A compound statement specifies the execution of the statement sequence. The symbols begin and end act as statement brackets. 

CompoundStatement = "begin" \lalcmenlScqllence "end" . 

Examples of compound statemell '.": 

begin begin end W := X; X:= ; Y := Wend 

9.2.2. Conditional statements. A conditional statement selects for execution one of its component· tatcments. 

ConditionalSlalement = IjStateme I I ( 'l/.leSlalement . 

9.2.2.1. If statements. The if ~ :atcment specifies that the statement following the symbol then be ex,:cutcd only if the Boolean expression yields true. If it is false, then the ~tatcment following the symbol else, if any, is to be executed. 

IjStatement = "i f" BooleanExpl'l 1.lioll "then" Statement [ "else" Stateme If I . 

