mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 15:22:31 +01:00
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
This commit is contained in:
@@ -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===
|
||||
|
||||
|
||||
Reference in New Issue
Block a user