Inter4ql  5.2
Public Member Functions | List of all members
Inter4ql::Checker Class Reference

Checker class - class that validates 4QL programs. More...

#include <Checker.h>

Public Member Functions

 Checker (std::vector< ModuleGeneric *> *_modules)
 constructor More...
 
void set_modules (std::vector< ModuleGeneric *> *_modules)
 function to set the modules pointer More...
 
void check (Program *p)
 function that validates 4QL program, throws exception on failure More...
 
void check_query (Fact *r)
 function that validates query More...
 
void check_expression (Expression *expr)
 function that validates expression More...
 

Detailed Description

Checker class - class that validates 4QL programs.

Constructor & Destructor Documentation

◆ Checker()

Inter4ql::Checker::Checker ( std::vector< ModuleGeneric *> *  _modules)
explicit

constructor

Parameters
_modulespointer to modules in interpreters enviroment

Member Function Documentation

◆ check()

void Inter4ql::Checker::check ( Program p)

function that validates 4QL program, throws exception on failure

Parameters
ppointer to Program class with a 4QL program to validate

◆ check_expression()

void Inter4ql::Checker::check_expression ( Expression expr)

function that validates expression

Parameters
exprpointer to a Expression class to validate

◆ check_query()

void Inter4ql::Checker::check_query ( Fact r)

function that validates query

Parameters
rpointer to a Fact class to validate

◆ set_modules()

void Inter4ql::Checker::set_modules ( std::vector< ModuleGeneric *> *  _modules)

function to set the modules pointer

Parameters
_modulespointer to modules

The documentation for this class was generated from the following files: