Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class KMP_MATCHER General cluster: kmp_matcher description: "Pattern matcher through the Knuth Morris Pratt algorithm. See details at the end" create: make, make_empty Ancestors MATCHER* Queries found: BOOLEAN found_at: INTEGER_32 found_pattern_length: INTEGER_32 is_not_case_sensitive: BOOLEAN lengths: detachable ARRAYED_LIST [INTEGER_32] matching_indices: detachable ARRAYED_LIST [INTEGER_32] pattern: STRING_32 search_for_pattern: BOOLEAN text: STRING_32 Commands disable_case_sensitive enable_case_sensitive find_matching_indices make (new_pattern, new_text: READABLE_STRING_GENERAL) make_empty set_pattern (new_pattern: READABLE_STRING_GENERAL) set_text (new_text: READABLE_STRING_GENERAL) start_at (i: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org