path_instance_mapper.h

Go to the documentation of this file.

#ifndef PATH_INSTANCE_MAPPER_H_INCLUDED_
#define PATH_INSTANCE_MAPPER_H_INCLUDED_

#include "instance_tree.h"

#include <string>
#include <vector>

class DynamicModule;

namespace risc {

class PathInstanceMapper {

public:

  PathInstanceMapper();

  void print_mapping();

  typedef std::pair<InstanceTree, int> PathWithID;

  std::vector<PathWithID> path_to_id_mapping_;

  int max_instances_;

  virtual bool perform_dynamic_analysis() = 0;

  virtual InstanceTree
  get_instance_tree(int id, std::list<InstanceTree> potential_instances);

  virtual int get_id(InstanceTree tree);

  virtual DynamicModule* get_dynamic_tree_root();

  virtual int* get_global_variable_address(std::string variable_name);

  virtual std::string get_global_variable_name(int *variable_address);
};

}; // end of namespace risc

#endif /* PATH_INSTANCE_MAPPER_H_INCLUDED_ */

/* ex: set softtabstop=2 tabstop=2 shiftwidth=2 expandtab: */