immutable class ACCESS_SET < $ENUM_SET{ACCESS_SET,PERMISSIONS}


Ancestors
$ENUM_SET{_,_} $IS_LT{_} $IS_EQ $ENUM_SET
$IMMUTABLE $STR $BINARY



Public


Constants
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 ;

Features
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


Private

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

The Sather Home Page