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:
objectPlaceholder 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
-
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()¶
-