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. |
$HASH | $IS_EQ | $IMMUTABLE | $STR | $BINARY | $IS_LT{_} | $STRING{_,_,_} | $SEARCH{_,_} | $STRINGS | $NIL | $IS_NIL | $STRING{_} | $LISTS{_} | $ARR{_} | $RO_ARR{_} | $CONTAINER{_} | $COPY | $FILTERS{_} | $ELT{_} | $ELT |
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 |
---|
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. |