#include <mmo_model_checker.hpp>

Inheritance diagram for MicroModelica::IR::ModelChecker:

Collaboration diagram for MicroModelica::IR::ModelChecker:

Public Member Functions
	ModelChecker (string name)

	~ModelChecker ()

void	visit (AST_Class x)

void	leave (AST_Class x)

void	visit (AST_Composition x)

void	leave (AST_Composition x)

void	visit (AST_CompositionElement x)

void	leave (AST_CompositionElement x)

void	visit (AST_CompositionEqsAlgs x)

void	leave (AST_CompositionEqsAlgs x)

void	visit (AST_External_Function_Call)

void	visit (AST_Element x)

void	visit (AST_Modification x)

void	leave (AST_Modification x)

void	visit (AST_Comment x)

void	visit (AST_Equation x)

void	visit (AST_ForIndex x)

void	visit (AST_Equation_Else x)

void	visit (AST_Expression x)

void	visit (AST_Argument x)

void	visit (AST_Statement x)

void	leave (AST_Statement x)

void	visit (AST_Statement_Else x)

void	visit (AST_StoredDefinition x)

void	leave (AST_StoredDefinition x)

int	apply (AST_Node x)

Public Member Functions inherited from AST_Visitor
	~AST_Visitor ()=default

Private Member Functions
bool	_lValue (AST_Expression left)

bool	_whenStatement (AST_Expression cond)

Private Attributes
bool	_has_parent

std::string	_class_name

AST_ClassPrefix	_class_prefix

bool	_class_modification

bool	_else_when

Detailed Description

Definition at line 65 of file mmo_model_checker.hpp.

Constructor & Destructor Documentation

◆ ModelChecker()

MicroModelica::IR::ModelChecker::ModelChecker ( string name )

Definition at line 40 of file mmo_model_checker.cpp.

◆ ~ModelChecker()

MicroModelica::IR::ModelChecker::~ModelChecker ( )

Definition at line 44 of file mmo_model_checker.cpp.

Member Function Documentation

◆ _lValue()

bool MicroModelica::IR::ModelChecker::_lValue ( AST_Expression left )

private

Definition at line 254 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::add(), AST_ListFirst(), current_element, EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, EXPBINOP, EXPCOMPREF, EXPDERIVATIVE, EXPINTEGER, EXPOUTPUT, and MicroModelica::Util::Error::instance().

Referenced by visit().

Here is the call graph for this function:

◆ _whenStatement()

bool MicroModelica::IR::ModelChecker::_whenStatement ( AST_Expression cond )

private

Definition at line 386 of file mmo_model_checker.cpp.

References AST_ListFirst(), BINOPGREATER, BINOPGREATEREQ, BINOPLOWER, BINOPLOWEREQ, EXPBINOP, and EXPOUTPUT.

Referenced by visit().

Here is the call graph for this function:

◆ apply()

int MicroModelica::IR::ModelChecker::apply ( AST_Node x )

virtual

Implements AST_Visitor.

Definition at line 492 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::errors(), and MicroModelica::Util::Error::instance().

Referenced by main(), and parsePackages().

Here is the call graph for this function:

◆ leave() [1/7]

void MicroModelica::IR::ModelChecker::leave ( AST_Class x )

virtual

Implements AST_Visitor.

Definition at line 98 of file mmo_model_checker.cpp.

References _has_parent, and CP_MODEL.

◆ leave() [2/7]

void MicroModelica::IR::ModelChecker::leave ( AST_Composition x )

virtual

Implements AST_Visitor.

Definition at line 131 of file mmo_model_checker.cpp.

◆ leave() [3/7]

void MicroModelica::IR::ModelChecker::leave ( AST_CompositionElement x )

virtual

Implements AST_Visitor.

Definition at line 142 of file mmo_model_checker.cpp.

◆ leave() [4/7]

void MicroModelica::IR::ModelChecker::leave ( AST_CompositionEqsAlgs x )

virtual

Implements AST_Visitor.

Definition at line 153 of file mmo_model_checker.cpp.

◆ leave() [5/7]

void MicroModelica::IR::ModelChecker::leave ( AST_Modification x )

virtual

Implements AST_Visitor.

Definition at line 245 of file mmo_model_checker.cpp.

References _class_modification, and MODCLASS.

◆ leave() [6/7]

void MicroModelica::IR::ModelChecker::leave ( AST_Statement x )

virtual

Implements AST_Visitor.

Definition at line 462 of file mmo_model_checker.cpp.

References _else_when, and STWHEN.

◆ leave() [7/7]

void MicroModelica::IR::ModelChecker::leave ( AST_StoredDefinition x )

virtual

Implements AST_Visitor.

Definition at line 490 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::instance(), and MicroModelica::Util::Error::show().

Here is the call graph for this function:

◆ visit() [1/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Argument x )

virtual

Implements AST_Visitor.

Definition at line 368 of file mmo_model_checker.cpp.

References _class_modification, MicroModelica::Util::Error::add(), AR_MODIFICATION, AR_REDECLARATION, EM_AST, EM_DEFINITION_NOT_ALLOWED, MicroModelica::Util::ER_Error, MicroModelica::Util::Utils::instance(), and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

◆ visit() [2/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Class x )

virtual

Implements AST_Visitor.

Definition at line 46 of file mmo_model_checker.cpp.

References _class_prefix, _has_parent, MicroModelica::Util::Error::add(), CP_BLOCK, CP_CLASS, CP_CONNECTOR, CP_EXPANDABLE, CP_FUNCTION, CP_IMPURE, CP_MODEL, CP_OPERATOR, CP_PARTIAL, CP_PURE, CP_RECORD, CP_TYPE, EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, MicroModelica::Util::Error::instance(), and MicroModelica::Util::Error::setClassName().

Referenced by visit().

Here is the call graph for this function:

◆ visit() [3/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Comment x )

virtual

Implements AST_Visitor.

Definition at line 252 of file mmo_model_checker.cpp.

◆ visit() [4/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Composition x )

virtual

Implements AST_Visitor.

Definition at line 105 of file mmo_model_checker.cpp.

References _class_prefix, MicroModelica::Util::Error::add(), CP_FUNCTION, CP_IMPURE, CP_MODEL, CP_PACKAGE, CP_PURE, current_element, EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

◆ visit() [5/16]

void MicroModelica::IR::ModelChecker::visit ( AST_CompositionElement x )

virtual

Implements AST_Visitor.

Definition at line 133 of file mmo_model_checker.cpp.

References _class_prefix, MicroModelica::Util::Error::add(), CP_MODEL, EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

◆ visit() [6/16]

void MicroModelica::IR::ModelChecker::visit ( AST_CompositionEqsAlgs x )

virtual

Implements AST_Visitor.

Definition at line 144 of file mmo_model_checker.cpp.

References _class_prefix, _has_parent, MicroModelica::Util::Error::add(), CP_FUNCTION, CP_IMPURE, CP_PURE, EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

◆ visit() [7/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Element x )

virtual

Implements AST_Visitor.

Definition at line 162 of file mmo_model_checker.cpp.

References _class_prefix, MicroModelica::Util::Error::add(), COMPONENT, CP_FUNCTION, CP_IMPURE, CP_PACKAGE, CP_PURE, current_element, ELCLASS, EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, EXPNULL, EXTENDS, MicroModelica::Util::Utils::instance(), MicroModelica::Util::Error::instance(), MODCLASS, MODEQUAL, TP_CONSTANT, TP_PARAMETER, and visit().

Here is the call graph for this function:

◆ visit() [8/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Equation x )

virtual

Implements AST_Visitor.

Definition at line 297 of file mmo_model_checker.cpp.

References _lValue(), MicroModelica::Util::Error::add(), current_element, EM_AST, EM_CLASS_DEFINITION, EQCALL, EQCONNECT, EQEQUALITY, EQFOR, EQIF, MicroModelica::Util::ER_Error, MicroModelica::Util::Error::instance(), and visit().

Here is the call graph for this function:

◆ visit() [9/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Equation_Else x )

virtual

Implements AST_Visitor.

Definition at line 339 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::add(), EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

◆ visit() [10/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Expression x )

virtual

Implements AST_Visitor.

Definition at line 344 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::add(), EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, EXPCOMPREF, EXPELSEIF, EXPIF, MicroModelica::Util::Error::instance(), and visit().

Here is the call graph for this function:

◆ visit() [11/16]

void MicroModelica::IR::ModelChecker::visit ( AST_External_Function_Call x )

virtual

Implements AST_Visitor.

Definition at line 155 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::add(), EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, MicroModelica::Util::Utils::instance(), MicroModelica::Util::Error::instance(), and MicroModelica::Util::Utils::languageEspecification().

Here is the call graph for this function:

◆ visit() [12/16]

void MicroModelica::IR::ModelChecker::visit ( AST_ForIndex x )

virtual

Implements AST_Visitor.

Definition at line 328 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::add(), EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, EXPRANGE, and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

◆ visit() [13/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Modification x )

virtual

Implements AST_Visitor.

Definition at line 235 of file mmo_model_checker.cpp.

References _class_modification, MicroModelica::Util::Error::add(), EM_AST, EM_CLASS_DEFINITION, MicroModelica::Util::ER_Error, MicroModelica::Util::Error::instance(), MODASSIGN, and MODCLASS.

Here is the call graph for this function:

◆ visit() [14/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Statement x )

virtual

Implements AST_Visitor.

Definition at line 402 of file mmo_model_checker.cpp.

References _class_prefix, _else_when, _whenStatement(), MicroModelica::Util::Error::add(), CP_FUNCTION, CP_IMPURE, CP_PURE, current_element, EM_AST, EM_CLASS_DEFINITION, EM_DEFINITION_NOT_ALLOWED, MicroModelica::Util::ER_Error, MicroModelica::Util::Error::instance(), STBREAK, STFOR, STRETURN, STWHEN, STWHILE, and visit().

Here is the call graph for this function:

◆ visit() [15/16]

void MicroModelica::IR::ModelChecker::visit ( AST_Statement_Else x )

virtual

Implements AST_Visitor.

Definition at line 471 of file mmo_model_checker.cpp.

References _else_when, _whenStatement(), current_element, and visit().

Here is the call graph for this function:

◆ visit() [16/16]

void MicroModelica::IR::ModelChecker::visit ( AST_StoredDefinition x )

virtual

Implements AST_Visitor.

Definition at line 483 of file mmo_model_checker.cpp.

References MicroModelica::Util::Error::add(), EM_AST, EM_DEFINITION_NOT_ALLOWED, MicroModelica::Util::ER_Error, and MicroModelica::Util::Error::instance().

Here is the call graph for this function:

Member Data Documentation

◆ _class_modification

bool MicroModelica::IR::ModelChecker::_class_modification

private

Definition at line 117 of file mmo_model_checker.hpp.

Referenced by leave(), and visit().

◆ _class_name

std::string MicroModelica::IR::ModelChecker::_class_name

private

Definition at line 115 of file mmo_model_checker.hpp.

◆ _class_prefix

AST_ClassPrefix MicroModelica::IR::ModelChecker::_class_prefix

private

Definition at line 116 of file mmo_model_checker.hpp.

Referenced by visit().

◆ _else_when

bool MicroModelica::IR::ModelChecker::_else_when

private

Definition at line 118 of file mmo_model_checker.hpp.

Referenced by leave(), and visit().

◆ _has_parent

bool MicroModelica::IR::ModelChecker::_has_parent

private

Definition at line 114 of file mmo_model_checker.hpp.

Referenced by leave(), and visit().

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

ir/mmo_model_checker.hpp
ir/mmo_model_checker.cpp

Public Member Functions

Private Member Functions

Private Attributes

Detailed Description

Constructor & Destructor Documentation

◆ ModelChecker()

◆ ~ModelChecker()

Member Function Documentation

◆ _lValue()

◆ _whenStatement()

◆ apply()

◆ leave() [1/7]

◆ leave() [2/7]

◆ leave() [3/7]

◆ leave() [4/7]

◆ leave() [5/7]

◆ leave() [6/7]

◆ leave() [7/7]

◆ visit() [1/16]

◆ visit() [2/16]

◆ visit() [3/16]

◆ visit() [4/16]

◆ visit() [5/16]

◆ visit() [6/16]

◆ visit() [7/16]

◆ visit() [8/16]

◆ visit() [9/16]

◆ visit() [10/16]

◆ visit() [11/16]

◆ visit() [12/16]

◆ visit() [13/16]

◆ visit() [14/16]

◆ visit() [15/16]

◆ visit() [16/16]

Member Data Documentation

◆ _class_modification

◆ _class_name

◆ _class_prefix

◆ _else_when

◆ _has_parent