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