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

Update wikipage Eiffel compatibility options. (Signed-off-by:alexk).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1544 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2016-04-06 13:19:30 +00:00
parent 7d5c72276d
commit cdcccfc9a9
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
documentation/trunk/eiffelstudio/eiffelstudio-reference/compiler/command-line/Eiffel-compatibility-options.wiki
View File

@@ -33,7 +33,7 @@ The table below shows project settings that, depending upon their values, can af
|-
| [[Syntax level variant settings by version|Standard syntax]]
| Enforce current standard syntax.
| [[Release notes for EiffelStudio 2015.12 | 15.12]], [[Release notes for EiffelStudio 2015.08 | 15.08]], [[Release notes for EiffelStudio 2015.01 | 15.01]], [[Release notes for EiffelStudio 2014.05 | 14.05]], [[Release notes for EiffelStudio 2013.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]], [[Release notes for EiffelStudio 7.2 | 7.2]], [[Release notes for EiffelStudio 7.1 | 7.1]], [[Release notes for EiffelStudio 7.0 | 7.0]]
| [[Release notes for EiffelStudio 15.12 | 15.12]], [[Release notes for EiffelStudio 15.08 | 15.08]], [[Release notes for EiffelStudio 15.01 | 15.01]], [[Release notes for EiffelStudio 14.05 | 14.05]], [[Release notes for EiffelStudio 13.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]], [[Release notes for EiffelStudio 7.2 | 7.2]], [[Release notes for EiffelStudio 7.1 | 7.1]], [[Release notes for EiffelStudio 7.0 | 7.0]]
|-
| [[Syntax level variant settings by version|Provisional syntax]]
| Like Transitional syntax, but also allow not-yet-approved constructs.
@@ -45,7 +45,7 @@ The table below shows project settings that, depending upon their values, can af
|-
| True
| Features of parent classes are rechecked for validity in heir classes.
| [[Release notes for EiffelStudio 2015.12 | 15.12]], [[Release notes for EiffelStudio 2015.08 | 15.08]], [[Release notes for EiffelStudio 2015.01 | 15.01]], [[Release notes for EiffelStudio 2014.05 | 14.05]], [[Release notes for EiffelStudio 2013.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]]
| [[Release notes for EiffelStudio 15.12 | 15.12]], [[Release notes for EiffelStudio 15.08 | 15.08]], [[Release notes for EiffelStudio 15.01 | 15.01]], [[Release notes for EiffelStudio 14.05 | 14.05]], [[Release notes for EiffelStudio 13.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]]
|-
| False
| No recheck performed.
@@ -57,7 +57,7 @@ The table below shows project settings that, depending upon their values, can af
|-
| True
| <code>x: T</code> is treated like <code>x: attached T</code>
| [[Release notes for EiffelStudio 2015.12 | 15.12]], [[Release notes for EiffelStudio 2015.08 | 15.08]], [[Release notes for EiffelStudio 2015.01 | 15.01]], [[Release notes for EiffelStudio 2014.05 | 14.05]], [[Release notes for EiffelStudio 2013.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]], [[Release notes for EiffelStudio 7.2 | 7.2]], [[Release notes for EiffelStudio 7.1 | 7.1]], [[Release notes for EiffelStudio 7.0 | 7.0]]
| [[Release notes for EiffelStudio 15.12 | 15.12]], [[Release notes for EiffelStudio 15.08 | 15.08]], [[Release notes for EiffelStudio 15.01 | 15.01]], [[Release notes for EiffelStudio 14.05 | 14.05]], [[Release notes for EiffelStudio 13.11 | 13.11]], [[Release notes for EiffelStudio 7.3 | 7.3]], [[Release notes for EiffelStudio 7.2 | 7.2]], [[Release notes for EiffelStudio 7.1 | 7.1]], [[Release notes for EiffelStudio 7.0 | 7.0]]
|-
| False
| <code>x: T</code> is treated like <code>x: detachable T</code>
@@ -85,7 +85,7 @@ The table below shows project settings that, depending upon their values, can af
|-
| Complete
| Complete checking against all void-safety validity rules ignoring any unsafe CAPs.
| [[Release notes for EiffelStudio 2015.12 | 15.12]], [[Release notes for EiffelStudio 2015.08 | 15.08]], [[Release notes for EiffelStudio 2015.01 | 15.01]], [[Release notes for EiffelStudio 2014.05 | 14.05]]
| [[Release notes for EiffelStudio 15.12 | 15.12]], [[Release notes for EiffelStudio 15.08 | 15.08]], [[Release notes for EiffelStudio 15.01 | 15.01]], [[Release notes for EiffelStudio 14.05 | 14.05]]
|}