mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 15:22:31 +01:00
Author:halw
Date:2011-03-26T14:22:31.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@865 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -45,7 +45,10 @@ 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)
|
||||
**Inheritance, including safe, controllable multiple and repeated inheritance
|
||||
**Void-safety: calls on void (null) references are prohibited at compile time
|
||||
**Inheritance
|
||||
***Includes multiple and repeated inheritance
|
||||
***Safe and fully controllable
|
||||
**Genericity (generic classes), including constrained genericity
|
||||
*Widely recognized as simultaneously the simplest and most complete implementation of object-oriented concepts
|
||||
*Is clean, elegant, readable, easy to learn
|
||||
|
||||
Reference in New Issue
Block a user