diag_generator.h File Reference
Structure of diagnosers and methods to handle them.
More...
#include "corefaudes.h"
#include "diag_attrdiagstate.h"
#include "diag_attrfailuretypes.h"
#include "diag_attrfailureevents.h"
#include "diag_debug.h"
Go to the source code of this file.
Classes |
class | faudes::TdiagGenerator< GlobalAttr, StateAttr, EventAttr, TransAttr > |
| Provides the structure and methods to build and handle diagnosers. More...
|
Namespaces |
namespace | faudes |
| libFAUDES resides within the namespace faudes.
|
Defines |
#define | THIS TdiagGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
| Compatibility: pre 2.20b used diagGenerator as C++ class name.
|
#define | BASE TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define | TEMP template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
Typedefs |
typedef TdiagGenerator
< AttributeFailureTypeMap,
AttributeDiagnoserState,
AttributeCFlags, AttributeVoid > | faudes::Diagnoser |
Detailed Description
Structure of diagnosers and methods to handle them.
Definition in file diag_generator.h.
Define Documentation
#define BASE TcGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
#define TEMP template<class GlobalAttr, class StateAttr, class EventAttr, class TransAttr> |
#define THIS TdiagGenerator<GlobalAttr, StateAttr, EventAttr, TransAttr> |
Compatibility: pre 2.20b used diagGenerator as C++ class name.
Definition at line 227 of file diag_generator.h.