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

Author:halw

Browse Source 
Date:2009-06-18T14:42:48.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@247 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2009-06-18 14:43:48 +00:00
parent 980b4a9288
commit f4d4203f78
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/method/void-safe-programming-eiffel/creating-new-void-safe-project.wiki
View File

@@ -76,7 +76,7 @@ In the introduction to the attached syntax, we used an example which showed how
is a CAP for <code>x</code> ... but that's only true if <code>x</code> is a local variable or a formal argument to the routine that contains the code. is a CAP for <code>x</code> ... but that's only true if <code>x</code> is a local variable or a formal argument to the routine that contains the code.
So access a detachable attribute safely, we could declare a local variable, make an assignment, and test for <code>Void</code> as above. Something like this: So to access a detachable attribute safely, we could declare a local variable, make an assignment, and test for <code>Void</code> as above. Something like this:
<code> <code>
my_detachable_attribute: detachable MY_TYPE my_detachable_attribute: detachable MY_TYPE