openETCS
case study for the European Train Control System developed for the authors dissertation
|
#include "UnitTesting.h"
#include "../DF/FunctionBlocks.h"
#include "../DF/Condition.h"
#include "../DF/Storage.h"
#include "../DF/ControlFlow.h"
#include "../../DSM/GOPPRRTransformer.h"
#include "../../GOPPRR/ConstraintChecker.h"
#include "../GEN/CPPGenerator.h"
Go to the source code of this file.
Namespaces | |
namespace | oETCS |
GOPPRR XML to syntax tree transformer. | |
namespace | oETCS::UT |
CPPUNIT_TEST_SUITE_REGISTRATION | ( | ::oETCS::UT::CFunctionBlock | ) |
unit testing module
CPPUNIT_TEST_SUITE_REGISTRATION | ( | ::oETCS::UT::CLanguage | ) |
CPPUNIT_TEST_SUITE_REGISTRATION | ( | ::oETCS::UT::CEVCStateMachine | ) |
CPPUNIT_TEST_SUITE_REGISTRATION | ( | ::oETCS::UT::CControlFlow | ) |
CPPUNIT_TEST_SUITE_REGISTRATION | ( | ::oETCS::UT::CGOPPRRTransformer | ) |
CPPUNIT_TEST_SUITE_REGISTRATION | ( | ::oETCS::UT::CGenerator | ) |
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/.