class BINSTR < $STRING{OCTET,FBINSTR,BINSTR}, $IS_EQ, $IS_LT{BINSTR},$IMMUTABLE, $HASH
****

________This_class_is_an_immutable_version_of_FBINSTR_where_every_operation
___yielding_a_BINSTR_creates_a_new_buffer_to_contain_it.


Flattened version is here

Ancestors
$HASH $IS_EQ $IMMUTABLE $STR
$BINARY $IS_LT{_} $STRING{_,_,_} $SEARCH{_,_}
$STRINGS $NIL $IS_NIL $STRING{_}
$LISTS{_} $ARR{_} $RO_ARR{_} $CONTAINER{_}
$COPY $FILTERS{_} $ELT{_} $ELT



Public


Features
binstr : BINSTR
****
________This_routine_returns_a_copy_of_self.__It_is_provided_to_meet_the
___interface_requirements_of_$BINARY.
build(cursor : BIN_CURSOR) : SAME
create(arr : ARRAY{OCTET}) : SAME
create(size : CARD) : SAME
**** This produces a binary string of the given size - empty!
create(oct : OCTET) : SAME
create : SAME
**** This routine yields void as an empty string.
cursor : BIN_CURSOR
****
fbinstr : FBINSTR
is_eq(other : SAME) : BOOL
**** This predicate returns true if and only if self and other are the
___same._Either_may_be_void.
is_lt(other : SAME) : BOOL
**** This predicate returns true if and only if the bit pattern contained
___in_the_string_is_octet_for_octet_less_than_the_bit_pattern_contained
___in_other.
pad(length : CARD) : SAME
plus(hex : HEXTET) : SAME
size : CARD
**** This routine returns the number of elements in the string.
sized : SAME
str(lib : LIBCHARS) : STR
str : STR
text_str(lib : LIBCHARS) : STR
text_str : STR

Iters


Private

is_eq_helper(bstr : SAME,cnt : CARD) : BOOL
**** This predicate returns true if and only if the binary string is the
___same_as_self.
null_tail(buff : SAME,tail : CARD)
**** This private predicate is used solely in post-condition testing.
___It_returns_true_if_and_only_if_all_tail_elements_of_buff_are_the_null
___octet,_otherwise_false.
null_tail(str : SAME,from : CARD) : BOOL
**** This private predicate returns true if and only if the tail (starting
___at_from)_is_all_null_octets.
store_index(elem_index : CARD) : CARD
****
________This_routine_returns_the_store_index_corresponding_to_the_given
___element_index_for_use_where_they_may_be_different).__In_this_class_the_two
___indices_are_identical.

The Sather Home Page