congress.datalog.builtin module

class congress.datalog.builtin.CongressBuiltinCategoryMap(start_builtin_map)

Bases: object

add_map(newmap)

builtin(table)

Return a CongressBuiltinPred for given Tablename or None.

builtin_is_registered(predtotest)

Given a CongressBuiltinPred, check if it has been registered.

delete_all_in_category(category)

delete_builtin(category, name, inputs)

delete_category(category)

delete_from_category(category, pred)

delete_map(newmap)

dict_predtriple_to_pred(predtriple)

exists_category(category)

get_category_name(predname, predinputs)

insert_category(category)

insert_to_category(category, pred)

is_builtin(table, arity=None)

Given a Tablename and arity, check if it is a builtin.

list_available_builtins()

Print out the list of builtins, by category.

mapequal(othercbc)

sync_with_predlist(predname, pred, category, operation)

class congress.datalog.builtin.CongressBuiltinPred(name, arglist, num_inputs, code)

Bases: object

string_to_pred(predstring)

class congress.datalog.builtin.DatetimeBuiltins

Bases: object

classmethod datetime_equal(x, y)

classmethod datetime_greaterthan(x, y)

classmethod datetime_greaterthanequal(x, y)

classmethod datetime_lessthan(x, y)

classmethod datetime_lessthanequal(x, y)

classmethod datetime_minus(x, y)

classmethod datetime_plus(x, y)

classmethod datetime_to_seconds(x)

classmethod extract_date(x)

classmethod extract_time(x)

classmethod now()

classmethod pack_date(year, month, day)

classmethod pack_datetime(year, month, day, hour, minute, second)

classmethod pack_time(hour, minute, second)

classmethod to_datetime(x)

classmethod to_timedelta(x)

classmethod unpack_date(x)

classmethod unpack_datetime(x)

classmethod unpack_time(x)

class congress.datalog.builtin.NetworkAddressBuiltins

Bases: object

classmethod ip_in_network(ip, cidr)

classmethod ips_equal(ip1, ip2)

classmethod ips_greaterthan(ip1, ip2)

classmethod ips_greaterthan_equal(ip1, ip2)

classmethod ips_lessthan(ip1, ip2)

classmethod ips_lessthan_equal(ip1, ip2)

classmethod networks_equal(cidr1, cidr2)

classmethod networks_overlap(cidr1, cidr2)

class congress.datalog.builtin.OptTypeBuiltins

Bases: object

Builtins to validate option values for config validator.

It leverages oslog_config types module to check values.

classmethod validate_float(minv, maxv, value)

Check that the value is a float

Optionnally checks the float is between given bounds if provided. :param minv: minimal value or empty string :param maxv: maximal value or empty string :param value: value to check :return: an empty string if ok or an error string.

classmethod validate_int(minv, maxv, value)

Check that the value is indeed an integer

Optionnally checks the integer is between given bounds if provided. :param minv: minimal value or empty string :param maxv: maximal value or empty string :param value: value to check :return: an empty string if ok or an error string.

classmethod validate_string(regex, max_length, quotes, ignore_case, value)

Check that the value is a string

Optionnally checks the string against typical requirements. :param regex: a regular expression the value should follow or empty :param max_length: an integer bound on the size of the string or empty :param quotes: whether to include quotes or not :param ignore_case: whether to ignore case or not :param value: the value to check :return: an empty string if ok or an error string.