|
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 |
|
public class FCheck_datatypes_applicability public static Value run(SdaiContext _context, Value cl) |