1 /* Copyright (c) 2007-2015. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #ifndef SIMGRID_MC_FRAME_HPP
8 #define SIMGRID_MC_FRAME_HPP
13 #include <xbt/range.hpp>
15 #include "src/mc/mc_forward.h"
16 #include "src/mc/LocationList.hpp"
17 #include "src/mc/Variable.hpp"
18 #include "src/mc/Frame.hpp"
23 /** Debug information about a given function or scope within a function */
30 /** Range of instruction addresses for which this scope is valid */
31 simgrid::xbt::range<std::uint64_t> range;
32 simgrid::dwarf::LocationList frame_base_location;
33 std::vector<Variable> variables;
34 unsigned long int id; /* DWARF offset of the subprogram */
35 std::vector<Frame> scopes;
36 unsigned long int abstract_origin_id;
37 simgrid::mc::ObjectInformation* object_info;
39 void* frame_base(unw_cursor_t& unw_cursor) const;
40 void remove_variable(char* name);
49 this->abstract_origin_id = 0;
50 this->object_info = nullptr;