Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class MATCHER General cluster: kmp_matcher description: "Abstract notion of a pattern matcher." Ancestors ANY Queries found: BOOLEAN found_at: INTEGER_32 pattern: STRING_32 search_for_pattern: BOOLEAN text: STRING_32 Commands 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) Constraints text attached pattern attached
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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