Commit c833bc08 authored by Johnny Jazeix's avatar Johnny Jazeix
Browse files

fix plugins compilation

parent 79b67e3d
...@@ -9,6 +9,7 @@ option(VITE_PLUGINS_TRACEINFOS ...@@ -9,6 +9,7 @@ option(VITE_PLUGINS_TRACEINFOS
"Enable the TraceInfos plugin." OFF) "Enable the TraceInfos plugin." OFF)
include_directories(${CMAKE_SOURCE_DIR}/src) include_directories(${CMAKE_SOURCE_DIR}/src)
include_directories(${CMAKE_BINARY_DIR}/src/common)
if( VITE_PLUGINS_DISTRIBUTIONS ) if( VITE_PLUGINS_DISTRIBUTIONS )
add_subdirectory(Distribution) add_subdirectory(Distribution)
......
...@@ -143,7 +143,7 @@ private: ...@@ -143,7 +143,7 @@ private:
if (st) if (st)
{ {
const std::string name = st->get_value()->get_name().to_string(); const std::string name = st->get_value()->get_name();
/* does the name appear in the set of selected names ? */ /* does the name appear in the set of selected names ? */
std::set<std::string>::const_iterator it = selected_state_types_names.find(name); std::set<std::string>::const_iterator it = selected_state_types_names.find(name);
...@@ -267,14 +267,14 @@ private: ...@@ -267,14 +267,14 @@ private:
const State *left_st = node->get_element()->get_left_state(); const State *left_st = node->get_element()->get_left_state();
if (left_st) if (left_st)
{ {
const std::string name = left_st->get_value()->get_name().to_string(); const std::string name = left_st->get_value()->get_name();
name_set.insert(name); name_set.insert(name);
} }
const State *right_st = node->get_element()->get_right_state(); const State *right_st = node->get_element()->get_right_state();
if (right_st) if (right_st)
{ {
const std::string name = right_st->get_value()->get_name().to_string(); const std::string name = right_st->get_value()->get_name();
name_set.insert(name); name_set.insert(name);
} }
......
...@@ -61,13 +61,13 @@ void Trace_infos::get_states_name_rec(Node<StateChange> *parent, set<string> &st ...@@ -61,13 +61,13 @@ void Trace_infos::get_states_name_rec(Node<StateChange> *parent, set<string> &st
const State *left_state = top_state->get_left_state(); const State *left_state = top_state->get_left_state();
const State *right_state = top_state->get_right_state(); const State *right_state = top_state->get_right_state();
if(left_state && left_state->get_value()) { if(left_state && left_state->get_value()) {
state_list.insert(left_state->get_value()->get_name().to_string()); state_list.insert(left_state->get_value()->get_name());
//cout << left_state->get_value()->get_name().to_string() << endl; //cout << left_state->get_value()->get_name() << endl;
get_states_name_rec(parent->get_left_child(), state_list); get_states_name_rec(parent->get_left_child(), state_list);
} }
if(right_state && right_state->get_value()) { if(right_state && right_state->get_value()) {
state_list.insert(right_state->get_value()->get_name().to_string()); state_list.insert(right_state->get_value()->get_name());
//cout << right_state->get_value()->get_name().to_string() << endl; //cout << right_state->get_value()->get_name() << endl;
get_states_name_rec(parent->get_right_child(), state_list); get_states_name_rec(parent->get_right_child(), state_list);
} }
} }
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment