src/Model/Model_AttributeSelection.cpp

   1 // Copyright (C) 2014-20xx CEA/DEN, EDF R&D
   2
   3 // File:        Model_AttributeSelection.cpp
   4 // Created:     2 Oct 2014
   5 // Author:      Mikhail PONIKAROV
   6
   7 #include "Model_AttributeSelection.h"
   8 #include "Model_Application.h"
   9 #include "Model_Events.h"
  10 #include "Model_Data.h"
  11 #include "Model_Document.h"
  12 #include "Model_SelectionNaming.h"
  13 #include <Model_Objects.h>
  14 #include <Model_AttributeSelectionList.h>
  15 #include <Model_ResultConstruction.h>
  16 #include <ModelAPI_Feature.h>
  17 #include <ModelAPI_ResultBody.h>
  18 #include <ModelAPI_ResultCompSolid.h>
  19 #include <ModelAPI_ResultConstruction.h>
  20 #include <ModelAPI_ResultPart.h>
  21 #include <ModelAPI_CompositeFeature.h>
  22 #include <ModelAPI_Tools.h>
  23 #include <ModelAPI_Session.h>
  24 #include <Events_InfoMessage.h>
  25
  26 #include <TNaming_Selector.hxx>
  27 #include <TNaming_NamedShape.hxx>
  28 #include <TNaming_Tool.hxx>
  29 #include <TNaming_Builder.hxx>
  30 #include <TNaming_SameShapeIterator.hxx>
  31 #include <TNaming_Iterator.hxx>
  32 #include <TDataStd_Integer.hxx>
  33 #include <TDataStd_UAttribute.hxx>
  34 #include <TDataStd_Name.hxx>
  35 #include <TopTools_ListOfShape.hxx>
  36 #include <TopExp_Explorer.hxx>
  37 #include <BRep_Tool.hxx>
  38 #include <TopoDS.hxx>
  39 #include <TopExp.hxx>
  40 #include <TDF_ChildIterator.hxx>
  41 #include <TDF_ChildIDIterator.hxx>
  42 #include <TopoDS_Iterator.hxx>
  43
  44 //#define DEB_NAMING 1
  45 #ifdef DEB_NAMING
  46 #include <BRepTools.hxx>
  47 #endif
  48 /// added to the index in the packed map to signalize that the vertex of edge is selected
  49 /// (multiplied by the index of the edge)
  50 static const int kSTART_VERTEX_DELTA = 1000000;
  51 // identifier that there is simple reference: selection equals to context
  52 Standard_GUID kSIMPLE_REF_ID("635eacb2-a1d6-4dec-8348-471fae17cb29");
  53 // reference to Part sub-object
  54 Standard_GUID kPART_REF_ID("635eacb2-a1d6-4dec-8348-471fae17cb27");
  55 // selection is invalid after recomputation
  56 Standard_GUID kINVALID_SELECTION("bce47fd7-80fa-4462-9d63-2f58acddd49d");
  57
  58 // on this label is stored:
  59 // TNaming_NamedShape - selected shape
  60 // TNaming_Naming - topological selection information (for the body)
  61 // TDataStd_IntPackedMap - indexes of edges in composite element (for construction)
  62 // TDataStd_Integer - type of the selected shape (for construction)
  63 // TDF_Reference - from ReferenceAttribute, the context
  64 void Model_AttributeSelection::setValue(const ResultPtr& theContext,
  65   const std::shared_ptr<GeomAPI_Shape>& theSubShape, const bool theTemporarily)
  66 {
  67   if (theTemporarily) { // just keep the stored without DF update
  68     myTmpContext = theContext;
  69     myTmpSubShape = theSubShape;
  70     owner()->data()->sendAttributeUpdated(this);
  71     return;
  72   } else {
  73     myTmpContext.reset();
  74     myTmpSubShape.reset();
  75   }
  76
  77   const std::shared_ptr<GeomAPI_Shape>& anOldShape = value();
  78   bool isOldContext = theContext == myRef.value();
  79   bool isOldShape = isOldContext &&
  80     (theSubShape == anOldShape || (theSubShape && anOldShape && theSubShape->isEqual(anOldShape)));
  81   if (isOldShape) return; // shape is the same, so context is also unchanged
  82   // update the referenced object if needed
  83   if (!isOldContext) {
  84       myRef.setValue(theContext);
  85   }
  86
  87   // do noth use naming if selected shape is result shape itself, but not sub-shape
  88   TDF_Label aSelLab = selectionLabel();
  89   aSelLab.ForgetAttribute(kSIMPLE_REF_ID);
  90   aSelLab.ForgetAttribute(kINVALID_SELECTION);
  91
  92   bool isDegeneratedEdge = false;
  93   // do not use the degenerated edge as a shape, a null context and shape is used in the case
  94   if (theSubShape.get() && !theSubShape->isNull() && theSubShape->isEdge()) {
  95     const TopoDS_Shape& aSubShape = theSubShape->impl<TopoDS_Shape>();
  96     if (aSubShape.ShapeType() == TopAbs_EDGE)
  97       isDegeneratedEdge = BRep_Tool::Degenerated(TopoDS::Edge(aSubShape)) == Standard_True;
  98   }
  99   if (!theContext.get() || isDegeneratedEdge) {
 100     // to keep the reference attribute label
 101     TDF_Label aRefLab = myRef.myRef->Label();
 102     aSelLab.ForgetAllAttributes(true);
 103     myRef.myRef = TDF_Reference::Set(aSelLab.Father(), aSelLab.Father());
 104     return;
 105   }
 106   if (theContext->groupName() == ModelAPI_ResultBody::group()) {
 107     // do not select the whole shape for body:it is already must be in the data framework
 108     // equal and null selected objects mean the same: object is equal to context,
 109     if (theContext->shape().get() &&
 110         (theContext->shape()->isEqual(theSubShape) || !theSubShape.get())) {
 111       aSelLab.ForgetAllAttributes(true);
 112       TDataStd_UAttribute::Set(aSelLab, kSIMPLE_REF_ID);
 113     } else {
 114       selectBody(theContext, theSubShape);
 115     }
 116   } else if (theContext->groupName() == ModelAPI_ResultConstruction::group()) {
 117     aSelLab.ForgetAllAttributes(true); // to remove old selection data
 118     std::shared_ptr<Model_ResultConstruction> aConstruction =
 119       std::dynamic_pointer_cast<Model_ResultConstruction>(theContext);
 120     std::shared_ptr<GeomAPI_Shape> aSubShape;
 121     if (theSubShape.get() && !theContext->shape()->isEqual(theSubShape))
 122       aSubShape = theSubShape; // the whole context
 123     int anIndex = aConstruction->select(theSubShape, owner()->document());
 124     TDataStd_Integer::Set(aSelLab, anIndex);
 125   } else if (theContext->groupName() == ModelAPI_ResultPart::group()) {
 126     aSelLab.ForgetAllAttributes(true);
 127     TDataStd_UAttribute::Set(aSelLab, kPART_REF_ID);
 128     selectPart(theContext, theSubShape);
 129   }
 130
 131   owner()->data()->sendAttributeUpdated(this);
 132 }
 133
 134 void Model_AttributeSelection::removeTemporaryValues()
 135 {
 136   if (myTmpContext.get() || myTmpSubShape.get()) {
 137     myTmpContext.reset();
 138     myTmpSubShape.reset();
 139   }
 140 }
 141
 142 std::shared_ptr<GeomAPI_Shape> Model_AttributeSelection::value()
 143 {
 144   GeomShapePtr aResult;
 145   if (myTmpContext.get() || myTmpSubShape.get()) {
 146     ResultConstructionPtr aResulConstruction =
 147       std::dynamic_pointer_cast<ModelAPI_ResultConstruction>(myTmpContext);
 148     if(aResulConstruction.get()) {
 149       // it is just reference to construction.
 150       return myTmpSubShape;
 151     }
 152     return myTmpSubShape.get() ? myTmpSubShape : myTmpContext->shape();
 153   }
 154
 155   TDF_Label aSelLab = selectionLabel();
 156   if (aSelLab.IsAttribute(kINVALID_SELECTION))
 157     return aResult;
 158
 159   if (myRef.isInitialized()) {
 160     if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
 161       ResultPtr aContext = context();
 162       if (!aContext.get())
 163         return aResult; // empty result
 164       return aContext->shape();
 165     }
 166     if (aSelLab.IsAttribute(kPART_REF_ID)) {
 167       ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(context());
 168       if (!aPart.get() || !aPart->isActivated())
 169         return std::shared_ptr<GeomAPI_Shape>(); // postponed naming needed
 170       Handle(TDataStd_Integer) anIndex;
 171       if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 172         if (anIndex->Get()) { // special selection attribute was created, use it
 173           return aPart->selectionValue(anIndex->Get());
 174         } else { // face with name is already in the data model, so try to take it by name
 175           Handle(TDataStd_Name) aName;
 176           if (aSelLab.FindAttribute(TDataStd_Name::GetID(), aName)) {
 177             std::string aSubShapeName(TCollection_AsciiString(aName->Get()).ToCString());
 178             std::size_t aPartEnd = aSubShapeName.find('/');
 179             if (aPartEnd != std::string::npos && aPartEnd != aSubShapeName.rfind('/')) {
 180               std::string aNameInPart = aSubShapeName.substr(aPartEnd + 1);
 181               int anIndex;
 182               std::string aType; // to reuse already existing selection the type is not needed
 183               return aPart->shapeInPart(aNameInPart, aType, anIndex);
 184             }
 185           }
 186         }
 187       }
 188     }
 189
 190     Handle(TNaming_NamedShape) aSelection;
 191     if (aSelLab.FindAttribute(TNaming_NamedShape::GetID(), aSelection)) {
 192       TopoDS_Shape aSelShape = aSelection->Get();
 193       aResult = std::shared_ptr<GeomAPI_Shape>(new GeomAPI_Shape);
 194       aResult->setImpl(new TopoDS_Shape(aSelShape));
 195     } else { // for simple construction element: just shape of this construction element
 196       std::shared_ptr<Model_ResultConstruction> aConstr =
 197         std::dynamic_pointer_cast<Model_ResultConstruction>(context());
 198       if (aConstr) {
 199         Handle(TDataStd_Integer) anIndex;
 200         if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 201           if (anIndex->Get() == 0) // it is just reference to construction, nothing is in value
 202             return aResult;
 203           return aConstr->shape(anIndex->Get(), owner()->document());
 204         }
 205       }
 206     }
 207   }
 208   return aResult;
 209 }
 210
 211 bool Model_AttributeSelection::isInvalid()
 212 {
 213   return selectionLabel().IsAttribute(kINVALID_SELECTION) == Standard_True;
 214 }
 215
 216 bool Model_AttributeSelection::isInitialized()
 217 {
 218   if (ModelAPI_AttributeSelection::isInitialized()) { // additional checks if it is initialized
 219     std::shared_ptr<GeomAPI_Shape> aResult;
 220     if (myRef.isInitialized()) {
 221       TDF_Label aSelLab = selectionLabel();
 222       if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
 223         ResultPtr aContext = context();
 224         return aContext.get() != NULL;
 225       }
 226       Handle(TNaming_NamedShape) aSelection;
 227       if (selectionLabel().FindAttribute(TNaming_NamedShape::GetID(), aSelection)) {
 228         return !aSelection->Get().IsNull();
 229       } else { // for simple construction element: just shape of this construction element
 230         std::shared_ptr<Model_ResultConstruction> aConstr =
 231           std::dynamic_pointer_cast<Model_ResultConstruction>(context());
 232         if (aConstr.get()) {
 233           Handle(TDataStd_Integer) anIndex;
 234           if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 235             // for the whole shape it may return null, so, if index exists, returns true
 236             return true;
 237           }
 238         }
 239       }
 240     }
 241   }
 242   return false;
 243 }
 244
 245 Model_AttributeSelection::Model_AttributeSelection(TDF_Label& theLabel)
 246   : myRef(theLabel)
 247 {
 248   myIsInitialized = myRef.isInitialized();
 249   myParent = NULL;
 250 }
 251
 252 void Model_AttributeSelection::setID(const std::string theID)
 253 {
 254   myRef.setID(theID);
 255   ModelAPI_AttributeSelection::setID(theID);
 256 }
 257
 258 ResultPtr Model_AttributeSelection::context() {
 259   if (myTmpContext.get() || myTmpSubShape.get()) {
 260     return myTmpContext;
 261   }
 262
 263   ResultPtr aResult = std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
 264   // for parts there could be same-data result, so take the last enabled
 265   if (aResult.get() && aResult->groupName() == ModelAPI_ResultPart::group()) {
 266     int aSize = aResult->document()->size(ModelAPI_ResultPart::group());
 267     for(int a = aSize - 1; a >= 0; a--) {
 268       ObjectPtr aPart = aResult->document()->object(ModelAPI_ResultPart::group(), a);
 269       if (aPart.get() && aPart->data() == aResult->data()) {
 270         ResultPtr aPartResult = std::dynamic_pointer_cast<ModelAPI_Result>(aPart);
 271         FeaturePtr anOwnerFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 272         // check that this result is not this-feature result (it is forbidden t oselect itself)
 273         if (anOwnerFeature.get() && anOwnerFeature->firstResult() != aPartResult) {
 274           return aPartResult;
 275         }
 276       }
 277     }
 278   }
 279   return aResult;
 280 }
 281
 282
 283 void Model_AttributeSelection::setObject(const std::shared_ptr<ModelAPI_Object>& theObject)
 284 {
 285   ModelAPI_AttributeSelection::setObject(theObject);
 286   myRef.setObject(theObject);
 287 }
 288
 289 TDF_LabelMap& Model_AttributeSelection::scope()
 290 {
 291   if (myScope.IsEmpty()) { // create a new scope if not yet done
 292     // gets all features with named shapes that are before this feature label (before in history)
 293     DocumentPtr aMyDoc = owner()->document();
 294     std::list<std::shared_ptr<ModelAPI_Feature> > allFeatures = aMyDoc->allFeatures();
 295     std::list<std::shared_ptr<ModelAPI_Feature> >::iterator aFIter = allFeatures.begin();
 296     bool aMePassed = false;
 297     CompositeFeaturePtr aComposite =
 298       std::dynamic_pointer_cast<ModelAPI_CompositeFeature>(owner());
 299     FeaturePtr aFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 300     CompositeFeaturePtr aCompositeOwner, aCompositeOwnerOwner;
 301     if (aFeature.get()) {
 302       aCompositeOwner = ModelAPI_Tools::compositeOwner(aFeature);
 303       if (aCompositeOwner.get()) {
 304          aCompositeOwnerOwner = ModelAPI_Tools::compositeOwner(aCompositeOwner);
 305       }
 306     }
 307     // for group Scope is not limitet: this is always up to date objects
 308     bool isGroup = aFeature.get() && aFeature->getKind() == "Group";
 309     for(; aFIter != allFeatures.end(); aFIter++) {
 310       if (*aFIter == owner()) {  // the left features are created later (except subs of composite)
 311         aMePassed = true;
 312         continue;
 313       }
 314       if (isGroup) aMePassed = false;
 315       bool isInScope = !aMePassed;
 316       if (!isInScope && aComposite.get()) {
 317         // try to add sub-elements of composite if this is composite
 318         if (aComposite->isSub(*aFIter))
 319           isInScope = true;
 320       }
 321       // remove the composite-owner of this feature (sketch in extrusion-cut)
 322       if (isInScope && (aCompositeOwner == *aFIter || aCompositeOwnerOwner == *aFIter))
 323         isInScope = false;
 324
 325       if (isInScope && aFIter->get() && (*aFIter)->data()->isValid()) {
 326         TDF_Label aFeatureLab = std::dynamic_pointer_cast<Model_Data>(
 327           (*aFIter)->data())->label().Father();
 328         TDF_ChildIDIterator aNSIter(aFeatureLab, TNaming_NamedShape::GetID(), true);
 329         for(; aNSIter.More(); aNSIter.Next()) {
 330           Handle(TNaming_NamedShape) aNS = Handle(TNaming_NamedShape)::DownCast(aNSIter.Value());
 331           if (!aNS.IsNull() && aNS->Evolution() != TNaming_SELECTED) {
 332             myScope.Add(aNS->Label());
 333           }
 334         }
 335       }
 336     }
 337     // also add all naming labels created for external constructions
 338     std::shared_ptr<Model_Document> aDoc = std::dynamic_pointer_cast<Model_Document>(aMyDoc);
 339     TDF_Label anExtDocLab = aDoc->extConstructionsLabel();
 340     TDF_ChildIDIterator aNSIter(anExtDocLab, TNaming_NamedShape::GetID(), true);
 341     for(; aNSIter.More(); aNSIter.Next()) {
 342       Handle(TNaming_NamedShape) aNS = Handle(TNaming_NamedShape)::DownCast(aNSIter.Value());
 343       if (!aNS.IsNull() && aNS->Evolution() != TNaming_SELECTED) {
 344         myScope.Add(aNS->Label());
 345       }
 346     }
 347   }
 348   return myScope;
 349 }
 350
 351 /// Sets the invalid flag if flag is false, or removes it if "true"
 352 /// Returns theFlag
 353 static bool setInvalidIfFalse(TDF_Label& theLab, const bool theFlag) {
 354   if (theFlag) {
 355     theLab.ForgetAttribute(kINVALID_SELECTION);
 356   } else {
 357     TDataStd_UAttribute::Set(theLab, kINVALID_SELECTION);
 358   }
 359   return theFlag;
 360 }
 361
 362 void Model_AttributeSelection::split(
 363   ResultPtr theContext, TopoDS_Shape theNewShape, TopAbs_ShapeEnum theType)
 364 {
 365   TopTools_ListOfShape aSubs;
 366   for(TopoDS_Iterator anExplorer(theNewShape); anExplorer.More(); anExplorer.Next()) {
 367     if (!anExplorer.Value().IsNull() &&
 368       anExplorer.Value().ShapeType() == theType) {
 369         aSubs.Append(anExplorer.Value());
 370     } else { // invalid case; bad result shape, so, impossible to split easily
 371       aSubs.Clear();
 372       break;
 373     }
 374   }
 375   if (aSubs.Extent() > 1) { // ok to split
 376     TopTools_ListIteratorOfListOfShape aSub(aSubs);
 377     GeomShapePtr aSubSh(new GeomAPI_Shape);
 378     aSubSh->setImpl(new TopoDS_Shape(aSub.Value()));
 379     setValue(theContext, aSubSh);
 380     for(aSub.Next(); aSub.More(); aSub.Next()) {
 381       GeomShapePtr aSubSh(new GeomAPI_Shape);
 382       aSubSh->setImpl(new TopoDS_Shape(aSub.Value()));
 383       myParent->append(theContext, aSubSh);
 384     }
 385   }
 386 }
 387
 388 bool Model_AttributeSelection::update()
 389 {
 390   TDF_Label aSelLab = selectionLabel();
 391   ResultPtr aContext = context();
 392   if (!aContext.get())
 393     return setInvalidIfFalse(aSelLab, false);
 394   if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
 395     return setInvalidIfFalse(aSelLab, aContext->shape() && !aContext->shape()->isNull());
 396   }
 397
 398   if (aSelLab.IsAttribute(kPART_REF_ID)) { // it is reference to the part object
 399     std::shared_ptr<GeomAPI_Shape> aNoSelection;
 400     bool aResult = selectPart(aContext, aNoSelection, true);
 401     aResult = setInvalidIfFalse(aSelLab, aResult);
 402     if (aResult) {
 403       owner()->data()->sendAttributeUpdated(this);
 404     }
 405     return aResult;
 406   }
 407
 408   if (aContext->groupName() == ModelAPI_ResultBody::group()) {
 409     // body: just a named shape, use selection mechanism from OCCT
 410     TNaming_Selector aSelector(aSelLab);
 411     TopoDS_Shape anOldShape;
 412     if (!aSelector.NamedShape().IsNull()) {
 413       anOldShape = aSelector.NamedShape()->Get();
 414     }
 415     bool aResult = aSelector.Solve(scope()) == Standard_True;
 416     // must be before sending of updated attribute (1556)
 417     aResult = setInvalidIfFalse(aSelLab, aResult);
 418     TopoDS_Shape aNewShape;
 419     if (!aSelector.NamedShape().IsNull()) {
 420       aNewShape = aSelector.NamedShape()->Get();
 421     }
 422     if (anOldShape.IsNull() || aNewShape.IsNull() ||
 423         !anOldShape.IsEqual(aSelector.NamedShape()->Get())) {
 424       // shape type shoud not not changed: if shape becomes compound of such shapes, then split
 425       if (myParent && !anOldShape.IsNull() && !aNewShape.IsNull() &&
 426           anOldShape.ShapeType() != aNewShape.ShapeType() &&
 427           (aNewShape.ShapeType() == TopAbs_COMPOUND || aNewShape.ShapeType() == TopAbs_COMPSOLID))
 428       {
 429         split(aContext, aNewShape, anOldShape.ShapeType());
 430       }
 431       owner()->data()->sendAttributeUpdated(this);  // send updated if shape is changed
 432     }
 433     return aResult;
 434   }
 435
 436   if (aContext->groupName() == ModelAPI_ResultConstruction::group()) {
 437     Handle(TDataStd_Integer) anIndex;
 438     if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 439       std::shared_ptr<Model_ResultConstruction> aConstructionContext =
 440         std::dynamic_pointer_cast<Model_ResultConstruction>(aContext);
 441       bool aModified = true;
 442       bool aValid = aConstructionContext->update(anIndex->Get(), owner()->document(), aModified);
 443       setInvalidIfFalse(aSelLab, aValid);
 444       if (aModified)
 445         owner()->data()->sendAttributeUpdated(this);
 446       return aValid;
 447     }
 448   }
 449   return setInvalidIfFalse(aSelLab, false); // unknown case
 450 }
 451
 452 void Model_AttributeSelection::selectBody(
 453   const ResultPtr& theContext, const std::shared_ptr<GeomAPI_Shape>& theSubShape)
 454 {
 455   // perform the selection
 456   TNaming_Selector aSel(selectionLabel());
 457   TopoDS_Shape aContext;
 458
 459   ResultBodyPtr aBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(theContext);//myRef.value()
 460   if (aBody) {
 461     aContext = aBody->shape()->impl<TopoDS_Shape>();
 462   } else {
 463     ResultPtr aResult =
 464       std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
 465     if (aResult) {
 466       aContext = aResult->shape()->impl<TopoDS_Shape>();
 467     } else {
 468       Events_InfoMessage("Model_AttributeSelection", "A result with shape is expected").send();
 469       return;
 470     }
 471   }
 472
 473   // with "recover" feature the selected context may be not up to date (issue 1710)
 474   Handle(TNaming_NamedShape) aResult;
 475   TDF_Label aSelLab = selectionLabel();
 476   TopoDS_Shape aNewContext = aContext;
 477   bool isUpdated = true;
 478   while(!aNewContext.IsNull() && isUpdated) {
 479     // searching for the very last shape that was produced from this one
 480     isUpdated = false;
 481     if (!TNaming_Tool::HasLabel(aSelLab, aNewContext))
 482       // to avoid crash of TNaming_SameShapeIterator if pure shape does not exists
 483       break;
 484     for(TNaming_SameShapeIterator anIter(aNewContext, aSelLab); anIter.More(); anIter.Next()) {
 485       TDF_Label aNSLab = anIter.Label();
 486       if (!scope().Contains(aNSLab))
 487         continue;
 488       Handle(TNaming_NamedShape) aNS;
 489       if (aNSLab.FindAttribute(TNaming_NamedShape::GetID(), aNS)) {
 490         for(TNaming_Iterator aShapesIter(aNS); aShapesIter.More(); aShapesIter.Next()) {
 491           if (aShapesIter.Evolution() == TNaming_SELECTED)
 492             continue; // don't use the selection evolution
 493           if (!aShapesIter.OldShape().IsNull() && aShapesIter.OldShape().IsSame(aNewContext)) {
 494              // found the original shape
 495             aNewContext = aShapesIter.NewShape(); // go to the newer shape
 496             isUpdated = true;
 497             break;
 498           }
 499         }
 500       }
 501     }
 502   }
 503   if (aNewContext.IsNull()) { // a context is already deleted
 504     setInvalidIfFalse(aSelLab, false);
 505     Events_InfoMessage("Model_AttributeSelection", "Failed to select shape already deleted").send();
 506     return;
 507   }
 508
 509   TopoDS_Shape aNewSub = theSubShape ? theSubShape->impl<TopoDS_Shape>() : aContext;
 510   if (!aNewSub.IsEqual(aContext)) { // searching for subshape in the new context
 511     bool isFound = false;
 512     TopExp_Explorer anExp(aNewContext, aNewSub.ShapeType());
 513     for(; anExp.More(); anExp.Next()) {
 514       if (anExp.Current().IsEqual(aNewSub)) {
 515         isFound = true;
 516         break;
 517       }
 518     }
 519     if (!isFound) { // sub-shape is not found in the up-to-date instance of the context shape
 520       // if context is sub-result of compound/compsolid, selection of sub-shape better propagate to
 521       // the main result (which is may be modified), case is in 1799
 522       ResultCompSolidPtr aMain = ModelAPI_Tools::compSolidOwner(theContext);
 523       if (aMain.get()) {
 524         selectBody(aMain, theSubShape);
 525         return;
 526       }
 527       setInvalidIfFalse(aSelLab, false);
 528       Events_InfoMessage("Model_AttributeSelection",
 529         "Failed to select sub-shape already modified").send();
 530       return;
 531     }
 532   }
 533
 534   /// fix for issue 411: result modified shapes must not participate in this selection mechanism
 535   if (!aContext.IsNull()) {
 536     FeaturePtr aFeatureOwner = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 537     bool aEraseResults = false;
 538     if (aFeatureOwner.get()) {
 539       aEraseResults = !aFeatureOwner->results().empty();
 540       if (aEraseResults) // erase results without flash deleted and redisplay: do it after Select
 541         aFeatureOwner->removeResults(0, false, false);
 542     }
 543     aSel.Select(aNewSub, aNewContext);
 544
 545     if (aEraseResults) { // flash after Select : in Groups it makes selection with shift working
 546       static Events_Loop* aLoop = Events_Loop::loop();
 547       static const Events_ID kDeletedEvent = aLoop->eventByName(EVENT_OBJECT_DELETED);
 548       aLoop->flush(kDeletedEvent);
 549     }
 550   }
 551 }
 552
 553 bool Model_AttributeSelection::selectPart(
 554   const ResultPtr& theContext, const std::shared_ptr<GeomAPI_Shape>& theSubShape,
 555   const bool theUpdate)
 556 {
 557   ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(theContext);
 558   if (!aPart.get() || !aPart->isActivated())
 559     return true; // postponed naming
 560   if (theUpdate) {
 561     Handle(TDataStd_Integer) anIndex;
 562     if (selectionLabel().FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 563       // by internal selection
 564       if (anIndex->Get() > 0) {
 565         // update the selection by index
 566         return aPart->updateInPart(anIndex->Get());
 567       } else {
 568         return true; // nothing to do, referencing just by name
 569       }
 570     }
 571     return true; // nothing to do, referencing just by name
 572   }
 573   // store the shape (in case part is not loaded it should be useful
 574   TopoDS_Shape aShape;
 575   std::string aName = theContext->data()->name();
 576   if (!theSubShape.get() || theSubShape->isNull()) {// the whole part shape is selected
 577     aShape = theContext->shape()->impl<TopoDS_Shape>();
 578   } else {
 579     aShape = theSubShape->impl<TopoDS_Shape>();
 580     int anIndex;
 581     aName += "/" + aPart->nameInPart(theSubShape, anIndex);
 582     TDataStd_Integer::Set(selectionLabel(), anIndex);
 583   }
 584   TNaming_Builder aBuilder(selectionLabel());
 585   aBuilder.Select(aShape, aShape);
 586   // identify by name in the part
 587   TDataStd_Name::Set(selectionLabel(), aName.c_str());
 588   return !aName.empty();
 589 }
 590
 591 TDF_Label Model_AttributeSelection::selectionLabel()
 592 {
 593   return myRef.myRef->Label().FindChild(1);
 594 }
 595
 596 std::string Model_AttributeSelection::namingName(const std::string& theDefaultName)
 597 {
 598   std::string aName("");
 599   if(!this->isInitialized())
 600     return !theDefaultName.empty() ? theDefaultName : aName;
 601
 602   std::shared_ptr<GeomAPI_Shape> aSubSh = value();
 603   ResultPtr aCont = context();
 604
 605   if (!aCont.get()) // in case of selection of removed result
 606     return "";
 607
 608   Model_SelectionNaming aSelNaming(selectionLabel());
 609   return aSelNaming.namingName(
 610     aCont, aSubSh, theDefaultName, owner()->document() != aCont->document());
 611 }
 612
 613 // type ::= COMP | COMS | SOLD | SHEL | FACE | WIRE | EDGE | VERT
 614 void Model_AttributeSelection::selectSubShape(
 615   const std::string& theType, const std::string& theSubShapeName)
 616 {
 617   if(theSubShapeName.empty() || theType.empty()) return;
 618
 619   // check this is Part-name: 2 delimiters in the name
 620   std::size_t aPartEnd = theSubShapeName.find('/');
 621   if (aPartEnd != std::string::npos && aPartEnd != theSubShapeName.rfind('/')) {
 622     std::string aPartName = theSubShapeName.substr(0, aPartEnd);
 623     ObjectPtr aFound = owner()->document()->objectByName(ModelAPI_ResultPart::group(), aPartName);
 624     if (aFound.get()) { // found such part, so asking it for the name
 625       ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(aFound);
 626       std::string aNameInPart = theSubShapeName.substr(aPartEnd + 1);
 627       int anIndex;
 628       std::shared_ptr<GeomAPI_Shape> aSelected = aPart->shapeInPart(aNameInPart, theType, anIndex);
 629       if (aSelected.get()) {
 630         setValue(aPart, aSelected);
 631         TDataStd_Integer::Set(selectionLabel(), anIndex);
 632         return;
 633       }
 634     }
 635   }
 636
 637   Model_SelectionNaming aSelNaming(selectionLabel());
 638   std::shared_ptr<Model_Document> aDoc =
 639     std::dynamic_pointer_cast<Model_Document>(owner()->document());
 640   std::shared_ptr<GeomAPI_Shape> aShapeToBeSelected;
 641   ResultPtr aCont;
 642   if (aSelNaming.selectSubShape(theType, theSubShapeName, aDoc, aShapeToBeSelected, aCont)) {
 643     // try to find the last context to find the up to date shape
 644     if (aCont->shape().get() && !aCont->shape()->isNull() &&
 645       aCont->groupName() == ModelAPI_ResultBody::group() && aDoc == owner()->document()) {
 646       const TopoDS_Shape aConShape = aCont->shape()->impl<TopoDS_Shape>();
 647       if (!aConShape.IsNull()) {
 648         Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aConShape, selectionLabel());
 649         if (!aNS.IsNull()) {
 650           aNS = TNaming_Tool::CurrentNamedShape(aNS);
 651           if (!aNS.IsNull()) {
 652             TDF_Label aLab = aNS->Label();
 653             while(aLab.Depth() != 7 && aLab.Depth() > 5)
 654               aLab = aLab.Father();
 655             ObjectPtr anObj = aDoc->objects()->object(aLab);
 656             if (anObj.get()) {
 657               ResultPtr aRes = std::dynamic_pointer_cast<ModelAPI_Result>(anObj);
 658               if (aRes)
 659                 aCont = aRes;
 660             }
 661           }
 662         }
 663       }
 664     }
 665     setValue(aCont, aShapeToBeSelected);
 666     return;
 667   }
 668
 669   TDF_Label aSelLab = selectionLabel();
 670   setInvalidIfFalse(aSelLab, false);
 671   reset();
 672 }
 673
 674 int Model_AttributeSelection::Id()
 675 {
 676   int anID = 0;
 677   std::shared_ptr<GeomAPI_Shape> aSelection = value();
 678   std::shared_ptr<GeomAPI_Shape> aContext = context()->shape();
 679   // support for compsolids:
 680   if (context().get() && ModelAPI_Tools::compSolidOwner(context()).get())
 681     aContext = ModelAPI_Tools::compSolidOwner(context())->shape();
 682
 683
 684   TopoDS_Shape aMainShape = aContext->impl<TopoDS_Shape>();
 685   const TopoDS_Shape& aSubShape = aSelection->impl<TopoDS_Shape>();
 686   // searching for the latest main shape
 687   if (aSelection && !aSelection->isNull() &&
 688     aContext   && !aContext->isNull())
 689   {
 690     std::shared_ptr<Model_Document> aDoc =
 691       std::dynamic_pointer_cast<Model_Document>(context()->document());
 692     if (aDoc.get()) {
 693       Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aMainShape, aDoc->generalLabel());
 694       if (!aNS.IsNull()) {
 695         aMainShape = TNaming_Tool::CurrentShape(aNS);
 696       }
 697     }
 698
 699     TopTools_IndexedMapOfShape aSubShapesMap;
 700     TopExp::MapShapes(aMainShape, aSubShapesMap);
 701     anID = aSubShapesMap.FindIndex(aSubShape);
 702   }
 703   return anID;
 704 }
 705
 706 void Model_AttributeSelection::setId(int theID)
 707 {
 708   const ResultPtr& aContext = context();
 709   std::shared_ptr<GeomAPI_Shape> aSelection;
 710
 711   std::shared_ptr<GeomAPI_Shape> aContextShape = aContext->shape();
 712   // support for compsolids:
 713   if (aContext.get() && ModelAPI_Tools::compSolidOwner(aContext).get())
 714     aContextShape = ModelAPI_Tools::compSolidOwner(aContext)->shape();
 715
 716   TopoDS_Shape aMainShape = aContextShape->impl<TopoDS_Shape>();
 717   // searching for the latest main shape
 718   if (theID > 0 &&
 719       aContextShape && !aContextShape->isNull())
 720   {
 721     std::shared_ptr<Model_Document> aDoc =
 722       std::dynamic_pointer_cast<Model_Document>(aContext->document());
 723     if (aDoc.get()) {
 724       Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aMainShape, aDoc->generalLabel());
 725       if (!aNS.IsNull()) {
 726         aMainShape = TNaming_Tool::CurrentShape(aNS);
 727       }
 728     }
 729
 730     TopTools_IndexedMapOfShape aSubShapesMap;
 731     TopExp::MapShapes(aMainShape, aSubShapesMap);
 732     const TopoDS_Shape& aSelShape = aSubShapesMap.FindKey(theID);
 733
 734     std::shared_ptr<GeomAPI_Shape> aResult(new GeomAPI_Shape);
 735     aResult->setImpl(new TopoDS_Shape(aSelShape));
 736
 737     aSelection = aResult;
 738   }
 739
 740   setValue(aContext, aSelection);
 741 }
 742
 743 std::string Model_AttributeSelection::contextName(const ResultPtr& theContext) const
 744 {
 745   std::string aResult;
 746   if (owner()->document() != theContext->document()) {
 747     if (theContext->document() == ModelAPI_Session::get()->moduleDocument()) {
 748       aResult = theContext->document()->kind() + "/";
 749     } else {
 750       ResultPtr aDocRes = ModelAPI_Tools::findPartResult(
 751         ModelAPI_Session::get()->moduleDocument(), theContext->document());
 752       if (aDocRes.get()) {
 753         aResult = aDocRes->data()->name() + "/";
 754       }
 755     }
 756   }
 757   aResult += theContext->data()->name();
 758   return aResult;
 759 }
 760
 761 void Model_AttributeSelection::updateInHistory()
 762 {
 763   ResultPtr aContext = std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
 764   // only bodies may be modified later in the history, don't do anything otherwise
 765   if (!aContext.get() || aContext->groupName() != ModelAPI_ResultBody::group())
 766     return;
 767   std::shared_ptr<Model_Data> aContData = std::dynamic_pointer_cast<Model_Data>(aContext->data());
 768   if (!aContData.get() || !aContData->isValid())
 769     return;
 770   TDF_Label aContLab = aContData->label(); // named shape where the selected context is located
 771   Handle(TNaming_NamedShape) aContNS;
 772   if (!aContLab.FindAttribute(TNaming_NamedShape::GetID(), aContNS))
 773     return;
 774   std::shared_ptr<Model_Document> aDoc =
 775     std::dynamic_pointer_cast<Model_Document>(aContext->document());
 776   FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 777   FeaturePtr aCurrentModifierFeat = aDoc->feature(aContext);
 778   // iterate the context shape modifications in order to find a feature that is upper in history
 779   // that this one and is really modifies the referenced result to refer to it
 780   ResultPtr aModifierResFound;
 781   TNaming_Iterator aPairIter(aContNS);
 782   if (!aPairIter.More())
 783     return;
 784   TopoDS_Shape aNewShape = aPairIter.NewShape();
 785   bool anIterate = true;
 786   // trying to update also the sub-shape selected
 787   GeomShapePtr aSubShape = value();
 788   if (aSubShape.get() && aSubShape->isEqual(aContext->shape()))
 789     aSubShape.reset();
 790
 791   while(anIterate) {
 792     anIterate = false;
 793     TNaming_SameShapeIterator aModifIter(aNewShape, aContLab);
 794     for(; aModifIter.More(); aModifIter.Next()) {
 795       ResultPtr aModifierObj = std::dynamic_pointer_cast<ModelAPI_Result>
 796         (aDoc->objects()->object(aModifIter.Label().Father()));
 797       if (!aModifierObj.get())
 798         break;
 799       FeaturePtr aModifierFeat = aDoc->feature(aModifierObj);
 800       if (!aModifierFeat.get())
 801         break;
 802       if (aModifierFeat == aThisFeature || aDoc->objects()->isLater(aModifierFeat, aThisFeature))
 803         continue; // the modifier feature is later than this, so, should not be used
 804       if (aCurrentModifierFeat == aModifierFeat ||
 805         aDoc->objects()->isLater(aCurrentModifierFeat, aModifierFeat))
 806         continue; // the current modifier is later than the found, so, useless
 807       Handle(TNaming_NamedShape) aNewNS;
 808       aModifIter.Label().FindAttribute(TNaming_NamedShape::GetID(), aNewNS);
 809       if (aNewNS->Evolution() == TNaming_MODIFY || aNewNS->Evolution() == TNaming_GENERATED) {
 810         aModifierResFound = aModifierObj;
 811         aCurrentModifierFeat = aModifierFeat;
 812         TNaming_Iterator aPairIter(aNewNS);
 813         aNewShape = aPairIter.NewShape();
 814         anIterate = true;
 815         break;
 816       } else if (aNewNS->Evolution() == TNaming_DELETE) { // a shape was deleted => result is null
 817         ResultPtr anEmptyContext;
 818         std::shared_ptr<GeomAPI_Shape> anEmptyShape;
 819         setValue(anEmptyContext, anEmptyShape); // nullify the selection
 820         return;
 821       } else { // not-precessed modification => don't support it
 822         continue;
 823       }
 824     }
 825   }
 826   if (aModifierResFound.get()) {
 827     // update scope to reset to a new one
 828     myScope.Clear();
 829     myRef.setValue(aModifierResFound);
 830     // if context shape type is changed to more complicated and this context is selected, split
 831     if (myParent &&!aSubShape.get() && aModifierResFound->shape().get() && aContext->shape().get())
 832     {
 833       TopoDS_Shape anOldShape = aContext->shape()->impl<TopoDS_Shape>();
 834       TopoDS_Shape aNewShape = aModifierResFound->shape()->impl<TopoDS_Shape>();
 835       if (!anOldShape.IsNull() && !aNewShape.IsNull() &&
 836         anOldShape.ShapeType() != aNewShape.ShapeType() &&
 837         (aNewShape.ShapeType() == TopAbs_COMPOUND || aNewShape.ShapeType() == TopAbs_COMPSOLID)) {
 838         // prepare for split in "update"
 839         TDF_Label aSelLab = selectionLabel();
 840         split(aContext, aNewShape, anOldShape.ShapeType());
 841       }
 842     }
 843     update(); // it must recompute a new sub-shape automatically
 844   }
 845 }
 846
 847 void Model_AttributeSelection::setParent(Model_AttributeSelectionList* theParent)
 848 {
 849   myParent = theParent;
 850 }