#include <static_path_instance_mapper.h>


Public Types | |
| typedef std::pair < InstanceTree, int > | PathWithID |
Public Member Functions | |
| StaticPathInstanceMapper (InstanceTree root) | |
| void | determine_lookup_table (InstanceTree root) |
| virtual int | get_id (InstanceTree tree) |
| InstanceTree | get_instance_tree (int id, std::list< InstanceTree > potential_instances) |
| virtual bool | perform_dynamic_analysis () |
| This functions returns true if the path instance mapper should perform a dynamic analysis. | |
| void | print_mapping () |
| The function prints the lookup table in the terminal. | |
| virtual DynamicModule * | get_dynamic_tree_root () |
| This function returns the root node of the dynamic analysis CAUTION: This function is only for the DynamicPathInstanceMapper. | |
| virtual int * | get_global_variable_address (std::string variable_name) |
| virtual std::string | get_global_variable_name (int *variable_address) |
Public Attributes | |
| std::vector< PathWithID > | path_to_id_mapping_ |
| This is the lookup table from path to instance id. | |
| int | max_instances_ |
| This variable counts what is the max of instances. | |
typedef std::pair<InstanceTree, int> risc::PathInstanceMapper::PathWithID [inherited] |
| risc::StaticPathInstanceMapper::StaticPathInstanceMapper | ( | InstanceTree | root | ) |
| void risc::StaticPathInstanceMapper::determine_lookup_table | ( | InstanceTree | root | ) |
| risc::PathInstanceMapper::get_dynamic_tree_root | ( | ) | [virtual, inherited] |
This function returns the root node of the dynamic analysis CAUTION: This function is only for the DynamicPathInstanceMapper.
Reimplemented in risc::DynamicPathInstanceMapper.
| int * risc::PathInstanceMapper::get_global_variable_address | ( | std::string | variable_name | ) | [virtual, inherited] |
Reimplemented in risc::DynamicPathInstanceMapper.
| std::string risc::PathInstanceMapper::get_global_variable_name | ( | int * | variable_address | ) | [virtual, inherited] |
Reimplemented in risc::DynamicPathInstanceMapper.
| int risc::StaticPathInstanceMapper::get_id | ( | InstanceTree | tree | ) | [virtual] |
Reimplemented from risc::PathInstanceMapper.
| risc::InstanceTree risc::StaticPathInstanceMapper::get_instance_tree | ( | int | id, | |
| std::list< InstanceTree > | potential_instances | |||
| ) | [virtual] |
Reimplemented from risc::PathInstanceMapper.
| risc::StaticPathInstanceMapper::perform_dynamic_analysis | ( | ) | [virtual] |
This functions returns true if the path instance mapper should perform a dynamic analysis.
Implements risc::PathInstanceMapper.
| risc::PathInstanceMapper::print_mapping | ( | ) | [inherited] |
The function prints the lookup table in the terminal.
int risc::PathInstanceMapper::max_instances_ [inherited] |
This variable counts what is the max of instances.
std::vector<PathWithID> risc::PathInstanceMapper::path_to_id_mapping_ [inherited] |
This is the lookup table from path to instance id.
1.6.1