next up previous contents
Next: 15.5 定数と識別子 Up: 15. Cmmの文法構造 Previous: 15.3 宣言式

15.4 制御式

<制御式> $\Longrightarrow$ {<ブロック式>|<無スコープブロック式>|< if式>|< while式>
    |< for式>|< break式>|< continue式>|< exit式>
    |< load式>|< eval式>|< try-catch式>|< throw式>}
     
<ブロック式> $\Longrightarrow$ `{' {<式>}* `}'
     
<無スコープブロック式> $\Longrightarrow$ `{{' {<式>}* `}}'
     
< if式> $\Longrightarrow$ if `(' <式> `)' <式> [ else <式>]
     
< while式> $\Longrightarrow$ while `(' <式> `)' <式>
     
< for式> $\Longrightarrow$ for `(' [<式列>] `;' [<式>] `;' [<式列>] `)' <式>
     
<式列> $\Longrightarrow$ <式> {`,' <式> }*
     
< break式> $\Longrightarrow$ break {<式>|`;'}
     
< continue式> $\Longrightarrow$ continue
     
< return式> $\Longrightarrow$ return {<式>|`;'}
     
< exit式> $\Longrightarrow$ exit {<式>|`;'}
     
< load式> $\Longrightarrow$ load `(' <式> `)'
     
< eval式> $\Longrightarrow$ eval `(' <式> `)'
     
< try-catch式> $\Longrightarrow$ try <式> { < catch部> }* [ < finally部> ]
     
< chatch部> $\Longrightarrow$ catch `(' <識別子> <識別子> `)' <式>
     
< finally部> $\Longrightarrow$ finally <式>
     
< throw式> $\Longrightarrow$ throw <式>


next up previous contents
Next: 15.5 定数と識別子 Up: 15. Cmmの文法構造 Previous: 15.3 宣言式
Tetsuo Ono
1998-11-05