|
FUNCTION all_class_descriptions_reachable (cl : class_bsu) : BOOLEAN; IF NOT EXISTS ( cl ) THEN RETURN ( UNKNOWN ) ; END_IF ; IF SIZEOF ( cl . definition ) = 0 THEN RETURN ( FALSE ) ; END_IF ; IF NOT ( EXISTS ( cl . definition [ 1 ] \ class . its_superclass ) ) THEN RETURN ( TRUE ) ; ELSE RETURN ( all_class_descriptions_reachable ( cl . definition [ 1 ] \ class . its_superclass ) ) ; END_IF ; END_FUNCTION; -- all_class_descriptions_reachable |
|
public class FAll_class_descriptions_reachable public static Value run(SdaiContext _context, Value cl) |