GOPPRR::CConstraintChecker Class Reference

OCL constraint checker for a GOPPRR model/project. More...

#include <ConstraintChecker.h>

Collaboration diagram for GOPPRR::CConstraintChecker:

Public Member Functions
bool	Check (GOPPRR::CProject *const pProject, const ::std::string &OCLConstraints,::std::ostream *const pOutStream=0) const throw (::GOPPRR::Error::CException)
	checks a GOPPRR project for constraints
virtual	~CConstraintChecker () throw ()
	destructor

Detailed Description

OCL constraint checker for a GOPPRR model/project.

Definition at line 51 of file ConstraintChecker.h.

Constructor & Destructor Documentation

GOPPRR::CConstraintChecker::~CConstraintChecker ( ) throw ()

virtual

destructor

Definition at line 33 of file ConstraintChecker.cpp.

Member Function Documentation

bool GOPPRR::CConstraintChecker::Check	(	GOPPRR::CProject *const	pProject,
		const ::std::string &	OCLConstraints,
		::std::ostream *const	pOutStream = 0
	)		const throw (::GOPPRR::Error::CException)

checks a GOPPRR project for constraints

Check a GOPPRR::CProject instance for constraint statements defined in OCL

Parameters

[in]	pProject	pointer to the project instance to be checked
[in]	OCLConstraints	OCL constraint statements
[in]	pOutStream	optional pointer to an outstream object for violation information

Returns

true, if all constraints were met

Definition at line 44 of file ConstraintChecker.cpp.

References GOPPRR::CProject::m_GraphSet.

Referenced by oETCS::GEN::CMain::Execute(), and oETCS::UT::CGOPPRRTransformer::TestStaticSemantics().

Here is the caller graph for this function:

---

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

• ConstraintChecker.h
• ConstraintChecker.cpp