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

Author:halw

Browse Source 
Date:2009-07-31T02:36:36.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@266 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2009-07-31 02:36:36 +00:00
parent 8af636ddf6
commit ec40496d9d
14 changed files with 35 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki
View File

@@ -202,7 +202,7 @@ where <code>x</code> is the formal argument for <code>r</code>, then if x is of
Stable attributes are really stable ''detachable'' attributes, as adding the concept of stability is meaningful only for detachable attributes. Declaring a detachable attribute as stable, means that it behaves like a detachable attribute except that its assignment rules mimic those of attached attributes. In other words, a stable attribute can never be the target of an assignment in which the source is <code>Void</code> or a detachable type.
<code>
test: detachable TEST
my_test: detachable TEST
note
options: stable
attribute