class STACK{ETP} < $STACK{ETP}


Ancestors
$STACK{_} $COPY $ELT{_} $ELT
$REENTRANT A_STACK{_}



Public


Features
contains( .. Included as contains
copy : SAME .. Included as copy
create( .. Included as create
create : SAME .. Included as create
create_capacity( .. Included as create_capacity
create_from( .. Included as create_from
current : ETP .. Included as current
is_empty : BOOL .. Included as is_empty
pop : ETP .. Included as pop
push( .. Included as push
remove : ETP .. Included as remove
size : CARD .. Included as size
str( .. Included as str
str : STR .. Included as str
top : ETP .. Included as top

Iters
elt! : ETP .. Included as elt!
rev! : ETP .. Included as rev!
top! : ETP .. Included as top!


Private

attr list : FLIST{ETP} ; .. Included as list
attr list : FLIST{ETP} ; .. Included as list

The Sather Home Page