![]() |
aGrUM 3.2.0
a C++ library for (probabilistic) graphical models
|
Represents a O3PRMR context. More...
#include <O3prmrInterpreter.h>
Public Member Functions | |
| O3prmrInterpreter () | |
| This constructor create an empty context. | |
| ~O3prmrInterpreter () | |
| Destructor. Delete current context. | |
| bool | interpretFile (std::string_view filename) |
| Interpret the file or the command line. | |
| bool | interpretLine (std::string_view line) |
| const gum::prm::PRM< double > * | prm () const |
| Retrieve prm object. | |
| const gum::prm::PRMInference< double > * | inference () const |
| Retrieve inference motor object. | |
| const std::vector< QueryResult > & | results () const |
| Return a vector of QueryResults. Each QueryResults is a struct with query command, time and values, a vector of struct SingleResult, with pair label/value. | |
| ErrorsContainer | errorsContainer () const |
| Return container with all errors. | |
| O3prmrContext< double > * | getContext () const |
| Getter and setter for the context. | |
| void | setContext (O3prmrContext< double > *context) |
| Setter for the context. | |
| std::vector< std::string > | getPaths () const |
| Root paths to search from there packages. Default are working dir, request file dir if any and one is calculate from package if any. | |
| void | addPath (std::string path) |
| Root paths to search from there packages. Default are './' and one is calculate from request package if any. | |
| void | clearPaths () |
| Root paths to search from there packages. Default are './' and one is calculate from request package if any. | |
| bool | isInSyntaxMode () const |
| syntax mode don't process anything, just check syntax. Default is false. | |
| void | setSyntaxMode (bool f) |
| syntax mode don't process anything, just check syntax. | |
| bool | isVerboseMode () const |
| verbose mode show more details on the program execution. Default is false. | |
| void | setVerboseMode (bool f) |
| verbose mode show more details on the program execution. | |
| Size | count () const |
| En cas d'échec, l'API de gestion d'erreurs est présente. | |
| Size | errors () const |
| Size | warnings () const |
| ParseError | error (Idx i) const |
| throw a string error if i >= count | |
| void | showElegantErrors (std::ostream &o=std::cerr) const |
| send on std::cerr the list of errors | |
| void | showElegantErrorsAndWarnings (std::ostream &o=std::cerr) const |
| send on std::cerr the list of errors or warnings | |
| void | showErrorCounts (std::ostream &o=std::cerr) const |
| send on std::cerr the number of errors and the number of warnings | |
Private Member Functions | |
| bool | checkSemantic (O3prmrContext< double > *context) |
| Check semantic validity of context. | |
| bool | checkSetEngine (SetEngineCommand *command) |
| bool | checkSetGndEngine (SetGndEngineCommand *command) |
| bool | checkObserve (ObserveCommand< double > *command) |
| bool | checkUnobserve (UnobserveCommand< double > *command) |
| bool | checkQuery (QueryCommand< double > *command) |
| bool | interpret (O3prmrContext< double > *c) |
| Crée le prm correspondant au contexte courant. | |
| bool | import (O3prmrContext< double > *context, std::string import) |
| bool | observe (const ObserveCommand< double > *command) |
| bool | unobserve (const UnobserveCommand< double > *command) |
| void | query (const QueryCommand< double > *command) |
| void | setEngine (const SetEngineCommand *command) |
| void | setGndEngine (const SetGndEngineCommand *command) |
| std::string | findSystemName (std::string &s) |
| std::string | findInstanceName (std::string &s, const gum::prm::PRMSystem< double > &sys) |
| std::string | findAttributeName (std::string_view s, const gum::prm::PRMInstance< double > &instance) |
| const PRMSystem< double > & | system (std::string &ident) |
| void | generateInfEngine (const gum::prm::PRMSystem< double > &sys) |
| void | addError (std::string msg) |
| void | addWarning (std::string msg) |
| std::string | _readFile_ (std::string_view file) |
Private Attributes | |
| O3prmrContext< double > * | m_context |
| gum::prm::o3prm::O3prmReader< double > * | m_reader |
| std::vector< std::string > | m_paths |
| gum::BayesNet< double > * | m_bn |
| gum::prm::PRMInference< double > * | m_inf |
| HashTable< const PRMSystem< double > *, PRMInference< double > * > | m_inf_map |
| std::string | m_engine |
| std::string | m_bn_engine |
| std::vector< QueryResult > | m_results |
| gum::ErrorsContainer | m_errors |
| bool | m_syntax_flag |
| bool | m_verbose |
| std::ostream & | m_log |
| int | m_current_line |
Represents a O3PRMR context.
O3prmr use the <double> version of the O3PRM templatized ecosystem
Definition at line 87 of file O3prmrInterpreter.h.
| gum::prm::o3prmr::O3prmrInterpreter::O3prmrInterpreter | ( | ) |
This constructor create an empty context.
Definition at line 76 of file O3prmrInterpreter.cpp.
References m_bn, m_context, m_current_line, m_inf, m_log, m_reader, m_syntax_flag, and m_verbose.
| gum::prm::o3prmr::O3prmrInterpreter::~O3prmrInterpreter | ( | ) |
Destructor. Delete current context.
Definition at line 82 of file O3prmrInterpreter.cpp.
References m_bn, m_context, m_inf_map, m_reader, and gum::prm::o3prm::O3prmReader< GUM_SCALAR >::prm().
|
private |
Definition at line 199 of file O3prmrInterpreter.cpp.
References GUM_ERROR.
Referenced by interpretFile().
|
private |
Definition at line 934 of file O3prmrInterpreter.cpp.
References gum::ErrorsContainer::addError(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::filename(), gum::ErrorsContainer::last(), m_context, m_current_line, m_errors, m_log, m_verbose, and gum::ParseError::toString().
Referenced by checkObserve(), checkQuery(), checkSemantic(), checkUnobserve(), import(), and interpret().
| void gum::prm::o3prmr::O3prmrInterpreter::addPath | ( | std::string | path | ) |
Root paths to search from there packages. Default are './' and one is calculate from request package if any.
Definition at line 112 of file O3prmrInterpreter.cpp.
|
private |
Definition at line 941 of file O3prmrInterpreter.cpp.
References gum::ErrorsContainer::addWarning(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::filename(), gum::ErrorsContainer::last(), m_context, m_current_line, m_errors, m_log, m_verbose, and gum::ParseError::toString().
Referenced by generateInfEngine(), observe(), and unobserve().
|
private |
Definition at line 433 of file O3prmrInterpreter.cpp.
References addError(), gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::chain, gum::Instantiation::end(), gum::Exception::errorContent(), findAttributeName(), findInstanceName(), gum::prm::PRMInstance< GUM_SCALAR >::get(), gum::prm::PRMSystem< GUM_SCALAR >::get(), gum::Instantiation::inc(), gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::leftValue, gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::potentiel, gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::rightValue, gum::Instantiation::setFirst(), system(), gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::system, and gum::Instantiation::val().
Referenced by checkSemantic().
|
private |
Definition at line 497 of file O3prmrInterpreter.cpp.
References addError(), gum::prm::o3prmr::QueryCommand< GUM_SCALAR >::chain, gum::Exception::errorContent(), findAttributeName(), findInstanceName(), gum::prm::PRMInstance< GUM_SCALAR >::get(), gum::prm::PRMSystem< GUM_SCALAR >::get(), system(), gum::prm::o3prmr::QueryCommand< GUM_SCALAR >::system, and gum::prm::o3prmr::QueryCommand< GUM_SCALAR >::value.
Referenced by checkSemantic().
|
private |
Check semantic validity of context.
Import first all import, and check that systems, instances, attributes and labels exists. While checking, prepare data structures for interpretation. Return true if all is right, false otherwise.
Note : Stop checking at first error unless syntax mode is activated.
Definition at line 317 of file O3prmrInterpreter.cpp.
References gum::prm::o3prmr::O3prmrSession< GUM_SCALAR >::O3prmrSession(), gum::prm::o3prmr::O3prmrSession< GUM_SCALAR >::addCommand(), addError(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::addImport(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::addSession(), checkObserve(), checkQuery(), checkSetEngine(), checkSetGndEngine(), checkUnobserve(), gum::ErrorsContainer::elegantErrorsAndWarnings(), gum::Exception::errorContent(), errors(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::imports(), isInSyntaxMode(), isVerboseMode(), m_context, m_current_line, m_errors, m_log, m_verbose, gum::prm::o3prmr::O3prmrCommand::Observe, gum::prm::o3prmr::O3prmrCommand::Query, gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::sessions(), gum::prm::o3prmr::O3prmrCommand::SetEngine, gum::prm::o3prmr::O3prmrCommand::SetGndEngine, gum::prm::o3prmr::SetEngineCommand::toString(), and gum::prm::o3prmr::O3prmrCommand::Unobserve.
Referenced by interpretFile(), and interpretLine().
|
private |
Definition at line 423 of file O3prmrInterpreter.cpp.
References m_engine, and gum::prm::o3prmr::SetEngineCommand::value.
Referenced by checkSemantic().
|
private |
Definition at line 428 of file O3prmrInterpreter.cpp.
References m_bn_engine, and gum::prm::o3prmr::SetGndEngineCommand::value.
Referenced by checkSemantic().
|
private |
Definition at line 475 of file O3prmrInterpreter.cpp.
References addError(), gum::prm::o3prmr::UnobserveCommand< GUM_SCALAR >::chain, gum::Exception::errorContent(), findAttributeName(), findInstanceName(), gum::prm::PRMInstance< GUM_SCALAR >::get(), gum::prm::PRMSystem< GUM_SCALAR >::get(), system(), gum::prm::o3prmr::UnobserveCommand< GUM_SCALAR >::system, and gum::prm::o3prmr::UnobserveCommand< GUM_SCALAR >::value.
Referenced by checkSemantic().
| void gum::prm::o3prmr::O3prmrInterpreter::clearPaths | ( | ) |
Root paths to search from there packages. Default are './' and one is calculate from request package if any.
Definition at line 125 of file O3prmrInterpreter.cpp.
References m_paths.
| Size gum::prm::o3prmr::O3prmrInterpreter::count | ( | ) | const |
En cas d'échec, l'API de gestion d'erreurs est présente.
Definition at line 897 of file O3prmrInterpreter.cpp.
References gum::ErrorsContainer::count(), and m_errors.
Referenced by error(), and import().
| ParseError gum::prm::o3prmr::O3prmrInterpreter::error | ( | Idx | i | ) | const |
throw a string error if i >= count
Definition at line 906 of file O3prmrInterpreter.cpp.
References count(), gum::ErrorsContainer::error(), and m_errors.
| Size gum::prm::o3prmr::O3prmrInterpreter::errors | ( | ) | const |
Definition at line 900 of file O3prmrInterpreter.cpp.
References gum::ErrorsContainer::error_count, and m_errors.
Referenced by checkSemantic(), import(), interpret(), interpretFile(), and interpretLine().
| ErrorsContainer gum::prm::o3prmr::O3prmrInterpreter::errorsContainer | ( | ) | const |
Return container with all errors.
Definition at line 913 of file O3prmrInterpreter.cpp.
References m_errors.
|
private |
Definition at line 709 of file O3prmrInterpreter.cpp.
References gum::prm::PRMInstance< GUM_SCALAR >::exists(), and gum::prm::PRMObject::name().
Referenced by checkObserve(), checkQuery(), and checkUnobserve().
|
private |
Definition at line 696 of file O3prmrInterpreter.cpp.
References gum::prm::PRMSystem< GUM_SCALAR >::exists(), and gum::prm::PRMObject::name().
Referenced by checkObserve(), checkQuery(), and checkUnobserve().
|
private |
Definition at line 668 of file O3prmrInterpreter.cpp.
References gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::aliasToImport(), m_context, and prm().
Referenced by system().
|
private |
Definition at line 855 of file O3prmrInterpreter.cpp.
References gum::prm::GroundedInference< GUM_SCALAR >::GroundedInference(), gum::prm::SVE< GUM_SCALAR >::SVE(), gum::prm::SVED< GUM_SCALAR >::SVED(), addWarning(), gum::BayesNet< double >, gum::BayesNetFactory< double >, gum::prm::PRMSystem< GUM_SCALAR >::groundedBN(), m_bn, m_engine, m_inf, m_inf_map, m_log, m_verbose, prm(), and gum::VariableElimination< double >.
Referenced by observe(), and query().
| O3prmrContext< double > * gum::prm::o3prmr::O3prmrInterpreter::getContext | ( | ) | const |
Getter and setter for the context.
Getter for the context.
Definition at line 96 of file O3prmrInterpreter.cpp.
References m_context.
| std::vector< std::string > gum::prm::o3prmr::O3prmrInterpreter::getPaths | ( | ) | const |
Root paths to search from there packages. Default are working dir, request file dir if any and one is calculate from package if any.
Root paths to search from there packages. Default are './' and one is calculate from request package if any.
Definition at line 108 of file O3prmrInterpreter.cpp.
References m_paths.
|
private |
Definition at line 522 of file O3prmrInterpreter.cpp.
References addError(), count(), gum::Exception::errorContent(), errors(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::filename(), m_errors, m_log, m_paths, m_reader, and m_verbose.
| const PRMInference< double > * gum::prm::o3prmr::O3prmrInterpreter::inference | ( | ) | const |
Retrieve inference motor object.
Definition at line 143 of file O3prmrInterpreter.cpp.
References m_inf.
|
private |
Crée le prm correspondant au contexte courant.
Renvoie true en cas de succès, ou false en cas échéant d'échec de l'interprétation du contexte (import introuvable ou non défini, etc).
Definition at line 246 of file O3prmrInterpreter.cpp.
References addError(), gum::Exception::errorContent(), errors(), isVerboseMode(), m_log, m_verbose, gum::prm::o3prmr::O3prmrCommand::Observe, observe(), gum::prm::o3prmr::O3prmrCommand::Query, query(), gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::sessions(), gum::prm::o3prmr::O3prmrCommand::SetEngine, setEngine(), gum::prm::o3prmr::O3prmrCommand::SetGndEngine, setGndEngine(), gum::prm::o3prmr::O3prmrCommand::Unobserve, and unobserve().
Referenced by interpretFile(), and interpretLine().
| bool gum::prm::o3prmr::O3prmrInterpreter::interpretFile | ( | std::string_view | filename | ) |
Interpret the file or the command line.
Parse the file or the command line.
If syntax mode is activated, check only syntax and semantic. If errors occured, return false. Errors messages can be retrieve be errorsContainer() methods. If any errors occured, return true. Requests results can be retrieve be results() methods.
If errors occured, return false. Errors messages can be retrieve be getErrorsContainer() methods. If any errors occured, return true. Requests results can be retrieve be results() methods.
Definition at line 157 of file O3prmrInterpreter.cpp.
References _readFile_(), gum::prm::o3prm::O3prmReader< GUM_SCALAR >::addClassPath(), checkSemantic(), errors(), interpret(), isInSyntaxMode(), m_context, m_errors, m_paths, m_reader, m_results, and gum::prm::o3prm::O3prmReader< GUM_SCALAR >::prm().
| bool gum::prm::o3prmr::O3prmrInterpreter::interpretLine | ( | std::string_view | line | ) |
Definition at line 220 of file O3prmrInterpreter.cpp.
References checkSemantic(), errors(), interpret(), isInSyntaxMode(), m_errors, and m_results.
| bool gum::prm::o3prmr::O3prmrInterpreter::isInSyntaxMode | ( | ) | const |
syntax mode don't process anything, just check syntax. Default is false.
syntax mode don't process anything, just check syntax.
Definition at line 128 of file O3prmrInterpreter.cpp.
References m_syntax_flag.
Referenced by checkSemantic(), interpretFile(), and interpretLine().
| bool gum::prm::o3prmr::O3prmrInterpreter::isVerboseMode | ( | ) | const |
verbose mode show more details on the program execution. Default is false.
verbose mode show more details on the program execution.
Definition at line 134 of file O3prmrInterpreter.cpp.
References m_verbose.
Referenced by checkSemantic(), and interpret().
|
private |
Definition at line 733 of file O3prmrInterpreter.cpp.
References gum::prm::PRMInference< GUM_SCALAR >::addEvidence(), addWarning(), gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::chain, generateInfEngine(), gum::prm::PRMInference< GUM_SCALAR >::hasEvidence(), gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::leftValue, m_inf, m_log, m_verbose, gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::potentiel, gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::rightValue, and gum::prm::o3prmr::ObserveCommand< GUM_SCALAR >::system.
Referenced by interpret().
Retrieve prm object.
Definition at line 140 of file O3prmrInterpreter.cpp.
References m_reader, and gum::prm::o3prm::O3prmReader< GUM_SCALAR >::prm().
Referenced by findSystemName(), generateInfEngine(), and system().
|
private |
Definition at line 780 of file O3prmrInterpreter.cpp.
References gum::prm::o3prmr::QueryCommand< GUM_SCALAR >::chain, gum::prm::o3prmr::QueryResult::command, gum::Instantiation::end(), generateInfEngine(), gum::MultiDimDecorator< GUM_ELEMENT >::get(), gum::Instantiation::inc(), gum::DiscreteVariable::label(), gum::prm::o3prmr::SingleResult::label, m_inf, m_inf_map, m_log, m_results, m_verbose, gum::prm::o3prmr::SingleResult::p, gum::prm::PRMInference< GUM_SCALAR >::posterior(), query(), gum::Timer::reset(), gum::Instantiation::setFirst(), gum::Timer::step(), gum::prm::o3prmr::QueryCommand< GUM_SCALAR >::system, gum::Tensor< double >, gum::prm::o3prmr::QueryResult::time, gum::prm::PRMAttribute< GUM_SCALAR >::type(), gum::Instantiation::val(), gum::prm::o3prmr::QueryCommand< GUM_SCALAR >::value, gum::prm::o3prmr::QueryResult::values, and gum::prm::PRMType::variable().
Referenced by interpret(), and query().
| const std::vector< QueryResult > & gum::prm::o3prmr::O3prmrInterpreter::results | ( | ) | const |
Return a vector of QueryResults. Each QueryResults is a struct with query command, time and values, a vector of struct SingleResult, with pair label/value.
Return a std::vector of QueryResults. Each QueryResults is a struct with query command, time and values, a std::vector of struct SingleResult, with pair label/value.
Definition at line 148 of file O3prmrInterpreter.cpp.
References m_results.
| void gum::prm::o3prmr::O3prmrInterpreter::setContext | ( | O3prmrContext< double > * | context | ) |
|
private |
Definition at line 845 of file O3prmrInterpreter.cpp.
References m_engine, and gum::prm::o3prmr::SetEngineCommand::value.
Referenced by interpret().
|
private |
Definition at line 850 of file O3prmrInterpreter.cpp.
References m_bn_engine, and gum::prm::o3prmr::SetGndEngineCommand::value.
Referenced by interpret().
| void gum::prm::o3prmr::O3prmrInterpreter::setSyntaxMode | ( | bool | f | ) |
syntax mode don't process anything, just check syntax.
Definition at line 131 of file O3prmrInterpreter.cpp.
References m_syntax_flag.
| void gum::prm::o3prmr::O3prmrInterpreter::setVerboseMode | ( | bool | f | ) |
verbose mode show more details on the program execution.
Definition at line 137 of file O3prmrInterpreter.cpp.
References m_verbose.
| void gum::prm::o3prmr::O3prmrInterpreter::showElegantErrors | ( | std::ostream & | o = std::cerr | ) | const |
send on std::cerr the list of errors
Definition at line 916 of file O3prmrInterpreter.cpp.
References gum::ErrorsContainer::elegantErrors(), and m_errors.
| void gum::prm::o3prmr::O3prmrInterpreter::showElegantErrorsAndWarnings | ( | std::ostream & | o = std::cerr | ) | const |
send on std::cerr the list of errors or warnings
Definition at line 921 of file O3prmrInterpreter.cpp.
References gum::ErrorsContainer::elegantErrorsAndWarnings(), and m_errors.
| void gum::prm::o3prmr::O3prmrInterpreter::showErrorCounts | ( | std::ostream & | o = std::cerr | ) | const |
send on std::cerr the number of errors and the number of warnings
Definition at line 926 of file O3prmrInterpreter.cpp.
References m_errors, and gum::ErrorsContainer::syntheticResults().
|
private |
Definition at line 719 of file O3prmrInterpreter.cpp.
References findSystemName(), m_context, gum::prm::o3prmr::O3prmrContext< GUM_SCALAR >::mainImport(), prm(), and gum::prm::o3prmr::ImportCommand::value.
Referenced by checkObserve(), checkQuery(), and checkUnobserve().
|
private |
Definition at line 760 of file O3prmrInterpreter.cpp.
References addWarning(), gum::prm::o3prmr::UnobserveCommand< GUM_SCALAR >::chain, gum::prm::PRMInference< GUM_SCALAR >::hasEvidence(), m_inf, m_log, m_verbose, gum::prm::PRMInference< GUM_SCALAR >::removeEvidence(), and gum::prm::o3prmr::UnobserveCommand< GUM_SCALAR >::value.
Referenced by interpret().
| Size gum::prm::o3prmr::O3prmrInterpreter::warnings | ( | ) | const |
Definition at line 903 of file O3prmrInterpreter.cpp.
References m_errors, and gum::ErrorsContainer::warning_count.
|
private |
Definition at line 186 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), ~O3prmrInterpreter(), and generateInfEngine().
|
private |
Definition at line 191 of file O3prmrInterpreter.h.
Referenced by checkSetGndEngine(), and setGndEngine().
|
private |
Definition at line 183 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), ~O3prmrInterpreter(), addError(), addWarning(), checkSemantic(), findSystemName(), getContext(), interpretFile(), setContext(), and system().
|
private |
Definition at line 197 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), addError(), addWarning(), and checkSemantic().
|
private |
Definition at line 190 of file O3prmrInterpreter.h.
Referenced by checkSetEngine(), generateInfEngine(), and setEngine().
|
private |
Definition at line 193 of file O3prmrInterpreter.h.
Referenced by addError(), addWarning(), checkSemantic(), count(), error(), errors(), errorsContainer(), import(), interpretFile(), interpretLine(), showElegantErrors(), showElegantErrorsAndWarnings(), showErrorCounts(), and warnings().
|
private |
Definition at line 188 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), generateInfEngine(), inference(), observe(), query(), and unobserve().
|
private |
Definition at line 189 of file O3prmrInterpreter.h.
Referenced by ~O3prmrInterpreter(), generateInfEngine(), and query().
|
private |
Definition at line 196 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), addError(), addWarning(), checkSemantic(), generateInfEngine(), import(), interpret(), observe(), query(), and unobserve().
|
private |
Definition at line 185 of file O3prmrInterpreter.h.
Referenced by addPath(), clearPaths(), getPaths(), import(), and interpretFile().
|
private |
Definition at line 184 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), ~O3prmrInterpreter(), import(), interpretFile(), and prm().
|
private |
Definition at line 192 of file O3prmrInterpreter.h.
Referenced by interpretFile(), interpretLine(), query(), and results().
|
private |
Definition at line 194 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), isInSyntaxMode(), and setSyntaxMode().
|
private |
Definition at line 195 of file O3prmrInterpreter.h.
Referenced by O3prmrInterpreter(), addError(), addWarning(), checkSemantic(), generateInfEngine(), import(), interpret(), isVerboseMode(), observe(), query(), setVerboseMode(), and unobserve().