2.17. Improved management of overconstraint situation: Processing added arguments...

[modules/shaper.git] / src / PartSet / PartSet_OverconstraintListener.cpp

diff --git a/src/PartSet/PartSet_OverconstraintListener.cpp b/src/PartSet/PartSet_OverconstraintListener.cpp
index 5e6aefc74cb164f4282d7fc447846c12ed79db79..721c2d54ade20edebf7918ab7b94fbdf3c147711 100755 (executable)
--- a/src/PartSet/PartSet_OverconstraintListener.cpp
+++ b/src/PartSet/PartSet_OverconstraintListener.cpp
@@ -21,7 +21,7 @@
 
 #include <QString>
 
-//#define DEBUG_FEATURE_OVERCONSTRAINT_LISTENER
+#define DEBUG_FEATURE_OVERCONSTRAINT_LISTENER
 
 PartSet_OverconstraintListener::PartSet_OverconstraintListener(ModuleBase_IWorkshop* theWorkshop)
 : myWorkshop(theWorkshop)
@@ -40,7 +40,6 @@ void PartSet_OverconstraintListener::getConflictingColor(std::vector<int>& theCo
 {
   Quantity_Color aColor = ModuleBase_Tools::color("Visualization", "sketch_overconstraint_color",
                                                   SKETCH_OVERCONSTRAINT_COLOR);
-
   theColor.push_back(aColor.Red()*255.);
   theColor.push_back(aColor.Green()*255.);
   theColor.push_back(aColor.Blue()*255.);
@@ -49,70 +48,96 @@ void PartSet_OverconstraintListener::getConflictingColor(std::vector<int>& theCo
 void PartSet_OverconstraintListener::processEvent(
                                                  const std::shared_ptr<Events_Message>& theMessage)
 {
-
 #ifdef DEBUG_FEATURE_OVERCONSTRAINT_LISTENER
   bool isRepaired = theMessage->eventID() == Events_Loop::eventByName(EVENT_SOLVER_REPAIRED);
-  qDebug(QString("PartSet_OverconstraintListener::processEvent:\n %1").arg(isRepaired ? "REPAIRED" : "FAILED").toStdString().c_str());
+  int aCount = 0;
+
+  std::shared_ptr<ModelAPI_SolverFailedMessage> anErrorMsg =
+                  std::dynamic_pointer_cast<ModelAPI_SolverFailedMessage>(theMessage);
+  QString anInfoStr;
+  if (anErrorMsg.get()) {
+    const std::set<ObjectPtr>& aConflictingObjects = anErrorMsg->objects();
+    aCount = aConflictingObjects.size();
+    anInfoStr = getObjectsInfo(aConflictingObjects);
+  }
+
+  QString aCurrentInfoStr = getObjectsInfo(myConflictingObjects);
+
+  qDebug(QString("PartSet_OverconstraintListener::processEvent: %1,\nobjects count = %2:%3\ncurrent objects count = %4:%5")
+                .arg(isRepaired ? "REPAIRED" : "FAILED")
+                .arg(aCount).arg(anInfoStr).arg(myConflictingObjects.size()).arg(aCurrentInfoStr).toStdString().c_str());
 #endif
 
-  if (theMessage->eventID() == Events_Loop::eventByName(EVENT_SOLVER_FAILED) ||
-             theMessage->eventID() == Events_Loop::eventByName(EVENT_SOLVER_REPAIRED)) {
+  if (theMessage->eventID() == Events_Loop::eventByName(EVENT_SOLVER_FAILED)) {
     std::shared_ptr<ModelAPI_SolverFailedMessage> anErrorMsg =
                    std::dynamic_pointer_cast<ModelAPI_SolverFailedMessage>(theMessage);
     bool anUpdated = false;
     if (anErrorMsg.get()) {
       const std::set<ObjectPtr>& aConflictingObjects = anErrorMsg->objects();
-      anUpdated = updateConflictingObjects(aConflictingObjects);
+      anUpdated = appendConflictingObjects(aConflictingObjects);
+    }
+    else {
+      // there is a crash in the solver. All objects are invalid
+      //anUpdated = appendConflictingObjects(std::set<ObjectPtr>());
+    }
+  }
+   if (theMessage->eventID() == Events_Loop::eventByName(EVENT_SOLVER_REPAIRED)) {
+    std::shared_ptr<ModelAPI_SolverFailedMessage> anErrorMsg =
+                   std::dynamic_pointer_cast<ModelAPI_SolverFailedMessage>(theMessage);
+    bool anUpdated = false;
+    if (anErrorMsg.get()) {
+      const std::set<ObjectPtr>& aConflictingObjects = anErrorMsg->objects();
+      anUpdated = repairConflictingObjects(aConflictingObjects);
+    }
+    else {
+      // there is no repaired objects, do nothing
     }
-    else
-      anUpdated = updateConflictingObjects(std::set<ObjectPtr>());
   }
-}
-
-bool PartSet_OverconstraintListener::updateConflictingObjects(
-                                                  const std::set<ObjectPtr>& theConflictingObjects)
-{
-  std::set<ObjectPtr>::const_iterator anIt, aLast;
 
 #ifdef DEBUG_FEATURE_OVERCONSTRAINT_LISTENER
-  anIt = theConflictingObjects.begin();
-  aLast = theConflictingObjects.end();
-
-  QStringList anInfo;
-  for (; anIt != aLast; ++anIt) {
-    anInfo.append(ModuleBase_Tools::objectInfo((*anIt)));
-  }
-  QString anInfoStr = anInfo.join(";\n");
-  qDebug(QString("PartSet_OverconstraintListener::updateConflictingObjects: %1: \n%2").arg(theConflictingObjects.size())
-                                                                                    .arg(anInfoStr).toStdString().c_str());
+  aCurrentInfoStr = getObjectsInfo(myConflictingObjects);
+  qDebug(QString("RESULT: current objects count = %1:%2\n")
+                .arg(myConflictingObjects.size()).arg(aCurrentInfoStr).toStdString().c_str());
 #endif
+}
 
-  bool isUpdated = false;
+bool PartSet_OverconstraintListener::appendConflictingObjects(
+                                                  const std::set<ObjectPtr>& theConflictingObjects)
+{
   std::set<ObjectPtr> aModifiedObjects;
-  // erase error state of absent current objects in the parameter list
-  for (anIt = myConflictingObjects.begin(), aLast = myConflictingObjects.end() ; anIt != aLast; anIt++) {
+  // set error state for new objects and append them in the internal map of objects
+  std::set<ObjectPtr>::const_iterator anIt = theConflictingObjects.begin(), aLast = theConflictingObjects.end();
+  for (; anIt != aLast; anIt++) {
     ObjectPtr anObject = *anIt;
-    if (theConflictingObjects.find(anObject) == theConflictingObjects.end()) { // it is not found
-      setConflictingObject(anObject, false);
+    if (myConflictingObjects.find(anObject) == myConflictingObjects.end()) { // it is not found
+      setConflictingObject(anObject, true);
       aModifiedObjects.insert(anObject);
+      myConflictingObjects.insert(anObject);
     }
   }
+  bool isUpdated = !aModifiedObjects.empty();
+  if (isUpdated)
+    redisplayObjects(aModifiedObjects);
 
-  // erase absent objects from the internal container
-  for (anIt = aModifiedObjects.begin(), aLast = aModifiedObjects.end(); anIt != aLast; anIt++) {
-    myConflictingObjects.erase(*anIt);
-  }
+  return isUpdated;
+}
 
-  // set error state for new objects and append them in the internal map of objects
+bool PartSet_OverconstraintListener::repairConflictingObjects(
+                                                  const std::set<ObjectPtr>& theConflictingObjects)
+{
+  std::set<ObjectPtr> aModifiedObjects;
+  // erase error state of absent current objects in the parameter list
+  std::set<ObjectPtr>::const_iterator anIt, aLast;
   for (anIt = theConflictingObjects.begin(), aLast = theConflictingObjects.end() ; anIt != aLast; anIt++) {
     ObjectPtr anObject = *anIt;
-    if (myConflictingObjects.find(anObject) == myConflictingObjects.end()) { // it is not found
-      setConflictingObject(anObject, true);
+    if (theConflictingObjects.find(anObject) != theConflictingObjects.end()) { // it is found
+      setConflictingObject(anObject, false);
+      myConflictingObjects.erase(anObject);
+
       aModifiedObjects.insert(anObject);
-      myConflictingObjects.insert(anObject);
     }
   }
-  isUpdated = !aModifiedObjects.empty();
+  bool isUpdated = !aModifiedObjects.empty();
   if (isUpdated)
     redisplayObjects(aModifiedObjects);
 
@@ -154,6 +179,9 @@ void PartSet_OverconstraintListener::redisplayObjects(
 void PartSet_OverconstraintListener::setConflictingObject(const ObjectPtr& theObject,
                                                           const bool theConflicting)
 {
+  if (!theObject.get() || !theObject->data()->isValid())
+    return;
+
   AISObjectPtr anAISObject;
   GeomPresentablePtr aPrs = std::dynamic_pointer_cast<GeomAPI_IPresentable>(theObject);
 
@@ -181,3 +209,13 @@ XGUI_Workshop* PartSet_OverconstraintListener::workshop() const
   return aConnector->workshop();
 }
 
+QString PartSet_OverconstraintListener::getObjectsInfo(const std::set<ObjectPtr>& theObjects)
+{
+  std::set<ObjectPtr>::const_iterator anIt = theObjects.begin(),
+                                      aLast = theObjects.end();
+  QStringList anInfo;
+  for (; anIt != aLast; ++anIt)
+    anInfo.append(ModuleBase_Tools::objectInfo((*anIt)));
+
+  return anInfo.join(";\n");
+}