diff --git a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki index eef7b796..5285c0fe 100644 --- a/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki +++ b/documentation/trunk/eiffel/Language_reference/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki @@ -456,6 +456,13 @@ Then_part ::= [[#Expressions|Boolean_expression]] then [[#Instructi Else_part ::= else [[#Instructions|Compound]] +Conditional_expression ::= if Then_part_expression_list else [[#Expressions|Expression]] end + +Then_part_expression_list ::= {Then_part_expression elseif ...}+ + +Then_part_expression ::= [[#Expressions|Boolean_expression]] then [[#Expressions|Expression]] + + ===Multi-branch instructions === Multi_branch ::= inspect [[#Expressions|Expression]] [When_part_list] [Else_part] end