Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into clean_events
authorToufik Boubehziz <boubehtoufik@hotmail.fr>
Wed, 14 Jun 2017 07:17:16 +0000 (09:17 +0200)
committerGitHub <noreply@github.com>
Wed, 14 Jun 2017 07:17:16 +0000 (09:17 +0200)
1  2 
src/instr/instr_paje_trace.cpp
src/instr/instr_paje_types.cpp
src/instr/instr_private.h

Simple merge
Simple merge
@@@ -123,11 -123,38 +123,27 @@@ class PajeEvent 
    virtual ~PajeEvent();
  };
  
 -class DefineContainerEvent : public PajeEvent
 -{
 -  public:
 -  type_t type;
 -  void print() override;
 -  DefineContainerEvent(type_t);
 -};
 -
 -//--------------------------------------------------
 -
 -
  //--------------------------------------------------
  
+ class DefineVariableTypeEvent : public PajeEvent
+ {
+   public:
+   type_t type;
+    DefineVariableTypeEvent(type_t type);
+    void print() override;
+ };
+ //--------------------------------------------------
+ class DefineStateTypeEvent : public PajeEvent  {
+   type_t type;
+   public:
+   DefineStateTypeEvent(type_t type);
+   void print() override;
+ };
  class DefineEventTypeEvent : public PajeEvent  {
    type_t type;
-   public: 
+   public:
    DefineEventTypeEvent(type_t type);
    void print() override;
  };