Schema: Characterizable_object_arm



SCHEMA Characterizable_object_arm;


ENTITY Characterizable_object;
  name : STRING;
  description : OPTIONAL STRING;
END_ENTITY;

FUNCTION bag_to_set
 (the_bag : BAG[0:?] OF GENERIC) : SET[0:?] OF GENERIC;
LOCAL
      the_set : SET OF GENERIC : intype := [];
      i       : INTEGER;
    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);
END_FUNCTION;

END_SCHEMA;  -- Characterizable_object_arm