FUNCTION check_datatypes_applicability
(cl : class) : LOGICAL;
LOCAL inter: SET OF data_type_bsu := []; END_LOCAL;
IF EXISTS(cl.its_superclass) THEN IF (SIZEOF(cl.its_superclass.definition) = 1) THEN inter := cl.defined_types * cl.its_superclass.definition[1]\class. known_applicable_data_types; RETURN(inter = []); ELSE RETURN(UNKNOWN); END_IF; ELSE RETURN(TRUE); END_IF; END_FUNCTION; -- check_datatypes_applicability
|