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