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