abstract class $FLISTS{ETP} < $LISTS{ETP}
-- This abstract class provides an extensible list abstraction of a
-- mutable list. This has keys which because of its parentage are cardinal
-- numbers.
create(
contents : $RO_ARR{ETP}
) : SAME ;
-- This feature creates a new list with at least the size of the
-- argument array, into which the contents of the array has been copied
-- sequentially.
array : $ARR{ETP} ;
-- This feature returns the a new array into which the contents of self
-- has been placed sequentially.
clear ;
-- This feature clears the contents of the list to be the empty list.
push(
val : ETP
) : SAME ;
-- This feature returns a (possibly new) list with the contents of self
-- to which has been appended the given element.