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/.