--| Copyright (c) 1993-2020 University of Southern California, Eiffel Software and contributors. --| All rights reserved. --| Your use of this work is governed under the terms of the GNU General --| Public License version 2. class TEST create make feature make do io.putbool (is_bigger ("weasel", "weasel", "weasel")); io.new_line; end is_bigger (s1, s2, s3: STRING): BOOLEAN do Result := is_greater (concat (<>), s3); end is_greater (s1, s2: STRING): BOOLEAN do Result := s1 > s2; end concat (list: ARRAY [STRING]): STRING local pos, len: INTEGER; do from pos := list.lower; until pos > list.upper loop len := len + list.item (pos).count; pos := pos + 1; end; from create Result.make (len); pos := list.lower; until pos > list.upper loop Result.append (list.item (pos)); pos := pos + 1; end; end; end