Lists.mesa
Copyright c 1986 by Xerox Corporation. All rights resersed.
Last Edited by: Curry, March 11, 1986 9:59:10 pm PST
Lists:
CEDAR
DEFINITIONS =
BEGIN
ROPE: TYPE = Rope.ROPE;
ReverseList: PROC [list: LIST OF ROPE] RETURNS [new: LIST OF ROPE];
ReverseLIST: PROC [list: LIST OF REF] RETURNS [new: LIST OF REF];
ListLength: PROC [list: LIST OF ROPE] RETURNS [size: INT];
LISTLength: PROC [list: LIST OF REF] RETURNS [size: INT];
ListIndexItem: PROC [list: LIST OF ROPE, index: INT] RETURNS [item: ROPE];
LISTIndexItem: PROC [list: LIST OF REF, index: INT] RETURNS [item: REF];
ListItemIndex: PROC [list: LIST OF ROPE, item: ROPE] RETURNS [index: INT];
ListItemIndexMin:PROC [list: LIST OF ROPE, item: ROPE] RETURNS [index: INT];
ListItemIndexMax:PROC [list: LIST OF ROPE, item: ROPE] RETURNS [index: INT];
ListNonNILIndexMin: PROC [list: LIST OF ROPE] RETURNS [index: INT];
ListNonNILIndexMax: PROC [list: LIST OF ROPE] RETURNS [index: INT];
ListAllNil: PROC [list: LIST OF ROPE] RETURNS [allNIL: BOOL];
ListConcat: PROC [list1, list2: LIST OF ROPE] RETURNS [new: LIST OF ROPE];
END.