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

Minor clarifications to once per object section.

Browse Source 
Author:halw
Date:2010-05-27T14:35:57.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@622 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2010-05-27 14:35:57 +00:00
parent c28e21517c
commit b5e8c6eb42
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -215,6 +215,7 @@ Because the '''attached syntax''' can test attached status and provide a local v
Result := l_result Result := l_result
else else
create Result.make_empty create Result.make_empty
-- ... Build Result with appropriate descriptive text for Current
descriptive_text_cache := Result descriptive_text_cache := Result
end end
ensure ensure
@@ -222,6 +223,11 @@ Because the '''attached syntax''' can test attached status and provide a local v
result_not_empty: not Result.is_empty result_not_empty: not Result.is_empty
result_consistent: Result = descriptive_text result_consistent: Result = descriptive_text
end end
feature {NONE} -- Implementation
descriptive_text_cache: like descriptive_text
</code> </code>