BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
|
#include <err.h>
Static Public Member Functions | |
static void | reset () |
static bool | ok () |
static int | num_errs () |
static str_t | msg (int n=0) |
static bool | open_alert (str_t filename) |
static bool | close_alert () |
static void | use_stderr (bool b) |
static void | malloc_failed (unsigned int chunk_size, int num_chunks) |
static void | stack_overflow (str_t name, int curr_limit) |
static void | flexarr_capacity_limit (str_t name, int curr_length) |
static void | list_capacity_limit (str_t name, int curr_length) |
static void | hashtab_limit (str_t tab_name, int hash_size, int hash_pages, int max_pages) |
static void | pred_arity_too_large (str_t name, int arity, int limit) |
static void | pred_too_many_rels (str_t name, int limit) |
static void | cgi_security (str_t filename) |
static void | open_failed (str_t filename, str_t msg) |
static void | close_failed (str_t filename, str_t msg) |
static void | read_failed (str_t filename, str_t msg) |
static void | bad_request_method () |
static void | bad_content_type () |
static void | bad_content_length () |
static void | bad_cgi_hex () |
static void | cgi_premature_eof () |
static void | cgi_null_char () |
static void | cgi_field_not_terminated () |
static void | cgi_duplicate_program () |
static void | cgi_no_program () |
static void | null_char (str_t filename, int lineno) |
static void | line_too_long (str_t filename, int lineno) |
static void | syntax_begin (str_t filename, int line, str_t msg) |
static void | syntax_input (char c) |
static void | syntax_newline () |
static void | syntax_eof () |
static void | syntax_end () |
static void | store_fact_failed (str_t filename, int line_no, str_t pred_name) |
static void | test_has_no_arg (str_t test_id) |
static void | invalid_test_arg (str_t test_id, int arg) |
static void | option_missing () |
static void | unknown_option (str_t arg) |
static void | benchmark_with_debug_code () |
static void | debug_output_disabled () |
static void | dump_begin (str_t headline) |
static void | dump_str (str_t str) |
static void | dump_nl () |
static void | dump_char (char c) |
static void | dump_int (int n) |
static void | dump_uint (unsigned int n) |
static void | dump_bool (bool b) |
static void | dump_ptr (const void *p) |
static void | dump_end () |
Error Messages (all messages are printed through this class).
|
static |
Bad CGI hexadecimal character encoding.
|
static |
CGI env. variable CONTENT_LENGTH incorrect.
|
static |
CGI environment variable CONTENT_TYPE incorrect.
|
static |
CGI env. variable REQUEST_METHOD incorrect.
|
static |
Option -b was used with debug version.
|
static |
More than one "program" field.
|
static |
Field name did not end in "=".
|
static |
No "program" field.
|
static |
Null character in CGI input.
|
static |
Less than CONTENT_LENGTH characters in input.
|
static |
Invalid input file (CGI access not allowed).
|
static |
Close the alert file.
|
static |
Option -d was used, without debug code.
|
static |
Begin dump section in alert file.
|
static |
Print a boolean value.
|
static |
Print a character.
|
static |
End dump section in alert file.
|
static |
Print an integer in decimal notation.
|
static |
Print a line end.
|
static |
Print pointer in hexadecimal notation.
|
static |
Print a string.
|
static |
Print an unsigned integer in decimal notation.
|
static |
Flexible array cannot be further extended.
|
static |
The fixed size hash table has reached its limit.
|
static |
Test was called with invalid argument.
|
static |
Line too long (maybe not a text file).
|
static |
List cannot be further extended.
|
static |
Failure to allocate memory chunk.
|
static |
Input file contains null characters (binary file?).
|
static |
Number of errors after last reset().
|
static |
Returns true if there were no errors after last reset()
.
|
static |
Open the alert file.
|
static |
Single '-' in command line.
|
static |
Requested arity of EDB predicate > MAX.
|
static |
Too many relations for storing one EDB pred.
|
static |
Clear buffer of error messages.
|
static |
Fixed size array was not sufficient.
Storing loaded fact in relations failed.
Print error message, begin to show input line (<pre>).
|
static |
End <pre> mode.
|
static |
Show EOF in input line.
|
static |
Print character in input line.
|
static |
Print newline in <pre> mode.
|
static |
Test was called with argument != 0, but has no arg.
|
static |
'-XYZ' on command line, where XYZ is not an option.
|
static |
Define whether error messages are printed to stderr.