From 97cd9dd0941ff6f9e575c9a69ef8a145a92f7ef1 Mon Sep 17 00:00:00 2001 From: halw Date: Thu, 8 Oct 2009 01:26:07 +0000 Subject: [PATCH] Author:halw Date:2009-10-08T01:26:07.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@323 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffel-programming-language-reserved-words.wiki | 11 +++++++++++ 1 file changed, 11 insertions(+) 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 8b73e442..ff6c0856 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 @@ -356,12 +356,23 @@ Used in an ''only postcondition clause''. (8.9.11) ===or=== +The logical disjunction [[Eiffel language syntax#Operators|operator]]. Strict when used alone, nonstrict when used with [[#else|else]]. + ===Precursor=== +Allows a redefined routine to access the routine it redefines, i.e, its [[ET: Inheritance#Redefinition|precursor]]. + +:[[Eiffel language syntax#Precursor|Syntax.]] + ===redefine=== +Used in an [[Eiffel language syntax#Inheritance parts|inheritance part]] of a [[Eiffel language syntax#Class declarations|class declaration]] to list those inherited features which, in the heir class, will receive new implementations, specifications, or both, i.e, those features being [[ET: Inheritance#Redefinition|redefined]]. + +:[[Eiffel language syntax#Redefinition|Redefine syntax.]] + + ===rename===