souffle  2.0.2-371-g6315b36
Public Member Functions
souffle::profile::RecursiveRuleNumberProcessor Class Reference

Recursive Rule Number Profile Event Processor. More...

#include <EventProcessor.h>

Inheritance diagram for souffle::profile::RecursiveRuleNumberProcessor:
Inheritance graph
Collaboration diagram for souffle::profile::RecursiveRuleNumberProcessor:
Collaboration graph

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...
 
 RecursiveRuleNumberProcessor ()
 
- Public Member Functions inherited from souffle::profile::EventProcessor
virtual ~EventProcessor ()=default
 

Detailed Description

Recursive Rule Number Profile Event Processor.

Definition at line 280 of file EventProcessor.h.

Constructor & Destructor Documentation

◆ RecursiveRuleNumberProcessor()

souffle::profile::RecursiveRuleNumberProcessor::RecursiveRuleNumberProcessor ( )
inline

Definition at line 282 of file EventProcessor.h.

290  : public EventProcessor {

Member Function Documentation

◆ process()

void souffle::profile::RecursiveRuleNumberProcessor::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 285 of file EventProcessor.h.

290  : public EventProcessor {
291 public:
292  NonRecursiveRelationTimingProcessor() {
293  EventProcessorSingleton::instance().registerEventProcessor("@t-nonrecursive-relation", this);
294  }
295  /** process event input */
296  void process(ProfileDatabase& db, const std::vector<std::string>& signature, va_list& args) override {
297  const std::string& relation = signature[1];
298  const std::string& srcLocator = signature[2];

The documentation for this class was generated from the following file:
relation
Relation & relation
Definition: Reader.h:130
souffle::profile::RecursiveRuleNumberProcessor::process
void process(ProfileDatabase &db, const std::vector< std::string > &signature, va_list &args) override
abstract interface for processing an profile event
Definition: EventProcessor.h:285
souffle::profile::EventProcessorSingleton::registerEventProcessor
void registerEventProcessor(const std::string &keyword, EventProcessor *processor)
register an event processor with its keyword
Definition: EventProcessor.h:76
souffle::profile::EventProcessorSingleton::instance
static EventProcessorSingleton & instance()
get instance
Definition: EventProcessor.h:70