|
|
(* Modified for LPM/6 *)(the_bag : BAG OF GENERIC : intype) : SET OF GENERIC : intype;
LOCAL
the_set: SET OF GENERIC : intype := [];
END_LOCAL;
IF SIZEOF (the_bag) > 0 THEN
REPEAT i := 1 to HIINDEX (the_bag);
the_set := the_set + the_bag [i];
END_REPEAT;
END_IF;
RETURN (the_set);
|
|
|