X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/bdfe4f8674f98efbf2d67ad854ef83a1d5f855ed..564a883b3d816d2c5d227f5311d248ef799b5190:/src/include/mc/datatypes.h diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h index 5c8e4d1007..401969f990 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,32 @@ #ifndef MC_DATATYPE_H #define MC_DATATYPE_H -#include "xbt/misc.h" -#include "xbt/swag.h" -#include "xbt/fifo.h" -SG_BEGIN_DECL() - -/******************************* Transitions **********************************/ +#include +#include -typedef struct s_mc_transition *mc_transition_t; +#ifdef _XBT_WIN32 +# include /* context relative declarations */ +#else +# include /* context relative declarations */ +#endif +#if HAVE_MC +#include +#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; + ucontext_t* context; 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 */