From 60a516d2528358dd8a47c984b8435ad10b1c6237 Mon Sep 17 00:00:00 2001
From: alexk <alexk@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Wed, 17 Jun 2009 13:02:24 +0000
Subject: [PATCH] Changed syntax for the object test to the new one.

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
---
 ...ndard-ecma-367-and-eiffel-software-implementation.wiki | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
index dd3323c1..c713ea01 100644
--- a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/differences-between-standard-ecma-367-and-eiffel-software-implementation.wiki
@@ -198,23 +198,23 @@
 | Yes, default attachment status is controlled by option ''is_attached_by_default''
 |- 
 | Object test
-| <code>{o: STRING} e</code>
+| <code>attached {STRING} e as o</code>
 | No
 | 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
 | <code>x.f</code>
 | No
 | Yes
-| Yes, by option ''is_void_safe''
+| Yes, by option ''void_safety''
 |- 
 | Properly set variable
 |  <code>x := value</code> <br/>
 <code>use (x)</code> 
 | No
 | Yes
-| Yes, by option ''is_void_safe''
+| Yes, by option ''void_safety''
 |}
 
 ==Expressions==