|
openETCS
case study for the European Train Control System developed for the authors dissertation
|
#include <cppunit/extensions/HelperMacros.h>#include "GeneratedAsserts/openETCS_Case_Study.h"#include <exception>#include <TestFixture.h>#include <TestCaller.h>#include "../DF/EVCStateMachine.h"#include "../DF/Language.h"#include "../DF/PlatformSpecificClientsMOC.h"#include <map>#include <string>
Go to the source code of this file.
Classes | |
| class | oETCS::UT::CControlFlow |
| test class for ::oETCS::DF::CControFlow and oETCS::DF::CControlFlow::CState More... | |
| class | oETCS::UT::CEVCStateMachine |
| test class for ::oETCS::DF::CStateMachine and ::oETCS::DF::CStateMachine::CEVCState More... | |
| class | oETCS::UT::CFunctionBlock |
| test class for ::oETS:DF::CFunctionBlock More... | |
| class | oETCS::UT::CGenerator |
| test class for oETCS::GEN::CGenerator sub-classes More... | |
| class | oETCS::UT::CGOPPRRTransformer |
| test class for DSM::CGOPPRRTransformer More... | |
| class | oETCS::UT::CLanguage |
| test class for oETCS::DF::CTelegram, oETCS::DF::CPacket and oETCS::DF::CVariable, More... | |
Namespaces | |
| namespace | DSM |
| module for all exception classes | |
| namespace | GOPPRR |
| constraint checker file | |
| namespace | oETCS |
| GOPPRR XML to syntax tree transformer. | |
| namespace | oETCS::DF |
| namespace | oETCS::GEN |
| namespace | oETCS::UT |
Copyright (C) 2010-2012 Johannes Feuser (feuser@uni-bremen.de)
The openETCS library is free software: you can redistribute it
and/or modify it under the terms of the GNU General Public License
as published by the Free Software Foundation, either version 3 of
the License, or any later version.
The openETCS library is distributed in the hope that it will be
useful, but WITHOUT ANY WARRANTY; without even the implied warranty
of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
General Public License for more details.
You should have received a copy of the GNU General Public License
along with the openETCS library. If not, see
"http://www.gnu.org/licenses/.