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

Author:halw

Browse Source 
Date:2011-03-28T15:22:05.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@866 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2011-03-31 19:19:15 +00:00
parent 2d3dcec738
commit 0a933cf814
2 changed files with 26 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/why-eiffel/eiffel-two-minute-fact-sheet.wiki
View File

@@ -45,7 +45,7 @@ Eiffel consists of:
*Supports features not always available in competing technologies
**Contracts and contract monitoring
**Exception handling based on software specification (versus ad hoc try/catch)
**Void-safety: calls on void (null) references are prohibited at compile time
**Void-safety: calls on void (null) references are eliminated at compile time
**Inheritance
***Includes multiple and repeated inheritance
***Safe and fully controllable