Reader.h File Reference

#include "souffle/profile/Iteration.h"
#include "souffle/profile/ProfileDatabase.h"
#include "souffle/profile/ProfileEvent.h"
#include "souffle/profile/ProgramRun.h"
#include "souffle/profile/Relation.h"
#include "souffle/profile/Rule.h"
#include "souffle/profile/StringUtils.h"
#include <cassert>
#include <chrono>
#include <cstdlib>
#include <ctime>
#include <fstream>
#include <iostream>
#include <memory>
#include <string>
#include <thread>
#include <unordered_map>
#include <utility>
#include <vector>
#include <dirent.h>
#include <sys/stat.h>

Include dependency graph for Reader.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	souffle::profile::Reader

Namespaces
	souffle
	souffle::profile

Variable Documentation

base

T& base

protected

Definition at line 60 of file Reader.h.

Referenced by souffle::RuleBody::toClauseBodies().

iteration

Iteration& iteration

protected

Definition at line 129 of file Reader.h.

Referenced by souffle::profile::Relation::addIteration(), genJsonAtoms(), souffle::ProfileEventSingleton::makeConfigRecord(), souffle::profile::RecursiveRuleTimingProcessor::process(), souffle::profile::RecursiveRelationTimingProcessor::process(), souffle::profile::RecursiveRelationCopyTimingProcessor::process(), souffle::profile::Reader::processFile(), souffle::profile::RecursiveRelationCopyTimingProcessor::RecursiveRelationCopyTimingProcessor(), souffle::profile::RecursiveRelationTimingProcessor::RecursiveRelationTimingProcessor(), and souffle::profile::RecursiveRuleTimingProcessor::RecursiveRuleTimingProcessor().

relation

Relation& relation

protected

Definition at line 130 of file Reader.h.

Referenced by souffle::SouffleProgram::tuple_insert< Tuple, 1 >::add(), souffle::profile::Reader::addRelation(), souffle::ast::transform::SemanticCheckerImpl::checkInlining(), souffle::synthesiser::DirectRelation::computeIndices(), souffle::SouffleProgram::executeSubroutine(), souffle::profile::FrequencyAtomProcessor::FrequencyAtomProcessor(), souffle::synthesiser::DirectRelation::generateTypeStruct(), souffle::synthesiser::IndirectRelation::generateTypeStruct(), genJsonAtoms(), souffle::synthesiser::Relation::getArity(), souffle::synthesiser::Relation::getRelation(), souffle::ast::analysis::SCCGraphAnalysis::getSuccessorSCCs(), souffle::synthesiser::DirectRelation::getTypeName(), souffle::synthesiser::IndirectRelation::getTypeName(), souffle::synthesiser::BrieRelation::getTypeName(), souffle::ast2ram::ClauseTranslator::indexValues(), souffle::SouffleProgram::insert(), souffle::ast::analysis::IOTypeAnalysis::IOTypeAnalysis(), souffle::ram::analysis::RelationAnalysis::lookup(), souffle::profile::NonRecursiveRelationTimingProcessor::NonRecursiveRelationTimingProcessor(), souffle::profile::NonRecursiveRuleTimingProcessor::NonRecursiveRuleTimingProcessor(), souffle::profile::NonRecursiveRuleTimingProcessor::process(), souffle::profile::NonRecursiveRuleNumberProcessor::process(), souffle::profile::RecursiveRuleTimingProcessor::process(), souffle::profile::RecursiveRelationTimingProcessor::process(), souffle::profile::RecursiveRelationCopyTimingProcessor::process(), souffle::profile::ProgramResourceUtilisationProcessor::process(), souffle::profile::FrequencyAtomProcessor::process(), souffle::profile::Reader::processFile(), souffle::SouffleProgram::purgeInputRelations(), souffle::SouffleProgram::purgeOutputRelations(), souffle::ExplainProvenanceImpl::queryProcess(), souffle::ReadStream::ReadStream(), souffle::profile::RecursiveRelationCopyTimingProcessor::RecursiveRelationCopyTimingProcessor(), souffle::profile::RecursiveRelationTimingProcessor::RecursiveRelationTimingProcessor(), souffle::profile::RecursiveRuleTimingProcessor::RecursiveRuleTimingProcessor(), souffle::ast::analysis::AuxiliaryArityAnalysis::run(), souffle::ast::analysis::SCCGraphAnalysis::run(), verAtoms(), souffle::WriteStream::writeAll(), and souffle::WriteStream::WriteStream().

rule

Rule& rule

private

Definition at line 85 of file Reader.h.

Referenced by souffle::profile::Iteration::addRule(), souffle::profile::Relation::addRule(), souffle::profile::FrequencyAtomProcessor::FrequencyAtomProcessor(), genJsonAtoms(), souffle::profile::OutputProcessor::getAtomTable(), souffle::profile::OutputProcessor::getRulTable(), souffle::profile::OutputProcessor::getSubrulTable(), souffle::profile::OutputProcessor::getVersionAtoms(), souffle::profile::OutputProcessor::getVersions(), souffle::profile::NonRecursiveRuleTimingProcessor::NonRecursiveRuleTimingProcessor(), souffle::profile::NonRecursiveRuleTimingProcessor::process(), souffle::profile::NonRecursiveRuleNumberProcessor::process(), souffle::profile::RecursiveRuleTimingProcessor::process(), souffle::profile::ProgramResourceUtilisationProcessor::process(), souffle::profile::FrequencyAtomProcessor::process(), souffle::Explain::processCommand(), souffle::profile::Reader::processFile(), souffle::profile::RecursiveRuleTimingProcessor::RecursiveRuleTimingProcessor(), souffle::ast2ram::AstToRamTranslator::translateNonRecursiveRelation(), and verAtoms().