mirror of
https://github.com/EiffelSoftware/eiffel-org.git
synced 2025-12-07 07:12:25 +01:00
Update wikipage Eiffel compatibility options. (Signed-off-by:alexk).
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1596 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
@@ -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 7.0 | 7.0]] and more recent
|
||||
| [[Release notes for EiffelStudio 7.0 | 7.0]] and [[EiffelStudio release notes | more recent]]
|
||||
|-
|
||||
| [[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 7.3 | 7.3]] and more recent
|
||||
| [[Release notes for EiffelStudio 7.3 | 7.3]] and [[EiffelStudio release notes | more recent]]
|
||||
|-
|
||||
| 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 7.0 | 7.0]] and more recent
|
||||
| [[Release notes for EiffelStudio 7.0 | 7.0]] and [[EiffelStudio release notes | more recent]]
|
||||
|-
|
||||
| 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 14.05 | 14.05]] and more recent
|
||||
| [[Release notes for EiffelStudio 14.05 | 14.05]] and [[EiffelStudio release notes | more recent]]
|
||||
|}
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user