From bb8ce730c0253f76ba55c8815d8218dd71b6e6e6 Mon Sep 17 00:00:00 2001 From: halw Date: Sun, 4 Oct 2009 17:32:39 +0000 Subject: [PATCH] Author:halw Date:2009-10-04T17:32:39.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@319 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- ...l-programming-language-reserved-words.wiki | 20 +++++++++++++++++++ .../eiffel-net/eiffel-classes.wiki | 2 +- 2 files changed, 21 insertions(+), 1 deletion(-) diff --git a/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-reserved-words.wiki b/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-reserved-words.wiki index 599d5430..12bb359e 100644 --- a/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-reserved-words.wiki +++ b/documentation/current/method/quick-reference-eiffel-programming-language/eiffel-programming-language-reserved-words.wiki @@ -207,18 +207,38 @@ Used to [[ET: Inheritance#Changing the export status|change the export status]] ===external=== +Denotes an [[ET: The Static Picture: System Organization#External software|external routine]]. External routines are commonly defined to interface with [[C externals|C external routines]] and [[C++ Externals|C++ external routines]]. + +:[[Eiffel language syntax#External routines|Syntax]] + ===False=== +Boolean manifest constant. + +:[[Eiffel language syntax#Manifest constants|Syntax.]] + ===feature=== +Introduces a [[ET: Hello World|feature clause]]. + +:[[Eiffel language syntax#Feature parts|Syntax.]] + ===from=== +Used in [[ET: Other Mechanisms#Loop|loop]] initialization. + +:[[Eiffel language syntax#Loops|Syntax.]] + ===frozen=== +Used in a class header to mark a class explicitly as frozen. A frozen class prohibits it from serving as a "conforming parent" to other classes. (8.4.5). + +:[[Eiffel language syntax#Class headers|Syntax.]] + ===if=== diff --git a/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki b/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki index a8d9cb1a..37db14d5 100644 --- a/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki +++ b/documentation/current/platform-specifics/microsoft-windows/net/eiffel-net-language/eiffel-net/eiffel-classes.wiki @@ -93,7 +93,7 @@ class OLD_FASHIONED_LIST [G] -The class header is introduced by the keyword "class", which in turn can be preceded by one of three keywords which mark the class as deferred, expanded, or external. In our example, the class has none of these markings, so it is an effective class whose instances are access by reference. +The class header is introduced by the keyword "class", which in turn can be preceded by one of three keywords which mark the class as deferred, expanded, or frozen. In our example, the class has none of these markings, so it is an effective class whose instances are access by reference. The keyword class is followed by the class name, in this case "OLD_FASHIONED_LIST".