-inline
-Type::Type()
-{
- this->type = 0;
- this->id = 0;
- this->byte_size = 0;
- this->element_count = 0;
- this->is_pointer_type = 0;
- this->type_id = 0;
- this->subtype = nullptr;
- this->full_type = nullptr;
-}
+/** A type in the model-checked program */
+class Type {
+public:
+ Type() = default;
+
+ /** The DWARF TAG of the type (e.g. DW_TAG_array_type) */
+ int type = 0;
+ unsigned id = 0; /* Offset in the section (in hexadecimal form) */
+ std::string name; /* Name of the type */
+ int byte_size = 0; /* Size in bytes */
+ int element_count = 0; /* Number of elements for array type */
+ unsigned type_id = 0; /* DW_AT_type id */
+ std::vector<Member> members; /* if DW_TAG_structure_type, DW_TAG_class_type, DW_TAG_union_type*/
+
+ simgrid::mc::Type* subtype = nullptr; // DW_AT_type
+ simgrid::mc::Type* full_type = nullptr; // The same (but more complete) type
+};