/[eiffelstudio]/branches/Eiffel_56_new_consumer/Src/dotnet/consumer/cache/cache_reader.e
ViewVC logotype

Diff of /branches/Eiffel_56_new_consumer/Src/dotnet/consumer/cache/cache_reader.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 56339 by paulb, Mon Dec 12 23:36:00 2005 UTC revision 56340 by paulb, Thu Dec 22 23:14:08 2005 UTC
# Line 274  feature {CACHE_WRITER} -- Implementation Line 274  feature {CACHE_WRITER} -- Implementation
274                  ensure                  ensure
275                          non_void_if_initialized: is_initialized implies Result /= Void                          non_void_if_initialized: is_initialized implies Result /= Void
276                  end                  end
277                    
278    feature -- Reset
279    
280            reset_info is
281                            -- Causes `info' to be reevaluated.
282                            -- WARNING: Use this with caution. `reset_info' should not be called
283                            -- when in the middle of a batch operation.
284                    do
285                            internal_info.put (Void)
286                    ensure
287                            internal_info_item_not_attached: internal_info.item = Void
288                    end
289    
290  feature {NONE} -- Implementation  feature {NONE} -- Implementation
291    

Legend:
Removed from v.56339  
changed lines
  Added in v.56340

  ViewVC Help
Powered by ViewVC 1.1.23