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