Automatic generation produced by ISE Eiffel
deferred class STRING_SEARCHER Ancestors ANY Descendants STRING_32_SEARCHER STRING_8_SEARCHER Clients STRING_SEARCHER* Suppliers ARRAYED_LIST [G] BOOLEAN INTEGER_32 NATURAL_32 READABLE_STRING_GENERAL* SPECIAL [T] STRING_SEARCHER* -- Generated by Eiffel Studio --
For more details: eiffel.org