| souffle
    2.0.2-371-g6315b36
    | 
#include <cassert>#include <cmath>#include <cstdint>#include <cstdio>#include <cstdlib>#include <initializer_list>#include <iosfwd>#include <limits>#include <map>#include <memory>#include <string>#include <type_traits>#include <utility>#include <vector>

Go to the source code of this file.
| Data Structures | |
| class | json11::Json | 
| class | json11::JsonArray | 
| class | json11::JsonBoolean | 
| class | json11::JsonDouble | 
| class | json11::JsonInt | 
| class | json11::JsonNull | 
| class | json11::JsonObject | 
| class | json11::JsonString | 
| class | json11::JsonValue | 
| struct | json11::NullStruct | 
| struct | json11::Statics | 
| class | json11::Value< tag, T > | 
| Namespaces | |
| json11 | |
| Enumerations | |
| enum | json11::JsonParse { json11::STANDARD, json11::COMMENTS } | 
| Functions | |
| static void | json11::dump (bool value, std::string &out) | 
| static void | json11::dump (const Json::array &values, std::string &out) | 
| static void | json11::dump (const Json::object &values, std::string &out) | 
| static void | json11::dump (const std::string &value, std::string &out) | 
| static void | json11::dump (double value, std::string &out) | 
| static void | json11::dump (long long value, std::string &out) | 
| static void | json11::dump (NullStruct, std::string &out) | 
| static std::string | json11::esc (char c) | 
| static bool | json11::in_range (long x, long lower, long upper) | 
| std::vector< Json > | json11::parse_multi (const std::string &in, std::string::size_type &parser_stop_pos, std::string &err, JsonParse strategy) | 
| static const Json & | json11::static_null () | 
| static const Statics & | json11::statics () | 
| Variables | |
| static const int | json11::max_depth = 200 | 
| std::string& err | 
Definition at line 664 of file json11.h.
Referenced by souffle::ParserDriver::addDirective(), souffle::ParserDriver::addFunctorDeclaration(), souffle::ParserDriver::addRelation(), souffle::ParserDriver::addType(), json11::Json::has_shape(), json11::Json::parse(), json11::Json::parse_multi(), and json11::parse_multi().
| size_t i | 
Definition at line 663 of file json11.h.
Referenced by souffle::ast::transform::MagicSetTransformer::AdornDatabaseTransformer::adornClause(), souffle::SparseArray< value_t, 4, merge_op >::begin(), souffle::SparseBitMap< BITS >::begin(), souffle::ram::analysis::MinIndexSelection::card(), souffle::profile::InputReader::clearPrompt(), souffle::ram::Relation::clone(), souffle::synthesiser::DirectRelation::computeIndices(), souffle::synthesiser::IndirectRelation::computeIndices(), souffle::synthesiser::BrieRelation::computeIndices(), souffle::synthesiser::Synthesiser::convertRamIdent(), souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node::countEntries(), souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node::countNodes(), souffle::detail::btree< Key, detail::comparator< Key >, std::allocator< Key >, blockSize, typename detail::default_strategy< Key >::type, isSet, detail::comparator< Key >, detail::updater< Key > >::coversUpperBound(), souffle::interpreter::Order::create(), souffle::WriteStreamSQLite::createRelationTable(), souffle::WriteStreamSQLite::createRelationView(), json11::dump(), souffle::SparseArray< value_t, 4, merge_op >::dump(), souffle::ram::transform::EliminateDuplicatesTransformer::eliminateDuplicates(), souffle::SparseBitMap< BITS >::empty(), souffle::interpreter::Order::encode(), souffle::interpreter::Relation< 2, Eqrel >::end(), souffle::SparseBitMap< BITS >::end(), souffle::RuleBody::equal(), souffle::interpreter::Engine::execute(), souffle::ast::transform::MinimiseProgramTransformer::existsValidPermutation(), souffle::ast::analysis::TypeBinding::extend(), souffle::ast::analysis::TypeBinding::find(), souffle::SparseBitMap< BITS >::find(), souffle::ExplainProvenanceImpl::findTuple(), tinyformat::detail::formatImpl(), souffle::profile::Tools::formatNum(), souffle::RandomInsertPiggyList< SparseDomain >::freeList(), souffle::PiggyList< std::atomic< block_t > >::freeList(), souffle::synthesiser::DirectRelation::generateTypeStruct(), souffle::synthesiser::IndirectRelation::generateTypeStruct(), souffle::synthesiser::BrieRelation::generateTypeStruct(), souffle::synthesiser::EqrelRelation::generateTypeStruct(), souffle::profile::Tui::genJsonRelations(), souffle::genJsonRules(), souffle::SparseArray< value_t, 4, merge_op >::get(), souffle::SparseArray< value_t, 4, merge_op >::getAtomic(), souffle::test::getData(), souffle::ast::transform::getInlinedArgument(), souffle::ast::transform::getInlinedAtom(), souffle::SparseArray< value_t, 4, merge_op >::getLeaf(), souffle::ram::TestAutoIndex::getNumMatchings(), souffle::interpreter::NodeGenerator::getProjectSuperInstInfo(), souffle::interpreter::BinaryNode::getRhs(), souffle::ram::analysis::IndexAnalysis::getSearchSignature(), souffle::synthesiser::Relation::getTypeAttributeString(), getUsageStats(), graphBySize(), graphByTime(), souffle::ram::IndexScan::IndexScan(), souffle::EquivalenceRelation< Arity >::insert(), souffle::t_info< Arity_ >::insert(), souffle::ram::analysis::MinIndexSelection::insertDefaultTotalIndex(), souffle::ast::transform::MagicSetTransformer::MagicSetCoreTransformer::isAdorned(), souffle::ram::analysis::SearchSignature::isComparable(), souffle::RuleBody::isSubsetOf(), souffle::interpreter::RelInterface::iterator_base::iterator_base(), iterRel(), iterRul(), souffle::SparseArray< value_t, 4, merge_op >::lookup(), souffle::ram::analysis::MinIndexSelection::map(), memoryUsage(), souffle::SparseArray< value_t, 4, merge_op >::merge(), souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node::node(), souffle::ram::analysis::SearchSignature::operator!=(), souffle::interpreter::RelInterface::iterator_base::operator*(), souffle::interpreter::RelInterface::iterator_base::operator++(), souffle::interpreter::Relation< _Arity, Structure >::iterator_base::operator++(), souffle::profile::Row::operator[](), json11::Json::operator[](), json11::JsonArray::operator[](), outputHtml(), souffle::ram::ParallelIndexAggregate::ParallelIndexAggregate(), souffle::ram::ParallelIndexChoice::ParallelIndexChoice(), souffle::ram::ParallelIndexScan::ParallelIndexScan(), tinyformat::detail::parseIntAndAdvance(), souffle::range< souffle::detail::brie::TrieIterator >::partition(), souffle::EquivalenceRelation< Arity >::partition(), souffle::PiggyList< std::atomic< block_t > >::PiggyList(), souffle::ast::transform::PipelineTransformer::PipelineTransformer(), souffle::WriteStreamSQLite::prepareInsertStatement(), souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node::printTree(), souffle::Explain::processCommand(), souffle::Equivalence::push_back(), souffle::RandomInsertPiggyList< SparseDomain >::RandomInsertPiggyList(), souffle::ast::transform::MinimiseProgramTransformer::reduceClauseBodies(), souffle::ast::transform::reduceSubstitution(), souffle::ram::analysis::MinIndexSelection::removeExtraInequalities(), souffle::ast::transform::ReorderLiteralsTransformer::reorderClauseWithSips(), souffle::profile::Row::Row(), souffle::ast::analysis::RelationScheduleAnalysis::run(), souffle::profile::InputReader::showFullText(), souffle::interpreter::RelInterface::size(), souffle::SparseArray< value_t, 4, merge_op >::size(), souffle::detail::btree< Key, Comparator, Allocator, blockSize, SearchStrategy, isSet, WeakComparator, Updater >::node::split(), TEST(), souffle::interpreter::test::TEST(), souffle::test::TEST(), souffle::TEST(), souffle::SparseBitMap< BITS >::test(), top(), souffle::ast2ram::AstToRamTranslator::translateRecursiveRelation(), souffle::ast::transform::unifyAtoms(), souffle::SparseArray< value_t, 4, merge_op >::update(), souffle::SparseArray< value_t, 4, merge_op >::upperBound(), usage(), and souffle::WriteStreamSQLite::writeNextTuple().
| const std::string& str | 
Definition at line 662 of file json11.h.
Referenced by souffle::interpreter::Engine::execute(), souffle::genJsonUsage(), souffle::tuple::operator<<(), souffle::Explain::parseTuple(), souffle::RamUnsignedFromString(), relRul(), souffle::tuple::rewind(), souffle::profile::Tools::trimWhitespace(), and verRul().
| const JsonParse strategy | 
Definition at line 666 of file json11.h.
Referenced by json11::Json::parse(), json11::Json::parse_multi(), and json11::parse_multi().
 1.8.17
 1.8.17