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

Changed syntax for the object test to the new one.

Browse Source 
Author:alexk
Date:2009-06-17T13:02:24.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@240 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
alexk
2009-06-17 13:02:24 +00:00
parent 936114c4a7
commit 60a516d252
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -198,23 +198,23 @@
| Yes, default attachment status is controlled by option ''is_attached_by_default'' | Yes, default attachment status is controlled by option ''is_attached_by_default''
|- |-
| Object test | Object test
| <code>{o: STRING} e</code> | <code>attached {STRING} e as o</code>
| No | No
| Yes | Yes
| Yes, all object tests should use different names for locals inside a feature, object tests are not permitted in preconditions and check instructions | Yes
|- |-
| Attached target of a call | Attached target of a call
| <code>x.f</code> | <code>x.f</code>
| No | No
| Yes | Yes
| Yes, by option ''is_void_safe'' | Yes, by option ''void_safety''
|- |-
| Properly set variable | Properly set variable
| <code>x := value</code> <br/> | <code>x := value</code> <br/>
<code>use (x)</code> <code>use (x)</code>
| No | No
| Yes | Yes
| Yes, by option ''is_void_safe'' | Yes, by option ''void_safety''
|} |}
==Expressions== ==Expressions==