mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-07 15:22:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Removed added inapplicable word "allowing" in the definition of "Novariance". This was a carry-over from OOSC2 and is now corrected.

Browse Source 
Author:vwheeler
Date:2014-02-11T22:22:32.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1259 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
vwheeler
2014-02-11 22:22:32 +00:00
parent 6713a9fc93
commit 10bfd79ee3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/guide/glossary-object-technology.wiki
View File

@@ -218,7 +218,7 @@ The unrestricted form of ''[[#Inheritance|inheritance]]'', whereby a class may h
Antonym of ''[[#Separate|separate]]''.
==Novariance==
The policy allowing prohibiting any feature ''[[#Redeclaration|redeclaration]]'' from changing the ''[[#Signature (of a feature)|signature]]''. See also: ''[[#Contravariance|contravariance]]'', ''[[#Covariance|covariance]]''.
The policy prohibiting any feature ''[[#Redeclaration|redeclaration]]'' from changing the ''[[#Signature (of a feature)|signature]]''. See also: ''[[#Contravariance|contravariance]]'', ''[[#Covariance|covariance]]''.
==Object==
A run-time data structure made of zero or more values, called ''[[#Field|fields]]'', and serving as the computer representation of an ''[[#Abstract object|abstract object]]''. Every object is an ''[[#Instance (of a class)|instance]]'' of some class.