Recursive Rule Timing Profile Event Processor. More...

#include <EventProcessor.h>

Inheritance diagram for souffle::profile::RecursiveRuleTimingProcessor:

Collaboration diagram for souffle::profile::RecursiveRuleTimingProcessor:

Public Member Functions
void	process (ProfileDatabase &db, const std::vector< std::string > &signature, va_list &args) override
	abstract interface for processing an profile event More...

	RecursiveRuleTimingProcessor ()

Public Member Functions inherited from souffle::profile::EventProcessor
virtual	~EventProcessor ()=default

Detailed Description

Recursive Rule Timing Profile Event Processor.

Definition at line 243 of file EventProcessor.h.

Constructor & Destructor Documentation

◆ RecursiveRuleTimingProcessor()

souffle::profile::RecursiveRuleTimingProcessor::RecursiveRuleTimingProcessor ( )

inline

Definition at line 245 of file EventProcessor.h.

                         {"program", "relation", relation, "iteration", iteration, "recursive-rule", rule,
                                 version, "maxRSS", "pre"},
                 startMaxRSS);

References iteration, relation, and rule.

Referenced by souffle::profile::NonRecursiveRuleNumberProcessor::process().

Member Function Documentation

◆ process()

void souffle::profile::RecursiveRuleTimingProcessor::process	(	ProfileDatabase &	,
		const std::vector< std::string > &	signature,
		va_list &
	)

inlineoverridevirtual

abstract interface for processing an profile event

Reimplemented from souffle::profile::EventProcessor.

Definition at line 248 of file EventProcessor.h.

                         {"program", "relation", relation, "iteration", iteration, "recursive-rule", rule,
                                 version, "maxRSS", "post"},
                 endMaxRSS);
         db.addTextEntry({"program", "relation", relation, "iteration", iteration, "recursive-rule", rule,
                                 version, "source-locator"},
                 srcLocator);
         db.addDurationEntry({"program", "relation", relation, "iteration", iteration, "recursive-rule", rule,
                                     version, "runtime"},
                 start, end);
         db.addSizeEntry({"program", "relation", relation, "iteration", iteration, "recursive-rule", rule,
                                 version, "num-tuples"},
                 size);
     }
 } recursiveRuleTimingProcessor;
  
 /**
  * Recursive Rule Number Profile Event Processor
  */
 const class RecursiveRuleNumberProcessor : public EventProcessor {
 public:
     RecursiveRuleNumberProcessor() {
         EventProcessorSingleton::instance().registerEventProcessor("@n-recursive-rule", this);
     }
     void process(ProfileDatabase& db, const std::vector<std::string>& signature, va_list& args) override {
         const std::string& relation = signature[1];
         const std::string& version = signature[2];
         const std::string& srcLocator = signature[3];