+ bool privatized(ObjectInformation const& info) const
+ {
+ return privatized_ && info.executable();
+ }
+ bool privatized() const
+ {
+ return privatized_;
+ }
+ void privatized(bool privatized) { privatized_ = privatized; }
+
+ void ignore_global_variable(const char* name)
+ {
+ for (std::shared_ptr<simgrid::mc::ObjectInformation> const& info :
+ this->object_infos)
+ info->remove_global_variable(name);
+ }
+
+ std::vector<s_stack_region_t>& stack_areas()
+ {
+ return stack_areas_;
+ }
+ std::vector<s_stack_region_t> const& stack_areas() const
+ {
+ return stack_areas_;
+ }
+
+ std::vector<IgnoredHeapRegion> const& ignored_heap() const
+ {
+ return ignored_heap_;
+ }
+ void ignore_heap(IgnoredHeapRegion const& region);
+ void unignore_heap(void *address, size_t size);
+
+ void ignore_local_variable(const char *var_name, const char *frame_name);
+ int socket() { return socket_; }
+ simgrid::xbt::DynarRange<s_mc_smx_process_info> simix_processes();
+