openETCS
case study for the European Train Control System developed for the authors dissertation
|
generator main class More...
#include <Main.h>
Public Member Functions | |
CMain (char **ppArguements=0, int iNumberArguments=0) throw () | |
general constructor | |
int | Execute () throw () |
executes the main functionality of the generator | |
virtual | ~CMain () throw () |
Private Member Functions | |
void | PrintUsage () throw () |
internal helper method |
Private Attributes | |
bool | m_bBuildConfig |
flag for genrating build config | |
bool | m_bContraintChecking |
flag for applying model checking | |
bool | m_bHelp |
flag for printing the usage | |
::std::string | m_BinaryName |
literal name of the binary | |
bool | m_bSource |
flag for genrating source | |
oETCS::GEN::CBuildGenerator | m_BuildGenerator |
build Generator | |
bool | m_bVMConfig |
flag for genrating build config | |
GOPPRR::CConstraintChecker | m_ConstraintChecker |
contraint checker object | |
::std::string | m_ContraintFile |
constraint file name | |
oETCS::GEN::CCPPGenerator | m_CppGenerator |
C++ Generator. | |
::std::stringstream | m_ErrorMessage |
error message stream | |
::DSM::CGOPPRRTransformer | m_Lexer |
lexer object | |
::std::string | m_OutputDirectory |
output directory for generate files | |
oETCS::GEN::CVMGenerator | m_VMGenerator |
VM geneator. | |
::std::string | m_XMLFile |
file name of the XML model file |
generator main class
Main class holding routines for command line binary. Typically invoked by main() function. Combines functionality of all generator, GOPPRR and DSM components.
oETCS::GEN::CMain::CMain | ( | char ** | ppArguements = 0 , |
int | iNumberArguments = 0 |
||
) | throw () |
general constructor
general constructor ' '
[in] | ppArguements | argument vector with char pointers |
[in] | iNumberArguments | number of arguments in vector |
Definition at line 40 of file GEN/Main.cpp.
|
virtual |
destructor
Definition at line 178 of file GEN/Main.cpp.
int oETCS::GEN::CMain::Execute | ( | ) | throw () |
executes the main functionality of the generator
Definition at line 189 of file GEN/Main.cpp.
References GOPPRR::CConstraintChecker::Check(), DSM::CGOPPRRTransformer::CreateSyntaxFromFile(), oETCS::GEN::CBuildGenerator::Generate(), oETCS::GEN::CVMGenerator::Generate(), oETCS::GEN::CCPPGenerator::Generate(), oETCS::GEN::CVMGenerator::GeneratePSM(), DSM::CGOPPRRTransformer::GetGOPRRTree(), DSM::CGOPPRRSyntaxTree::GetProject(), oETCS::GEN::CVMGenerator::HasPSM(), m_bBuildConfig, m_bContraintChecking, m_bHelp, m_bSource, m_BuildGenerator, m_bVMConfig, m_ConstraintChecker, m_CppGenerator, m_ErrorMessage, GOPPRR::CNonProperty::m_ID, m_Lexer, m_OutputDirectory, m_VMGenerator, m_XMLFile, and PrintUsage().
Referenced by main().
|
private |
internal helper method
Prints the usage of the command line arguments.
Definition at line 569 of file GEN/Main.cpp.
References m_BinaryName.
Referenced by Execute().
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |
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/.