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