FUNCTION check_properties_applicability
(cl : class) : LOGICAL;
LOCAL inter: SET OF property_bsu := []; END_LOCAL;
IF EXISTS(cl.its_superclass) THEN IF (SIZEOF(cl.its_superclass.definition)=1) THEN inter := (list_to_set(cl.described_by) * cl.its_superclass.definition[1]\class. known_applicable_properties); RETURN(inter = []); ELSE RETURN(UNKNOWN); END_IF; ELSE RETURN(TRUE); END_IF; END_FUNCTION; -- check_properties_applicability
|