Checker class - class that validates 4QL programs.
More...
#include <Checker.h>
Checker class - class that validates 4QL programs.
◆ Checker()
Inter4ql::Checker::Checker |
( |
std::vector< ModuleGeneric *> * |
_modules | ) |
|
|
explicit |
constructor
- Parameters
-
_modules | pointer to modules in interpreters enviroment |
◆ check()
void Inter4ql::Checker::check |
( |
Program * |
p | ) |
|
function that validates 4QL program, throws exception on failure
- Parameters
-
p | pointer to Program class with a 4QL program to validate |
◆ check_expression()
void Inter4ql::Checker::check_expression |
( |
Expression * |
expr | ) |
|
function that validates expression
- Parameters
-
◆ check_query()
void Inter4ql::Checker::check_query |
( |
Fact * |
r | ) |
|
function that validates query
- Parameters
-
r | pointer to a Fact class to validate |
◆ set_modules()
void Inter4ql::Checker::set_modules |
( |
std::vector< ModuleGeneric *> * |
_modules | ) |
|
function to set the modules pointer
- Parameters
-
_modules | pointer to modules |
The documentation for this class was generated from the following files:
- /home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/Checker.h
- /home/lukasz/Desktop/Inter4QL_5_2/Inter4QL_5_2/src/Checker.cc