class TUPLE_STRING_POOL
Summary
Overview
creation features
exported features
Interface:
Initialization:
state (previous_state: INTEGER_32, character: CHARACTER): INTEGER_32
effective function
state_empty: INTEGER_32
effective function
transition (previous_state: INTEGER_32): LINKED_LIST[TUPLE 2[CHARACTER, INTEGER_32]]
effective function
capacity: INTEGER_32
effective function
external_state (internal_state: INTEGER_32): INTEGER_32
effective function
has_empty: BOOLEAN
writable attribute
The headers list has an empty string
has (a_string: STRING): BOOLEAN
effective function
has_substring (a_string: STRING, first: INTEGER_32, last: INTEGER_32): BOOLEAN
effective function
index_of (a_string: STRING): INTEGER_32
effective function
index_of_substring (a_string: STRING, first: INTEGER_32, last: INTEGER_32): INTEGER_32
effective function
from_collection (a_headers: COLLECTION[STRING])
effective procedure
Initializes the automaton.