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