src/Model/Model_AttributeSelection.cpp

   1 // Copyright (C) 2014-2017  CEA/DEN, EDF R&D
   2 //
   3 // This library is free software; you can redistribute it and/or
   4 // modify it under the terms of the GNU Lesser General Public
   5 // License as published by the Free Software Foundation; either
   6 // version 2.1 of the License, or (at your option) any later version.
   7 //
   8 // This library is distributed in the hope that it will be useful,
   9 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  10 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  11 // Lesser General Public License for more details.
  12 //
  13 // You should have received a copy of the GNU Lesser General Public
  14 // License along with this library; if not, write to the Free Software
  15 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
  16 //
  17 // See http://www.salome-platform.org/ or
  18 // email : webmaster.salome@opencascade.com<mailto:webmaster.salome@opencascade.com>
  19 //
  20
  21 #include "Model_AttributeSelection.h"
  22 #include "Model_Application.h"
  23 #include "Model_Events.h"
  24 #include "Model_Data.h"
  25 #include "Model_Document.h"
  26 #include "Model_SelectionNaming.h"
  27 #include <Model_Objects.h>
  28 #include <Model_AttributeSelectionList.h>
  29 #include <Model_ResultConstruction.h>
  30 #include <ModelAPI_Feature.h>
  31 #include <ModelAPI_ResultBody.h>
  32 #include <ModelAPI_ResultBody.h>
  33 #include <ModelAPI_ResultConstruction.h>
  34 #include <ModelAPI_ResultPart.h>
  35 #include <ModelAPI_CompositeFeature.h>
  36 #include <ModelAPI_Tools.h>
  37 #include <ModelAPI_Session.h>
  38 #include <ModelAPI_Validator.h>
  39 #include <Events_InfoMessage.h>
  40 #include <GeomAPI_Edge.h>
  41 #include <GeomAPI_Vertex.h>
  42 #include <GeomAlgoAPI_CompoundBuilder.h>
  43
  44 #include <TNaming_Selector.hxx>
  45 #include <TNaming_NamedShape.hxx>
  46 #include <TNaming_Tool.hxx>
  47 #include <TNaming_Builder.hxx>
  48 #include <TNaming_SameShapeIterator.hxx>
  49 #include <TNaming_Iterator.hxx>
  50 #include <TDataStd_Integer.hxx>
  51 #include <TDataStd_UAttribute.hxx>
  52 #include <TDataStd_Name.hxx>
  53 #include <TopTools_ListOfShape.hxx>
  54 #include <TopTools_DataMapOfShapeShape.hxx>
  55 #include <TopTools_MapOfShape.hxx>
  56 #include <TopExp_Explorer.hxx>
  57 #include <BRep_Tool.hxx>
  58 #include <TopoDS.hxx>
  59 #include <TopExp.hxx>
  60 #include <TDF_ChildIterator.hxx>
  61 #include <TDF_ChildIDIterator.hxx>
  62 #include <TopoDS_Iterator.hxx>
  63 #include <TDF_ChildIDIterator.hxx>
  64 #include <Geom_Circle.hxx>
  65 #include <Geom_Ellipse.hxx>
  66 #include <BRep_Builder.hxx>
  67
  68 //#define DEB_NAMING 1
  69 #ifdef DEB_NAMING
  70 #include <BRepTools.hxx>
  71 #endif
  72 /// added to the index in the packed map to signalize that the vertex of edge is selected
  73 /// (multiplied by the index of the edge)
  74 static const int kSTART_VERTEX_DELTA = 1000000;
  75 // identifier that there is simple reference: selection equals to context
  76 Standard_GUID kSIMPLE_REF_ID("635eacb2-a1d6-4dec-8348-471fae17cb29");
  77 // reference to Part sub-object
  78 Standard_GUID kPART_REF_ID("635eacb2-a1d6-4dec-8348-471fae17cb27");
  79 // selection is invalid after recomputation
  80 Standard_GUID kINVALID_SELECTION("bce47fd7-80fa-4462-9d63-2f58acddd49d");
  81
  82 // identifier of the selection of the center of circle on edge
  83 Standard_GUID kCIRCLE_CENTER("d0d0e0f1-217a-4b95-8fbb-0c4132f23718");
  84 // identifier of the selection of the first focus point of ellipse on edge
  85 Standard_GUID kELLIPSE_CENTER1("f70df04c-3168-4dc9-87a4-f1f840c1275d");
  86 // identifier of the selection of the second focus point of ellipse on edge
  87 Standard_GUID kELLIPSE_CENTER2("1395ae73-8e02-4cf8-b204-06ff35873a32");
  88
  89 // prefix for the whole feature context identification
  90 const static std::string kWHOLE_FEATURE = "all-in-";
  91
  92 // on this label is stored:
  93 // TNaming_NamedShape - selected shape
  94 // TNaming_Naming - topological selection information (for the body)
  95 // TDataStd_IntPackedMap - indexes of edges in composite element (for construction)
  96 // TDataStd_Integer - type of the selected shape (for construction)
  97 // TDF_Reference - from ReferenceAttribute, the context
  98 bool Model_AttributeSelection::setValue(const ObjectPtr& theContext,
  99   const std::shared_ptr<GeomAPI_Shape>& theSubShape, const bool theTemporarily)
 100 {
 101   if (theTemporarily &&
 102       (!theContext.get() || theContext->groupName() != ModelAPI_Feature::group())) {
 103     // just keep the stored without DF update
 104     myTmpContext = std::dynamic_pointer_cast<ModelAPI_Result>(theContext);
 105     myTmpSubShape = theSubShape;
 106     owner()->data()->sendAttributeUpdated(this);
 107     return true;
 108   } else {
 109     myTmpContext.reset();
 110     myTmpSubShape.reset();
 111     myTmpCenterType = NOT_CENTER;
 112   }
 113
 114   CenterType aType;
 115   const std::shared_ptr<GeomAPI_Shape>& anOldShape = internalValue(aType);
 116   bool isOldContext = theContext == myRef.value();
 117   bool isOldShape = isOldContext &&
 118     (theSubShape == anOldShape || (theSubShape && anOldShape && theSubShape->isEqual(anOldShape)));
 119   if (isOldShape) return false; // shape is the same, so context is also unchanged
 120   bool aToUnblock = false;
 121   // update the referenced object if needed
 122   if (!isOldContext) {
 123     aToUnblock = !owner()->data()->blockSendAttributeUpdated(true);
 124     myRef.setValue(theContext);
 125   }
 126
 127   // do noth use naming if selected shape is result shape itself, but not sub-shape
 128   TDF_Label aSelLab = selectionLabel();
 129   aSelLab.ForgetAttribute(kSIMPLE_REF_ID);
 130   aSelLab.ForgetAttribute(kINVALID_SELECTION);
 131   aSelLab.ForgetAttribute(kCIRCLE_CENTER);
 132   aSelLab.ForgetAttribute(kELLIPSE_CENTER1);
 133   aSelLab.ForgetAttribute(kELLIPSE_CENTER2);
 134
 135   bool isDegeneratedEdge = false;
 136   // do not use the degenerated edge as a shape, a null context and shape is used in the case
 137   if (theSubShape.get() && !theSubShape->isNull() && theSubShape->isEdge()) {
 138     const TopoDS_Shape& aSubShape = theSubShape->impl<TopoDS_Shape>();
 139     if (aSubShape.ShapeType() == TopAbs_EDGE)
 140       isDegeneratedEdge = BRep_Tool::Degenerated(TopoDS::Edge(aSubShape)) == Standard_True;
 141   }
 142   if (!theContext.get() || isDegeneratedEdge) {
 143     // to keep the reference attribute label
 144     TDF_Label aRefLab = myRef.myRef->Label();
 145     aSelLab.ForgetAllAttributes(true);
 146     myRef.myRef = TDF_Reference::Set(aSelLab.Father(), aSelLab.Father());
 147     if (aToUnblock)
 148       owner()->data()->blockSendAttributeUpdated(false);
 149     return false;
 150   }
 151   if (theContext->groupName() == ModelAPI_ResultBody::group()) {
 152     ResultBodyPtr aContextBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(theContext);
 153     // do not select the whole shape for body:it is already must be in the data framework
 154     // equal and null selected objects mean the same: object is equal to context,
 155     if (aContextBody->shape().get() &&
 156         (aContextBody->shape()->isEqual(theSubShape) || !theSubShape.get())) {
 157       aSelLab.ForgetAllAttributes(true);
 158       TDataStd_UAttribute::Set(aSelLab, kSIMPLE_REF_ID);
 159     } else {
 160       selectBody(aContextBody, theSubShape);
 161     }
 162   } else if (theContext->groupName() == ModelAPI_ResultConstruction::group()) {
 163     ResultConstructionPtr aContextConstruction =
 164       std::dynamic_pointer_cast<ModelAPI_ResultConstruction>(theContext);
 165     aSelLab.ForgetAllAttributes(true); // to remove old selection data
 166     std::shared_ptr<Model_ResultConstruction> aConstruction =
 167       std::dynamic_pointer_cast<Model_ResultConstruction>(theContext);
 168     std::shared_ptr<GeomAPI_Shape> aSubShape;
 169     if (theSubShape.get() && !aContextConstruction->shape()->isEqual(theSubShape))
 170       aSubShape = theSubShape; // the whole context
 171     if (aConstruction->isInfinite()) {
 172       // For correct naming selection, put the shape into the naming structure.
 173       // It seems sub-shapes are not needed: only this shape is (and can be ) selected.
 174       TNaming_Builder aBuilder(aSelLab);
 175       aBuilder.Generated(aContextConstruction->shape()->impl<TopoDS_Shape>());
 176     }
 177     int anIndex = aConstruction->select(theSubShape, owner()->document());
 178     TDataStd_Integer::Set(aSelLab, anIndex);
 179   } else if (theContext->groupName() == ModelAPI_ResultPart::group()) {
 180     aSelLab.ForgetAllAttributes(true);
 181     TDataStd_UAttribute::Set(aSelLab, kPART_REF_ID);
 182     selectPart(std::dynamic_pointer_cast<ModelAPI_Result>(theContext), theSubShape);
 183   }
 184
 185   owner()->data()->sendAttributeUpdated(this);
 186
 187   if (aToUnblock)
 188     owner()->data()->blockSendAttributeUpdated(false);
 189
 190   return true;
 191 }
 192
 193 void Model_AttributeSelection::setValueCenter(
 194     const ObjectPtr& theContext, const std::shared_ptr<GeomAPI_Edge>& theEdge,
 195     const CenterType theCenterType, const bool theTemporarily)
 196 {
 197   bool anUpdated = setValue(theContext, theEdge, theTemporarily);
 198   if (theTemporarily) {
 199     myTmpCenterType = theCenterType;
 200   } else { // store in the data structure
 201     TDF_Label aSelLab = selectionLabel();
 202     switch(theCenterType) {
 203     case CIRCLE_CENTER:
 204       if (!anUpdated)
 205         anUpdated = !aSelLab.IsAttribute(kCIRCLE_CENTER);
 206       TDataStd_UAttribute::Set(aSelLab, kCIRCLE_CENTER);
 207       break;
 208     case ELLIPSE_FIRST_FOCUS:
 209       if (!anUpdated)
 210         anUpdated = !aSelLab.IsAttribute(kELLIPSE_CENTER1);
 211       TDataStd_UAttribute::Set(aSelLab, kELLIPSE_CENTER1);
 212       break;
 213     case ELLIPSE_SECOND_FOCUS:
 214       if (!anUpdated)
 215         anUpdated = !aSelLab.IsAttribute(kELLIPSE_CENTER2);
 216       TDataStd_UAttribute::Set(aSelLab, kELLIPSE_CENTER2);
 217       break;
 218     }
 219     if (anUpdated)
 220       owner()->data()->sendAttributeUpdated(this);
 221   }
 222 }
 223
 224 void Model_AttributeSelection::selectValue(
 225     const std::shared_ptr<ModelAPI_AttributeSelection>& theSource)
 226 {
 227   CenterType aType;
 228   std::shared_ptr<GeomAPI_Shape> aValue =
 229     std::dynamic_pointer_cast<Model_AttributeSelection>(theSource)->internalValue(aType);
 230   if (!aValue.get() || aType == NOT_CENTER) {
 231     setValue(theSource->context(), aValue);
 232   } else {
 233     std::shared_ptr<GeomAPI_Edge> anEdge(new GeomAPI_Edge);
 234     anEdge->setImpl(new TopoDS_Shape(aValue->impl<TopoDS_Shape>()));
 235     setValueCenter(theSource->context(), anEdge, aType);
 236   }
 237 }
 238
 239 void Model_AttributeSelection::removeTemporaryValues()
 240 {
 241   if (myTmpContext.get() || myTmpSubShape.get()) {
 242     myTmpContext.reset();
 243     myTmpSubShape.reset();
 244   }
 245 }
 246
 247 // returns the center of the edge: circular or elliptical
 248 GeomShapePtr centerByEdge(GeomShapePtr theEdge, ModelAPI_AttributeSelection::CenterType theType)
 249 {
 250   if (theType != ModelAPI_AttributeSelection::NOT_CENTER && theEdge.get() != NULL) {
 251     TopoDS_Shape aShape = theEdge->impl<TopoDS_Shape>();
 252     if (!aShape.IsNull() && aShape.ShapeType() == TopAbs_EDGE) {
 253       TopoDS_Edge anEdge = TopoDS::Edge(aShape);
 254       double aFirst, aLast;
 255       Handle(Geom_Curve) aCurve = BRep_Tool::Curve(anEdge, aFirst, aLast);
 256       if (!aCurve.IsNull()) {
 257         TopoDS_Vertex aVertex;
 258         BRep_Builder aBuilder;
 259         if (theType == ModelAPI_AttributeSelection::CIRCLE_CENTER) {
 260           Handle(Geom_Circle) aCirc = Handle(Geom_Circle)::DownCast(aCurve);
 261           if (!aCirc.IsNull()) {
 262             aBuilder.MakeVertex(aVertex, aCirc->Location(), Precision::Confusion());
 263           }
 264         } else { // ellipse
 265           Handle(Geom_Ellipse) anEll = Handle(Geom_Ellipse)::DownCast(aCurve);
 266           if (!anEll.IsNull()) {
 267             aBuilder.MakeVertex(aVertex,
 268               theType == ModelAPI_AttributeSelection::ELLIPSE_FIRST_FOCUS ?
 269               anEll->Focus1() : anEll->Focus2(), Precision::Confusion());
 270           }
 271         }
 272         if (!aVertex.IsNull()) {
 273           std::shared_ptr<GeomAPI_Vertex> aResult(new GeomAPI_Vertex);
 274           aResult->setImpl(new TopoDS_Vertex(aVertex));
 275           return aResult;
 276         }
 277       }
 278     }
 279   }
 280   return theEdge; // no vertex, so, return the initial edge
 281 }
 282
 283 std::shared_ptr<GeomAPI_Shape> Model_AttributeSelection::value()
 284 {
 285   if (!ModelAPI_AttributeSelection::isInitialized() && !myTmpContext.get() && !myTmpSubShape.get())
 286     return std::shared_ptr<GeomAPI_Shape>();
 287   CenterType aType = NOT_CENTER;
 288   std::shared_ptr<GeomAPI_Shape> aResult = internalValue(aType);
 289   return centerByEdge(aResult, aType);
 290 }
 291
 292 std::shared_ptr<GeomAPI_Shape> Model_AttributeSelection::internalValue(CenterType& theType)
 293 {
 294   theType = NOT_CENTER;
 295   GeomShapePtr aResult;
 296   if (myTmpContext.get() || myTmpSubShape.get()) {
 297     theType = myTmpCenterType;
 298     ResultConstructionPtr aResulConstruction =
 299       std::dynamic_pointer_cast<ModelAPI_ResultConstruction>(myTmpContext);
 300     if(aResulConstruction.get()) {
 301       // it is just reference to construction.
 302       return myTmpSubShape;
 303     }
 304     return myTmpSubShape.get() ? myTmpSubShape : myTmpContext->shape();
 305   }
 306
 307   TDF_Label aSelLab = selectionLabel();
 308   if (aSelLab.IsAttribute(kINVALID_SELECTION))
 309     return aResult;
 310
 311   if (aSelLab.IsAttribute(kCIRCLE_CENTER))
 312     theType = CIRCLE_CENTER;
 313   else if (aSelLab.IsAttribute(kELLIPSE_CENTER1))
 314     theType = ELLIPSE_FIRST_FOCUS;
 315   else if (aSelLab.IsAttribute(kELLIPSE_CENTER2))
 316     theType = ELLIPSE_SECOND_FOCUS;
 317
 318
 319   if (myRef.isInitialized()) {
 320     if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
 321       ResultPtr aContext = context();
 322       if (!aContext.get())
 323         return aResult; // empty result
 324       return aContext->shape();
 325     }
 326     if (aSelLab.IsAttribute(kPART_REF_ID)) {
 327       ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(context());
 328       if (!aPart.get() || !aPart->isActivated())
 329         return std::shared_ptr<GeomAPI_Shape>(); // postponed naming needed
 330       Handle(TDataStd_Integer) anIndex;
 331       if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 332         if (anIndex->Get()) { // special selection attribute was created, use it
 333           return aPart->selectionValue(anIndex->Get());
 334         } else { // face with name is already in the data model, so try to take it by name
 335           Handle(TDataStd_Name) aName;
 336           if (aSelLab.FindAttribute(TDataStd_Name::GetID(), aName)) {
 337             std::string aSubShapeName(TCollection_AsciiString(aName->Get()).ToCString());
 338             std::size_t aPartEnd = aSubShapeName.find('/');
 339             if (aPartEnd != std::string::npos && aPartEnd != aSubShapeName.rfind('/')) {
 340               std::string aNameInPart = aSubShapeName.substr(aPartEnd + 1);
 341               int anIndex;
 342               std::string aType; // to reuse already existing selection the type is not needed
 343               return aPart->shapeInPart(aNameInPart, aType, anIndex);
 344             }
 345           }
 346         }
 347       }
 348     }
 349
 350     std::shared_ptr<Model_ResultConstruction> aConstr =
 351       std::dynamic_pointer_cast<Model_ResultConstruction>(context());
 352     if (aConstr) {
 353       if (aConstr->isInfinite())
 354         return aResult; // empty result
 355     }
 356     // whole feature
 357     FeaturePtr aFeature = contextFeature();
 358     if (aFeature.get()) {
 359       std::list<GeomShapePtr> allShapes;
 360       std::list<ResultPtr>::const_iterator aRes = aFeature->results().cbegin();
 361       for (; aRes != aFeature->results().cend(); aRes++) {
 362         if (aRes->get() && !(*aRes)->isDisabled()) {
 363           GeomShapePtr aShape = (*aRes)->shape();
 364           if (aShape.get() && !aShape->isNull()) {
 365             allShapes.push_back(aShape);
 366           }
 367         }
 368       }
 369       return GeomAlgoAPI_CompoundBuilder::compound(allShapes);
 370     }
 371
 372     Handle(TNaming_NamedShape) aSelection;
 373     if (aSelLab.FindAttribute(TNaming_NamedShape::GetID(), aSelection)) {
 374       TopoDS_Shape aSelShape = aSelection->Get();
 375       aResult = std::shared_ptr<GeomAPI_Shape>(new GeomAPI_Shape);
 376       aResult->setImpl(new TopoDS_Shape(aSelShape));
 377     } else if (aConstr) { // simple construction element: just shape of this construction element
 378       Handle(TDataStd_Integer) anIndex;
 379       if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 380         if (anIndex->Get() == 0) // it is just reference to construction, nothing is in value
 381           return aResult;
 382         return aConstr->shape(anIndex->Get(), owner()->document());
 383       }
 384     }
 385   }
 386   return aResult;
 387 }
 388
 389 bool Model_AttributeSelection::isInvalid()
 390 {
 391   return selectionLabel().IsAttribute(kINVALID_SELECTION) == Standard_True;
 392 }
 393
 394 bool Model_AttributeSelection::isInitialized()
 395 {
 396   if (ModelAPI_AttributeSelection::isInitialized()) { // additional checks if it is initialized
 397     std::shared_ptr<GeomAPI_Shape> aResult;
 398     if (myRef.isInitialized()) {
 399       TDF_Label aSelLab = selectionLabel();
 400       if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
 401         ResultPtr aContext = context();
 402         return aContext.get() != NULL;
 403       }
 404       Handle(TNaming_NamedShape) aSelection;
 405       if (selectionLabel().FindAttribute(TNaming_NamedShape::GetID(), aSelection)) {
 406         return !aSelection->Get().IsNull();
 407       } else { // for simple construction element: just shape of this construction element
 408         std::shared_ptr<Model_ResultConstruction> aConstr =
 409           std::dynamic_pointer_cast<Model_ResultConstruction>(context());
 410         if (aConstr.get()) {
 411           Handle(TDataStd_Integer) anIndex;
 412           if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 413             // for the whole shape it may return null, so, if index exists, returns true
 414             return true;
 415           }
 416         }
 417         // for the whole feature, a feature object
 418         FeaturePtr aFeat = contextFeature();
 419         if (aFeat.get())
 420           return true;
 421       }
 422     }
 423   }
 424   return false;
 425 }
 426
 427 Model_AttributeSelection::Model_AttributeSelection(TDF_Label& theLabel)
 428   : myRef(theLabel)
 429 {
 430   myIsInitialized = myRef.isInitialized();
 431   myParent = NULL;
 432 }
 433
 434 void Model_AttributeSelection::setID(const std::string theID)
 435 {
 436   myRef.setID(theID);
 437   ModelAPI_AttributeSelection::setID(theID);
 438 }
 439
 440 ResultPtr Model_AttributeSelection::context()
 441   if (!ModelAPI_AttributeSelection::isInitialized() && !myTmpContext.get() && !myTmpSubShape.get())
 442     return ResultPtr();
 443
 444   if (myTmpContext.get() || myTmpSubShape.get()) {
 445     return myTmpContext;
 446   }
 447
 448   ResultPtr aResult = std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
 449   // for parts there could be same-data result, so take the last enabled
 450   if (aResult.get() && aResult->groupName() == ModelAPI_ResultPart::group()) {
 451     int aSize = aResult->document()->size(ModelAPI_ResultPart::group());
 452     for(int a = aSize - 1; a >= 0; a--) {
 453       ObjectPtr aPart = aResult->document()->object(ModelAPI_ResultPart::group(), a);
 454       if (aPart.get() && aPart->data() == aResult->data()) {
 455         ResultPtr aPartResult = std::dynamic_pointer_cast<ModelAPI_Result>(aPart);
 456         FeaturePtr anOwnerFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 457         // check that this result is not this-feature result (it is forbidden t oselect itself)
 458         if (anOwnerFeature.get() && anOwnerFeature->firstResult() != aPartResult) {
 459           return aPartResult;
 460         }
 461       }
 462     }
 463   }
 464   return aResult;
 465 }
 466
 467 FeaturePtr Model_AttributeSelection::contextFeature() {
 468   if (myTmpContext.get() || myTmpSubShape.get()) {
 469     return FeaturePtr(); // feature can not be selected temporarily
 470   }
 471   return std::dynamic_pointer_cast<ModelAPI_Feature>(myRef.value());
 472
 473 }
 474
 475
 476
 477 void Model_AttributeSelection::setObject(const std::shared_ptr<ModelAPI_Object>& theObject)
 478 {
 479   ModelAPI_AttributeSelection::setObject(theObject);
 480   myRef.setObject(theObject);
 481 }
 482
 483 TDF_LabelMap& Model_AttributeSelection::scope()
 484 {
 485   if (myScope.IsEmpty()) { // create a new scope if not yet done
 486     // gets all features with named shapes that are before this feature label (before in history)
 487     DocumentPtr aMyDoc = owner()->document();
 488     std::list<std::shared_ptr<ModelAPI_Feature> > allFeatures = aMyDoc->allFeatures();
 489     std::list<std::shared_ptr<ModelAPI_Feature> >::iterator aFIter = allFeatures.begin();
 490     bool aMePassed = false;
 491     CompositeFeaturePtr aComposite =
 492       std::dynamic_pointer_cast<ModelAPI_CompositeFeature>(owner());
 493     FeaturePtr aFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 494     CompositeFeaturePtr aCompositeOwner, aCompositeOwnerOwner;
 495     if (aFeature.get()) {
 496       aCompositeOwner = ModelAPI_Tools::compositeOwner(aFeature);
 497       if (aCompositeOwner.get()) {
 498          aCompositeOwnerOwner = ModelAPI_Tools::compositeOwner(aCompositeOwner);
 499       }
 500     }
 501     // for group Scope is not limitet: this is always up to date objects
 502     // this causes problem in galeries.py
 503     //bool isGroup = aFeature.get() && aFeature->getKind() == "Group";
 504     for(; aFIter != allFeatures.end(); aFIter++) {
 505       if (*aFIter == owner()) {  // the left features are created later (except subs of composite)
 506         aMePassed = true;
 507         continue;
 508       }
 509       //if (isGroup) aMePassed = false;
 510       bool isInScope = !aMePassed;
 511       if (!isInScope && aComposite.get()) {
 512         // try to add sub-elements of composite if this is composite
 513         if (aComposite->isSub(*aFIter))
 514           isInScope = true;
 515       }
 516       // remove the composite-owner of this feature (sketch in extrusion-cut)
 517       if (isInScope && (aCompositeOwner == *aFIter || aCompositeOwnerOwner == *aFIter))
 518         isInScope = false;
 519
 520       if (isInScope && aFIter->get() && (*aFIter)->data()->isValid()) {
 521         TDF_Label aFeatureLab = std::dynamic_pointer_cast<Model_Data>(
 522           (*aFIter)->data())->label().Father();
 523         TDF_ChildIDIterator aNSIter(aFeatureLab, TNaming_NamedShape::GetID(), true);
 524         for(; aNSIter.More(); aNSIter.Next()) {
 525           Handle(TNaming_NamedShape) aNS = Handle(TNaming_NamedShape)::DownCast(aNSIter.Value());
 526           if (!aNS.IsNull() && aNS->Evolution() != TNaming_SELECTED) {
 527             myScope.Add(aNS->Label());
 528           }
 529         }
 530       }
 531     }
 532     // also add all naming labels created for external constructions
 533     std::shared_ptr<Model_Document> aDoc = std::dynamic_pointer_cast<Model_Document>(aMyDoc);
 534     TDF_Label anExtDocLab = aDoc->extConstructionsLabel();
 535     TDF_ChildIDIterator aNSIter(anExtDocLab, TNaming_NamedShape::GetID(), true);
 536     for(; aNSIter.More(); aNSIter.Next()) {
 537       Handle(TNaming_NamedShape) aNS = Handle(TNaming_NamedShape)::DownCast(aNSIter.Value());
 538       if (!aNS.IsNull() && aNS->Evolution() != TNaming_SELECTED) {
 539         myScope.Add(aNS->Label());
 540       }
 541     }
 542   }
 543   return myScope;
 544 }
 545
 546 /// Sets the invalid flag if flag is false, or removes it if "true"
 547 /// Returns theFlag
 548 static bool setInvalidIfFalse(TDF_Label& theLab, const bool theFlag) {
 549   if (theFlag) {
 550     theLab.ForgetAttribute(kINVALID_SELECTION);
 551   } else {
 552     TDataStd_UAttribute::Set(theLab, kINVALID_SELECTION);
 553   }
 554   return theFlag;
 555 }
 556
 557 void Model_AttributeSelection::split(
 558   ResultPtr theContext, TopoDS_Shape theNewShape, TopAbs_ShapeEnum theType)
 559 {
 560   TopTools_ListOfShape aSubs;
 561   for(TopoDS_Iterator anExplorer(theNewShape); anExplorer.More(); anExplorer.Next()) {
 562     if (!anExplorer.Value().IsNull() &&
 563       anExplorer.Value().ShapeType() == theType) {
 564         aSubs.Append(anExplorer.Value());
 565     } else { // invalid case; bad result shape, so, impossible to split easily
 566       aSubs.Clear();
 567       break;
 568     }
 569   }
 570   if (aSubs.Extent() > 1) { // ok to split
 571     TopTools_ListIteratorOfListOfShape aSub(aSubs);
 572     GeomShapePtr aSubSh(new GeomAPI_Shape);
 573     aSubSh->setImpl(new TopoDS_Shape(aSub.Value()));
 574     setValue(theContext, aSubSh);
 575     for(aSub.Next(); aSub.More(); aSub.Next()) {
 576       GeomShapePtr aSubSh(new GeomAPI_Shape);
 577       aSubSh->setImpl(new TopoDS_Shape(aSub.Value()));
 578       myParent->append(theContext, aSubSh);
 579     }
 580   }
 581 }
 582
 583 bool Model_AttributeSelection::update()
 584 {
 585   TDF_Label aSelLab = selectionLabel();
 586   ResultPtr aContext = context();
 587   if (!aContext.get())
 588     return setInvalidIfFalse(aSelLab, false);
 589   if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
 590     return setInvalidIfFalse(aSelLab, aContext->shape() && !aContext->shape()->isNull());
 591   }
 592
 593   if (aSelLab.IsAttribute(kPART_REF_ID)) { // it is reference to the part object
 594     std::shared_ptr<GeomAPI_Shape> aNoSelection;
 595     bool aResult = selectPart(aContext, aNoSelection, true);
 596     aResult = setInvalidIfFalse(aSelLab, aResult);
 597     if (aResult) {
 598       owner()->data()->sendAttributeUpdated(this);
 599     }
 600     return aResult;
 601   }
 602
 603   if (aContext->groupName() == ModelAPI_ResultBody::group()) {
 604     // body: just a named shape, use selection mechanism from OCCT
 605     TNaming_Selector aSelector(aSelLab);
 606     TopoDS_Shape anOldShape;
 607     if (!aSelector.NamedShape().IsNull()) {
 608       anOldShape = aSelector.NamedShape()->Get();
 609     }
 610     bool aResult = aSelector.Solve(scope()) == Standard_True;
 611     // must be before sending of updated attribute (1556)
 612     aResult = setInvalidIfFalse(aSelLab, aResult);
 613     TopoDS_Shape aNewShape;
 614     if (!aSelector.NamedShape().IsNull()) {
 615       aNewShape = aSelector.NamedShape()->Get();
 616     }
 617     if (anOldShape.IsNull() || aNewShape.IsNull() ||
 618         !anOldShape.IsEqual(aSelector.NamedShape()->Get())) {
 619       // shape type shoud not not changed: if shape becomes compound of such shapes, then split
 620       if (myParent && !anOldShape.IsNull() && !aNewShape.IsNull() &&
 621           anOldShape.ShapeType() != aNewShape.ShapeType() &&
 622           (aNewShape.ShapeType() == TopAbs_COMPOUND || aNewShape.ShapeType() == TopAbs_COMPSOLID))
 623       {
 624         split(aContext, aNewShape, anOldShape.ShapeType());
 625       }
 626       owner()->data()->sendAttributeUpdated(this);  // send updated if shape is changed
 627     }
 628     return aResult;
 629   }
 630
 631   if (aContext->groupName() == ModelAPI_ResultConstruction::group()) {
 632     Handle(TDataStd_Integer) anIndex;
 633     if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 634       std::shared_ptr<Model_ResultConstruction> aConstructionContext =
 635         std::dynamic_pointer_cast<Model_ResultConstruction>(aContext);
 636       bool aModified = true;
 637       bool aValid = aConstructionContext->update(anIndex->Get(), owner()->document(), aModified);
 638       setInvalidIfFalse(aSelLab, aValid);
 639       if (aConstructionContext->isInfinite()) {
 640         // Update the selected shape.
 641         TNaming_Builder aBuilder(aSelLab);
 642         aBuilder.Generated(aConstructionContext->shape()->impl<TopoDS_Shape>());
 643       }
 644       if (aModified)
 645         owner()->data()->sendAttributeUpdated(this);
 646       return aValid;
 647     }
 648   }
 649   return setInvalidIfFalse(aSelLab, false); // unknown case
 650 }
 651
 652 void Model_AttributeSelection::selectBody(
 653   const ResultPtr& theContext, const std::shared_ptr<GeomAPI_Shape>& theSubShape)
 654 {
 655   // perform the selection
 656   TNaming_Selector aSel(selectionLabel());
 657   TopoDS_Shape aContext;
 658
 659   ResultBodyPtr aBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(theContext);//myRef.value()
 660   if (aBody) {
 661     aContext = aBody->shape()->impl<TopoDS_Shape>();
 662   } else {
 663     ResultPtr aResult =
 664       std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
 665     if (aResult) {
 666       aContext = aResult->shape()->impl<TopoDS_Shape>();
 667     } else {
 668       Events_InfoMessage("Model_AttributeSelection", "A result with shape is expected").send();
 669       return;
 670     }
 671   }
 672
 673   // with "recover" feature the selected context may be not up to date (issue 1710)
 674   Handle(TNaming_NamedShape) aResult;
 675   TDF_Label aSelLab = selectionLabel();
 676   TopoDS_Shape aNewContext = aContext;
 677   bool isUpdated = true;
 678   while(!aNewContext.IsNull() && isUpdated) {
 679     // searching for the very last shape that was produced from this one
 680     isUpdated = false;
 681     if (!TNaming_Tool::HasLabel(aSelLab, aNewContext))
 682       // to avoid crash of TNaming_SameShapeIterator if pure shape does not exists
 683       break;
 684     for(TNaming_SameShapeIterator anIter(aNewContext, aSelLab); anIter.More(); anIter.Next()) {
 685       TDF_Label aNSLab = anIter.Label();
 686       if (!scope().Contains(aNSLab))
 687         continue;
 688       Handle(TNaming_NamedShape) aNS;
 689       if (aNSLab.FindAttribute(TNaming_NamedShape::GetID(), aNS)) {
 690         for(TNaming_Iterator aShapesIter(aNS); aShapesIter.More(); aShapesIter.Next()) {
 691           if (aShapesIter.Evolution() == TNaming_SELECTED)
 692             continue; // don't use the selection evolution
 693           if (!aShapesIter.OldShape().IsNull() && aShapesIter.OldShape().IsSame(aNewContext)) {
 694              // found the original shape
 695             aNewContext = aShapesIter.NewShape(); // go to the newer shape
 696             isUpdated = true;
 697             break;
 698           }
 699         }
 700       }
 701     }
 702   }
 703   if (aNewContext.IsNull()) { // a context is already deleted
 704     setInvalidIfFalse(aSelLab, false);
 705     Events_InfoMessage("Model_AttributeSelection", "Failed to select shape already deleted").send();
 706     return;
 707   }
 708
 709   TopoDS_Shape aNewSub = theSubShape ? theSubShape->impl<TopoDS_Shape>() : aContext;
 710   if (!aNewSub.IsEqual(aContext)) { // searching for subshape in the new context
 711     bool isFound = false;
 712     TopExp_Explorer anExp(aNewContext, aNewSub.ShapeType());
 713     for(; anExp.More(); anExp.Next()) {
 714       if (anExp.Current().IsSame(aNewSub)) {
 715         isFound = true;
 716         break;
 717       }
 718     }
 719     if (!isFound) { // sub-shape is not found in the up-to-date instance of the context shape
 720       // if context is sub-result of compound/compsolid, selection of sub-shape better propagate to
 721       // the main result (which is may be modified); the case is in 1799
 722       ResultBodyPtr aMain = ModelAPI_Tools::bodyOwner(theContext);
 723       while(ModelAPI_Tools::bodyOwner(aMain).get())
 724         aMain = ModelAPI_Tools::bodyOwner(theContext);
 725       if (aMain.get()) {
 726         selectBody(aMain, theSubShape);
 727         return;
 728       }
 729       setInvalidIfFalse(aSelLab, false);
 730       Events_InfoMessage("Model_AttributeSelection",
 731         "Failed to select sub-shape already modified").send();
 732       return;
 733     }
 734   }
 735
 736   /// fix for issue 411: result modified shapes must not participate in this selection mechanism
 737   if (!aContext.IsNull()) {
 738     FeaturePtr aFeatureOwner = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
 739     bool aEraseResults = false;
 740     if (aFeatureOwner.get()) {
 741       aEraseResults = !aFeatureOwner->results().empty();
 742       if (aEraseResults) // erase results without flash deleted and redisplay: do it after Select
 743         aFeatureOwner->removeResults(0, false, false);
 744     }
 745     aSel.Select(aNewSub, aNewContext);
 746
 747     if (aEraseResults) { // flash after Select : in Groups it makes selection with shift working
 748       static Events_Loop* aLoop = Events_Loop::loop();
 749       static const Events_ID kDeletedEvent = aLoop->eventByName(EVENT_OBJECT_DELETED);
 750       aLoop->flush(kDeletedEvent);
 751     }
 752   }
 753 }
 754
 755 bool Model_AttributeSelection::selectPart(
 756   const ResultPtr& theContext, const std::shared_ptr<GeomAPI_Shape>& theSubShape,
 757   const bool theUpdate)
 758 {
 759   ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(theContext);
 760   if (!aPart.get() || !aPart->isActivated())
 761     return true; // postponed naming
 762   if (theUpdate) {
 763     Handle(TDataStd_Integer) anIndex;
 764     if (selectionLabel().FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
 765       // by internal selection
 766       if (anIndex->Get() > 0) {
 767         // update the selection by index
 768         return aPart->updateInPart(anIndex->Get());
 769       } else {
 770         return true; // nothing to do, referencing just by name
 771       }
 772     }
 773     return true; // nothing to do, referencing just by name
 774   }
 775   // store the shape (in case part is not loaded it should be useful
 776   TopoDS_Shape aShape;
 777   std::string aName = theContext->data()->name();
 778   if (!theSubShape.get() || theSubShape->isNull()) {// the whole part shape is selected
 779     aShape = theContext->shape()->impl<TopoDS_Shape>();
 780   } else {
 781     aShape = theSubShape->impl<TopoDS_Shape>();
 782     int anIndex;
 783     aName += "/" + aPart->nameInPart(theSubShape, anIndex);
 784     TDataStd_Integer::Set(selectionLabel(), anIndex);
 785   }
 786   TNaming_Builder aBuilder(selectionLabel());
 787   aBuilder.Select(aShape, aShape);
 788   // identify by name in the part
 789   TDataStd_Name::Set(selectionLabel(), aName.c_str());
 790   return !aName.empty();
 791 }
 792
 793 TDF_Label Model_AttributeSelection::selectionLabel()
 794 {
 795   return myRef.myRef->Label().FindChild(1);
 796 }
 797
 798 /// prefixes of the shape names with centers defined
 799 static std::map<ModelAPI_AttributeSelection::CenterType, std::string> kCENTERS_PREFIX;
 800
 801 /// returns the map that contains all possible prefixes of the center-names
 802 static std::map<ModelAPI_AttributeSelection::CenterType, std::string>& centersMap()
 803 {
 804   if (kCENTERS_PREFIX.empty()) { // fill map by initial values
 805     kCENTERS_PREFIX[ModelAPI_AttributeSelection::CIRCLE_CENTER] = "__cc";
 806     kCENTERS_PREFIX[ModelAPI_AttributeSelection::ELLIPSE_FIRST_FOCUS] = "__eff";
 807     kCENTERS_PREFIX[ModelAPI_AttributeSelection::ELLIPSE_SECOND_FOCUS] = "__esf";
 808   }
 809   return kCENTERS_PREFIX;
 810 }
 811
 812 std::string Model_AttributeSelection::namingName(const std::string& theDefaultName)
 813 {
 814   std::string aName("");
 815   if(!this->isInitialized())
 816     return !theDefaultName.empty() ? theDefaultName : aName;
 817
 818   CenterType aCenterType = NOT_CENTER;
 819   std::shared_ptr<GeomAPI_Shape> aSubSh = internalValue(aCenterType);
 820   ResultPtr aCont = context();
 821
 822   if (!aCont.get()) {
 823     // selection of a full feature
 824     FeaturePtr aFeatureCont = contextFeature();
 825     if (aFeatureCont.get()) {
 826       return kWHOLE_FEATURE + aFeatureCont->name();
 827     }
 828     // in case of selection of removed result
 829     return "";
 830   }
 831
 832   Model_SelectionNaming aSelNaming(selectionLabel());
 833   std::string aResult = aSelNaming.namingName(
 834     aCont, aSubSh, theDefaultName, owner()->document() != aCont->document());
 835   if (aCenterType != NOT_CENTER) {
 836     aResult += centersMap()[aCenterType];
 837   }
 838   return aResult;
 839 }
 840
 841 // returns the center type and modifies the shape name if this name is center-name
 842 static ModelAPI_AttributeSelection::CenterType centerTypeByName(std::string& theShapeName)
 843 {
 844   std::map<ModelAPI_AttributeSelection::CenterType, std::string>::iterator aPrefixIter =
 845     centersMap().begin();
 846   for(; aPrefixIter != centersMap().end(); aPrefixIter++) {
 847     std::size_t aFound = theShapeName.find(aPrefixIter->second);
 848     if (aFound != std::string::npos &&
 849         aFound == theShapeName.size() - aPrefixIter->second.size()) {
 850       theShapeName = theShapeName.substr(0, aFound);
 851       return aPrefixIter->first;
 852     }
 853   }
 854   return ModelAPI_AttributeSelection::NOT_CENTER;
 855 }
 856
 857 // type ::= COMP | COMS | SOLD | SHEL | FACE | WIRE | EDGE | VERT
 858 void Model_AttributeSelection::selectSubShape(
 859   const std::string& theType, const std::string& theSubShapeName)
 860 {
 861   if(theSubShapeName.empty() || theType.empty()) return;
 862
 863   std::string aSubShapeName = theSubShapeName;
 864   CenterType aCenterType = theType[0] == 'v' || theType[0] == 'V' ? // only for vertex-type
 865     centerTypeByName(aSubShapeName) : NOT_CENTER;
 866   std::string aType = aCenterType == NOT_CENTER ? theType : "EDGE"; // search for edge now
 867
 868   // first iteration is selection by name without center prefix, second - in case of problem,
 869   // try with initial name
 870   for(int aUseCenter = 1; aUseCenter >= 0; aUseCenter--) {
 871     if (aUseCenter == 0 && aCenterType != NOT_CENTER) {
 872       aSubShapeName = theSubShapeName;
 873       aCenterType = NOT_CENTER;
 874       aType = theType;
 875     } else if (aUseCenter != 1) continue;
 876
 877     // check this is Part-name: 2 delimiters in the name
 878     std::size_t aPartEnd = aSubShapeName.find('/');
 879     if (aPartEnd != std::string::npos && aPartEnd != aSubShapeName.rfind('/')) {
 880       std::string aPartName = aSubShapeName.substr(0, aPartEnd);
 881       ObjectPtr aFound = owner()->document()->objectByName(ModelAPI_ResultPart::group(), aPartName);
 882       if (aFound.get()) { // found such part, so asking it for the name
 883         ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(aFound);
 884         std::string aNameInPart = aSubShapeName.substr(aPartEnd + 1);
 885         int anIndex;
 886         std::shared_ptr<GeomAPI_Shape> aSelected = aPart->shapeInPart(aNameInPart, aType, anIndex);
 887         if (aSelected.get()) {
 888           if (aCenterType != NOT_CENTER) {
 889             if (!aSelected->isEdge())
 890               continue;
 891             std::shared_ptr<GeomAPI_Edge> aSelectedEdge(new GeomAPI_Edge(aSelected));
 892             setValueCenter(aPart, aSelectedEdge, aCenterType);
 893           } else
 894             setValue(aPart, aSelected);
 895           TDataStd_Integer::Set(selectionLabel(), anIndex);
 896           return;
 897         }
 898       }
 899     }
 900
 901     std::shared_ptr<Model_Document> aDoc =
 902       std::dynamic_pointer_cast<Model_Document>(owner()->document());
 903     // check this is a whole feature context
 904     if (aSubShapeName.size() > kWHOLE_FEATURE.size() &&
 905       aSubShapeName.substr(0, kWHOLE_FEATURE.size()) == kWHOLE_FEATURE) {
 906       std::string aFeatureName = aSubShapeName.substr(kWHOLE_FEATURE.size());
 907       ObjectPtr anObj = aDoc->objectByName(ModelAPI_Feature::group(), aFeatureName);
 908       if (anObj.get()) {
 909         static const GeomShapePtr anEmptyShape;
 910         setValue(anObj, anEmptyShape);
 911         return;
 912       }
 913     }
 914
 915     Model_SelectionNaming aSelNaming(selectionLabel());
 916     std::shared_ptr<GeomAPI_Shape> aShapeToBeSelected;
 917     ResultPtr aCont;
 918     if (aSelNaming.selectSubShape(aType, aSubShapeName, aDoc, aShapeToBeSelected, aCont)) {
 919       // try to find the last context to find the up to date shape
 920       if (aCont->shape().get() && !aCont->shape()->isNull() &&
 921         aCont->groupName() == ModelAPI_ResultBody::group() && aDoc == owner()->document()) {
 922         const TopoDS_Shape aConShape = aCont->shape()->impl<TopoDS_Shape>();
 923         if (!aConShape.IsNull()) {
 924           Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aConShape, selectionLabel());
 925           if (!aNS.IsNull()) {
 926             aNS = TNaming_Tool::CurrentNamedShape(aNS);
 927             if (!aNS.IsNull() && scope().Contains(aNS->Label())) { // scope check is for 2228
 928               TDF_Label aLab = aNS->Label();
 929               while(aLab.Depth() != 7 && aLab.Depth() > 5)
 930                 aLab = aLab.Father();
 931               ObjectPtr anObj = aDoc->objects()->object(aLab);
 932               if (anObj.get()) {
 933                 ResultPtr aRes = std::dynamic_pointer_cast<ModelAPI_Result>(anObj);
 934                 if (aRes)
 935                   aCont = aRes;
 936               }
 937             }
 938           }
 939         }
 940       }
 941       // if compsolid is context, try to take sub-solid as context: like in GUI and scripts
 942       if (aCont.get() && aShapeToBeSelected.get()) {
 943         ResultBodyPtr aComp = std::dynamic_pointer_cast<ModelAPI_ResultBody>(aCont);
 944         if (aComp && aComp->numberOfSubs()) {
 945           std::list<ResultPtr> allSubs;
 946           ModelAPI_Tools::allSubs(aComp, allSubs);
 947           std::list<ResultPtr>::reverse_iterator aS = allSubs.rbegin(); // iterate from lower level
 948           for(; aS != allSubs.rend(); aS++) {
 949             ResultPtr aSub = *aS;
 950             if (aSub && aSub->shape().get() && aSub->shape()->isSubShape(aShapeToBeSelected)) {
 951               aCont = aSub;
 952               break;
 953             }
 954           }
 955         }
 956       }
 957       // try to find the latest active result that must be used instead of the selected
 958       // to set the active context (like in GUI selection), not concealed one
 959       bool aFindNewContext = true;
 960       while(aFindNewContext && aCont.get()) {
 961         aFindNewContext = false;
 962         // take references to all results: root one, any sub
 963         ResultBodyPtr aCompContext = ModelAPI_Tools::bodyOwner(aCont);
 964         std::list<ResultPtr> allRes;
 965         if (aCompContext.get())
 966           ModelAPI_Tools::allSubs(aCompContext, allRes);
 967         allRes.push_back(aCont);
 968         for(std::list<ResultPtr>::iterator aSub = allRes.begin(); aSub != allRes.end(); aSub++) {
 969           ResultPtr aResCont = *aSub;
 970           const std::set<AttributePtr>& aRefs = aResCont->data()->refsToMe();
 971           std::set<AttributePtr>::const_iterator aRef = aRefs.begin();
 972           for(; !aFindNewContext && aRef != aRefs.end(); aRef++) {
 973             if (!aRef->get() || !(*aRef)->owner().get())
 974               continue;
 975             // concealed attribute only
 976             FeaturePtr aRefFeat = std::dynamic_pointer_cast<ModelAPI_Feature>((*aRef)->owner());
 977             if (!ModelAPI_Session::get()->validators()->isConcealed(
 978               aRefFeat->getKind(), (*aRef)->id()))
 979               continue;
 980             // search the feature result that contains sub-shape selected
 981             std::list<std::shared_ptr<ModelAPI_Result> > aResults;
 982
 983             // take all sub-results or one result
 984             std::list<ResultPtr> aRefFeatResults;
 985             ModelAPI_Tools::allResults(aRefFeat, aRefFeatResults);
 986             std::list<ResultPtr>::iterator aRefResIter = aRefFeatResults.begin();
 987             for(; aRefResIter != aRefFeatResults.end(); aRefResIter++) {
 988               ResultBodyPtr aBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aRefResIter);
 989               if (aBody.get() && aBody->numberOfSubs() == 0) // add only lower level subs
 990                 aResults.push_back(aBody);
 991             }
 992             std::list<std::shared_ptr<ModelAPI_Result> >::iterator aResIter = aResults.begin();
 993             for(; aResIter != aResults.end(); aResIter++) {
 994               if (!aResIter->get() || !(*aResIter)->data()->isValid() || (*aResIter)->isDisabled())
 995                 continue;
 996               GeomShapePtr aShape = (*aResIter)->shape();
 997               GeomShapePtr aSelectedShape =
 998                 aShapeToBeSelected.get() ? aShapeToBeSelected : aCont->shape();
 999               if (aShape.get() && aShape->isSubShape(aSelectedShape, false)) {
1000                 aCont = *aResIter; // found new context (produced from this) with same subshape
1001                 aFindNewContext = true; // continue searching futher
1002                 break;
1003               }
1004             }
1005           }
1006         }
1007       }
1008
1009       if (aCenterType != NOT_CENTER) {
1010         if (!aShapeToBeSelected->isEdge())
1011           continue;
1012         std::shared_ptr<GeomAPI_Edge> aSelectedEdge(new GeomAPI_Edge(aShapeToBeSelected));
1013         setValueCenter(aCont, aSelectedEdge, aCenterType);
1014       } else
1015         setValue(aCont, aShapeToBeSelected);
1016       return;
1017     }
1018   }
1019
1020   TDF_Label aSelLab = selectionLabel();
1021   setInvalidIfFalse(aSelLab, false);
1022   reset();
1023 }
1024
1025 int Model_AttributeSelection::Id()
1026 {
1027   int anID = 0;
1028   std::shared_ptr<GeomAPI_Shape> aSelection = value();
1029   ResultPtr aContextRes = context();
1030   // support for compsolids:
1031   while(ModelAPI_Tools::bodyOwner(aContextRes).get()) {
1032     aContextRes = ModelAPI_Tools::bodyOwner(aContextRes);
1033   }
1034   std::shared_ptr<GeomAPI_Shape> aContext = aContextRes->shape();
1035
1036
1037   TopoDS_Shape aMainShape = aContext->impl<TopoDS_Shape>();
1038   const TopoDS_Shape& aSubShape = aSelection->impl<TopoDS_Shape>();
1039   // searching for the latest main shape
1040   if (aSelection && !aSelection->isNull() && aContext && !aContext->isNull())
1041   {
1042     std::shared_ptr<Model_Document> aDoc =
1043       std::dynamic_pointer_cast<Model_Document>(context()->document());
1044     if (aDoc.get()) {
1045       Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aMainShape, aDoc->generalLabel());
1046       if (!aNS.IsNull()) {
1047         aMainShape = TNaming_Tool::CurrentShape(aNS);
1048       }
1049     }
1050
1051     TopTools_IndexedMapOfShape aSubShapesMap;
1052     TopExp::MapShapes(aMainShape, aSubShapesMap);
1053     anID = aSubShapesMap.FindIndex(aSubShape);
1054   }
1055   return anID;
1056 }
1057
1058 void Model_AttributeSelection::setId(int theID)
1059 {
1060   std::shared_ptr<GeomAPI_Shape> aSelection;
1061
1062   ResultPtr aContextRes = context();
1063   // support for compsolids:
1064   while(ModelAPI_Tools::bodyOwner(aContextRes).get()) {
1065     aContextRes = ModelAPI_Tools::bodyOwner(aContextRes);
1066   }
1067   std::shared_ptr<GeomAPI_Shape> aContext = aContextRes->shape();
1068
1069   TopoDS_Shape aMainShape = aContext->impl<TopoDS_Shape>();
1070   // searching for the latest main shape
1071   if (theID > 0 && aContext && !aContext->isNull())
1072   {
1073     std::shared_ptr<Model_Document> aDoc =
1074       std::dynamic_pointer_cast<Model_Document>(aContextRes->document());
1075     if (aDoc.get()) {
1076       Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aMainShape, aDoc->generalLabel());
1077       if (!aNS.IsNull()) {
1078         aMainShape = TNaming_Tool::CurrentShape(aNS);
1079       }
1080     }
1081
1082     TopTools_IndexedMapOfShape aSubShapesMap;
1083     TopExp::MapShapes(aMainShape, aSubShapesMap);
1084     const TopoDS_Shape& aSelShape = aSubShapesMap.FindKey(theID);
1085
1086     std::shared_ptr<GeomAPI_Shape> aResult(new GeomAPI_Shape);
1087     aResult->setImpl(new TopoDS_Shape(aSelShape));
1088
1089     aSelection = aResult;
1090   }
1091
1092   setValue(aContextRes, aSelection);
1093 }
1094
1095 std::string Model_AttributeSelection::contextName(const ResultPtr& theContext) const
1096 {
1097   std::string aResult;
1098   if (owner()->document() != theContext->document()) {
1099     if (theContext->document() == ModelAPI_Session::get()->moduleDocument()) {
1100       aResult = theContext->document()->kind() + "/";
1101     } else {
1102       ResultPtr aDocRes = ModelAPI_Tools::findPartResult(
1103         ModelAPI_Session::get()->moduleDocument(), theContext->document());
1104       if (aDocRes.get()) {
1105         aResult = aDocRes->data()->name() + "/";
1106       }
1107     }
1108   }
1109   aResult += theContext->data()->name();
1110   return aResult;
1111 }
1112
1113 void Model_AttributeSelection::computeValues(
1114   ResultPtr theOldContext, ResultPtr theNewContext, TopoDS_Shape theValShape,
1115   TopTools_ListOfShape& theShapes)
1116 {
1117   bool aWasWholeContext = theValShape.IsNull();
1118   if (aWasWholeContext) {
1119     //theShapes.Append(theValShape);
1120     //return;
1121     theValShape = theOldContext->shape()->impl<TopoDS_Shape>();
1122   }
1123   //TopoDS_Shape anOldContShape = theOldContext->shape()->impl<TopoDS_Shape>();
1124   TopoDS_Shape aNewContShape = theNewContext->shape()->impl<TopoDS_Shape>();
1125   //if (anOldContShape.IsSame(theValShape)) { // full context shape substituted by new full context
1126     //theShapes.Append(aNewContShape);
1127     //return;
1128   //}
1129   // if a new value is unchanged in the new context, do nothing: value is correct
1130   TopExp_Explorer aSubExp(aNewContShape, theValShape.ShapeType());
1131   for(; aSubExp.More(); aSubExp.Next()) {
1132     if (aSubExp.Current().IsSame(theValShape)) {
1133       theShapes.Append(theValShape);
1134       return;
1135     }
1136   }
1137   // if new context becomes compsolid, the resulting sub may be in sub-solids
1138   std::list<ResultPtr> aNewToIterate;
1139   aNewToIterate.push_back(theNewContext);
1140   ResultBodyPtr aComp = std::dynamic_pointer_cast<ModelAPI_ResultBody>(theNewContext);
1141   if (aComp.get()) {
1142     std::list<ResultPtr> allNewContextSubs;
1143     ModelAPI_Tools::allSubs(aComp, allNewContextSubs);
1144     std::list<ResultPtr>::iterator aSub = allNewContextSubs.begin();
1145     for(; aSub != allNewContextSubs.end(); aSub++) {
1146       ResultBodyPtr aBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aSub);
1147       if (aBody.get() && aBody->numberOfSubs() == 0) // add only lower level subs
1148         aNewToIterate.push_back(aBody);
1149     }
1150   }
1151
1152   // first iteration: searching for the whole shape appearance (like face of the box)
1153   // second iteration: searching for sub-shapes that contain the sub (like vertex on faces)
1154   int aToFindPart = 0;
1155   TopTools_DataMapOfShapeShape aNewToOld; // map from new containers to old containers (with val)
1156   TopTools_MapOfShape anOlds; // to know how many olds produced new containers
1157   for(; aToFindPart != 2 && theShapes.IsEmpty(); aToFindPart++) {
1158     std::list<ResultPtr>::iterator aNewContIter = aNewToIterate.begin();
1159     for(; aNewContIter != aNewToIterate.end(); aNewContIter++) {
1160       std::shared_ptr<Model_Data> aNewData =
1161         std::dynamic_pointer_cast<Model_Data>((*aNewContIter)->data());
1162       TDF_Label aNewLab = aNewData->label();
1163       // searching for produced sub-shape fully on some label
1164       TDF_ChildIDIterator aNSIter(aNewLab, TNaming_NamedShape::GetID(), Standard_True);
1165       for(; aNSIter.More(); aNSIter.Next()) {
1166         Handle(TNaming_NamedShape) aNS = Handle(TNaming_NamedShape)::DownCast(aNSIter.Value());
1167         for(TNaming_Iterator aPairIter(aNS); aPairIter.More(); aPairIter.Next()) {
1168           if (aToFindPart == 0) { // search shape is fully inside
1169             if (aPairIter.OldShape().IsSame(theValShape)) {
1170               if (aPairIter.NewShape().IsNull()) {// value was removed
1171                 theShapes.Clear();
1172                 return;
1173               }
1174               theShapes.Append(aPairIter.NewShape());
1175             }
1176           } else if (!aPairIter.OldShape().IsNull()) { // search shape that contains this sub
1177             TopExp_Explorer anExp(aPairIter.OldShape(), theValShape.ShapeType());
1178             for(; anExp.More(); anExp.Next()) {
1179               if (anExp.Current().IsSame(theValShape)) { // found a new container
1180                 if (aPairIter.NewShape().IsNull()) {// value was removed
1181                   theShapes.Clear();
1182                   return;
1183                 }
1184                 aNewToOld.Bind(aPairIter.NewShape(), aPairIter.OldShape());
1185                 anOlds.Add(aPairIter.OldShape());
1186                 break;
1187               }
1188             }
1189           }
1190         }
1191       }
1192     }
1193   }
1194   if (aToFindPart == 2 && !aNewToOld.IsEmpty()) {
1195     // map of sub-shapes -> number of occurences of these shapes in containers
1196     NCollection_DataMap<TopoDS_Shape, TopTools_MapOfShape, TopTools_ShapeMapHasher> aSubs;
1197     TopTools_DataMapOfShapeShape::Iterator aContIter(aNewToOld);
1198     for(; aContIter.More(); aContIter.Next()) {
1199       TopExp_Explorer aSubExp(aContIter.Key(), theValShape.ShapeType());
1200       for(; aSubExp.More(); aSubExp.Next()) {
1201         if (!aSubs.IsBound(aSubExp.Current())) {
1202           aSubs.Bind(aSubExp.Current(), TopTools_MapOfShape());
1203         }
1204         // store old to know how many olds produced this shape
1205         aSubs.ChangeFind(aSubExp.Current()).Add(aContIter.Value());
1206       }
1207     }
1208     // if sub is appeared same times in containers as the number of old shapes that contain it
1209     int aCountInOld = anOlds.Size();
1210     NCollection_DataMap<TopoDS_Shape, TopTools_MapOfShape, TopTools_ShapeMapHasher>::Iterator
1211       aSubsIter(aSubs);
1212     for(; aSubsIter.More(); aSubsIter.Next()) {
1213       if (aSubsIter.Value().Size() == aCountInOld) {
1214         theShapes.Append(aSubsIter.Key());
1215       }
1216     }
1217   }
1218   if (theShapes.IsEmpty()) { // nothing was changed
1219     theShapes.Append(aWasWholeContext ? TopoDS_Shape() : theValShape);
1220   }
1221 }
1222
1223 bool Model_AttributeSelection::searchNewContext(std::shared_ptr<Model_Document> theDoc,
1224   const TopoDS_Shape theContShape, ResultPtr theContext, TopoDS_Shape theValShape,
1225   TDF_Label theAccessLabel,
1226   std::list<ResultPtr>& theResults, TopTools_ListOfShape& theValShapes)
1227 {
1228   std::set<ResultPtr> aResults; // to avoid duplicates, new context, null if deleted
1229   TopTools_ListOfShape aResContShapes;
1230   // iterate context and shape, but also if it is sub-shape of main shape, check also it
1231   TopTools_ListOfShape aContextList;
1232   aContextList.Append(theContShape);
1233   if (theContext.get()) {
1234     ResultPtr aComposite = ModelAPI_Tools::bodyOwner(theContext);
1235     if (aComposite.get() && aComposite->shape().get() && !aComposite->shape()->isNull())
1236       aContextList.Append(aComposite->shape()->impl<TopoDS_Shape>());
1237   }
1238   for(TopTools_ListOfShape::Iterator aContIter(aContextList); aContIter.More(); aContIter.Next()) {
1239     TNaming_SameShapeIterator aModifIter(aContIter.ChangeValue(), theAccessLabel);
1240     for(; aModifIter.More(); aModifIter.Next()) {
1241       TDF_Label anObjLab = aModifIter.Label().Father();
1242       ResultPtr aModifierObj = std::dynamic_pointer_cast<ModelAPI_Result>
1243         (theDoc->objects()->object(anObjLab));
1244       if (!aModifierObj.get()) {
1245         // #2241: shape may be sub-element of new object, not main (shell created from faces)
1246         if (!anObjLab.IsRoot())
1247           aModifierObj = std::dynamic_pointer_cast<ModelAPI_Result>
1248           (theDoc->objects()->object(anObjLab.Father()));
1249         if (!aModifierObj.get())
1250           continue;
1251       }
1252       FeaturePtr aModifierFeat = theDoc->feature(aModifierObj);
1253       if (!aModifierFeat.get())
1254         continue;
1255       FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1256       if (aModifierFeat == aThisFeature || theDoc->objects()->isLater(aModifierFeat, aThisFeature))
1257         continue; // the modifier feature is later than this, so, should not be used
1258       FeaturePtr aCurrentModifierFeat = theDoc->feature(theContext);
1259       if (aCurrentModifierFeat == aModifierFeat ||
1260         theDoc->objects()->isLater(aCurrentModifierFeat, aModifierFeat))
1261         continue; // the current modifier is later than the found, so, useless
1262       Handle(TNaming_NamedShape) aNewNS;
1263       aModifIter.Label().FindAttribute(TNaming_NamedShape::GetID(), aNewNS);
1264       if (aNewNS->Evolution() == TNaming_MODIFY || aNewNS->Evolution() == TNaming_GENERATED) {
1265         aResults.insert(aModifierObj);
1266         //TNaming_Iterator aPairIter(aNewNS);
1267         //aResContShapes.Append(aPairIter.NewShape());
1268         aResContShapes.Append(aModifierObj->shape()->impl<TopoDS_Shape>());
1269       } else if (aNewNS->Evolution() == TNaming_DELETE) { // a shape was deleted => result is empty
1270         aResults.insert(ResultPtr());
1271       } else { // not-precessed modification => don't support it
1272         continue;
1273       }
1274     }
1275   }
1276   if (aResults.empty())
1277     return false; // no modifications found, must stay the same
1278   // iterate all results to find futher modifications
1279   std::set<ResultPtr>::iterator aResIter = aResults.begin();
1280   for(; aResIter != aResults.end(); aResIter++) {
1281     if (aResIter->get() != NULL) {
1282       // compute new values by two contextes: the old and the new
1283       TopTools_ListOfShape aValShapes;
1284       computeValues(theContext, *aResIter, theValShape, aValShapes);
1285
1286       TopTools_ListIteratorOfListOfShape aNewVal(aValShapes);
1287       for(; aNewVal.More(); aNewVal.Next()) {
1288         std::list<ResultPtr> aNewRes;
1289         TopTools_ListOfShape aNewUpdatedVal;
1290         TopoDS_Shape aNewValSh = aNewVal.Value();
1291         TopoDS_Shape aNewContShape = (*aResIter)->shape()->impl<TopoDS_Shape>();
1292         if (theValShape.IsNull() && aNewContShape.IsSame(aNewValSh))
1293           aNewValSh.Nullify();
1294         if (searchNewContext(theDoc, aNewContShape, *aResIter, aNewValSh,
1295                              theAccessLabel, aNewRes, aNewUpdatedVal))
1296         {
1297           // appeand new results instead of the current ones
1298           std::list<ResultPtr>::iterator aNewIter = aNewRes.begin();
1299           TopTools_ListIteratorOfListOfShape aNewUpdVal(aNewUpdatedVal);
1300           for(; aNewIter != aNewRes.end(); aNewIter++, aNewUpdVal.Next()) {
1301             theResults.push_back(*aNewIter);
1302             theValShapes.Append(aNewUpdVal.Value());
1303           }
1304         } else { // the current result is good
1305           theResults.push_back(*aResIter);
1306           theValShapes.Append(aNewValSh);
1307         }
1308       }
1309     }
1310   }
1311   return true; // theResults must be empty: everything is deleted
1312 }
1313
1314 void Model_AttributeSelection::updateInHistory()
1315 {
1316   ResultPtr aContext = std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
1317   // only bodies and parts may be modified later in the history, don't do anything otherwise
1318   if (!aContext.get() || (aContext->groupName() != ModelAPI_ResultBody::group() &&
1319       aContext->groupName() != ModelAPI_ResultPart::group()))
1320     return;
1321   std::shared_ptr<Model_Document> aDoc =
1322     std::dynamic_pointer_cast<Model_Document>(aContext->document());
1323   std::shared_ptr<Model_Data> aContData = std::dynamic_pointer_cast<Model_Data>(aContext->data());
1324   if (!aContData.get() || !aContData->isValid())
1325     return;
1326   TDF_Label aContLab = aContData->label(); // named shape where the selected context is located
1327   Handle(TNaming_NamedShape) aContNS;
1328   if (!aContLab.FindAttribute(TNaming_NamedShape::GetID(), aContNS)) {
1329     bool aFoundNewContext = true;
1330     ResultPtr aNewContext = aContext;
1331     while(aFoundNewContext) {
1332       aFoundNewContext = false;
1333       // parts have no shape in result, so, trace references using the Part info
1334       if (aNewContext->groupName() == ModelAPI_ResultPart::group()) {
1335         ResultPartPtr aPartContext = std::dynamic_pointer_cast<ModelAPI_ResultPart>(aNewContext);
1336         if (aPartContext.get()) { // searching for the up to date references to the referenced cont
1337           const std::set<AttributePtr>& aRefs = aPartContext->data()->refsToMe();
1338           std::set<AttributePtr>::const_iterator aRef = aRefs.begin();
1339           for(; aRef != aRefs.end(); aRef++) {
1340             // to avoid detection of part changes by local selection only
1341             AttributeSelectionPtr aSel =
1342               std::dynamic_pointer_cast<ModelAPI_AttributeSelection>(*aRef);
1343             if (aSel.get() && !aSel->value()->isSame(aSel->context()->shape()))
1344               continue;
1345
1346             FeaturePtr aRefFeat = std::dynamic_pointer_cast<ModelAPI_Feature>((*aRef)->owner());
1347             if (aRefFeat.get() && aRefFeat != owner()) {
1348               FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1349               if (aDoc->objects()->isLater(aThisFeature, aRefFeat)) { // found better feature
1350                 aFoundNewContext = true;
1351                 aNewContext = aRefFeat->firstResult();
1352               }
1353             }
1354           }
1355         }
1356       }
1357     }
1358     if (aNewContext != aContext) {
1359       setValue(aNewContext, value());
1360     }
1361     return;
1362   }
1363   FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1364   FeaturePtr aCurrentModifierFeat = aDoc->feature(aContext);
1365   // iterate the context shape modifications in order to find a feature that is upper in history
1366   // that this one and is really modifies the referenced result to refer to it
1367   ResultPtr aModifierResFound;
1368   TNaming_Iterator aPairIter(aContNS);
1369   if (!aPairIter.More())
1370     return;
1371   TopoDS_Shape aNewCShape = aPairIter.NewShape();
1372   bool anIterate = true;
1373   // trying to update also the sub-shape selected
1374   GeomShapePtr aSubShape = value();
1375   if (aSubShape.get() && aSubShape->isEqual(aContext->shape()))
1376     aSubShape.reset();
1377   TopoDS_Shape aValShape;
1378   if (aSubShape.get()) {
1379     aValShape = aSubShape->impl<TopoDS_Shape>();
1380   }
1381
1382   std::list<ResultPtr> aNewContexts;
1383   TopTools_ListOfShape aValShapes;
1384   if (searchNewContext(aDoc, aNewCShape, aContext, aValShape, aContLab, aNewContexts, aValShapes))
1385   {
1386     // update scope to reset to a new one
1387     myScope.Clear();
1388
1389     std::list<ResultPtr>::iterator aNewCont = aNewContexts.begin();
1390     TopTools_ListIteratorOfListOfShape aNewValues(aValShapes);
1391     if (aNewCont == aNewContexts.end()) { // all results were deleted
1392       ResultPtr anEmptyContext;
1393       std::shared_ptr<GeomAPI_Shape> anEmptyShape;
1394       setValue(anEmptyContext, anEmptyShape); // nullify the selection
1395       return;
1396     }
1397
1398     GeomShapePtr aValueShape;
1399     if (!aNewValues.Value().IsNull()) {
1400       aValueShape = std::make_shared<GeomAPI_Shape>();
1401       aValueShape->setImpl<TopoDS_Shape>(new TopoDS_Shape(aNewValues.Value()));
1402     }
1403     setValue(*aNewCont, aValueShape);
1404     // if there are more than one result, put them by "append" into "parent" list
1405     if (myParent) {
1406       for(aNewCont++, aNewValues.Next(); aNewCont != aNewContexts.end();
1407           aNewCont++, aNewValues.Next()) {
1408         GeomShapePtr aValueShape;
1409         if (!aNewValues.Value().IsNull()) {
1410           aValueShape = std::make_shared<GeomAPI_Shape>();
1411           aValueShape->setImpl<TopoDS_Shape>(new TopoDS_Shape(aNewValues.Value()));
1412         }
1413
1414         // Check that list has the same type of shape selection before adding.
1415         GeomAPI_Shape::ShapeType aListShapeType = GeomAPI_Shape::SHAPE;
1416         if (myParent->selectionType() == "VERTEX") aListShapeType = GeomAPI_Shape::VERTEX;
1417         else if (myParent->selectionType() == "EDGE") aListShapeType = GeomAPI_Shape::EDGE;
1418         else if (myParent->selectionType() == "FACE") aListShapeType = GeomAPI_Shape::FACE;
1419
1420         GeomAPI_Shape::ShapeType aShapeShapeType = GeomAPI_Shape::SHAPE;
1421         if (aValueShape.get()) {
1422           aShapeShapeType = aValueShape->shapeType();
1423         } else {
1424           (*aNewCont)->shape()->shapeType();
1425         }
1426
1427         if (aListShapeType != GeomAPI_Shape::SHAPE && aListShapeType != aShapeShapeType) {
1428           continue;
1429         }
1430
1431         myParent->append(*aNewCont, aValueShape);
1432       }
1433     }
1434   }
1435 }
1436
1437 void Model_AttributeSelection::setParent(Model_AttributeSelectionList* theParent)
1438 {
1439   myParent = theParent;
1440 }