From c97f1a13223584e3b45abe570a840c30df38c6e9 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Tue, 21 Jul 2015 13:11:56 +0200 Subject: [PATCH 1/1] [mc] Add comments on ObjectInformation --- src/mc/mc_object_info.h | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) diff --git a/src/mc/mc_object_info.h b/src/mc/mc_object_info.h index 5e431eca31..b175daf92c 100644 --- a/src/mc/mc_object_info.h +++ b/src/mc/mc_object_info.h @@ -140,9 +140,28 @@ struct FunctionIndexEntry { mc_frame_t function; }; +/** Information about an (ELF) executable/sharedobject + * + * This contain sall the information we have at runtime about an + * executable/shared object in the target (modelchecked) process: + * - where it is located in the virtual address space; + * - where are located it's different memory mapping in the the + * virtual address space ; + * - all the debugging (DWARF) information, + * - location of the functions, + * - types + * - etc. + * + * It is not copyable because we are taking pointers to Types/Frames. + * We'd have to update/rebuild some data structures in order to copy + * successfully. + */ + class ObjectInformation { public: ObjectInformation(); + + // Not copyable: ObjectInformation(ObjectInformation const&) = delete; ObjectInformation& operator=(ObjectInformation const&) = delete; -- 2.20.1