From d429ef99f81b88fa9ef60098ca975e9a9a96415c Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Thu, 23 Mar 2017 09:55:41 +0000 Subject: [PATCH] Update wikipage EiffelBase, The Kernel. (Signed-off-by:alexk). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1804 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/documentation/17.01/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki b/documentation/17.01/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki index 0f971d3d..7ca7fe29 100644 --- a/documentation/17.01/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki +++ b/documentation/17.01/solutions/basic-computing/eiffelbase/eiffelbase-tutorial/eiffelbase-kernel.wiki @@ -354,11 +354,11 @@ Storing an object just by itself would usually result in wrong semantics: most o ==Using the storage and retrieval facilities== -Class [[ref:libraries/base/reference/storable_chart|STORABLE]] is meant to be used as ancestor. You can use its features in any descendant C; for example a routine of C may contain a call of the form basic_store ( my_descriptor ). +Class [[ref:libraries/base/reference/storable_chart|STORABLE]] is meant to be used as ancestor. You can use its features in any descendant C; for example a routine of C may contain a call of the form basic_store (my_descriptor). The effect of this call will be to store the current object and all its dependents into the file denoted by my_descriptor. -Although basic_store and other procedures of [[ref:libraries/base/reference/storable_chart|STORABLE]] will in general process objects of many different types, only the generating class of the structure's initial object, C in our example, needs to be a descendant of [[ref:libraries/base/reference/storable_chart|STORABLE]] . +Although basic_store and other procedures of [[ref:libraries/base/reference/storable_chart|STORABLE]] will in general process objects of many different types, only the generating class of the structure's initial object, C in our example, needs to be a descendant of [[ref:libraries/base/reference/storable_chart|STORABLE]] . ==Varieties of store operations== @@ -372,7 +372,8 @@ Feature retrieved returns a result of type [[ref:libraries/base if attached {MY_TYPE} retrieved (my_descriptor) as data then -- Retrieved result is of expected type. - -- Proceed with processing of result, typically with calls of the form `data.some_feature'. + -- Proceed with processing of result, + -- typically with calls of the form `data.some_feature'. else -- Result was not of expected type MY_TYPE. end