From 3713737ce565fa28d279acb0a8f7e2c5547f30a2 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Wed, 5 Jul 2017 15:32:09 +0000 Subject: [PATCH] Update wikipage Eiffel programming language syntax. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1857 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffel-programming-language-syntax.wiki | 7 +++++++ 1 file changed, 7 insertions(+) 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