BAM
Abstract Machine for Bottom-Up Evaluation with the Push Method
Static Public Member Functions | List of all members
err_c Class Reference

#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 ()
 

Detailed Description

Error Messages (all messages are printed through this class).

Member Function Documentation

void err_c::bad_cgi_hex ( )
static

Bad CGI hexadecimal character encoding.

void err_c::bad_content_length ( )
static

CGI env. variable CONTENT_LENGTH incorrect.

void err_c::bad_content_type ( )
static

CGI environment variable CONTENT_TYPE incorrect.

void err_c::bad_request_method ( )
static

CGI env. variable REQUEST_METHOD incorrect.

void err_c::benchmark_with_debug_code ( )
static

Option -b was used with debug version.

void err_c::cgi_duplicate_program ( )
static

More than one "program" field.

void err_c::cgi_field_not_terminated ( )
static

Field name did not end in "=".

void err_c::cgi_no_program ( )
static

No "program" field.

void err_c::cgi_null_char ( )
static

Null character in CGI input.

void err_c::cgi_premature_eof ( )
static

Less than CONTENT_LENGTH characters in input.

void err_c::cgi_security ( str_t  filename)
static

Invalid input file (CGI access not allowed).

bool err_c::close_alert ( )
static

Close the alert file.

void err_c::close_failed ( str_t  filename,
str_t  msg 
)
static

Error closing an input file.

void err_c::debug_output_disabled ( )
static

Option -d was used, without debug code.

void err_c::dump_begin ( str_t  headline)
static

Begin dump section in alert file.

void err_c::dump_bool ( bool  b)
static

Print a boolean value.

void err_c::dump_char ( char  c)
static

Print a character.

void err_c::dump_end ( )
static

End dump section in alert file.

void err_c::dump_int ( int  n)
static

Print an integer in decimal notation.

void err_c::dump_nl ( )
static

Print a line end.

void err_c::dump_ptr ( const void *  p)
static

Print pointer in hexadecimal notation.

void err_c::dump_str ( str_t  str)
static

Print a string.

void err_c::dump_uint ( unsigned int  n)
static

Print an unsigned integer in decimal notation.

void err_c::flexarr_capacity_limit ( str_t  name,
int  curr_length 
)
static

Flexible array cannot be further extended.

void err_c::hashtab_limit ( str_t  tab_name,
int  hash_size,
int  hash_pages,
int  max_pages 
)
static

The fixed size hash table has reached its limit.

void err_c::invalid_test_arg ( str_t  test_id,
int  arg 
)
static

Test was called with invalid argument.

void err_c::line_too_long ( str_t  filename,
int  lineno 
)
static

Line too long (maybe not a text file).

void err_c::list_capacity_limit ( str_t  name,
int  curr_length 
)
static

List cannot be further extended.

void err_c::malloc_failed ( unsigned int  chunk_size,
int  num_chunks 
)
static

Failure to allocate memory chunk.

str_t err_c::msg ( int  n = 0)
static

Return n-th/first error message after last reset().

void err_c::null_char ( str_t  filename,
int  lineno 
)
static

Input file contains null characters (binary file?).

int err_c::num_errs ( )
static

Number of errors after last reset().

bool err_c::ok ( )
static

Returns true if there were no errors after last reset().

bool err_c::open_alert ( str_t  filename)
static

Open the alert file.

void err_c::open_failed ( str_t  filename,
str_t  msg 
)
static

Error opening an input file.

void err_c::option_missing ( )
static

Single '-' in command line.

void err_c::pred_arity_too_large ( str_t  name,
int  arity,
int  limit 
)
static

Requested arity of EDB predicate > MAX.

void err_c::pred_too_many_rels ( str_t  name,
int  limit 
)
static

Too many relations for storing one EDB pred.

void err_c::read_failed ( str_t  filename,
str_t  msg 
)
static

Error reading from an input file.

void err_c::reset ( )
static

Clear buffer of error messages.

void err_c::stack_overflow ( str_t  name,
int  curr_limit 
)
static

Fixed size array was not sufficient.

void err_c::store_fact_failed ( str_t  filename,
int  line_no,
str_t  pred_name 
)
static

Storing loaded fact in relations failed.

void err_c::syntax_begin ( str_t  filename,
int  line,
str_t  msg 
)
static

Print error message, begin to show input line (<pre>).

void err_c::syntax_end ( )
static

End <pre> mode.

void err_c::syntax_eof ( )
static

Show EOF in input line.

void err_c::syntax_input ( char  c)
static

Print character in input line.

void err_c::syntax_newline ( )
static

Print newline in <pre> mode.

void err_c::test_has_no_arg ( str_t  test_id)
static

Test was called with argument != 0, but has no arg.

void err_c::unknown_option ( str_t  arg)
static

'-XYZ' on command line, where XYZ is not an option.

void err_c::use_stderr ( bool  b)
static

Define whether error messages are printed to stderr.


The documentation for this class was generated from the following files: