C Syntax

Summary of the Extended Backus Naur Form (EBNF) syntax of the C language executable statements.

<executable-statement>

::= <label-phrase> * <unlabeled-statement>

<compound-statement>

::= '{' <declaration-statement> * <executable-statement> * '}'

<do-statement>

::= 'do' <body-statement> 'while' '(' <control-expression> ')' ';'

<if-statement>

::= 'if' '(' <expression> ')' <statement>

<if-else-statement>

::= 'if' '(' <expression> ')' <statement> 'else' <statement>

<for-statement>

::= 'for' '(' <initialization-expression> ';' <control-expression> ';' <iteration-expression> ')' <body-statement>

<expression-statement>

::= <expression> ';'

<iteration-statement>

::= <do-statement>

  |  <for-statement>

  |  <while-statement>

<labeled-statement>

::= <label-phrase> <executable-statement>

<return-statement>

::= 'return' ';'

  |  'return' <expression> ';'

<selection-statement>

::= <if-statement>

  |  <if-else-statement>

  |  <switch-statement>

<simple-statement>

::= <expression-statement>

  |  <jump-statement>

<structured-statement>

::= <compound-statement>

  |  <selection-statement>

  |  <iteration-statement>

<switch-statement>

::= 'switch' '(' <dynamic-expression> ')' '{' <declaration> * <statement> * <case> * '}'

<unlabeled-statement>

::= <simple-statement>

  |  <structured-statement>

<while-statement>

::= 'while' '(' <expression> ')' <statement>

• This is not a complete set of productions - check back later.
• Information will be added to this page as time permits.