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
This commit is contained in:
halw
2009-10-04 17:32:39 +00:00
parent 3b9a3eca2f
commit bb8ce730c0
2 changed files with 21 additions and 1 deletions

View File

@@ -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===

View File

@@ -93,7 +93,7 @@ class
OLD_FASHIONED_LIST [G]
</code>
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 <code>deferred</code>, <code>expanded</code>, or <code>external</code>. 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 <code>deferred</code>, <code>expanded</code>, or <code>frozen</code>. 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 "<code>OLD_FASHIONED_LIST</code>".