Salome HOME
Make SHAPER STUDY fields exported in SMESH into MED file
[modules/shaper.git] / src / Model / Model_AttributeSelection.cpp
1 // Copyright (C) 2014-2019  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 email : webmaster.salome@opencascade.com
18 //
19
20 #include "Model_AttributeSelection.h"
21 #include "Model_Application.h"
22 #include "Model_Events.h"
23 #include "Model_Data.h"
24 #include "Model_Document.h"
25 #include <Model_Objects.h>
26 #include <Model_AttributeSelectionList.h>
27 #include <Model_ResultConstruction.h>
28 #include <ModelAPI_Feature.h>
29 #include <ModelAPI_ResultBody.h>
30 #include <ModelAPI_ResultBody.h>
31 #include <ModelAPI_ResultConstruction.h>
32 #include <ModelAPI_ResultGroup.h>
33 #include <ModelAPI_ResultPart.h>
34 #include <ModelAPI_CompositeFeature.h>
35 #include <ModelAPI_Tools.h>
36 #include <ModelAPI_Session.h>
37 #include <ModelAPI_Validator.h>
38 #include <ModelGeomAlgo_Shape.h>
39 #include <Events_InfoMessage.h>
40 #include <GeomAPI_Edge.h>
41 #include <GeomAPI_Pnt.h>
42 #include <GeomAPI_ShapeIterator.h>
43 #include <GeomAPI_Vertex.h>
44 #include <GeomAPI_ShapeExplorer.h>
45 #include <GeomAlgoAPI_CompoundBuilder.h>
46 #include <GeomAlgoAPI_NExplode.h>
47 #include <Selector_Selector.h>
48
49 #include <TNaming_NamedShape.hxx>
50 #include <TNaming_Tool.hxx>
51 #include <TNaming_Builder.hxx>
52 #include <TNaming_SameShapeIterator.hxx>
53 #include <TNaming_NewShapeIterator.hxx>
54 #include <TNaming_Iterator.hxx>
55 #include <TDataStd_Integer.hxx>
56 #include <TDataStd_UAttribute.hxx>
57 #include <TDataStd_Name.hxx>
58 #include <TopTools_ListOfShape.hxx>
59 #include <TopTools_DataMapOfShapeShape.hxx>
60 #include <TopTools_MapOfShape.hxx>
61 #include <TopExp_Explorer.hxx>
62 #include <BRep_Tool.hxx>
63 #include <TopoDS.hxx>
64 #include <TopoDS_Edge.hxx>
65 #include <TopExp.hxx>
66 #include <TDF_ChildIterator.hxx>
67 #include <TDF_ChildIDIterator.hxx>
68 #include <TopoDS_Iterator.hxx>
69 #include <TDF_ChildIDIterator.hxx>
70 #include <Geom_Circle.hxx>
71 #include <Geom_Ellipse.hxx>
72 #include <Geom_TrimmedCurve.hxx>
73 #include <BRep_Builder.hxx>
74
75 //#define DEB_NAMING 1
76 #ifdef DEB_NAMING
77 #include <BRepTools.hxx>
78 #endif
79 /// added to the index in the packed map to signalize that the vertex of edge is selected
80 /// (multiplied by the index of the edge)
81 static const int kSTART_VERTEX_DELTA = 1000000;
82 // identifier that there is simple reference: selection equals to context
83 Standard_GUID kSIMPLE_REF_ID("635eacb2-a1d6-4dec-8348-471fae17cb29");
84 // reference to Part sub-object
85 Standard_GUID kPART_REF_ID("635eacb2-a1d6-4dec-8348-471fae17cb27");
86 // selection is invalid after recomputation
87 Standard_GUID kINVALID_SELECTION("bce47fd7-80fa-4462-9d63-2f58acddd49d");
88
89 // identifier of the selection of the center of circle on edge
90 Standard_GUID kCIRCLE_CENTER("d0d0e0f1-217a-4b95-8fbb-0c4132f23718");
91 // identifier of the selection of the first focus point of ellipse on edge
92 Standard_GUID kELLIPSE_CENTER1("f70df04c-3168-4dc9-87a4-f1f840c1275d");
93 // identifier of the selection of the second focus point of ellipse on edge
94 Standard_GUID kELLIPSE_CENTER2("1395ae73-8e02-4cf8-b204-06ff35873a32");
95
96 // prefix for the whole feature context identification
97 const static std::string kWHOLE_FEATURE = "all-in-";
98
99 // on this label is stored:
100 // TNaming_NamedShape - selected shape
101 // TNaming_Naming - topological selection information (for the body)
102 // TDataStd_IntPackedMap - indexes of edges in composite element (for construction)
103 // TDataStd_Integer - type of the selected shape (for construction)
104 // TDF_Reference - from ReferenceAttribute, the context
105 bool Model_AttributeSelection::setValue(const ObjectPtr& theContext,
106   const std::shared_ptr<GeomAPI_Shape>& theSubShape, const bool theTemporarily)
107 {
108   if (theTemporarily) {
109     // just keep the stored without DF update
110     myTmpContext = theContext;
111     myTmpSubShape = theSubShape;
112     owner()->data()->sendAttributeUpdated(this);
113     return true;
114   } else {
115     myTmpContext.reset();
116     myTmpSubShape.reset();
117     myTmpCenterType = NOT_CENTER;
118   }
119
120   CenterType aType;
121   const std::shared_ptr<GeomAPI_Shape>& anOldShape = internalValue(aType);
122   bool isOldContext = theContext == myRef.value();
123   bool isOldShape = isOldContext &&
124     (theSubShape == anOldShape || (theSubShape && anOldShape && theSubShape->isEqual(anOldShape)));
125   if (isOldShape) return false; // shape is the same, so context is also unchanged
126   bool aToUnblock = false;
127   // update the referenced object if needed
128   if (!isOldContext) {
129     aToUnblock = !owner()->data()->blockSendAttributeUpdated(true);
130     myRef.setValue(theContext);
131   }
132
133   // do not use naming if selected shape is result shape itself, but not sub-shape
134   TDF_Label aSelLab = selectionLabel();
135   aSelLab.ForgetAttribute(kSIMPLE_REF_ID);
136   aSelLab.ForgetAttribute(kINVALID_SELECTION);
137   aSelLab.ForgetAttribute(kCIRCLE_CENTER);
138   aSelLab.ForgetAttribute(kELLIPSE_CENTER1);
139   aSelLab.ForgetAttribute(kELLIPSE_CENTER2);
140
141   bool isDegeneratedEdge = false;
142   // do not use the degenerated edge as a shape, a null context and shape is used in the case
143   if (theSubShape.get() && !theSubShape->isNull() && theSubShape->isEdge()) {
144     const TopoDS_Shape& aSubShape = theSubShape->impl<TopoDS_Shape>();
145     if (aSubShape.ShapeType() == TopAbs_EDGE)
146       isDegeneratedEdge = BRep_Tool::Degenerated(TopoDS::Edge(aSubShape)) == Standard_True;
147   }
148   if (!theContext.get() || isDegeneratedEdge) {
149     // to keep the reference attribute label
150     TDF_Label aRefLab = myRef.myRef->Label();
151     aSelLab.ForgetAllAttributes(true);
152     myRef.myRef = TDF_Reference::Set(aSelLab.Father(), aSelLab.Father());
153     if (aToUnblock)
154       owner()->data()->blockSendAttributeUpdated(false);
155     return false;
156   }
157   bool isSelectBody = theContext->groupName() == ModelAPI_ResultBody::group();
158   if (!isSelectBody) {
159     ResultConstructionPtr aContextConstruction =
160       std::dynamic_pointer_cast<ModelAPI_ResultConstruction>(theContext);
161     isSelectBody = aContextConstruction.get() && !aContextConstruction->isInfinite();
162   }
163   if (isSelectBody) {
164     ResultPtr aContextResult = std::dynamic_pointer_cast<ModelAPI_Result>(theContext);
165     GeomShapePtr aContextShape = aContextResult->shape();
166     // do not select the whole shape for body:it is already must be in the data framework
167     // equal and null selected objects mean the same: object is equal to context,
168     if (aContextShape.get() && (aContextShape->isEqual(theSubShape) || !theSubShape.get())) {
169       aSelLab.ForgetAllAttributes(true);
170       TDataStd_UAttribute::Set(aSelLab, kSIMPLE_REF_ID);
171     } else {
172       selectBody(aContextResult, theSubShape);
173     }
174   } else if (theContext->groupName() == ModelAPI_ResultConstruction::group()) {
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() && !aConstruction->shape()->isEqual(theSubShape))
180       aSubShape = theSubShape; // the whole context
181   } else if (theContext->groupName() == ModelAPI_ResultPart::group()) {
182     aSelLab.ForgetAllAttributes(true);
183     TDataStd_UAttribute::Set(aSelLab, kPART_REF_ID);
184     selectPart(std::dynamic_pointer_cast<ModelAPI_Result>(theContext), theSubShape);
185   } else if (theContext->groupName() == ModelAPI_ResultGroup::group()) {
186     aSelLab.ForgetAllAttributes(true);
187     TDataStd_UAttribute::Set(aSelLab, kSIMPLE_REF_ID);
188   } else { // check the feature context: parent-Part of this feature should not be used
189     FeaturePtr aFeatureContext = std::dynamic_pointer_cast<ModelAPI_Feature>(theContext);
190     if (aFeatureContext.get()) {
191       if (owner()->document() != aFeatureContext->document()) {
192         aSelLab.ForgetAllAttributes(true);
193         myRef.setValue(ObjectPtr());
194         if (aToUnblock)
195           owner()->data()->blockSendAttributeUpdated(false);
196         return false;
197       }
198     }
199   }
200
201   owner()->data()->sendAttributeUpdated(this);
202
203   if (aToUnblock)
204     owner()->data()->blockSendAttributeUpdated(false);
205
206   return true;
207 }
208
209 void Model_AttributeSelection::setValueCenter(
210     const ObjectPtr& theContext, const std::shared_ptr<GeomAPI_Edge>& theEdge,
211     const CenterType theCenterType, const bool theTemporarily)
212 {
213   bool anUpdated = setValue(theContext, theEdge, theTemporarily);
214   if (theTemporarily) {
215     myTmpCenterType = theCenterType;
216   } else { // store in the data structure
217     TDF_Label aSelLab = selectionLabel();
218     switch(theCenterType) {
219     case CIRCLE_CENTER:
220       if (!anUpdated)
221         anUpdated = !aSelLab.IsAttribute(kCIRCLE_CENTER);
222       TDataStd_UAttribute::Set(aSelLab, kCIRCLE_CENTER);
223       break;
224     case ELLIPSE_FIRST_FOCUS:
225       if (!anUpdated)
226         anUpdated = !aSelLab.IsAttribute(kELLIPSE_CENTER1);
227       TDataStd_UAttribute::Set(aSelLab, kELLIPSE_CENTER1);
228       break;
229     case ELLIPSE_SECOND_FOCUS:
230       if (!anUpdated)
231         anUpdated = !aSelLab.IsAttribute(kELLIPSE_CENTER2);
232       TDataStd_UAttribute::Set(aSelLab, kELLIPSE_CENTER2);
233       break;
234     }
235     if (anUpdated)
236       owner()->data()->sendAttributeUpdated(this);
237   }
238 }
239
240 void Model_AttributeSelection::selectValue(
241     const std::shared_ptr<ModelAPI_AttributeSelection>& theSource)
242 {
243   CenterType aType;
244   std::shared_ptr<GeomAPI_Shape> aValue =
245     std::dynamic_pointer_cast<Model_AttributeSelection>(theSource)->internalValue(aType);
246   if (!aValue.get() || aType == NOT_CENTER) {
247     setValue(theSource->context(), aValue);
248   } else {
249     std::shared_ptr<GeomAPI_Edge> anEdge(new GeomAPI_Edge);
250     anEdge->setImpl(new TopoDS_Shape(aValue->impl<TopoDS_Shape>()));
251     setValueCenter(theSource->context(), anEdge, aType);
252   }
253 }
254
255 void Model_AttributeSelection::removeTemporaryValues()
256 {
257   if (myTmpContext.get() || myTmpSubShape.get()) {
258     myTmpContext.reset();
259     myTmpSubShape.reset();
260   }
261 }
262
263 // returns the center of the edge: circular or elliptic
264 GeomShapePtr centerByEdge(GeomShapePtr theEdge, ModelAPI_AttributeSelection::CenterType theType)
265 {
266   if (theType != ModelAPI_AttributeSelection::NOT_CENTER && theEdge.get() != NULL) {
267     TopoDS_Shape aShape = theEdge->impl<TopoDS_Shape>();
268     if (!aShape.IsNull() && aShape.ShapeType() == TopAbs_EDGE) {
269       TopoDS_Edge anEdge = TopoDS::Edge(aShape);
270       double aFirst, aLast;
271       Handle(Geom_Curve) aCurve = BRep_Tool::Curve(anEdge, aFirst, aLast);
272       if (!aCurve.IsNull()) {
273         TopoDS_Vertex aVertex;
274         BRep_Builder aBuilder;
275         if (theType == ModelAPI_AttributeSelection::CIRCLE_CENTER) {
276           while(!aCurve.IsNull() && aCurve->DynamicType() == STANDARD_TYPE(Geom_TrimmedCurve))
277             aCurve = Handle(Geom_TrimmedCurve)::DownCast(aCurve)->BasisCurve();
278           Handle(Geom_Circle) aCirc = Handle(Geom_Circle)::DownCast(aCurve);
279           if (!aCirc.IsNull()) {
280             aBuilder.MakeVertex(aVertex, aCirc->Location(), Precision::Confusion());
281           }
282         } else { // ellipse
283           while(!aCurve.IsNull() && aCurve->DynamicType() == STANDARD_TYPE(Geom_TrimmedCurve))
284             aCurve = Handle(Geom_TrimmedCurve)::DownCast(aCurve)->BasisCurve();
285           Handle(Geom_Ellipse) anEll = Handle(Geom_Ellipse)::DownCast(aCurve);
286           if (!anEll.IsNull()) {
287             aBuilder.MakeVertex(aVertex,
288               theType == ModelAPI_AttributeSelection::ELLIPSE_FIRST_FOCUS ?
289               anEll->Focus1() : anEll->Focus2(), Precision::Confusion());
290           }
291         }
292         if (!aVertex.IsNull()) {
293           std::shared_ptr<GeomAPI_Vertex> aResult(new GeomAPI_Vertex);
294           aResult->setImpl(new TopoDS_Vertex(aVertex));
295           return aResult;
296         }
297       }
298     }
299   }
300   return theEdge; // no vertex, so, return the initial edge
301 }
302
303 std::shared_ptr<GeomAPI_Shape> Model_AttributeSelection::value()
304 {
305   if (!myRef.isInitialized() && !myTmpContext.get() && !myTmpSubShape.get())
306     return std::shared_ptr<GeomAPI_Shape>();
307   CenterType aType = NOT_CENTER;
308   std::shared_ptr<GeomAPI_Shape> aResult = internalValue(aType);
309   return centerByEdge(aResult, aType);
310 }
311
312 std::shared_ptr<GeomAPI_Shape> Model_AttributeSelection::internalValue(CenterType& theType)
313 {
314   theType = NOT_CENTER;
315   GeomShapePtr aResult;
316   if (myTmpContext.get() || myTmpSubShape.get()) {
317     theType = myTmpCenterType;
318     ResultConstructionPtr aResulConstruction =
319       std::dynamic_pointer_cast<ModelAPI_ResultConstruction>(myTmpContext);
320     if(aResulConstruction.get()) {
321       // it is just reference to construction.
322       return myTmpSubShape;
323     }
324     FeaturePtr aFeature =
325       std::dynamic_pointer_cast<ModelAPI_Feature>(myTmpContext);
326     if (aFeature.get()) {
327       // it is just reference to construction.
328       return myTmpSubShape;
329     }
330     return myTmpSubShape.get() ? myTmpSubShape :
331       std::dynamic_pointer_cast<ModelAPI_Result>(myTmpContext)->shape();
332   }
333
334   TDF_Label aSelLab = selectionLabel();
335   if (aSelLab.IsAttribute(kINVALID_SELECTION))
336     return aResult;
337
338   if (aSelLab.IsAttribute(kCIRCLE_CENTER))
339     theType = CIRCLE_CENTER;
340   else if (aSelLab.IsAttribute(kELLIPSE_CENTER1))
341     theType = ELLIPSE_FIRST_FOCUS;
342   else if (aSelLab.IsAttribute(kELLIPSE_CENTER2))
343     theType = ELLIPSE_SECOND_FOCUS;
344
345
346   if (myRef.isInitialized()) {
347     if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
348       ResultPtr aContext = context();
349       if (!aContext.get() || aContext->groupName() == ModelAPI_ResultConstruction::group())
350         return aResult; // empty result, for whole construction selection also
351       return aContext->shape();
352     }
353     if (aSelLab.IsAttribute(kPART_REF_ID)) {
354       ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(context());
355       if (!aPart.get() || !aPart->isActivated())
356         return std::shared_ptr<GeomAPI_Shape>(); // postponed naming needed
357       Handle(TDataStd_Integer) anIndex;
358       if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
359         if (anIndex->Get()) { // special selection attribute was created, use it
360           return aPart->selectionValue(anIndex->Get());
361         } else { // face with name is already in the data model, so try to take it by name
362           Handle(TDataStd_Name) aName;
363           if (aSelLab.FindAttribute(TDataStd_Name::GetID(), aName)) {
364             std::string aSubShapeName(TCollection_AsciiString(aName->Get()).ToCString());
365             std::size_t aPartEnd = aSubShapeName.find('/');
366             if (aPartEnd != std::string::npos && aPartEnd != aSubShapeName.rfind('/')) {
367               std::string aNameInPart = aSubShapeName.substr(aPartEnd + 1);
368               int anIndex;
369               std::string aType; // to reuse already existing selection the type is not needed
370               return aPart->shapeInPart(aNameInPart, aType, anIndex);
371             }
372           }
373         }
374       }
375     }
376
377     std::shared_ptr<Model_ResultConstruction> aConstr =
378       std::dynamic_pointer_cast<Model_ResultConstruction>(context());
379     if (aConstr) {
380       if (aConstr->isInfinite())
381         return aResult; // empty result
382     }
383     if (!aConstr.get()) { // for construction context, return empty result as usual even
384       // the whole feature is selected
385       FeaturePtr aFeature = contextFeature();
386       if (aFeature.get()) {
387         std::list<GeomShapePtr> allShapes;
388         std::list<ResultPtr>::const_iterator aRes = aFeature->results().cbegin();
389         for (; aRes != aFeature->results().cend(); aRes++) {
390           if (aRes->get() && !(*aRes)->isDisabled()) {
391             GeomShapePtr aShape = (*aRes)->shape();
392             if (aShape.get() && !aShape->isNull()) {
393               allShapes.push_back(aShape);
394             }
395           }
396         }
397         return GeomAlgoAPI_CompoundBuilder::compound(allShapes);
398       }
399     } else {
400       if (contextFeature().get()) {
401         return aResult; // for the whole sketch feature selected return null => all faces
402       }
403     }
404
405     Handle(TNaming_NamedShape) aSelection;
406     if (aSelLab.FindAttribute(TNaming_NamedShape::GetID(), aSelection)) {
407       TopoDS_Shape aSelShape = aSelection->Get();
408       aResult = std::shared_ptr<GeomAPI_Shape>(new GeomAPI_Shape);
409       aResult->setImpl(new TopoDS_Shape(aSelShape));
410     } else if (aConstr) { // simple construction element: just shape of this construction element
411       aResult = aConstr->shape();
412     }
413   }
414   return aResult;
415 }
416
417 bool Model_AttributeSelection::isInvalid()
418 {
419   return selectionLabel().IsAttribute(kINVALID_SELECTION) == Standard_True;
420 }
421
422 bool Model_AttributeSelection::isInitialized()
423 {
424   if (myRef.isInitialized()) {
425     TDF_Label aSelLab = selectionLabel();
426     // it is just reference to shape, not sub-shape
427     if (aSelLab.IsAttribute(kSIMPLE_REF_ID) || aSelLab.IsAttribute(kPART_REF_ID)) {
428       ResultPtr aContext = context();
429       return aContext.get() != NULL;
430     }
431     Handle(TNaming_NamedShape) aSelection;
432     if (selectionLabel().FindAttribute(TNaming_NamedShape::GetID(), aSelection)) {
433       return !aSelection->Get().IsNull();
434     } else { // for simple construction element: just shape of this construction element
435       if (myRef.value().get())
436         return true;
437       // check that this is on open of document, so, results are not initialized yet
438       TDF_Label aRefLab = myRef.myRef->Get();
439       if (aRefLab.IsNull() || !owner().get())
440         return false;
441       std::shared_ptr<Model_Document> aMyDoc =
442         std::dynamic_pointer_cast<Model_Document>(owner()->document());
443       if (!aMyDoc.get())
444         return false;
445       // check at least the feature exists
446       return aMyDoc->featureByLab(aRefLab).get() != NULL;
447     }
448   }
449   return false;
450 }
451
452 Model_AttributeSelection::Model_AttributeSelection(TDF_Label& theLabel)
453 : myRef(theLabel),
454   myIsGeometricalSelection(false)
455 {
456   myIsInitialized = myRef.isInitialized();
457   myParent = NULL;
458 }
459
460 void Model_AttributeSelection::setID(const std::string theID)
461 {
462   myRef.setID(theID);
463   ModelAPI_AttributeSelection::setID(theID);
464   FeaturePtr aFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
465   if (myParent) {
466     // to be able to select as geometrical selection and then - split
467     myIsGeometricalSelection = true; // myParent->isGeometricalSelection();
468   } else {
469     myIsGeometricalSelection =
470       ModelAPI_Session::get()->validators()->isGeometricalSelection(aFeature->getKind(), id());
471   }
472 }
473
474 ResultPtr Model_AttributeSelection::context()
475 {
476   if (!myRef.isInitialized() && !myTmpContext.get() && !myTmpSubShape.get())
477     return ResultPtr();
478
479   if (myTmpContext.get() || myTmpSubShape.get()) {
480     return std::dynamic_pointer_cast<ModelAPI_Result>(myTmpContext);
481   }
482
483   ResultPtr aResult = std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
484   // for parts there could be same-data result, so take the last enabled
485   if (aResult.get()) {
486     if(aResult->groupName() == ModelAPI_ResultPart::group()) {
487       int aSize = aResult->document()->size(ModelAPI_ResultPart::group());
488       for(int a = aSize - 1; a >= 0; a--) {
489         ObjectPtr aPart = aResult->document()->object(ModelAPI_ResultPart::group(), a);
490         if(aPart.get() && aPart->data() == aResult->data()) {
491           ResultPtr aPartResult = std::dynamic_pointer_cast<ModelAPI_Result>(aPart);
492           FeaturePtr anOwnerFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
493           // check that this result is not this-feature result (it is forbidden to select itself)
494           if(anOwnerFeature.get() && anOwnerFeature->firstResult() != aPartResult) {
495             return aPartResult;
496           }
497         }
498       }
499     }
500   } else { // if feature - construction is selected, it has only one result, return this result
501     FeaturePtr aFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(myRef.value());
502     if (aFeature.get() && aFeature->results().size() == 1 &&
503         aFeature->firstResult()->groupName() == ModelAPI_ResultConstruction::group())
504       return aFeature->firstResult();
505   }
506   return aResult;
507 }
508
509 FeaturePtr Model_AttributeSelection::contextFeature() {
510   if (myTmpContext.get()) {
511     return std::dynamic_pointer_cast<ModelAPI_Feature>(myTmpContext);
512   }
513   return std::dynamic_pointer_cast<ModelAPI_Feature>(myRef.value());
514 }
515 ObjectPtr Model_AttributeSelection::contextObject() {
516   FeaturePtr aRes = contextFeature();
517   if (aRes.get())
518     return aRes;
519   return context();
520 }
521
522
523 void Model_AttributeSelection::setObject(const std::shared_ptr<ModelAPI_Object>& theObject)
524 {
525   ModelAPI_AttributeSelection::setObject(theObject);
526   myRef.setObject(theObject);
527 }
528
529 /// Sets the invalid flag if flag is false, or removes it if "true"
530 /// Returns theFlag
531 static bool setInvalidIfFalse(TDF_Label& theLab, const bool theFlag) {
532   if (theFlag) {
533     theLab.ForgetAttribute(kINVALID_SELECTION);
534   } else {
535     TDataStd_UAttribute::Set(theLab, kINVALID_SELECTION);
536   }
537   return theFlag;
538 }
539
540 void Model_AttributeSelection::split(
541   ResultPtr theContext, TopoDS_Shape theNewShape, TopAbs_ShapeEnum theType)
542 {
543   TopTools_ListOfShape aSubs;
544   for(TopoDS_Iterator anExplorer(theNewShape); anExplorer.More(); anExplorer.Next()) {
545     if (!anExplorer.Value().IsNull() &&
546       anExplorer.Value().ShapeType() == theType) {
547         aSubs.Append(anExplorer.Value());
548     } else { // invalid case; bad result shape, so, impossible to split easily
549       aSubs.Clear();
550       break;
551     }
552   }
553   if (aSubs.Extent() > 1) { // ok to split
554     TopTools_ListIteratorOfListOfShape aSub(aSubs);
555     GeomShapePtr aSubSh(new GeomAPI_Shape);
556     aSubSh->setImpl(new TopoDS_Shape(aSub.Value()));
557     setValue(theContext, aSubSh);
558     for(aSub.Next(); aSub.More(); aSub.Next()) {
559       GeomShapePtr aSubSh(new GeomAPI_Shape);
560       aSubSh->setImpl(new TopoDS_Shape(aSub.Value()));
561       myParent->append(theContext, aSubSh);
562     }
563   }
564 }
565
566 bool Model_AttributeSelection::update()
567 {
568   FeaturePtr aContextFeature = contextFeature();
569   if (aContextFeature.get()) {
570     owner()->data()->sendAttributeUpdated(this);  // send updated if "update" called in any way
571     return true;
572   }
573   TDF_Label aSelLab = selectionLabel();
574   ResultPtr aContext = context();
575   if (!aContext.get())
576     return setInvalidIfFalse(aSelLab, false);
577   if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // it is just reference to shape, not sub-shape
578     return setInvalidIfFalse(aSelLab, aContext->shape() && !aContext->shape()->isNull());
579   }
580
581   if (aSelLab.IsAttribute(kPART_REF_ID)) { // it is reference to the part object
582     std::shared_ptr<GeomAPI_Shape> aNoSelection;
583     bool aResult = selectPart(aContext, aNoSelection, true);
584     aResult = setInvalidIfFalse(aSelLab, aResult);
585     if (aResult) {
586       owner()->data()->sendAttributeUpdated(this);
587     }
588     return aResult;
589   }
590
591   if (aContext->groupName() == ModelAPI_ResultBody::group()) {
592     // body: just a named shape, use topological selection mechanism
593     bool aResult = false;
594     TopoDS_Shape anOldShape;
595     Handle(TNaming_NamedShape) aNS;
596     if (aSelLab.FindAttribute(TNaming_NamedShape::GetID(), aNS))
597       anOldShape = aNS->Get();
598
599     TopoDS_Shape aContextShape = aContext->shape()->impl<TopoDS_Shape>();
600     Selector_Selector aSelector(aSelLab, baseDocumentLab());
601     aResult = aSelector.restore(aContextShape);
602     bool aWasInvalid = aSelLab.IsAttribute(kINVALID_SELECTION);
603     setInvalidIfFalse(aSelLab, aResult);
604
605     TopoDS_Shape aNewShape;
606     if (aSelLab.FindAttribute(TNaming_NamedShape::GetID(), aNS))
607       aNewShape = aNS->Get();
608
609     if (anOldShape.IsNull() || aNewShape.IsNull() || !anOldShape.IsEqual(aNewShape) || aWasInvalid)
610     {
611       // shape type should not be changed: if shape becomes compound of such shapes, then split
612       if (myParent && !anOldShape.IsNull() && !aNewShape.IsNull() &&
613           anOldShape.ShapeType() != aNewShape.ShapeType() &&
614           aNewShape.ShapeType() == TopAbs_COMPOUND) {
615         split(aContext, aNewShape, anOldShape.ShapeType());
616       }
617       // for issue #3076 check that the new value belongs to the new context
618       if (!aNewShape.IsNull() && !aContextShape.IsNull() &&
619           (aNewShape.ShapeType() == TopAbs_VERTEX || aNewShape.ShapeType() == TopAbs_EDGE ||
620            aNewShape.ShapeType() == TopAbs_FACE)) {
621         TopExp_Explorer anExp(aContextShape, aNewShape.ShapeType());
622         for(; anExp.More(); anExp.Next()) {
623           if (anExp.Current().IsSame(aNewShape))
624             break;
625         }
626         aResult = setInvalidIfFalse(aSelLab, anExp.More());
627       }
628       owner()->data()->sendAttributeUpdated(this);  // send updated if shape is changed
629     }
630     return aResult;
631   }
632
633   if (aContext->groupName() == ModelAPI_ResultConstruction::group()) {
634     bool aResult = true;
635     std::shared_ptr<Model_ResultConstruction> aConstructionContext =
636       std::dynamic_pointer_cast<Model_ResultConstruction>(aContext);
637     if (!aConstructionContext->isInfinite()) {
638       TopoDS_Shape aContextShape = aContext->shape()->impl<TopoDS_Shape>();
639       Selector_Selector aSelector(aSelLab, baseDocumentLab());
640       TopoDS_Shape anOldShape = aSelector.value();
641       aResult = aSelector.restore(aContextShape);
642       setInvalidIfFalse(aSelLab, aResult);
643       if (aResult && !anOldShape.IsEqual(aSelector.value()))
644         owner()->data()->sendAttributeUpdated(this);  // send updated if shape is changed
645     } else {
646       owner()->data()->sendAttributeUpdated(this);  // send updated if "update" called in any way
647     }
648     return aResult;
649   }
650   return setInvalidIfFalse(aSelLab, false); // unknown case
651 }
652
653 void Model_AttributeSelection::selectBody(
654   const ResultPtr& theContext, const std::shared_ptr<GeomAPI_Shape>& theSubShape)
655 {
656   // perform the selection
657   TopoDS_Shape aContext;
658
659   ResultPtr aBody = std::dynamic_pointer_cast<ModelAPI_Result>(theContext);
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   if (!aContext.IsNull()) {
674     TDF_Label aSelLab = selectionLabel();
675     TopoDS_Shape aNewSub = theSubShape->impl<TopoDS_Shape>();
676
677     bool aSelectorOk = true;
678     Selector_Selector aSelector(aSelLab, baseDocumentLab());
679     try {
680       aSelectorOk = aSelector.select(aContext, aNewSub, myIsGeometricalSelection);
681       if (aSelectorOk) {
682         aSelectorOk = aSelector.store(aContext);
683       }
684     } catch(...) {
685       aSelectorOk = false;
686     }
687     if (aSelectorOk) {
688       TopoDS_Shape aShape = aSelector.value();
689       aSelectorOk = !aShape.IsNull() && aShape.ShapeType() == aNewSub.ShapeType();
690     }
691     setInvalidIfFalse(aSelLab, aSelectorOk);
692   }
693 }
694
695 bool Model_AttributeSelection::selectPart(
696   const ResultPtr& theContext, const std::shared_ptr<GeomAPI_Shape>& theSubShape,
697   const bool theUpdate)
698 {
699   ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(theContext);
700   if (!aPart.get() || !aPart->isActivated())
701     return true; // postponed naming
702   if (theUpdate) {
703     Handle(TDataStd_Integer) anIndex;
704     if (selectionLabel().FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
705       // by internal selection
706       if (anIndex->Get() > 0) {
707         // update the selection by index
708         return aPart->updateInPart(anIndex->Get());
709       } else {
710         return true; // nothing to do, referencing just by name
711       }
712     }
713     return true; // nothing to do, referencing just by name
714   }
715   // store the shape (in case part is not loaded it should be useful
716   TopoDS_Shape aShape;
717   std::string aName = theContext->data()->name();
718   if (!theSubShape.get() || theSubShape->isNull()) {// the whole part shape is selected
719     aShape = theContext->shape()->impl<TopoDS_Shape>();
720   } else {
721     aShape = theSubShape->impl<TopoDS_Shape>();
722     int anIndex;
723     aName += "/" + aPart->nameInPart(theSubShape, anIndex);
724     TDataStd_Integer::Set(selectionLabel(), anIndex);
725   }
726   TNaming_Builder aBuilder(selectionLabel());
727   aBuilder.Select(aShape, aShape);
728   // identify by name in the part
729   TDataStd_Name::Set(selectionLabel(), aName.c_str());
730   return !aName.empty();
731 }
732
733 TDF_Label Model_AttributeSelection::selectionLabel()
734 {
735   return myRef.myRef->Label().FindChild(1);
736 }
737
738 /// prefixes of the shape names with centers defined
739 static std::map<ModelAPI_AttributeSelection::CenterType, std::string> kCENTERS_PREFIX;
740
741 /// returns the map that contains all possible prefixes of the center-names
742 static std::map<ModelAPI_AttributeSelection::CenterType, std::string>& centersMap()
743 {
744   if (kCENTERS_PREFIX.empty()) { // fill map by initial values
745     kCENTERS_PREFIX[ModelAPI_AttributeSelection::CIRCLE_CENTER] = "__cc";
746     kCENTERS_PREFIX[ModelAPI_AttributeSelection::ELLIPSE_FIRST_FOCUS] = "__eff";
747     kCENTERS_PREFIX[ModelAPI_AttributeSelection::ELLIPSE_SECOND_FOCUS] = "__esf";
748   }
749   return kCENTERS_PREFIX;
750 }
751
752 std::string Model_AttributeSelection::namingName(const std::string& theDefaultName)
753 {
754   std::string aName("");
755   if(!this->isInitialized())
756     return !theDefaultName.empty() ? theDefaultName : aName;
757
758   // not argument has not parametric name (filters)
759   if (!this->isArgument() || (myParent && !myParent->isArgument())) {
760     GeomShapePtr aShape = value();
761     if (!aShape.get() && context().get())
762       aShape = context()->shape();
763     std::string aName;
764     if (aShape.get()) {
765       aName = aShape->shapeTypeStr();
766       if (myParent) {
767         aName += std::string("_") +
768           TCollection_AsciiString(selectionLabel().Father().Tag()).ToCString();
769       }
770     }
771     return aName;
772   }
773
774   CenterType aCenterType = NOT_CENTER;
775   std::shared_ptr<GeomAPI_Shape> aSubSh = internalValue(aCenterType);
776   ResultPtr aCont = context();
777
778   if (!aCont.get() ||
779       (aCont->groupName() == ModelAPI_ResultConstruction::group() && contextFeature().get())) {
780     // selection of a full feature
781     FeaturePtr aFeatureCont = contextFeature();
782     if (aFeatureCont.get()) {
783       return kWHOLE_FEATURE + aFeatureCont->name();
784     }
785     // in case of selection of removed result
786     return "";
787   }
788
789   TDF_Label aSelLab = selectionLabel();
790   if (aSelLab.IsAttribute(kSIMPLE_REF_ID)) { // whole context, no value
791     return contextName(aCont);
792   }
793
794   // if it is in result of another part
795   if (aCont->groupName() == ModelAPI_ResultPart::group()) {
796     ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(aCont);
797     int anIndex;
798     std::string aResult = aSubSh.get() ?
799       aPart->data()->name() + "/" + aPart->nameInPart(aSubSh, anIndex) : aPart->data()->name();
800     if (aCenterType != NOT_CENTER)
801       aResult += centersMap()[aCenterType];
802     return aResult;
803   }
804
805   // whole infinitive construction
806   if (aCont->groupName() == ModelAPI_ResultConstruction::group()) {
807     ResultConstructionPtr aConstr = std::dynamic_pointer_cast<Model_ResultConstruction>(aCont);
808     if (aConstr->isInfinite()) {
809       return contextName(aCont);
810     }
811   }
812
813   Selector_Selector aSelector(aSelLab, baseDocumentLab());
814   std::string aResult;
815   if (aCont->shape().get() && aSelector.restore(aCont->shape()->impl<TopoDS_Shape>()))
816     aResult = aSelector.name(this);
817   if (aCenterType != NOT_CENTER) {
818     aResult += centersMap()[aCenterType];
819   }
820   return aResult;
821 }
822
823 // returns the center type and modifies the shape name if this name is center-name
824 static ModelAPI_AttributeSelection::CenterType centerTypeByName(std::string& theShapeName)
825 {
826   std::map<ModelAPI_AttributeSelection::CenterType, std::string>::iterator aPrefixIter =
827     centersMap().begin();
828   for(; aPrefixIter != centersMap().end(); aPrefixIter++) {
829     std::size_t aFound = theShapeName.find(aPrefixIter->second);
830     if (aFound != std::string::npos &&
831         aFound == theShapeName.size() - aPrefixIter->second.size()) {
832       theShapeName = theShapeName.substr(0, aFound);
833       return aPrefixIter->first;
834     }
835   }
836   return ModelAPI_AttributeSelection::NOT_CENTER;
837 }
838
839 // type ::= COMP | COMS | SOLD | SHEL | FACE | WIRE | EDGE | VERT
840 void Model_AttributeSelection::selectSubShape(
841   const std::string& theType, const std::string& theSubShapeName)
842 {
843   if(theSubShapeName.empty() || theType.empty()) return;
844
845   std::string aSubShapeName = theSubShapeName;
846   CenterType aCenterType = theType[0] == 'v' || theType[0] == 'V' ? // only for vertex-type
847     centerTypeByName(aSubShapeName) : NOT_CENTER;
848   std::string aType = aCenterType == NOT_CENTER ? theType : "EDGE"; // search for edge now
849   static const GeomShapePtr anEmptyShape;
850
851   // first iteration is selection by name without center prefix, second - in case of problem,
852   // try with initial name
853   for(int aUseCenter = 1; aUseCenter >= 0; aUseCenter--)  {
854     if (aUseCenter == 0 && aCenterType != NOT_CENTER) {
855       aSubShapeName = theSubShapeName;
856       aCenterType = NOT_CENTER;
857       aType = theType;
858     } else if (aUseCenter != 1) continue;
859     TopAbs_ShapeEnum aShapeType =  TopAbs_ShapeEnum(GeomAPI_Shape::shapeTypeByStr(aType));
860
861     std::shared_ptr<Model_Document> aDoc =
862       std::dynamic_pointer_cast<Model_Document>(owner()->document());
863     // check this is Part-name: 2 delimiters in the name
864     std::size_t aPartEnd = aSubShapeName.find('/');
865     if (aPartEnd != std::string::npos) {
866       std::string aPartName = aSubShapeName.substr(0, aPartEnd);
867       DocumentPtr aRootDoc = ModelAPI_Session::get()->moduleDocument();
868       if (aPartName == aRootDoc->kind()) {
869         aDoc = std::dynamic_pointer_cast<Model_Document>(aRootDoc);
870         aSubShapeName = aSubShapeName.substr(aPartEnd + 1);
871       } else {
872         ObjectPtr aFound =
873           owner()->document()->objectByName(ModelAPI_ResultPart::group(), aPartName);
874         if (aFound.get()) { // found such part, so asking it for the name
875           ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(aFound);
876           std::string aNameInPart = aSubShapeName.substr(aPartEnd + 1);
877           if (aNameInPart.empty()) { // whole part
878             setValue(aPart, anEmptyShape);
879             return;
880           }
881           int anIndex;
882           std::shared_ptr<GeomAPI_Shape> aSelected =
883             aPart->shapeInPart(aNameInPart, aType, anIndex);
884           if (aSelected.get()) {
885             if (aCenterType != NOT_CENTER) {
886               if (!aSelected->isEdge())
887                 continue;
888               std::shared_ptr<GeomAPI_Edge> aSelectedEdge(new GeomAPI_Edge(aSelected));
889               setValueCenter(aPart, aSelectedEdge, aCenterType);
890             } else
891               setValue(aPart, aSelected);
892             TDataStd_Integer::Set(selectionLabel(), anIndex);
893             return;
894           }
895         }
896       }
897     }
898
899     // check this is a whole feature context
900     if (aSubShapeName.size() > kWHOLE_FEATURE.size() &&
901       aSubShapeName.substr(0, kWHOLE_FEATURE.size()) == kWHOLE_FEATURE) {
902       std::string aFeatureName = aSubShapeName.substr(kWHOLE_FEATURE.size());
903       ObjectPtr anObj = aDoc->objectByName(ModelAPI_Feature::group(), aFeatureName);
904       if (anObj.get()) {
905         setValue(anObj, anEmptyShape);
906         return;
907       }
908     }
909
910     // the whole result selection check
911     if (aSubShapeName.find('/') == std::string::npos) {
912       ObjectPtr aRes = aDoc->objectByName(ModelAPI_ResultConstruction::group(), aSubShapeName);
913       if (!aRes.get()) {
914         aRes = aDoc->objectByName(ModelAPI_ResultBody::group(), aSubShapeName);
915         if (!aRes.get())
916           aRes = aDoc->objectByName(ModelAPI_ResultGroup::group(), aSubShapeName);
917       }
918       if (aRes.get()) {
919         setValue(aRes, anEmptyShape);
920         return;
921       }
922     }
923
924     Selector_Selector aSelector(selectionLabel(), baseDocumentLab());
925     myRestoreDocument = aDoc;
926     TDF_Label aContextLabel = aSelector.restoreByName(
927       aSubShapeName, aShapeType, this, myIsGeometricalSelection);
928     myRestoreDocument.reset();
929     if (!aContextLabel.IsNull()) {
930       ResultPtr aContext = aDoc->resultByLab(aContextLabel); // any label for document access
931       if (aContext.get() && aContext->shape().get()) {
932         TopoDS_Shape aContextShape = aContext->shape()->impl<TopoDS_Shape>();
933         if (aSelector.solve(aContextShape)) {
934           TopoDS_Shape aSelectorShape = aSelector.value();
935           GeomShapePtr aShapeToBeSelected(new GeomAPI_Shape);
936           aShapeToBeSelected->setImpl<TopoDS_Shape>(new TopoDS_Shape(aSelectorShape));
937           // make the context result the latest existing
938           aContext = newestContext(aContext, aShapeToBeSelected);
939           if (myIsGeometricalSelection || aCenterType == NOT_CENTER) {
940             // store the currently generated name
941             selectionLabel().ForgetAllAttributes(true);
942             bool aToUnblock = false;
943             aToUnblock = !owner()->data()->blockSendAttributeUpdated(true);
944             myRef.setValue(aContext);
945             aSelector.store(aContextShape);
946             owner()->data()->sendAttributeUpdated(this);
947             if (aToUnblock)
948               owner()->data()->blockSendAttributeUpdated(false);
949             return;
950           } else { // re-select center of circle/arc by context and value
951             if (!aShapeToBeSelected->isEdge())
952               continue;
953             std::shared_ptr<GeomAPI_Edge> aSelectedEdge(new GeomAPI_Edge(aShapeToBeSelected));
954             setValueCenter(aContext, aSelectedEdge, aCenterType);
955           }
956           return;
957         }
958       }
959     }
960   }
961   // invalid
962   TDF_Label aSelLab = selectionLabel();
963   setInvalidIfFalse(aSelLab, false);
964   reset();
965 }
966
967 void Model_AttributeSelection::selectSubShape(const std::string& theType,
968                                               const GeomPointPtr& thePoint)
969 {
970   if (theType.empty() || !thePoint)
971     return;
972
973   // list of parent features
974   FeaturePtr anOwner = ModelAPI_Feature::feature(owner());
975   std::set<FeaturePtr> aParents = ModelAPI_Tools::getParents(anOwner);
976
977   int aSelectionIndex = 0;
978   GeomAPI_Shape::ShapeType aType = GeomAPI_Shape::shapeTypeByStr(theType);
979   if (aType == GeomAPI_Shape::SHAPE) {
980     // possibly, the string consists of the type and the index,
981     // thus, try to separate them
982     size_t aUndersporePos = theType.find_first_of('_');
983     if (aUndersporePos != std::string::npos)
984       aType = GeomAPI_Shape::shapeTypeByStr(theType.substr(0, aUndersporePos));
985
986     if (aType != GeomAPI_Shape::SHAPE) {
987       for (std::string::const_iterator aChar = theType.begin() + aUndersporePos + 1;
988            aChar != theType.end(); ++aChar) {
989         if (std::isdigit(*aChar))
990           aSelectionIndex = aSelectionIndex * 10 + (*aChar - '0');
991         else {
992           aSelectionIndex = 1;
993           break;
994         }
995       }
996       aSelectionIndex -= 1;
997     }
998   }
999
1000   std::list<ModelGeomAlgo_Shape::SubshapeOfResult> anAppropriate;
1001
1002   // collect features from PartSet and the current part
1003   SessionPtr aSession = ModelAPI_Session::get();
1004   std::list<FeaturePtr> aFeatures = aSession->moduleDocument()->allFeatures();
1005   if (aSession->moduleDocument() != owner()->document()) {
1006     std::list<FeaturePtr> aPartFeatures = owner()->document()->allFeatures();
1007     aFeatures.insert(aFeatures.end(), aPartFeatures.begin(), aPartFeatures.end());
1008   }
1009   // Process results of all features from the last to the first
1010   // to find appropriate sub-shape
1011   for (std::list<FeaturePtr>::const_reverse_iterator anIt = aFeatures.rbegin();
1012        anIt != aFeatures.rend(); ++anIt) {
1013     // selection cannot be linked to the parent features
1014     if (aParents.find(*anIt) != aParents.end())
1015       continue;
1016     // check the feature is a part of composite feature (like sketch elements),
1017     // then do not process it, it will be processed in scope of composite feature
1018     bool isSubOfComposite = false;
1019     const std::set<AttributePtr>& aRefs = (*anIt)->data()->refsToMe();
1020     for (std::set<AttributePtr>::const_iterator aRefIt = aRefs.begin();
1021          aRefIt != aRefs.end() && !isSubOfComposite; ++aRefIt) {
1022       FeaturePtr aFeature = ModelAPI_Feature::feature((*aRefIt)->owner());
1023       CompositeFeaturePtr aCompFeature =
1024           std::dynamic_pointer_cast<ModelAPI_CompositeFeature>(aFeature);
1025       isSubOfComposite = aCompFeature && aCompFeature->isSub(*anIt);
1026     }
1027     if (isSubOfComposite)
1028       continue;
1029
1030     // process results of the current feature to find appropriate sub-shape
1031     if (ModelGeomAlgo_Shape::findSubshapeByPoint(*anIt, thePoint, aType, anAppropriate)) {
1032       std::list<ModelGeomAlgo_Shape::SubshapeOfResult>::iterator anApIt = anAppropriate.begin();
1033       for (; aSelectionIndex > 0 && anApIt != anAppropriate.end(); --aSelectionIndex)
1034         ++anApIt; // skip this shape, because one of the previous is selected
1035
1036       if (anApIt != anAppropriate.end()) {
1037         if (anApIt->myCenterType == (int)ModelAPI_AttributeSelection::NOT_CENTER)
1038           setValue(anApIt->myResult, anApIt->mySubshape);
1039         else
1040           setValueCenter(anApIt->myResult, anApIt->mySubshape->edge(),
1041                          (ModelAPI_AttributeSelection::CenterType)anApIt->myCenterType);
1042         return;
1043       }
1044     }
1045   }
1046
1047   TDF_Label aSelLab = selectionLabel();
1048   setInvalidIfFalse(aSelLab, false);
1049   reset();
1050 }
1051
1052 void Model_AttributeSelection::selectSubShape(const std::string& theType,
1053   const std::string& theContextName, const int theIndex)
1054 {
1055   // selection of context by name
1056   selectSubShape(theType, theContextName);
1057   ResultPtr aContext = context();
1058   if (aContext.get()) {
1059     GeomShapePtr aContShape = aContext->shape();
1060     if (aContShape.get()) {
1061       GeomAlgoAPI_NExplode aNExp(aContShape, GeomAPI_Shape::shapeTypeByStr(theType));
1062       GeomShapePtr aValue = aNExp.shape(theIndex);
1063       if (aValue.get())
1064         setValue(aContext, aValue);
1065     }
1066   }
1067 }
1068
1069 void Model_AttributeSelection::setId(int theID)
1070 {
1071   std::shared_ptr<GeomAPI_Shape> aSelection;
1072
1073   ResultPtr aContextRes = context();
1074   // support for compsolids:
1075   while(ModelAPI_Tools::bodyOwner(aContextRes).get()) {
1076     aContextRes = ModelAPI_Tools::bodyOwner(aContextRes);
1077   }
1078   std::shared_ptr<GeomAPI_Shape> aContext = aContextRes->shape();
1079
1080   TopoDS_Shape aMainShape = aContext->impl<TopoDS_Shape>();
1081   // searching for the latest main shape
1082   if (theID > 0 && aContext && !aContext->isNull())
1083   {
1084     std::shared_ptr<Model_Document> aDoc =
1085       std::dynamic_pointer_cast<Model_Document>(aContextRes->document());
1086     if (aDoc.get()) {
1087       Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aMainShape, aDoc->generalLabel());
1088       if (!aNS.IsNull()) {
1089         aMainShape = TNaming_Tool::CurrentShape(aNS);
1090       }
1091     }
1092
1093     TopTools_IndexedMapOfShape aSubShapesMap;
1094     TopExp::MapShapes(aMainShape, aSubShapesMap);
1095     const TopoDS_Shape& aSelShape = aSubShapesMap.FindKey(theID);
1096
1097     std::shared_ptr<GeomAPI_Shape> aResult(new GeomAPI_Shape);
1098     aResult->setImpl(new TopoDS_Shape(aSelShape));
1099
1100     aSelection = aResult;
1101   }
1102
1103   setValue(aContextRes, aSelection);
1104 }
1105
1106 std::string Model_AttributeSelection::contextName(const ResultPtr& theContext) const
1107 {
1108   std::string aResult;
1109   if (owner()->document() != theContext->document()) {
1110     if (theContext->document() == ModelAPI_Session::get()->moduleDocument()) {
1111       aResult = theContext->document()->kind() + "/";
1112     } else {
1113       ResultPtr aDocRes = ModelAPI_Tools::findPartResult(
1114         ModelAPI_Session::get()->moduleDocument(), theContext->document());
1115       if (aDocRes.get()) {
1116         aResult = aDocRes->data()->name() + "/";
1117       }
1118     }
1119   }
1120   aResult += theContext->data()->name();
1121   return aResult;
1122 }
1123
1124 void Model_AttributeSelection::computeValues(
1125   ResultPtr theOldContext, ResultPtr theNewContext, TopoDS_Shape theValShape,
1126   TopTools_ListOfShape& theShapes)
1127 {
1128   bool aWasWholeContext = theValShape.IsNull();
1129   if (aWasWholeContext) {
1130     theValShape = theOldContext->shape()->impl<TopoDS_Shape>();
1131   }
1132   TopAbs_ShapeEnum aValType = theValShape.ShapeType();
1133   TopoDS_Shape aNewContShape = theNewContext->shape()->impl<TopoDS_Shape>();
1134   // if a new value is unchanged in the new context, do nothing: value is correct
1135   TopExp_Explorer aSubExp(aNewContShape, aValType);
1136   for(; aSubExp.More(); aSubExp.Next()) {
1137     if (aSubExp.Current().IsSame(theValShape)) {
1138       theShapes.Append(theValShape);
1139       return;
1140     }
1141   }
1142   // if new context becomes compsolid, the resulting sub may be in sub-solids
1143   std::list<ResultPtr> aNewToIterate;
1144   aNewToIterate.push_back(theNewContext);
1145   ResultBodyPtr aComp = std::dynamic_pointer_cast<ModelAPI_ResultBody>(theNewContext);
1146   if (aComp.get()) {
1147     std::list<ResultPtr> allNewContextSubs;
1148     ModelAPI_Tools::allSubs(aComp, allNewContextSubs);
1149     std::list<ResultPtr>::iterator aSub = allNewContextSubs.begin();
1150     for(; aSub != allNewContextSubs.end(); aSub++) {
1151       ResultBodyPtr aBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aSub);
1152       if (aBody.get() && aBody->numberOfSubs() == 0) // add only lower level subs
1153         aNewToIterate.push_back(aBody);
1154     }
1155   }
1156
1157   // first iteration: searching for the whole shape appearance (like face of the box)
1158   // second iteration: searching for sub-shapes that contain the sub (like vertex on faces)
1159   int aToFindPart = 0;
1160   TopTools_DataMapOfShapeShape aNewToOld; // map from new containers to old containers (with val)
1161   TopTools_MapOfShape anOlds; // to know how many olds produced new containers
1162   for(; aToFindPart != 2 && theShapes.IsEmpty(); aToFindPart++) {
1163     std::list<ResultPtr>::iterator aNewContIter = aNewToIterate.begin();
1164     for(; aNewContIter != aNewToIterate.end(); aNewContIter++) {
1165       std::shared_ptr<Model_Data> aNewData =
1166         std::dynamic_pointer_cast<Model_Data>((*aNewContIter)->data());
1167       TDF_Label aNewLab = aNewData->shapeLab();
1168       // searching for produced sub-shape fully on some label
1169       TDF_ChildIDIterator aNSIter(aNewLab, TNaming_NamedShape::GetID());
1170       for(; aNSIter.More(); aNSIter.Next()) {
1171         Handle(TNaming_NamedShape) aNS = Handle(TNaming_NamedShape)::DownCast(aNSIter.Value());
1172         for(TNaming_Iterator aPairIter(aNS); aPairIter.More(); aPairIter.Next()) {
1173           if (aToFindPart == 0) { // search shape is fully inside
1174             if (aPairIter.OldShape().IsSame(theValShape)) {
1175               if (aPairIter.NewShape().IsNull()) {// value was removed
1176                 theShapes.Clear();
1177                 return;
1178               }
1179               // don't add edges generated from faces
1180               if (aPairIter.NewShape().ShapeType() <= aValType)
1181                 theShapes.Append(aPairIter.NewShape());
1182             }
1183           } else if (!aPairIter.OldShape().IsNull()) { // search shape that contains this sub
1184             TopExp_Explorer anExp(aPairIter.OldShape(), aValType);
1185             for(; anExp.More(); anExp.Next()) {
1186               if (anExp.Current().IsSame(theValShape)) { // found a new container
1187                 if (aPairIter.NewShape().IsNull()) // skip removed high-level shape
1188                   continue;
1189                 aNewToOld.Bind(aPairIter.NewShape(), aPairIter.OldShape());
1190                 anOlds.Add(aPairIter.OldShape());
1191                 break;
1192               }
1193             }
1194           }
1195         }
1196       }
1197     }
1198   }
1199   if (aToFindPart == 2 && !aNewToOld.IsEmpty()) {
1200     // also iterate the whole old shape to find not-modified shapes that contain this old
1201     TopoDS_Shape anOldContShape = theOldContext->shape()->impl<TopoDS_Shape>();
1202     NCollection_Map<TopAbs_ShapeEnum> aNewTypes; // types of shapes to iterate
1203     TopTools_DataMapOfShapeShape::Iterator aNewTypeIter(aNewToOld);
1204     for(; aNewTypeIter.More(); aNewTypeIter.Next()) {
1205       if (aNewTypeIter.Key().ShapeType() != aValType)
1206         aNewTypes.Add(aNewTypeIter.Key().ShapeType());
1207     }
1208     NCollection_Map<TopAbs_ShapeEnum>::Iterator aTypeIter(aNewTypes);
1209     for(; aTypeIter.More(); aTypeIter.Next()) {
1210       for(TopExp_Explorer anExp(anOldContShape, aTypeIter.Value()); anExp.More(); anExp.Next()) {
1211         TopoDS_Shape anOld = anExp.Current();
1212         if (aNewToOld.IsBound(anOld) || anOlds.Contains(anOld)) // this was modified
1213           continue;
1214         TopExp_Explorer aValExp(anOld, aValType);
1215         for(; aValExp.More(); aValExp.Next()) {
1216           const TopoDS_Shape& anUnchanged = aValExp.Current();
1217           if (anUnchanged.IsSame(theValShape)) {
1218             aNewToOld.Bind(anOld, anOld);
1219             anOlds.Add(anOld);
1220             break;
1221           }
1222         }
1223       }
1224     }
1225
1226     // map of sub-shapes -> number of occurrences of these shapes in containers
1227     NCollection_DataMap<TopoDS_Shape, TopTools_MapOfShape, TopTools_ShapeMapHasher> aSubs;
1228     TopTools_DataMapOfShapeShape::Iterator aContIter(aNewToOld);
1229     for(; aContIter.More(); aContIter.Next()) {
1230       TopExp_Explorer aSubExp(aContIter.Key(), aValType);
1231       for(; aSubExp.More(); aSubExp.Next()) {
1232         if (!aSubs.IsBound(aSubExp.Current())) {
1233           aSubs.Bind(aSubExp.Current(), TopTools_MapOfShape());
1234         }
1235         // store old to know how many olds produced this shape
1236         aSubs.ChangeFind(aSubExp.Current()).Add(aContIter.Value());
1237       }
1238     }
1239     // if sub is appeared same times in containers as the number of old shapes that contain it
1240     int aCountInOld = anOlds.Size();
1241     NCollection_DataMap<TopoDS_Shape, TopTools_MapOfShape, TopTools_ShapeMapHasher>::Iterator
1242       aSubsIter(aSubs);
1243     for(; aSubsIter.More(); aSubsIter.Next()) {
1244       if (aSubsIter.Value().Size() == aCountInOld) {
1245         TopoDS_Shape anOld = aSubsIter.Key();
1246         // check this exists in the new shape
1247         TopExp_Explorer aNew(aNewContShape, anOld.ShapeType());
1248         for (; aNew.More(); aNew.Next()) {
1249           if (aNew.Current().IsSame(anOld))
1250             break;
1251         }
1252         if (aNew.More())
1253           theShapes.Append(anOld);
1254       }
1255     }
1256   }
1257   if (theShapes.IsEmpty()) { // nothing was changed
1258     if (aWasWholeContext)
1259       theShapes.Append(TopoDS_Shape());
1260     else { // if theValShape exists in new context, add it without changes, otherwise - nothing
1261       for (TopExp_Explorer aNew(aNewContShape, aValType); aNew.More(); aNew.Next()){
1262         if (aNew.Current().IsSame(theValShape)) {
1263           theShapes.Append(theValShape);
1264           break;
1265         }
1266       }
1267     }
1268   } else if (theShapes.Size() > 1) {
1269     // check it is possible to remove extra sub-shapes:
1270     // keep only shapes with the same number of containers if possible
1271     TopAbs_ShapeEnum anAncType = TopAbs_FACE;
1272     if (aValType == TopAbs_VERTEX)
1273       anAncType = TopAbs_EDGE;
1274     TopoDS_Shape anOldContext = theOldContext->shape()->impl<TopoDS_Shape>();
1275     TopTools_IndexedDataMapOfShapeListOfShape anOldMap;
1276     TopExp::MapShapesAndUniqueAncestors(anOldContext, aValType,  anAncType, anOldMap);
1277     if (anOldMap.Contains(theValShape)) {
1278       int aNumInOld = anOldMap.FindFromKey(theValShape).Extent();
1279       TopTools_IndexedDataMapOfShapeListOfShape aNewMap;
1280       TopExp::MapShapesAndUniqueAncestors(aNewContShape, aValType,  anAncType, aNewMap);
1281       TopTools_ListOfShape aNewResults;
1282       for(TopTools_ListOfShape::Iterator aNewSubs(theShapes); aNewSubs.More(); aNewSubs.Next()) {
1283         TopoDS_Shape aCand = aNewSubs.Value();
1284         if (aNewMap.Contains(aCand) && aNewMap.FindFromKey(aCand).Extent() == aNumInOld)
1285           aNewResults.Append(aCand);
1286       }
1287       if (!aNewResults.IsEmpty() && aNewResults.Size() < theShapes.Size())
1288         theShapes = aNewResults;
1289     }
1290   }
1291 }
1292
1293
1294 void Model_AttributeSelection::concealedFeature(
1295   const FeaturePtr theFeature, const FeaturePtr theStop, std::list<FeaturePtr>& theConcealers,
1296   const ResultPtr theResultOfFeature)
1297 {
1298   std::set<FeaturePtr> alreadyProcessed;
1299   alreadyProcessed.insert(theFeature);
1300   if (theStop.get())
1301     alreadyProcessed.insert(theStop);
1302   /// iterate all results to find the concealment-attribute
1303   std::list<ResultPtr> aRootRes;
1304   if (theResultOfFeature.get()) {
1305     ResultPtr aRoot = ModelAPI_Tools::bodyOwner(theResultOfFeature, true);
1306     aRootRes.push_back(aRoot ? aRoot : theResultOfFeature);
1307   } else { // all results of a feature
1308    aRootRes = theFeature->results();
1309   }
1310   std::list<ResultPtr>::const_iterator aRootIter = aRootRes.cbegin();
1311   for(; aRootIter != aRootRes.cend(); aRootIter++) {
1312     std::list<ResultPtr> allRes;
1313     allRes.push_back(*aRootIter);
1314     ResultBodyPtr aRootBody = ModelAPI_Tools::bodyOwner(*aRootIter, true);
1315     if (!aRootBody.get())
1316       aRootBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aRootIter);
1317     if (aRootBody.get()) {
1318       ModelAPI_Tools::allSubs(aRootBody, allRes);
1319     }
1320     for(std::list<ResultPtr>::iterator aRIter = allRes.begin(); aRIter != allRes.end(); aRIter++) {
1321       const std::set<AttributePtr>& aRefs = (*aRIter)->data()->refsToMe();
1322       std::set<AttributePtr>::const_iterator aRef = aRefs.cbegin();
1323       for (; aRef != aRefs.cend(); aRef++) {
1324         if (!aRef->get() || !(*aRef)->owner().get())
1325           continue;
1326         // concealed attribute only
1327         FeaturePtr aRefFeat = std::dynamic_pointer_cast<ModelAPI_Feature>((*aRef)->owner());
1328         if (alreadyProcessed.find(aRefFeat) != alreadyProcessed.end()) // optimization
1329           continue;
1330         alreadyProcessed.insert(aRefFeat);
1331         if (ModelAPI_Session::get()->validators()->isConcealed(aRefFeat->getKind(), (*aRef)->id()))
1332         {
1333           // for extrusion cut in python script the nested sketch reference may be concealed before
1334           // it is nested, so, check this composite feature is valid
1335           static ModelAPI_ValidatorsFactory* aFactory = ModelAPI_Session::get()->validators();
1336           // need to be validated to update the "Apply" state if not previewed
1337           if (aFactory->validate(aRefFeat)) {
1338             if (theStop.get()) {
1339               std::shared_ptr<Model_Document> aDoc =
1340                 std::dynamic_pointer_cast<Model_Document>(theStop->document());
1341               if (!aDoc->isLaterByDep(theStop, aRefFeat)) // skip feature later than stop
1342                 continue;
1343             }
1344             theConcealers.push_back(aRefFeat);
1345           }
1346         }
1347       }
1348     }
1349   }
1350 }
1351
1352 bool Model_AttributeSelection::searchNewContext(std::shared_ptr<Model_Document> theDoc,
1353   const TopoDS_Shape theContShape, ResultPtr theContext, TopoDS_Shape theValShape,
1354   TDF_Label theAccessLabel,
1355   std::list<ResultPtr>& theResults, TopTools_ListOfShape& theValShapes)
1356 {
1357   std::set<ResultPtr> aResults; // to avoid duplicates, new context, null if deleted
1358   // iterate context and shape, but also if it is sub-shape of main shape, check also it
1359   TopTools_ListOfShape aContextList;
1360   aContextList.Append(theContShape);
1361   if (theContext.get()) {
1362     ResultPtr aComposite = ModelAPI_Tools::bodyOwner(theContext);
1363     if (aComposite.get() && aComposite->shape().get() && !aComposite->shape()->isNull())
1364       aContextList.Append(aComposite->shape()->impl<TopoDS_Shape>());
1365   }
1366   for(TopTools_ListOfShape::Iterator aContIter(aContextList); aContIter.More(); aContIter.Next()) {
1367     TNaming_SameShapeIterator aModifIter(aContIter.ChangeValue(), theAccessLabel);
1368     for(; aModifIter.More(); aModifIter.Next()) {
1369       TDF_Label anObjLab = aModifIter.Label().Father();
1370       ResultPtr aModifierObj = std::dynamic_pointer_cast<ModelAPI_Result>
1371         (theDoc->objects()->object(anObjLab));
1372       if (!aModifierObj.get()) {
1373         // #2241: shape may be sub-element of new object, not main (shell created from faces)
1374         if (!anObjLab.IsRoot())
1375           aModifierObj = std::dynamic_pointer_cast<ModelAPI_Result>
1376           (theDoc->objects()->object(anObjLab.Father()));
1377         if (!aModifierObj.get())
1378           continue;
1379       }
1380       FeaturePtr aModifierFeat = theDoc->feature(aModifierObj);
1381       if (!aModifierFeat.get())
1382         continue;
1383       FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1384       if (aModifierFeat == aThisFeature || !theDoc->isLaterByDep(aThisFeature, aModifierFeat))
1385         continue; // the modifier feature is later than this, so, should not be used
1386       FeaturePtr aCurrentModifierFeat = theDoc->feature(theContext);
1387       if (aCurrentModifierFeat == aModifierFeat ||
1388         !theDoc->isLaterByDep(aModifierFeat, aCurrentModifierFeat))
1389         continue; // the current modifier is later than the found, so, useless
1390       Handle(TNaming_NamedShape) aNewNS;
1391       aModifIter.Label().FindAttribute(TNaming_NamedShape::GetID(), aNewNS);
1392       if (aNewNS->Evolution() == TNaming_MODIFY || aNewNS->Evolution() == TNaming_GENERATED) {
1393         aResults.insert(aModifierObj);
1394       } else if (aNewNS->Evolution() == TNaming_DELETE) { // a shape was deleted => result is empty
1395         aResults.insert(ResultPtr());
1396       } else { // not-processed modification => don't support it
1397         continue;
1398       }
1399     }
1400   }
1401   // if there exist context composite and sub-result(s), leave only sub(s)
1402   for(std::set<ResultPtr>::iterator aResIter = aResults.begin(); aResIter != aResults.end();) {
1403     ResultPtr aParent = ModelAPI_Tools::bodyOwner(*aResIter);
1404     for(; aParent.get(); aParent = ModelAPI_Tools::bodyOwner(aParent))
1405       if (aResults.count(aParent))
1406         break;
1407     if (aParent.get()) { // erase from set, so, restart iteration
1408       aResults.erase(aParent);
1409       aResIter = aResults.begin();
1410     } else aResIter++;
1411   }
1412
1413   if (aResults.empty()) {
1414     // check the context become concealed by operation which is earlier than this selection
1415     FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1416     FeaturePtr aContextOwner = theDoc->feature(theContext);
1417     std::list<FeaturePtr> aConcealers;
1418     concealedFeature(aContextOwner, aThisFeature, aConcealers, theContext);
1419     std::list<FeaturePtr>::iterator aConcealer = aConcealers.begin();
1420     for(; aConcealer != aConcealers.end(); aConcealer++) {
1421       std::list<ResultPtr> aRefResults;
1422       ModelAPI_Tools::allResults(*aConcealer, aRefResults);
1423       std::list<ResultPtr>::iterator aRefIter = aRefResults.begin();
1424       for(; aRefIter != aRefResults.end(); aRefIter++) {
1425         ResultBodyPtr aRefBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aRefIter);
1426         if (!aRefBody.get() || aRefBody->numberOfSubs() != 0) // iterate only leafs
1427           continue;
1428         GeomShapePtr aRefShape = aRefBody->shape();
1429         if (!aRefShape.get() || aRefShape->isNull())
1430           continue;
1431         if (aRefShape->impl<TopoDS_Shape>().IsSame(theContShape)) {
1432           // add the new context result with the same shape
1433           aResults.insert(aRefBody);
1434         }
1435       }
1436       if (aResults.empty())
1437         return true; // feature conceals result, return true, so the context will be removed
1438     }
1439     if (aResults.empty())
1440       return false; // no modifications found, must stay the same
1441   }
1442   // iterate all results to find further modifications
1443   std::set<ResultPtr>::iterator aResIter = aResults.begin();
1444   for(; aResIter != aResults.end(); aResIter++) {
1445     if (aResIter->get() != NULL) {
1446       // compute new values by two contexts: the old and the new
1447       TopTools_ListOfShape aValShapes;
1448       computeValues(theContext, *aResIter, theValShape, aValShapes);
1449
1450       TopTools_ListIteratorOfListOfShape aNewVal(aValShapes);
1451       for(; aNewVal.More(); aNewVal.Next()) {
1452         std::list<ResultPtr> aNewRes;
1453         TopTools_ListOfShape aNewUpdatedVal;
1454         TopoDS_Shape aNewValSh = aNewVal.Value();
1455         TopoDS_Shape aNewContShape = (*aResIter)->shape()->impl<TopoDS_Shape>();
1456         if (theValShape.IsNull() && aNewContShape.IsSame(aNewValSh))
1457           aNewValSh.Nullify();
1458         if (searchNewContext(theDoc, aNewContShape, *aResIter, aNewValSh,
1459                              theAccessLabel, aNewRes, aNewUpdatedVal))
1460         {
1461           // append new results instead of the current ones
1462           std::list<ResultPtr>::iterator aNewIter = aNewRes.begin();
1463           TopTools_ListIteratorOfListOfShape aNewUpdVal(aNewUpdatedVal);
1464           for(; aNewIter != aNewRes.end(); aNewIter++, aNewUpdVal.Next()) {
1465             theResults.push_back(*aNewIter);
1466             theValShapes.Append(aNewUpdVal.Value());
1467           }
1468         } else { // the current result is good
1469           theResults.push_back(*aResIter);
1470           theValShapes.Append(aNewValSh);
1471         }
1472       }
1473     }
1474   }
1475   return true; // theResults must be empty: everything is deleted
1476 }
1477
1478 void Model_AttributeSelection::updateInHistory(bool& theRemove)
1479 {
1480   static std::shared_ptr<GeomAPI_Shape> anEmptyShape;
1481
1482   ResultPtr aContext = std::dynamic_pointer_cast<ModelAPI_Result>(myRef.value());
1483   if (!aContext.get() || (aContext->groupName() != ModelAPI_ResultBody::group() &&
1484       aContext->groupName() != ModelAPI_ResultPart::group())) {
1485     // but check the case the whole results are allowed: whole features may be selected
1486     if (myParent && myParent->isWholeResultAllowed()) {
1487       FeaturePtr aFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(myRef.value());
1488       if (aFeature.get()) {
1489         FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1490         std::list<FeaturePtr> aConcealers;
1491         concealedFeature(aFeature, aThisFeature, aConcealers, ResultPtr());
1492         if (aConcealers.empty())
1493           return;
1494         bool aChanged = false;
1495         std::list<FeaturePtr>::iterator aConcealer = aConcealers.begin();
1496         for(; aConcealer != aConcealers.end(); aConcealer++)
1497           if (!myParent->isInList(*aConcealer, anEmptyShape)) {// avoid addition of duplicates
1498             setValue(*aConcealer, anEmptyShape);
1499             aChanged = true;
1500           }
1501         if (aConcealer == aConcealers.end()) {
1502           if (!aChanged) // remove this
1503             theRemove = true;
1504         } else { // append new
1505           for(aConcealer++; aConcealer != aConcealers.end(); aConcealer++)
1506             if (!myParent->isInList(*aConcealer, anEmptyShape)) // avoid addition of duplicates
1507               myParent->append(*aConcealer, anEmptyShape);
1508         }
1509         if (aChanged) // searching for the further modifications
1510           updateInHistory(theRemove);
1511       }
1512     }
1513     return;// only bodies and parts may be modified later in the history, skip otherwise
1514   }
1515
1516   std::shared_ptr<Model_Document> aDoc =
1517     std::dynamic_pointer_cast<Model_Document>(aContext->document());
1518   std::shared_ptr<Model_Data> aContData = std::dynamic_pointer_cast<Model_Data>(aContext->data());
1519   if (!aContData.get() || !aContData->isValid())
1520     return;
1521   TDF_Label aContLab = aContData->shapeLab(); // named shape where the selected context is located
1522
1523   // checking this may be just a reference to another context (same shape), so use that label
1524   Handle(TNaming_NamedShape) aContNS;
1525   Handle(TDF_Reference) aRefAttr;
1526   while(!aContLab.FindAttribute(TNaming_NamedShape::GetID(), aContNS) &&
1527         aContLab.FindAttribute(TDF_Reference::GetID(), aRefAttr))
1528     aContLab = aRefAttr->Get();
1529
1530   if (!aContLab.FindAttribute(TNaming_NamedShape::GetID(), aContNS)) {
1531     bool aFoundNewContext = true;
1532     ResultPtr aNewContext = aContext;
1533     while(aFoundNewContext) {
1534       aFoundNewContext = false;
1535       // parts have no shape in result, so, trace references using the Part info
1536       if (aNewContext->groupName() == ModelAPI_ResultPart::group()) {
1537         ResultPartPtr aPartContext = std::dynamic_pointer_cast<ModelAPI_ResultPart>(aNewContext);
1538         if (aPartContext.get()) { // searching for the up to date references to the referenced cont
1539           const std::set<AttributePtr>& aRefs = aPartContext->data()->refsToMe();
1540           std::set<AttributePtr>::const_iterator aRef = aRefs.begin();
1541           for(; aRef != aRefs.end(); aRef++) {
1542             // to avoid detection of part changes by local selection only
1543             AttributeSelectionPtr aSel =
1544               std::dynamic_pointer_cast<ModelAPI_AttributeSelection>(*aRef);
1545             if (aSel.get() && aSel->value().get() &&
1546                 !aSel->value()->isSame(aSel->context()->shape()))
1547               continue;
1548
1549             FeaturePtr aRefFeat = std::dynamic_pointer_cast<ModelAPI_Feature>((*aRef)->owner());
1550
1551             if (aRefFeat.get() && aRefFeat != owner() && aRefFeat->firstResult().get()) {
1552               // check the reference is concealed: #2900
1553               ModelAPI_ValidatorsFactory* aValidators = ModelAPI_Session::get()->validators();
1554               if (!aValidators->isConcealed(aRefFeat->getKind(), (*aRef)->id()))
1555                 continue;
1556               FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1557               if (!aDoc->isLaterByDep(aRefFeat, aThisFeature)) { // found better feature
1558                 aFoundNewContext = true;
1559                 aNewContext = aRefFeat->firstResult();
1560               }
1561             }
1562           }
1563         }
1564       }
1565     }
1566     if (aNewContext != aContext) {
1567       setValue(aNewContext, value());
1568     }
1569     return;
1570   }
1571   FeaturePtr aThisFeature = std::dynamic_pointer_cast<ModelAPI_Feature>(owner());
1572   FeaturePtr aCurrentModifierFeat = aDoc->feature(aContext);
1573   // iterate the context shape modifications in order to find a feature that is upper in history
1574   // that this one and is really modifies the referenced result to refer to it
1575   ResultPtr aModifierResFound;
1576   TNaming_Iterator aPairIter(aContNS);
1577   if (!aPairIter.More())
1578     return;
1579   TopoDS_Shape aNewCShape = aPairIter.NewShape();
1580   bool anIterate = true;
1581   // trying to update also the sub-shape selected
1582   GeomShapePtr aSubShape = value();
1583   if (aSubShape.get() && aSubShape->isEqual(aContext->shape()))
1584     aSubShape.reset();
1585   TopoDS_Shape aValShape;
1586   if (aSubShape.get()) {
1587     aValShape = aSubShape->impl<TopoDS_Shape>();
1588   }
1589
1590   std::list<ResultPtr> aNewContexts;
1591   TopTools_ListOfShape aValShapes;
1592   if (searchNewContext(aDoc, aNewCShape, aContext, aValShape, aContLab, aNewContexts, aValShapes))
1593   {
1594     std::set<ResultPtr> allContexts, aSkippedContext;
1595     std::list<ResultPtr>::iterator aNewContext = aNewContexts.begin();
1596     for(; aNewContext != aNewContexts.end(); aNewContext++)
1597       allContexts.insert(*aNewContext);
1598
1599     // if there exist context composite and sub-result(s), leave only sub(s)
1600     std::set<ResultPtr>::iterator aResIter = allContexts.begin();
1601     for(; aResIter != allContexts.end(); aResIter++) {
1602       ResultPtr aParent = ModelAPI_Tools::bodyOwner(*aResIter);
1603       for(; aParent.get(); aParent = ModelAPI_Tools::bodyOwner(aParent))
1604         if (allContexts.count(aParent))
1605           aSkippedContext.insert(aParent);
1606     }
1607
1608     GeomAPI_Shape::ShapeType aListShapeType = GeomAPI_Shape::SHAPE;
1609     if (myParent) {
1610       if (myParent->selectionType() == "VERTEX" || myParent->selectionType() == "Vertices")
1611         aListShapeType = GeomAPI_Shape::VERTEX;
1612       else if (myParent->selectionType() == "EDGE" || myParent->selectionType() == "Edges")
1613         aListShapeType = GeomAPI_Shape::EDGE;
1614       else if (myParent->selectionType() == "FACE" || myParent->selectionType() == "Faces")
1615         aListShapeType = GeomAPI_Shape::FACE;
1616     }
1617
1618     // issue #3031: skip topology if there is more convenient shape type presents in the
1619     // same context as a result of this
1620     bool isWholeResult = myParent && myParent->isWholeResultAllowed() && !aSubShape.get();
1621     GeomAPI_Shape::ShapeType allowedType = GeomAPI_Shape::SHAPE;
1622     if (isWholeResult) {
1623       std::list<ResultPtr>::iterator aNewCont = aNewContexts.begin();
1624       TopTools_ListIteratorOfListOfShape aNewValues(aValShapes);
1625       for(; aNewCont != aNewContexts.end(); aNewCont++, aNewValues.Next()) {
1626         if (aNewValues.Value().IsNull()) { // only for the whole context
1627           GeomAPI_Shape::ShapeType aShapeType = (*aNewCont)->shape()->shapeType();
1628           if (allowedType == GeomAPI_Shape::SHAPE) { // just set this one
1629             allowedType = aShapeType;
1630           } else {
1631             GeomAPI_Shape::ShapeType anAllowed = allowedType;
1632             if (anAllowed != aShapeType) { // select the best, nearest to the origin
1633               GeomAPI_Shape::ShapeType anOldShapeType = aContext->shape()->shapeType();
1634               GeomAPI_Shape::ShapeType aDeltaAllowed =
1635                 (GeomAPI_Shape::ShapeType)(anOldShapeType - anAllowed);
1636               if (aDeltaAllowed < 0)
1637                 aDeltaAllowed = (GeomAPI_Shape::ShapeType)(-aDeltaAllowed);
1638               GeomAPI_Shape::ShapeType aDeltaThis =
1639                 (GeomAPI_Shape::ShapeType)(anOldShapeType - aShapeType);
1640               if (aDeltaThis < 0)
1641                 aDeltaThis = (GeomAPI_Shape::ShapeType)(-aDeltaThis);
1642               if (aDeltaThis == aDeltaAllowed) { // equal distance to context, select complicated
1643                 if (anOldShapeType < anAllowed)
1644                   allowedType = aShapeType;
1645               } else if (aDeltaAllowed > aDeltaThis) { // this wins
1646                 allowedType = aShapeType;
1647               }
1648             }
1649           }
1650         }
1651       }
1652     }
1653
1654     std::list<ResultPtr>::iterator aNewCont = aNewContexts.begin();
1655     TopTools_ListIteratorOfListOfShape aNewValues(aValShapes);
1656     bool aFirst = true; // first is set to this, next are appended to parent
1657     for(; aNewCont != aNewContexts.end(); aNewCont++, aNewValues.Next()) {
1658       if (aSkippedContext.count(*aNewCont))
1659         continue;
1660
1661       if (isWholeResult && aNewValues.Value().IsNull())
1662         if (allowedType != GeomAPI_Shape::SHAPE &&
1663             (*aNewCont)->shape()->shapeType() != allowedType)
1664           continue; // there is better result exists with the better shape type (issue #3031)
1665
1666       GeomShapePtr aValueShape;
1667       if (!aNewValues.Value().IsNull()) {
1668         aValueShape = std::make_shared<GeomAPI_Shape>();
1669         aValueShape->setImpl<TopoDS_Shape>(new TopoDS_Shape(aNewValues.Value()));
1670       }
1671       // Check that list has the same type of shape selection before adding.
1672       GeomAPI_Shape::ShapeType aShapeShapeType = GeomAPI_Shape::SHAPE;
1673       if (aValueShape.get()) {
1674         aShapeShapeType = aValueShape->shapeType();
1675       } else {
1676         aShapeShapeType = (*aNewCont)->shape()->shapeType();
1677       }
1678       if (aListShapeType != GeomAPI_Shape::SHAPE && aListShapeType != aShapeShapeType) {
1679         // exception is for whole results selected
1680         if (!isWholeResult) {
1681           continue;
1682         }
1683       }
1684
1685       ResultPtr aNewContext = *aNewCont;
1686       if (aValueShape.get()) { // #2892 if context is higher level result, search this sub in lower
1687         ResultBodyPtr aBodyContext = std::dynamic_pointer_cast<ModelAPI_ResultBody>(aNewContext);
1688         if (aBodyContext.get() && aBodyContext->numberOfSubs() != 0) {
1689           std::list<ResultPtr> aLower;
1690           ModelAPI_Tools::allSubs(aBodyContext, aLower, true);
1691           for(std::list<ResultPtr>::iterator aL = aLower.begin(); aL != aLower.end(); aL++) {
1692             GeomShapePtr aLShape = (*aL)->shape();
1693             if (aLShape.get() && !aLShape->isNull()) {
1694               if (aLShape->isSubShape(aValueShape, false)) {
1695                 aNewContext = *aL;
1696                 break;
1697               }
1698             }
1699           }
1700         }
1701       }
1702
1703       if (aFirst) {
1704         if (!myParent || !myParent->isInList(aNewContext, aValueShape)) { // avoid duplicates
1705           setValue(aNewContext, aValueShape);
1706           aFirst = false;
1707         }
1708       } else if (myParent) {
1709         if (!myParent->isInList(aNewContext, aValueShape)) // avoid addition of duplicates
1710           myParent->append(aNewContext, aValueShape);
1711       }
1712     }
1713     if (aFirst) { // nothing was added, all results were deleted
1714       if (myParent) {
1715         theRemove = true;
1716       } else {
1717         static ResultPtr anEmptyContext;
1718         setValue(anEmptyContext, anEmptyShape); // nullify the selection
1719         return;
1720       }
1721     }
1722   }
1723 }
1724
1725 void Model_AttributeSelection::setParent(Model_AttributeSelectionList* theParent)
1726 {
1727   myParent = theParent;
1728 }
1729
1730 std::string Model_AttributeSelection::contextName(const TDF_Label theSelectionLab)
1731 {
1732   std::shared_ptr<Model_Document> aDoc = myRestoreDocument.get() ? myRestoreDocument :
1733     std::dynamic_pointer_cast<Model_Document>(owner()->document());
1734   FeaturePtr aFeatureOwner = aDoc->featureByLab(theSelectionLab);
1735   bool aBaseDocumnetUsed = false;
1736   if (!aFeatureOwner.get()) { // use module document
1737     aDoc = std::dynamic_pointer_cast<Model_Document>(ModelAPI_Session::get()->moduleDocument());
1738     aFeatureOwner = aDoc->featureByLab(theSelectionLab);
1739     aBaseDocumnetUsed = true;
1740   }
1741   if (aFeatureOwner.get()) {
1742     // if it is sub-element of the sketch, the context name is the name of the sketch
1743     // searching also for result - real context
1744     ResultPtr aResult;
1745     FeaturePtr aComposite = ModelAPI_Tools::compositeOwner(aFeatureOwner);
1746     if (aComposite.get() && aComposite->results().size() == 1 &&
1747         aComposite->firstResult()->groupName() == ModelAPI_ResultConstruction::group()) {
1748       aFeatureOwner = aComposite;
1749       aResult = aFeatureOwner->firstResult();
1750     } else {
1751       aResult = aDoc->resultByLab(theSelectionLab);
1752     }
1753     if (aResult.get()) {
1754       // this is to avoid duplicated names of results problem
1755       std::string aContextName = aResult->data()->name();
1756       // myLab corresponds to the current time
1757       TDF_Label aCurrentLab = selectionLabel();
1758       while(aCurrentLab.Depth() > 3)
1759         aCurrentLab = aCurrentLab.Father();
1760
1761       int aNumInHistoryNames =
1762         aDoc->numberOfNameInHistory(aResult, aCurrentLab);
1763       while(aNumInHistoryNames > 1) { // add "_" before name the needed number of times
1764         aContextName = "_" + aContextName;
1765         aNumInHistoryNames--;
1766       }
1767       if (aBaseDocumnetUsed)
1768         aContextName = aDoc->kind() + "/" + aContextName;
1769       return aContextName;
1770     }
1771   }
1772   return ""; // invalid case
1773 }
1774
1775 /// This method restores by the context and value name the context label and
1776 /// sub-label where the value is. Returns true if it is valid.
1777 bool Model_AttributeSelection::restoreContext(std::string theName,
1778   TDF_Label& theContext, TDF_Label& theValue)
1779 {
1780   static const GeomShapePtr anEmptyShape; // to store context only
1781   std::string aName = theName;
1782   std::shared_ptr<Model_Document> aDoc = myRestoreDocument.get() ? myRestoreDocument :
1783     std::dynamic_pointer_cast<Model_Document>(owner()->document());
1784
1785   // remove the sub-value part if exists
1786   std::string aSubShapeName = aName;
1787   std::string::size_type n = aName.find('/');
1788   if (n != std::string::npos) {
1789     aName = aName.substr(0, n);
1790   }
1791
1792   if (aName.empty()) return false;
1793   bool anUniqueContext = false;
1794   ResultPtr aCont = aDoc->findByName(aName, aSubShapeName, anUniqueContext);
1795   if (!aCont.get() || !aCont->shape().get() || aCont->shape()->isNull()) {
1796     // name in PartSet?
1797     aDoc = std::dynamic_pointer_cast<Model_Document>(
1798       ModelAPI_Session::get()->moduleDocument());
1799     if (theName.find(aDoc->kind()) == 0) { // remove the document identifier from name if exists
1800       aSubShapeName = theName.substr(aDoc->kind().size() + 1);
1801       aName = aSubShapeName;
1802       std::string::size_type n = aName.find('/');
1803       if (n != std::string::npos) {
1804         aName = aName.substr(0, n);
1805       }
1806     }
1807     aCont = aDoc->findByName(aName, aSubShapeName, anUniqueContext);
1808     if (!aCont.get() || !aCont->shape().get() || aCont->shape()->isNull())
1809       return false;
1810   }
1811
1812   // searching the sub-shape
1813   static const ResultPtr anEmpty;
1814   theValue = aDoc->findNamingName(aSubShapeName, anUniqueContext ? aCont : anEmpty);
1815
1816   // sketch sub-component shape and name is located in separated feature label, try the sub-name
1817   if (theValue.IsNull() && aCont->groupName() == ModelAPI_ResultConstruction::group()) {
1818     std::string::size_type aSlash = aSubShapeName.rfind('/');
1819     if (aSlash != std::string::npos) {
1820       std::string aCompName = aSubShapeName.substr(aSlash + 1);
1821       CompositeFeaturePtr aComposite =
1822         std::dynamic_pointer_cast<ModelAPI_CompositeFeature>(aDoc->feature(aCont));
1823       if (aComposite.get() && aComposite->numberOfSubs()) {
1824         const int aSubNum = aComposite->numberOfSubs();
1825         for (int a = 0; a < aSubNum && theValue.IsNull(); a++) {
1826           FeaturePtr aSub = aComposite->subFeature(a);
1827           const std::list<std::shared_ptr<ModelAPI_Result> >& aResults = aSub->results();
1828           std::list<std::shared_ptr<ModelAPI_Result> >::const_iterator aRes = aResults.cbegin();
1829           for (; aRes != aResults.cend() && theValue.IsNull(); aRes++) {
1830             if ((*aRes)->data()->name() == aCompName) {
1831               theValue = std::dynamic_pointer_cast<Model_Data>((*aRes)->data())->shapeLab();
1832               break;
1833             } else { // any sub-label because the sketch line may be renamed, but not sub-vertices
1834               TDF_Label aLab = std::dynamic_pointer_cast<Model_Data>((*aRes)->data())->shapeLab();
1835               TDF_ChildIDIterator aSubNames(aLab, TDataStd_Name::GetID());
1836               for(; aSubNames.More(); aSubNames.Next()) {
1837                 if (Handle(TDataStd_Name)::DownCast(aSubNames.Value())->Get().
1838                   IsEqual(aCompName.c_str())) {
1839                   theValue = aSubNames.Value()->Label();
1840                   break;
1841                 }
1842               }
1843             }
1844           }
1845         }
1846       }
1847     }
1848   }
1849
1850   if (aCont.get()) {
1851     theContext = std::dynamic_pointer_cast<Model_Data>(aCont->data())->label();
1852   }
1853   return true;
1854 }
1855
1856 bool Model_AttributeSelection::isLater(
1857   const TDF_Label theResult1, const TDF_Label theResult2) const
1858 {
1859   std::shared_ptr<Model_Document> aDoc = myRestoreDocument.get() ? myRestoreDocument :
1860     std::dynamic_pointer_cast<Model_Document>(owner()->document());
1861   FeaturePtr aFeat1 = aDoc->featureByLab(theResult1);
1862   if (!aFeat1.get())
1863     return false;
1864   FeaturePtr aFeat2 = aDoc->featureByLab(theResult2);
1865   if (!aFeat2.get())
1866     return false;
1867   return aDoc->isLaterByDep(aFeat1, aFeat2);
1868 }
1869
1870 ResultPtr Model_AttributeSelection::newestContext(
1871   const ResultPtr theCurrent, const GeomShapePtr theValue)
1872 {
1873   ResultPtr aResult = theCurrent;
1874   GeomShapePtr aSelectedShape = theValue.get() ? theValue : theCurrent->shape();
1875   std::shared_ptr<Model_Document> aDoc =
1876     std::dynamic_pointer_cast<Model_Document>(owner()->document());
1877   bool aFindNewContext = true;
1878   while (aFindNewContext && aResult.get()) {
1879     aFindNewContext = false;
1880     // try to find the last context to find the up to date shape
1881     TopoDS_Shape aConShape = aResult->shape()->impl<TopoDS_Shape>();
1882     if (TNaming_Tool::HasLabel(selectionLabel(), aConShape)) {
1883       Handle(TNaming_NamedShape) aNS = TNaming_Tool::NamedShape(aConShape, selectionLabel());
1884       if (!aNS.IsNull()) {
1885         aNS = TNaming_Tool::CurrentNamedShape(aNS);
1886         if (!aNS.IsNull()
1887             && isLater(selectionLabel(), aNS->Label())
1888             && isLater(aNS->Label(),
1889                        std::dynamic_pointer_cast<Model_Data>(aResult->data())->label()))
1890         {
1891           TDF_Label aLab = aNS->Label();
1892           ResultPtr aRes = aDoc->resultByLab(aLab);
1893           if (aRes.get()) {
1894             if (aRes->shape()->isSubShape(aSelectedShape)) {
1895               aResult = aRes;
1896               aFindNewContext = true;
1897               continue;
1898             }
1899           }
1900         }
1901       }
1902     }
1903
1904     // TestFillWireVertex.py - sketch constructions for wire may participate too
1905     //if (aResult->groupName() == ModelAPI_ResultBody::group()) {
1906       // try to search newer context by the concealment references
1907       // take references to all results: root one, any sub
1908     std::list<ResultPtr> allRes;
1909     ResultPtr aCompContext;
1910     ResultBodyPtr aCompBody = ModelAPI_Tools::bodyOwner(aResult, true);
1911     if (aCompBody.get()) {
1912       ModelAPI_Tools::allSubs(aCompBody, allRes);
1913       allRes.push_back(aCompBody);
1914       aCompContext = aCompBody;
1915     }
1916     if (allRes.empty())
1917       allRes.push_back(aResult);
1918
1919     for (std::list<ResultPtr>::iterator aSub = allRes.begin(); aSub != allRes.end(); aSub++) {
1920       ResultPtr aResCont = *aSub;
1921       ResultBodyPtr aResBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(aResCont);
1922       if (aResBody.get() && aResBody->numberOfSubs() > 0 && aResBody != aCompContext)
1923         continue; // only lower and higher level subs are counted
1924       const std::set<AttributePtr>& aRefs = aResCont->data()->refsToMe();
1925       std::set<AttributePtr>::const_iterator aRef = aRefs.begin();
1926       for (; !aFindNewContext && aRef != aRefs.end(); aRef++) {
1927         if (!aRef->get() || !(*aRef)->owner().get())
1928           continue;
1929         // concealed attribute only
1930         FeaturePtr aRefFeat = std::dynamic_pointer_cast<ModelAPI_Feature>((*aRef)->owner());
1931         if (!ModelAPI_Session::get()->validators()->isConcealed(
1932           aRefFeat->getKind(), (*aRef)->id()))
1933           continue;
1934         // search the feature result that contains sub-shape selected
1935         std::list<std::shared_ptr<ModelAPI_Result> > aResults;
1936
1937         // take all sub-results or one result
1938         std::list<ResultPtr> aRefFeatResults;
1939         ModelAPI_Tools::allResults(aRefFeat, aRefFeatResults);
1940         std::list<ResultPtr>::iterator aRefResIter = aRefFeatResults.begin();
1941         for (; aRefResIter != aRefFeatResults.end(); aRefResIter++) {
1942           ResultBodyPtr aBody = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aRefResIter);
1943           if (aBody.get() && aBody->numberOfSubs() == 0) // add only lower level subs
1944             aResults.push_back(aBody);
1945         }
1946         std::list<std::shared_ptr<ModelAPI_Result> >::iterator aResIter = aResults.begin();
1947
1948         // searching by sub-shape
1949         for (; aResIter != aResults.end(); aResIter++) {
1950           if (!aResIter->get() || !(*aResIter)->data()->isValid() || (*aResIter)->isDisabled())
1951             continue;
1952           GeomShapePtr aShape = (*aResIter)->shape();
1953           if (aShape.get() && aShape->isSubShape(aSelectedShape, false)) {
1954             aResult = *aResIter; // found new context (produced from this) with same subshape
1955             aFindNewContext = true; // continue searching further
1956             break;
1957           }
1958         }
1959       }
1960     }
1961   }
1962   // if compsolid is context, try to take sub-solid as context: like in GUI and scripts
1963   ResultBodyPtr aComp = std::dynamic_pointer_cast<ModelAPI_ResultBody>(aResult);
1964   if (aComp && aComp->numberOfSubs()) {
1965     std::list<ResultPtr> allSubs;
1966     ModelAPI_Tools::allSubs(aComp, allSubs);
1967     std::list<ResultPtr>::iterator aS = allSubs.begin();
1968     for (; aS != allSubs.end(); aS++) {
1969       ResultBodyPtr aSub = std::dynamic_pointer_cast<ModelAPI_ResultBody>(*aS);
1970       if (aSub && aSub->numberOfSubs() == 0 && aSub->shape().get() &&
1971           aSub->shape()->isSubShape(aSelectedShape)) {
1972         aResult = aSub;
1973         break;
1974       }
1975     }
1976   }
1977   // in case sketch line was selected for wire, but wire was concealed and not such line anymore,
1978   // so, actually, the sketch element was selected (which is never concealed)
1979   if (aResult != theCurrent && aResult->isConcealed())
1980     aResult = theCurrent;
1981   return aResult;
1982 }
1983
1984 void Model_AttributeSelection::combineGeometrical()
1985 {
1986   if (myTmpContext.get() || myTmpSubShape.get())
1987     return;
1988   TDF_Label aSelLab = selectionLabel();
1989   if (aSelLab.IsAttribute(kINVALID_SELECTION) || !myRef.isInitialized())
1990     return;
1991
1992   if (aSelLab.IsAttribute(kCIRCLE_CENTER) || aSelLab.IsAttribute(kELLIPSE_CENTER1) ||
1993       aSelLab.IsAttribute(kELLIPSE_CENTER2) || aSelLab.IsAttribute(kSIMPLE_REF_ID))
1994     return;
1995
1996   if (aSelLab.IsAttribute(kPART_REF_ID)) {
1997     ResultPartPtr aPart = std::dynamic_pointer_cast<ModelAPI_ResultPart>(context());
1998     if (!aPart.get() || !aPart->isActivated())
1999       return; // postponed naming needed
2000     Handle(TDataStd_Integer) anIndex;
2001     if (aSelLab.FindAttribute(TDataStd_Integer::GetID(), anIndex)) {
2002       if (anIndex->Get()) { // special selection attribute was created, use it
2003         std::string aNewName;
2004         aPart->combineGeometrical(anIndex->Get(), aNewName);
2005         TDataStd_Name::Set(aSelLab, aNewName.c_str());
2006       }
2007     }
2008     return;
2009   }
2010
2011   std::shared_ptr<Model_ResultConstruction> aConstr =
2012     std::dynamic_pointer_cast<Model_ResultConstruction>(context());
2013   if (aConstr.get())
2014     return;
2015   FeaturePtr aFeature = contextFeature();
2016   if (aFeature.get())
2017     return;
2018
2019   Selector_Selector aSelector(aSelLab, baseDocumentLab());
2020   TopoDS_Shape aContextShape = context()->shape()->impl<TopoDS_Shape>();
2021   if (aSelector.restore(aContextShape)) {
2022     aSelector.combineGeometrical(aContextShape);
2023   }
2024 }
2025
2026 TDF_Label Model_AttributeSelection::baseDocumentLab()
2027 {
2028   if (ModelAPI_Session::get()->moduleDocument() != owner()->document())
2029     return std::dynamic_pointer_cast<Model_Document>
2030       (ModelAPI_Session::get()->moduleDocument())->extConstructionsLabel();
2031   static TDF_Label anEmpty;
2032   return anEmpty;
2033 }
2034
2035 void Model_AttributeSelection::reset()
2036 {
2037   ModelAPI_AttributeSelection::reset();
2038   myRef.reset();
2039 }