Sather Home Page

Section 8.5.3.1.1:
$CONTAINER

abstract class $CONTAINER{ETP} < $ELT{ETP}, $FILTERS{ETP}, $COPY, $STR is -- This abstraction is the basic abstract container type. It does -- not have a create : SAME routine, since this does not make sense -- for arrays and other indexable types, where the create should take SAME -- as an argument. is_empty : BOOL ; -- This predicate returns true if and only if there are no elements when -- size is zero. contains( elem : ETP ) : BOOL ; -- This routine returns true if and only if the element with the value -- elem is contained.
Language Index Library Index Container Index
Comments or enquiries should be made to Keith Hopper.
Page last modified: Thursday, 22 March 2001.
Produced with Amaya