mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2026-04-05 17:49:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

Update wikipage Persistence, storage, and retrieval. (Signed-off-by:tqa7ve2mnbntqnfca3i6rk7arhc2kxr8).

Browse Source 
git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1826 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
eiffel-org
2017-05-08 15:46:40 +00:00
parent ff01ab5327
commit 515d596ae4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
documentation/17.01/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel/Persistence--storage--and-retrieval.wiki
View File

@@ -103,7 +103,7 @@ retrieve (p: PATH)
do do
create f.make_with_path (p) create f.make_with_path (p)
f.open_read f.open_read
create reader.make_for_reading (f) create reader.make_for_reading (f)
if attached {MY_TYPE} retrieved (reader, False) as data then if attached {MY_TYPE} retrieved (reader, False) as data then
-- Retrieved result is of expected type. -- Retrieved result is of expected type.
-- Proceed with processing of result, -- Proceed with processing of result,