immutable class ACCESS_SET < $ENUM_SET{ACCESS_SET,PERMISSIONS} |
---|
$ENUM_SET{_,_} | $IS_LT{_} | $IS_EQ | $ENUM_SET | $IMMUTABLE | $STR | $BINARY |
const every : SAME := full ; |
---|
const group : SAME := empty + PERMISSIONS::Group_Execute |
---|
const group_mask : SAME := owner + world + PERMISSIONS::Sticky ; |
---|
const owner : SAME := empty + PERMISSIONS::Owner_Execute |
---|
const owner_mask : SAME := group + world + PERMISSIONS::Sticky ; |
---|
const size : CARD := ELEM::cardinality ; .. Included as size |
---|
const unrestricted : SAME := empty + owner + group + world ; |
---|
const world : SAME := empty + PERMISSIONS::World_Execute |
---|
const world_mask : SAME := group + owner + PERMISSIONS::Sticky ; |
---|
binstr : BINSTR .. Included as binstr |
---|
build(cursor : BIN_CURSOR) : SAME .. Included as build |
---|
contains(try : ELEM) : BOOL .. Included as contains |
---|
**** |
________This_is_the_set_membership_predicate_for_self.___True_is_returned ___if_and_only_if_try_is_a_member_of_self. |
create(list : ARRAY{ELEM}) : SAME .. Included as create |
---|
**** |
________Make_a_set_out_of_the_values_in_the_array. |
create(str : BINSTR) : SAME .. Included as create |
---|
create(raw_bits : NUM_BITS) : SAME .. Included as create |
---|
**** |
________Make_a_set_out_of_the_size_least_significant_bits_of_the_argument. |
create(one : ELEM) : SAME .. Included as create |
---|
**** |
________Make_a_set_out_of_the_single_value_argument. |
div(other : T ) : SAME .. Included as div |
---|
empty : SAME .. Included as empty |
---|
**** |
________Return_the_empty_set! |
fmt(format : ANCHORED_DESCR) : STR .. Included as fmt |
---|
fmt(format : ANCHORED_DESCR,lib : LIBCHARS) : STR .. Included as fmt |
---|
full : SAME .. Included as full |
---|
**** | This routine returns a set in which all elements have been set. |
is_empty : BOOL .. Included as is_empty |
---|
**** |
________This_predicate_returns_true_if_and_only_if_self_is_the_empty_set. |
is_eq(other : SAME) : BOOL .. Included as is_eq |
---|
**** | This predicate returns true if and only if the two sets have
___identical_contents. |
is_eq(other : $OB) : BOOL .. Included as is_eq |
---|
**** | This is the generic equality predicate. c.f. the class $IS_EQ |
is_leq(other : SAME) : BOOL .. Included as is_leq |
---|
**** | This predicate returns true if and only if self is a simple sub-set
___of_other. |
is_lt(other : SAME) : BOOL .. Included as is_lt |
---|
**** |
________This_predicate_returns_true_if_self_is_a_proper_sub-set_of_other. |
minus(other : T) : SAME .. Included as minus |
---|
num_bits : NUM_BITS .. Included as num_bits |
---|
plus(other : T) : SAME .. Included as plus |
---|
plus(item : ELEM) : SAME .. Included as plus |
---|
read(index : BIN_CURSOR) : SAME .. Included as read |
---|
str(lib : LIBCHARS) : STR .. Included as str |
---|
str : STR .. Included as str |
---|
times(other : T) : SAME .. Included as times |
---|
write(fyle : BIN_FILE) .. Included as write |
---|
aelt!( .. Included as aelt! |
---|
aelt!( .. Included as aelt! |
---|
aelt!( .. Included as aelt! |
---|
aelt! : T .. Included as aelt! |
---|
aget( .. Included as aget |
---|
aind! : CARD .. Included as aind! |
---|
aset( .. Included as aset |
---|
const asize : CARD := 32 ; .. Included as asize |
---|
**** | !!!!!!!!!TEMPORARY FUDGE!!!!!!!!-- |
is_legal_aelts_arg( .. Included as is_legal_aelts_arg |
---|