mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2026-02-16 15:34:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2009-10-01T17:53:37.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@313 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2009-10-01 17:53:37 +00:00
parent 802f337079
commit db3d64e80e
2 changed files with 134 additions and 76 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
View File

@@ -45,6 +45,22 @@
| Yes
|}
==Design by Contract==
{|
|-
| <center>'''Feature'''</center>
| <center>'''Example'''</center>
| <center>'''ETL2'''</center>
| <center>'''ECMA-367'''</center>
| <center>'''EiffelStudio'''</center>
|-
| Only postcondition clauses
| <eiffel>ensure only a, b</eiffel>
| No
| Yes
| No
|}
==Genericity==
{|
|-