openETCS
case study for the European Train Control System developed for the authors dissertation
Public Member Functions | Private Member Functions | Private Attributes | List of all members
oETCS::GEN::CMain Class Reference

generator main class More...

#include <Main.h>

Collaboration diagram for oETCS::GEN::CMain:
Collaboration graph

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

Detailed Description

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.

Definition at line 57 of file Main.h.

Constructor & Destructor Documentation

oETCS::GEN::CMain::CMain ( char **  ppArguements = 0,
int  iNumberArguments = 0 
) throw ()

general constructor

general constructor ' '

Parameters
[in]ppArguementsargument vector with char pointers
[in]iNumberArgumentsnumber of arguments in vector

Definition at line 40 of file GEN/Main.cpp.

oETCS::GEN::CMain::~CMain ( ) throw ()
virtual

destructor

Definition at line 178 of file GEN/Main.cpp.

Member Function Documentation

int oETCS::GEN::CMain::Execute ( ) throw ()
void oETCS::GEN::CMain::PrintUsage ( ) throw ()
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().

Here is the caller graph for this function:

Member Data Documentation

bool oETCS::GEN::CMain::m_bBuildConfig
private

flag for genrating build config

Definition at line 118 of file Main.h.

Referenced by Execute().

bool oETCS::GEN::CMain::m_bContraintChecking
private

flag for applying model checking

Definition at line 132 of file Main.h.

Referenced by Execute().

bool oETCS::GEN::CMain::m_bHelp
private

flag for printing the usage

Definition at line 104 of file Main.h.

Referenced by Execute().

::std::string oETCS::GEN::CMain::m_BinaryName
private

literal name of the binary

Definition at line 139 of file Main.h.

Referenced by PrintUsage().

bool oETCS::GEN::CMain::m_bSource
private

flag for genrating source

Definition at line 111 of file Main.h.

Referenced by Execute().

oETCS::GEN::CBuildGenerator oETCS::GEN::CMain::m_BuildGenerator
private

build Generator

Build generator object.

Definition at line 196 of file Main.h.

Referenced by Execute().

bool oETCS::GEN::CMain::m_bVMConfig
private

flag for genrating build config

Definition at line 125 of file Main.h.

Referenced by Execute().

GOPPRR::CConstraintChecker oETCS::GEN::CMain::m_ConstraintChecker
private

contraint checker object

Definition at line 203 of file Main.h.

Referenced by Execute().

::std::string oETCS::GEN::CMain::m_ContraintFile
private

constraint file name

Definition at line 153 of file Main.h.

oETCS::GEN::CCPPGenerator oETCS::GEN::CMain::m_CppGenerator
private

C++ Generator.

C++ generator object.

Definition at line 178 of file Main.h.

Referenced by Execute().

::std::stringstream oETCS::GEN::CMain::m_ErrorMessage
private

error message stream

Definition at line 210 of file Main.h.

Referenced by Execute().

::DSM::CGOPPRRTransformer oETCS::GEN::CMain::m_Lexer
private

lexer object

Lexer object for creating syntax trees.

Definition at line 169 of file Main.h.

Referenced by Execute().

::std::string oETCS::GEN::CMain::m_OutputDirectory
private

output directory for generate files

Definition at line 160 of file Main.h.

Referenced by Execute().

oETCS::GEN::CVMGenerator oETCS::GEN::CMain::m_VMGenerator
private

VM geneator.

Generator object for configuration files of virtual machines.

Definition at line 187 of file Main.h.

Referenced by Execute().

::std::string oETCS::GEN::CMain::m_XMLFile
private

file name of the XML model file

Definition at line 146 of file Main.h.

Referenced by Execute().


The documentation for this class was generated from the following files:

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