Function clingo_sys::clingo_parse_program
[−]
[src]
pub unsafe extern "C" fn clingo_parse_program(
program: *const c_char,
callback: clingo_ast_callback_t,
callback_data: *mut c_void,
logger: clingo_logger_t,
logger_data: *mut c_void,
message_limit: c_uint
) -> bool
Parse the given program and return an abstract syntax tree for each statement via a callback.
Parameters:
program
the program in gringo syntaxcallback
the callback reporting statementscallback_data
user data for the callbacklogger
callback to report messages during parsinglogger_data
user data for the loggermessage_limit
the maximum number of times the logger is called
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_runtime if parsing fails - ::clingo_error_bad_alloc