From 48fd185a2770aa64fbb25cb172c72938fc1c64ee Mon Sep 17 00:00:00 2001 From: vwheeler Date: Sat, 3 May 2014 16:14:06 +0000 Subject: [PATCH] Added links to External_signature and External_file_use to the appropriate syntax productions on this page. Also added a note regarding 'inline' code, about the fact that the External_name part is in fact the inline code when the `inline' keyword is used, which was not visible in any other part of the page. Author:vwheeler Date:2014-05-03T16:14:06.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1361 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffel-programming-language-syntax.wiki | 10 +++++----- 1 file changed, 5 insertions(+), 5 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 0bab7456..bf0d53b8 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 @@ -537,6 +537,7 @@ External ::= external External_language [External_name]
External_language ::= Unregistered_language | [[#Registered languages|Registered_language]]
Unregistered_language ::= [[#Manifest strings|Manifest_string]]
External_name ::= alias [[#Manifest strings|Manifest_string]]
+{{note|If the `inline' keyword is used in the Registered_language part, then External_name part is the inline code on the specified language.}}

===Registered languages === @@ -561,15 +562,15 @@ External_system_file ::= "<"[[#Simple strings|Simple_string]] ">"
===C externals === C_external ::= ’' " ' C
’[inline]
-[External_signature] [External_file_use]
+[ [[#External signatures |External_signature]] ] [ [[#External file use |External_file_use]] ]
' " '


===C++ externals === C++_external ::= ' " ' C++
inline
-[External_signature]
-[External_file_use]
+[ [[#External signatures |External_signature]] ]
+[ [[#External file use |External_file_use]] ]
' " '


@@ -578,8 +579,7 @@ DLL_external ::= ' " ' dll
[windows]
DLL_identifier
[DLL_index]
-[External_signature]
-[External_file_use]
+[ [[#External signatures |External_signature]] ] [ [[#External file use |External_file_use]] ]
' " '
DLL_identifier ::= [[#Simple strings|Simple_string]]
DLL_index ::= [[#Integers|Integer]]