X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8be7ea3f9e71cd563e91b6aba63f5c70f043fbd5..c0b8222b84f1084085608ef4d3da724f7f3710e8:/src/include/mc/datatypes.h diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h index 5c8e4d1007..403a264a9a 100644 --- a/src/include/mc/datatypes.h +++ b/src/include/mc/datatypes.h @@ -1,4 +1,4 @@ -/* Copyright (c) 2008-2013. The SimGrid Team. +/* Copyright (c) 2008-2015. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -6,65 +6,28 @@ #ifndef MC_DATATYPE_H #define MC_DATATYPE_H -#include "xbt/misc.h" -#include "xbt/swag.h" -#include "xbt/fifo.h" -SG_BEGIN_DECL() - -/******************************* Transitions **********************************/ - -typedef struct s_mc_transition *mc_transition_t; +#include +#include +#if HAVE_UCONTEXT_H +#include /* context relative declarations */ +#endif -/*********** Structures for snapshot comparison **************************/ +SG_BEGIN_DECL() -typedef struct s_mc_heap_ignore_region{ - int block; - int fragment; - void *address; - size_t size; -}s_mc_heap_ignore_region_t, *mc_heap_ignore_region_t; +typedef struct s_mc_transition *mc_transition_t; typedef struct s_stack_region{ void *address; - char *process_name; - void *context; +#if HAVE_UCONTEXT_H + ucontext_t* context; +#endif size_t size; int block; + int process_index; }s_stack_region_t, *stack_region_t; -void heap_ignore_region_free(mc_heap_ignore_region_t r); -void heap_ignore_region_free_voidp(void *r); - -/************ DWARF structures *************/ - -typedef enum{ - e_dw_base_type = 0, - e_dw_enumeration_type, - e_dw_enumerator, - e_dw_typedef, - e_dw_const_type, - e_dw_array_type, - e_dw_pointer_type, - e_dw_structure_type, - e_dw_union_type, - e_dw_subroutine_type, - e_dw_volatile_type -}e_dw_type_type; - -typedef struct s_dw_type{ - e_dw_type_type type; - void *id; - char *name; - int size; - char *dw_type_id; - xbt_dynar_t members; /* if DW_TAG_structure_type */ - int is_pointer_type; - int offset; -}s_dw_type_t, *dw_type_t; - -char* get_type_description(xbt_dict_t types, char *type_name); - SG_END_DECL() + #endif /* _MC_MC_H */