/[eiffelstudio]/FreeELKS/tags/EiffelSoftware/Eiffel_64/library/kernel/readable_string_general.e
ViewVC logotype

Diff of /FreeELKS/tags/EiffelSoftware/Eiffel_64/library/kernel/readable_string_general.e

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

revision 91766 by manus_eiffel, Tue Jun 16 22:05:10 2009 UTC revision 91767 by manus_eiffel, Tue Jul 28 19:42:05 2009 UTC
# Line 194  feature -- Conversion Line 194  feature -- Conversion
194                          Result := as_string_8                          Result := as_string_8
195                  ensure                  ensure
196                          as_string_8_not_void: Result /= Void                          as_string_8_not_void: Result /= Void
197                          identity: (is_string_8 and Result = Current) or (not is_string_8 and Result /= Current)                          identity: (conforms_to ("") and Result = Current) or (not conforms_to ("") and Result /= Current)
198                  end                  end
199    
200          as_string_8: STRING_8          as_string_8: STRING_8

Legend:
Removed from v.91766  
changed lines
  Added in v.91767

  ViewVC Help
Powered by ViewVC 1.1.23