The congress.tests.datalog.test_compiler Module

class congress.tests.datalog.test_compiler.TestColumnReferences(*args, **kwargs)

Bases: congress.tests.base.TestCase

class SchemaWrapper(schema)

Bases: object

Placeholder so we don’t use the actual policy-engine for tests.

test_column_references_atom()

Test column references occurring in a single atom in a rule.

test_column_references_lowlevel()

Test column-references with low-level checks.

test_column_references_multiple_atoms()

Test column references occurring in multiple atoms in a rule.

test_column_references_parse_errors()

Test invalid column references occurring in a single atom.

test_column_references_validation_errors()

Test invalid column references occurring in a single atom.

test_eliminate_column_references_body_order()

Test eliminate_column_references preserves order insensitivity.

test_hash()
test_lessthan()
test_positional_args_padding_atom()

Test positional args padding on a single atom.

test_positional_args_padding_multiple_atoms()

Test positional args padding on a single atom.

class congress.tests.datalog.test_compiler.TestCompiler(*args, **kwargs)

Bases: congress.tests.base.TestCase

test_module_schemas()

Test that rules are properly checked against module schemas.

test_rule_recursion()
test_rule_stratification()
test_rule_validation()

Test that rules are properly validated.

test_type_checkers()

Test the type checkers, e.g. is_atom, is_rule.

class congress.tests.datalog.test_compiler.TestDependencyGraph(*args, **kwargs)

Bases: congress.tests.base.TestCase

test_dependencies()
test_modal_index()
test_modal_index_composition()
test_modals()
test_nodes_edges()
class congress.tests.datalog.test_compiler.TestParser(*args, **kwargs)

Bases: congress.tests.base.TestCase

test_event_equality()
test_event_facts()
test_event_rules()

Test modal operators.

test_modal_execute()
test_modal_failures()
test_rule_hash()

Test whether rules are properly hashed.

test_tablename()

Test correct parsing of tablenames.

test_update_rules()