Frama-C API - host
A utility class to catch exceptions and report proper error messages. See the documentations of the methods in Design.main_window_extension_points
, which inherits from this class.
host
A utility class to catch exceptions and report proper error messages. See the documentations of the methods in Design.main_window_extension_points
, which inherits from this class.