?? namemapper.h
字號:
/*** *** See the file "L2_RTI_EO1/disclaimers-and-notices-L2.txt" for *** information on usage and redistribution of this file, *** and for a DISCLAIMER OF ALL WARRANTIES. ***/#ifndef NAMEMAPPER_H#define NAMEMAPPER_H 1/** * Maps indices of Command Variables, Observable Variables, and Enumerations * onto the print of the object that they index. * The hierarchy of Variable types is * Variable (class) * Assignable (class) * Assumption (class) * Dependent (class) * Transitioned (class) * [Premise] * [Command] * [Observation] */#include "debuggers/L2_string_map.h" // for class L2_string_map#include "debuggers/livingstone_debug.h" // for class Livingstone_debug#include "debuggers/tracker_debug.h" // for class Tracker_debug#include "mba_utils/MBA_string.h" // for class MBA_string#include "transition/T_system.h" // for class T_system#include "transition/tracker.h" // for class Trackerclass NameMapper { public: /** Constructor */ NameMapper(/* const */ T_system& ts, /* const */ Tracker_debug& trackerDebug, /* const */ L2_string_map& stringMap); NameMapper(/* const */ Livingstone_debug& livingstone); /** Default destructor */ ~NameMapper(); /* Error return strings */ static const MBA_string UNKNOWN_VARIABLE; static const MBA_string UNKNOWN_VARIABLE_VALUE; static const MBA_string UNKNOWN_COMMAND; static const MBA_string UNKNOWN_OBSERVABLE; static const MBA_string UNKNOWN_TRANSITIONED; static const MBA_string UNKNOWN_DOMAIN; /** Map Variable index onto print name */ const MBA_string getVariableValueName(const unsigned int variableIndex, const unsigned int valueIndex); const MBA_string getVariableName(const unsigned int variableIndex); /** Map command index onto print name */ const MBA_string getCommandName(const unsigned int commandIndex) /* const */; /** Map command index and value index onto value's print name */ const MBA_string getCommandValueName(const unsigned int commandIndex, const unsigned int valueIndex) /* const */; /** Map observable index onto print name */ const MBA_string getObservableName(const unsigned int observableIndex) /* const */; /** Map observable index and value index onto value's print name */ const MBA_string getObservableValueName(const unsigned int observableIndex, const unsigned int valueIndex) /* const */; /** Map transitioned index onto print name */ const MBA_string getTransitionedName(const unsigned int transitionedIndex) /* const */; /** Map transitioned index and value index onto value's print name */ const MBA_string getTransitionedValueName(const unsigned int transitionedIndex, const unsigned int valueIndex) /* const */; private: /* const */ Assignable* indexToCommand(const unsigned int commandIndex) /* const */; /* const */ Assignable* indexToObservable(const unsigned int ObservableIndex) /* const */; /* const */ Variable* myindexToVariable(const unsigned int variableIndex) /* const */; /* const */ Transitioned* indexToTransitioned(const unsigned int TransitionedIndex) /* const */; /** Remove the ".mode" suffix */ const MBA_string modeNameToComponentName(const MBA_string& modeName); /* const */ T_system& transitionSystem; /* const */ T_system& getTransitionSystem() const { return transitionSystem; } /* const */ Tracker_debug& trackerDebugger; /* const */ Tracker_debug& getTrackerDebugger() const { return trackerDebugger; } /* const */ L2_string_map& stringMap; /* const */ L2_string_map& getStringMap() const { return stringMap; }};#endif
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -