From 53e2fdc8728b0a5dfe5929017885cceb5bcd3ddf Mon Sep 17 00:00:00 2001 From: halw Date: Mon, 28 Sep 2009 02:05:46 +0000 Subject: [PATCH] Author:halw Date:2009-09-28T02:05:46.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@309 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffel-programming-language-syntax.wiki | 14 +++++++------- .../index.wiki | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki b/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki index 6c6dc0d2..75a1963c 100644 --- a/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki +++ b/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-syntax.wiki @@ -63,13 +63,13 @@ Header_comment ::= [[#Comments|Comment]]

===Feature declarations === Feature_declaration ::= [[#New feature lists|New_feature_list]] Declaration_body
-Declaration_body ::= [Formal_arguments] [Query_mark] [Feature_value]
-Query_mark ::= Type_mark [Assigner_mark]
-Type_mark ::= ":" Type
+Declaration_body ::= [[[#Formal argument and entity declarations|Formal_arguments]]] [Query_mark] [Feature_value]
+Query_mark ::= Type_mark [[[#Assigner marks|Assigner_mark]]]
+Type_mark ::= ":" [[#Types|Type]]
Feature_value ::= [Explicit_value]
-[Obsolete]
-[Header_comment]
-[Attribute_or_routine]
+[[[#Obsolete parts|Obsolete]]]
+[[[#Feature Parts|Header_comment]]]
+[[[#Feature bodies|Attribute_or_routine]]]
Explicit_value ::= "=" Manifest_constant


@@ -369,7 +369,7 @@ Retry ::= retry
===Agents === Agent ::= Call_agent | Inline_agent
Call_agent ::= agent Call_agent_body
-Inline_agent ::= agent [Formal_arguments] [Type_mark] [Attribute_or_routine] [Agent_actuals]
+Inline_agent ::= agent [[[#Formal argument and entity declarations|Formal_arguments]]] [Type_mark] [Attribute_or_routine] [Agent_actuals]


===Call agent bodies === diff --git a/documentation/current/method/quick-reference-eiffel-programming-language/index.wiki b/documentation/current/method/quick-reference-eiffel-programming-language/index.wiki index 4545a2b0..e102ad83 100644 --- a/documentation/current/method/quick-reference-eiffel-programming-language/index.wiki +++ b/documentation/current/method/quick-reference-eiffel-programming-language/index.wiki @@ -8,7 +8,7 @@ Eiffel the Language is described in detail in the ISO/ECMA standard document, available [http://www.ecma-international.org/publications/standards/Ecma-367.htm online]. -Sometimes there are differences between the language as defined by the standard and that which is implemented by Eiffel Software. These differences are documented in a [[Differences between standard ECMA-367 and Eiffel Software implementation|chapter]] of the online documentation. +Sometimes there are differences between the language as defined by the standard and that which is implemented by Eiffel Software. These differences are documented in the online documentation. So, the final authority on Eiffel as implemented by Eiffel Software is the content of the standard document, amended by those variances cited in the "differences" [[Differences between standard ECMA-367 and Eiffel Software implementation|chapter]] of the online documentation.