From: Franck A. <fa...@us...> - 2004-06-26 18:31:22
|
Update of /cvsroot/gobo-eiffel/gobo/library/string/support In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv7365/string/support Modified Files: st_splitter.e Log Message: polymorphic string Index: st_splitter.e =================================================================== RCS file: /cvsroot/gobo-eiffel/gobo/library/string/support/st_splitter.e,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** st_splitter.e 17 Apr 2004 00:04:28 -0000 1.1 --- st_splitter.e 26 Jun 2004 18:31:12 -0000 1.2 *************** *** 257,261 **** result_not_void: Result /= Void same_count: split (Result).count = a_linear.count ! stable_reversible: join (split (Result)).is_equal (Result) end --- 257,261 ---- result_not_void: Result /= Void same_count: split (Result).count = a_linear.count ! stable_reversible: STRING_.same_string (join (split (Result)), Result) end |