updated copyright message

[modules/shaper.git] / src / Model / Model_Session.h

diff --git a/src/Model/Model_Session.h b/src/Model/Model_Session.h
index fedd75ef54b54336f5fcdc69e466de52a03cba7b..c74f9528632a2a71d89f53a254f25c06a2730906 100644 (file)
--- a/src/Model/Model_Session.h
+++ b/src/Model/Model_Session.h
@@ -1,4 +1,4 @@
-// Copyright (C) 2014-2019  CEA/DEN, EDF R&D
+// Copyright (C) 2014-2023  CEA, EDF
 //
 // This library is free software; you can redistribute it and/or
 // modify it under the terms of the GNU Lesser General Public
@@ -27,6 +27,10 @@
 #include <Events_Listener.h>
 #include <map>
 
+#ifdef TINSPECTOR
+#include <TDocStd_Application.hxx>
+#endif
+
 class Model_Document;
 
 /**\class Model_Session
@@ -95,6 +99,8 @@ class Model_Session : public ModelAPI_Session, public Events_Listener
   MODEL_EXPORT virtual std::list<std::string> undoList();
   //! Returns stack of rolled back operations
   MODEL_EXPORT virtual std::list<std::string> redoList();
+  //! Clears undo and redo lists of all documents in the session
+  MODEL_EXPORT virtual void clearUndoRedo();
 
   /// Returns the root document of the application (that may contains sub-documents)
   MODEL_EXPORT virtual std::shared_ptr<ModelAPI_Document> moduleDocument();
@@ -123,6 +129,9 @@ class Model_Session : public ModelAPI_Session, public Events_Listener
   /// the plugin manager on call of the feature)
   MODEL_EXPORT virtual void registerPlugin(ModelAPI_Plugin* thePlugin);
 
+  /// Verifies the license for the plugin is valid
+  MODEL_EXPORT virtual bool checkLicense(const std::string& thePluginName);
+
   /// Processes the configuration file reading
   MODEL_EXPORT virtual void processEvent(const std::shared_ptr<Events_Message>& theMessage);
 
@@ -155,6 +164,10 @@ class Model_Session : public ModelAPI_Session, public Events_Listener
   /// Set state of the auto-update of features result in the application
   MODEL_EXPORT virtual void blockAutoUpdate(const bool theBlock);
 
+#ifdef TINSPECTOR
+  MODEL_EXPORT virtual Handle(TDocStd_Application) application();
+#endif
+
  protected:
   /// Loads (if not done yet) the information about the features and plugins
   void LoadPluginsInfo();