souffle  2.0.2-371-g6315b36
Data Structures | Functions
SwigInterface.h File Reference
#include "souffle/SouffleInterface.h"
#include <iostream>
#include <string>
Include dependency graph for SwigInterface.h:

Go to the source code of this file.

Data Structures

class  SWIGSouffleProgram
 Abstract base class for generated Datalog programs. More...
 

Functions

SWIGSouffleProgramnewInstance (const std::string &name)
 Creates an instance of a SWIG souffle::SouffleProgram that can be called within a program of a supported language for the SWIG option specified in main.cpp. More...
 

Function Documentation

◆ newInstance()

SWIGSouffleProgram* newInstance ( const std::string &  name)

Creates an instance of a SWIG souffle::SouffleProgram that can be called within a program of a supported language for the SWIG option specified in main.cpp.

This enables the program to use this instance and call the supported souffle::SouffleProgram methods.

Parameters
nameName of the datalog file/ instance to be created

Definition at line 88 of file SwigInterface.h.

88  {
89  auto* prog = souffle::ProgramFactory::newInstance(name);
90  return new SWIGSouffleProgram(prog);
91 }

References souffle::ProgramFactory::newInstance().

Here is the call graph for this function:
souffle::ProgramFactory::newInstance
virtual SouffleProgram * newInstance()=0
Create new instance (abstract).
SWIGSouffleProgram
Abstract base class for generated Datalog programs.
Definition: SwigInterface.h:26