The congress.tests.datalog.test_nonrecur Module

class congress.tests.datalog.test_nonrecur.TestArity(*args, **kwargs)

Bases: congress.tests.base.TestCase

test_no_split_parsing()

test_regular_parsing()

test_schema()

class congress.tests.datalog.test_nonrecur.TestInstances(*args, **kwargs)

Bases: congress.tests.base.TestCase

Tests for Runtime’s delegation functionality.

check(rule, data, correct, possibilities=None)

test_basic()

test_builtins()

test_builtins_reordered()

test_grounded()

test_modules()

test_multiple_literals()

test_possibilities()

class congress.tests.datalog.test_nonrecur.TestRuntime(*args, **kwargs)

Bases: congress.tests.base.TestCase

check_equal(actual_string, correct_string, msg)

prep_runtime(code=None, msg=None, target=None)

test_abduction()

Test abduction (computation of policy fragments).

test_consequences()

Test computation of all atoms true in a theory.

test_delete()

Test ability to delete policy statements.

test_empty()

test_indexing()

test_insert()

Test ability to insert/delete sentences.

test_modal_with_theory()

Test that the modal operators work properly with a theory.

test_modals()

Test that the modal operators work properly.

test_policy_tablenames_filter_modal()

test_select()

Test query functionality, i.e. top-down evaluation.

test_trace()

Test tracing during query.

class congress.tests.datalog.test_nonrecur.TestSelectNegation(*args, **kwargs)

Bases: congress.tests.base.TestCase

Tests for negation within a select() routine.

check(run, query_string, correct_string, msg)

test_binary()

test_depth()

test_mid_rule()

test_monadic()