Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class
	SEQ_STRING

General
	cluster: base.kernel
	create: make

Ancestors
	SEQUENCE [G]
	STRING

Queries
	infix "@" (i: INTEGER): CHARACTER
	infix ">=" (other: [like Current] SEQ_STRING): BOOLEAN
	infix ">" (other: [like Current] SEQ_STRING): BOOLEAN
	infix "<=" (other: [like Current] SEQ_STRING): BOOLEAN
	infix "<" (other: [like Current] SEQ_STRING): BOOLEAN
	infix "+" (s: STRING): STRING
	adapt (s: STRING): [like Current] SEQ_STRING
	additional_space: INTEGER
	after: BOOLEAN
	area: SPECIAL [CHARACTER]
	before: BOOLEAN
	capacity: INTEGER
	Changeable_comparison_criterion: BOOLEAN
	count: INTEGER
	current_item: CHARACTER
	exhausted: BOOLEAN
	Extendible: BOOLEAN
	False_constant: STRING
	for_all (test: FUNCTION [ANY, TUPLE [CHARACTER], BOOLEAN]): BOOLEAN
	full: BOOLEAN
	fuzzy_index (other: STRING; start, fuzz: INTEGER): INTEGER
	Growth_percentage: INTEGER
	has (c: CHARACTER): BOOLEAN
	hash_code: INTEGER
	index: INTEGER
	index_of (c: CHARACTER; start: INTEGER): INTEGER
	index_of_occurrence (c: CHARACTER; i: INTEGER): INTEGER
	index_set: INTEGER_INTERVAL
	is_boolean: BOOLEAN
	is_double: BOOLEAN
	is_empty: BOOLEAN
	is_equal (other: [like Current] SEQ_STRING): BOOLEAN
	is_hashable: BOOLEAN
	is_inserted (v: CHARACTER): BOOLEAN
	is_integer: BOOLEAN
	is_real: BOOLEAN
	item (i: INTEGER): CHARACTER
	item_code (i: INTEGER): INTEGER
	last_index_of (c: CHARACTER; start_index_from_end: INTEGER): INTEGER
	linear_representation: LINEAR [CHARACTER]
	max (other: [like Current] SEQ_STRING): [like Current] SEQ_STRING
	min (other: [like Current] SEQ_STRING): [like Current] SEQ_STRING
	Minimal_increase: INTEGER
	mirrored: [like Current] SEQ_STRING
	object_comparison: BOOLEAN
	occurrences (c: CHARACTER): INTEGER
	off: BOOLEAN
	out: [like Current] SEQ_STRING
	prunable: BOOLEAN
	readable: BOOLEAN
	resizable: BOOLEAN
	shared_with (other: [like Current] SEQ_STRING): BOOLEAN
	split (a_separator: CHARACTER): LINEAR [STRING]
	string_mirrored: [like Current] SEQ_STRING
	substring (n1, n2: INTEGER): [like Current] SEQ_STRING
	substring_index (other: STRING; start: INTEGER): INTEGER
	there_exists (test: FUNCTION [ANY, TUPLE [CHARACTER], BOOLEAN]): BOOLEAN
	three_way_comparison (other: [like Current] SEQ_STRING): INTEGER
	to_boolean: BOOLEAN
	to_c: ANY
	to_double: DOUBLE
	to_integer: INTEGER
	to_real: REAL
	True_constant: STRING
	valid_index (i: INTEGER): BOOLEAN
	writable: BOOLEAN

Commands
	adapt_size
	append (s: STRING)
	append_boolean (b: BOOLEAN)
	append_character (c: CHARACTER)
	append_double (d: DOUBLE)
	append_integer (i: INTEGER)
	append_real (r: REAL)
	append_string (s: STRING)
	automatic_grow
	back
	center_justify
	character_justify (pivot: CHARACTER; position: INTEGER)
	clear_all
	compare_objects
	compare_references
	copy (other: [like Current] SEQ_STRING)
	do_all (action: PROCEDURE [ANY, TUPLE [CHARACTER]])
	do_if (action: PROCEDURE [ANY, TUPLE [CHARACTER]]; test: FUNCTION [ANY, TUPLE [CHARACTER], BOOLEAN])
	extend (c: CHARACTER)
	fill (other: CONTAINER [CHARACTER])
	fill_blank
	fill_character (c: CHARACTER)
	finish
	force (v: [like item] CHARACTER)
	forth
	from_c (c_string: POINTER)
	from_c_substring (c_string: POINTER; start_pos, end_pos: INTEGER)
	grow (newsize: INTEGER)
	head (n: INTEGER)
	insert (s: STRING; i: INTEGER)
	left_adjust
	left_justify
	make_from_c (c_string: POINTER)
	make_from_string (s: STRING)
	mirror
	multiply (n: INTEGER)
	precede (c: CHARACTER)
	prepend (s: STRING)
	prepend_boolean (b: BOOLEAN)
	prepend_character (c: CHARACTER)
	prepend_double (d: DOUBLE)
	prepend_integer (i: INTEGER)
	prepend_real (r: REAL)
	prepend_string (s: STRING)
	prune (c: CHARACTER)
	prune_all (c: CHARACTER)
	prune_all_leading (c: CHARACTER)
	prune_all_trailing (c: CHARACTER)
	put (c: CHARACTER; i: INTEGER)
	remove (i: INTEGER)
	remove_current_item
	replace (c: CHARACTER)
	replace_blank
	replace_character (c: CHARACTER)
	replace_substring (s: [like Current] SEQ_STRING; start_pos, end_pos: INTEGER)
	replace_substring_all (original, new: [like Current] SEQ_STRING)
	resize (newsize: INTEGER)
	right_adjust
	right_justify
	search (v: [like item] CHARACTER)
	search_after (c: CHARACTER)
	search_before (c: CHARACTER)
	search_string_after (s: STRING; fuzzy: INTEGER)
	search_string_before (s: STRING; fuzzy: INTEGER)
	set (t: [like Current] SEQ_STRING; n1, n2: INTEGER)
	share (other: [like Current] SEQ_STRING)
	start
	string_mirror
	string_precede (c: CHARACTER)
	string_prepend (s: STRING)
	string_share (other: [like Current] SEQ_STRING)
	string_wipe_out
	subcopy (other: [like Current] SEQ_STRING; start_pos, end_pos, index_pos: INTEGER)
	tail (n: INTEGER)
	to_lower
	to_upper
	wipe_out



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com