# Section 8.5.4.1.2:
$FLISTS

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.

| Language Index |  | Library Index |  | Container Index

Comments or enquiries should be made to Keith Hopper. Page last modified: Tuesday, 28 November 2000. |