+void VariableType::instr_event(double now, double delta, const char* resource, double value)
+{
+ /* To trace resource utilization, we use AddEvent and SubEvent only. This implies to add a SetEvent first to set the
+ * initial value of all variables for subsequent adds/subs. If we don't do so, the first AddEvent would be added to a
+ * non-determined value, hence causing analysis problems.
+ */
+
+ // create a key considering the resource and variable
+ std::string key = std::string(resource) + get_name();
+
+ // check if key exists: if it doesn't, set the variable to zero and mark this in the global map.
+ if (platform_variables.find(key) == platform_variables.end()) {
+ set_event(now, 0);
+ platform_variables.insert(key);
+ }
+
+ add_event(now, value);
+ sub_event(now + delta, value);
+}
+
+void VariableType::set_event(double timestamp, double value)