Test tables for storing AST data efficiently. More...
#include <boost/cstdint.hpp>#include "dlvhex2/ID.h"#include "dlvhex2/Term.h"#include "dlvhex2/Atoms.h"#include "dlvhex2/TermTable.h"#include "dlvhex2/OrdinaryAtomTable.h"#include "dlvhex2/BuiltinAtomTable.h"#include "dlvhex2/AggregateAtomTable.h"#include "dlvhex2/RuleTable.h"#include <boost/test/unit_test.hpp>#include <iostream>
Go to the source code of this file.
Defines | |
| #define | BOOST_TEST_MODULE "TestTables" |
Functions | |
| DLVHEX_NAMESPACE_USE | BOOST_AUTO_TEST_CASE (testTermTable) |
| BOOST_AUTO_TEST_CASE (testOrdinaryAtomTable) | |
| BOOST_AUTO_TEST_CASE (testBuiltinAtomTable) | |
| BOOST_AUTO_TEST_CASE (testAggregateAtomTable) | |
| BOOST_AUTO_TEST_CASE (testRuleTable) | |
Detailed Description
Test tables for storing AST data efficiently.
Definition in file TestTables.cpp.
Define Documentation
| #define BOOST_TEST_MODULE "TestTables" |
Definition at line 45 of file TestTables.cpp.
Function Documentation
| DLVHEX_NAMESPACE_USE BOOST_AUTO_TEST_CASE | ( | testTermTable | ) |
Definition at line 54 of file TestTables.cpp.
References ID::address, TermTable::getByID(), TermTable::getIDByString(), ID_FAIL(), Term::kind, ID::kind, LOG, ID::MAINKIND_TERM, ID::PROPERTY_VAR_ANONYMOUS, TermTable::storeAndGetID(), ID::SUBKIND_TERM_CONSTANT, ID::SUBKIND_TERM_VARIABLE, and Term::symbol.
| BOOST_AUTO_TEST_CASE | ( | testOrdinaryAtomTable | ) |
Definition at line 137 of file TestTables.cpp.
References OrdinaryAtomTable::getByID(), OrdinaryAtomTable::getIDByString(), OrdinaryAtomTable::getIDByTuple(), ID_FAIL(), Atom::kind, LOG, ID::MAINKIND_ATOM, ID::MAINKIND_TERM, TermTable::storeAndGetID(), OrdinaryAtomTable::storeAndGetID(), ID::SUBKIND_ATOM_ORDINARYG, ID::SUBKIND_ATOM_ORDINARYN, ID::SUBKIND_TERM_CONSTANT, and ID::SUBKIND_TERM_VARIABLE.
| BOOST_AUTO_TEST_CASE | ( | testBuiltinAtomTable | ) |
Definition at line 186 of file TestTables.cpp.
References ID::address, BuiltinAtomTable::getByID(), Atom::kind, ID::kind, LOG, ID::MAINKIND_ATOM, ID::MAINKIND_TERM, BuiltinAtomTable::storeAndGetID(), TermTable::storeAndGetID(), ID::SUBKIND_ATOM_BUILTIN, ID::SUBKIND_TERM_BUILTIN, ID::SUBKIND_TERM_CONSTANT, ID::SUBKIND_TERM_VARIABLE, ID::TERM_BUILTIN_INT, ID::TERM_BUILTIN_MUL, and Atom::tuple.
| BOOST_AUTO_TEST_CASE | ( | testAggregateAtomTable | ) |
Definition at line 225 of file TestTables.cpp.
References AggregateAtomTable::getByID(), ID_FAIL(), Atom::kind, AggregateAtom::literals, LOG, ID::MAINKIND_ATOM, ID::MAINKIND_TERM, AggregateAtomTable::storeAndGetID(), TermTable::storeAndGetID(), OrdinaryAtomTable::storeAndGetID(), ID::SUBKIND_ATOM_AGGREGATE, ID::SUBKIND_ATOM_ORDINARYN, ID::SUBKIND_TERM_BUILTIN, ID::SUBKIND_TERM_CONSTANT, ID::SUBKIND_TERM_VARIABLE, ID::TERM_BUILTIN_AGGSUM, ID::TERM_BUILTIN_LT, Atom::tuple, and AggregateAtom::variables.
| BOOST_AUTO_TEST_CASE | ( | testRuleTable | ) |
Definition at line 281 of file TestTables.cpp.
References ID::address, Rule::body, RuleTable::getByID(), Rule::head, ID_FAIL(), Rule::kind, ID::kind, Rule::level, LOG, ID::MAINKIND_ATOM, ID::MAINKIND_RULE, ID::MAINKIND_TERM, ID::PROPERTY_RULE_DISJ, TermTable::storeAndGetID(), RuleTable::storeAndGetID(), OrdinaryAtomTable::storeAndGetID(), ID::SUBKIND_ATOM_ORDINARYG, ID::SUBKIND_ATOM_ORDINARYN, ID::SUBKIND_RULE_CONSTRAINT, ID::SUBKIND_RULE_REGULAR, ID::SUBKIND_RULE_WEAKCONSTRAINT, ID::SUBKIND_TERM_CONSTANT, ID::SUBKIND_TERM_INTEGER, ID::SUBKIND_TERM_VARIABLE, and Rule::weight.
