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 Tracker

class 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