Function clingo_sys::clingo_ast_parse_files

pub unsafe extern "C" fn clingo_ast_parse_files(
    files: *const *const c_char,
    size: usize,
    callback: clingo_ast_callback_t,
    callback_data: *mut c_void,
    control: *mut clingo_control_t,
    logger: clingo_logger_t,
    logger_data: *mut c_void,
    message_limit: c_uint
) -> bool

! Parse the programs in the given list of files and return an abstract syntax tree for each statement via a callback. ! ! The function follows clingo’s handling of files on the command line. ! Filename “-” is treated as “STDIN” and if an empty list is given, then the parser will read from “STDIN”. ! ! @note The control object can be set to a NULL to disable reading input in aspif format. ! ! @param[in] files the beginning of the file name array ! @param[in] size the number of file names ! @param[in] callback the callback reporting statements ! @param[in] callback_data user data for the callback ! @param[in] control object to add ground statements to ! @param[in] logger callback to report messages during parsing ! @param[in] logger_data user data for the logger ! @param[in] message_limit the maximum number of times the logger is called ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_runtime if parsing fails ! - ::clingo_error_bad_alloc