1 // Copyright (C) 2014-2017 CEA/DEN, EDF R&D
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.
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.
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
17 // See http://www.salome-platform.org/ or
18 // email : webmaster.salome@opencascade.com<mailto:webmaster.salome@opencascade.com>
21 #include <Model_ResultBody.h>
23 #include <Model_Document.h>
24 #include <Model_Objects.h>
25 #include <Model_BodyBuilder.h>
26 #include <Model_Document.h>
27 #include <ModelAPI_Object.h>
28 #include <ModelAPI_Events.h>
29 #include <ModelAPI_Tools.h>
30 #include <Model_Data.h>
31 #include <Events_Loop.h>
33 #include <TopoDS_Shape.hxx>
34 #include <TopExp_Explorer.hxx>
35 #include <TDataStd_UAttribute.hxx>
37 // if this attribute exists, the shape is connected topology
38 Standard_GUID kIsConnectedTopology("e51392e0-3a4d-405d-8e36-bbfe19858ef5");
39 // if this attribute exists, the connected topology flag must be recomputed
40 Standard_GUID kUpdateConnectedTopology("01ef7a45-0bec-4266-b0b4-4aa570921818");
42 Model_ResultBody::Model_ResultBody() : ModelAPI_ResultBody()
44 myBuilder = new Model_BodyBuilder(this);
45 myLastConcealed = false;
46 updateSubs(shape()); // in case of open, etc.
49 Model_ResultBody::~Model_ResultBody()
51 updateSubs(std::shared_ptr<GeomAPI_Shape>()); // erase sub-results
55 void Model_ResultBody::loadModifiedShapes(
56 const std::shared_ptr<GeomAlgoAPI_MakeShape>& theAlgo,
57 const GeomShapePtr& theOldShape,
58 const GeomAPI_Shape::ShapeType theShapeTypeToExplore,
59 const std::string& theName)
61 if (/*theSplitInSubs &&*/ mySubs.size()) { // consists of subs
62 // optimization of getting of new shapes for specific sub-result
63 if (!theAlgo->isNewShapesCollected(theOldShape, theShapeTypeToExplore))
64 theAlgo->collectNewShapes(theOldShape, theShapeTypeToExplore);
65 std::vector<ResultBodyPtr>::const_iterator aSubIter = mySubs.cbegin();
66 for(; aSubIter != mySubs.cend(); aSubIter++) {
67 // check that sub-shape was also created as modification of ShapeIn
68 /* to find when it is needed later to enable: to store modification of sub-bodies not only as primitives
69 GeomShapePtr aSubGeomShape = (*aSubIter)->shape();
70 if (!theIsStoreAsGenerated && aSubGeomShape.get() && !aSubGeomShape->isNull()) {
71 TopoDS_Shape aSubShape = aSubGeomShape->impl<TopoDS_Shape>();
72 TopoDS_Shape aWholeIn = theShapeIn->impl<TopoDS_Shape>();
73 for(TopExp_Explorer anExp(aWholeIn, aSubShape.ShapeType()); anExp.More(); anExp.Next()) {
75 std::shared_ptr<GeomAPI_Shape> aSubIn(new GeomAPI_Shape());
76 aSubIn->setImpl((new TopoDS_Shape(anExp.Current())));
77 theMS->modified(aSubIn, aHistory);
78 std::list<std::shared_ptr<GeomAPI_Shape> >::const_iterator anIt = aHistory.begin();
79 for (; anIt != aHistory.end(); anIt++) {
80 if ((*anIt)->isSame(aSubGeomShape)) {
81 (*aSubIter)->storeModified(aSubIn, aSubGeomShape, -2); // -2 is to avoid clearing
86 (*aSubIter)->loadModifiedShapes(theAlgo, theOldShape, theShapeTypeToExplore, theName);
88 } else { // do for this directly
89 myBuilder->loadModifiedShapes(theAlgo, theOldShape, theShapeTypeToExplore, theName);
93 int Model_ResultBody::numberOfSubs(bool forTree) const
95 return int(mySubs.size());
98 ResultBodyPtr Model_ResultBody::subResult(const int theIndex, bool forTree) const
100 if (theIndex >= int(mySubs.size()))
101 return ResultBodyPtr();
102 return mySubs.at(theIndex);
105 bool Model_ResultBody::isSub(ObjectPtr theObject, int& theIndex) const
107 std::map<ObjectPtr, int>::const_iterator aFound = mySubsMap.find(theObject);
108 if (aFound != mySubsMap.end()) {
109 theIndex = aFound->second;
115 void Model_ResultBody::colorConfigInfo(std::string& theSection, std::string& theName,
116 std::string& theDefault)
118 theSection = "Visualization";
119 theName = "result_body_color";
120 theDefault = DEFAULT_COLOR();
123 bool Model_ResultBody::setDisabled(std::shared_ptr<ModelAPI_Result> theThis, const bool theFlag)
125 bool aChanged = ModelAPI_ResultBody::setDisabled(theThis, theFlag);
126 if (aChanged) { // state is changed, so modifications are needed
127 updateSubs(shape(), false); // to set disabled/enabled
132 bool Model_ResultBody::isConcealed()
134 return myLastConcealed;
137 void Model_ResultBody::setIsConcealed(const bool theValue)
139 if (ModelAPI_ResultBody::isConcealed() != theValue) {
140 ModelAPI_ResultBody::setIsConcealed(theValue);
145 // recursively check all subs for concealment flag, returns true if everybody have "flag" state,
146 // in theAll returns results with "flag" state
147 static bool checkAllSubs(ResultBodyPtr theParent, bool theFlag, std::list<ResultBodyPtr>& theAll)
149 if (theParent->isConcealed() != theFlag)
150 theAll.push_back(theParent);
151 bool aResult = theParent->ModelAPI_ResultBody::isConcealed() == theFlag;
152 for(int a = 0; a < theParent->numberOfSubs(); a++) {
153 bool aSubRes = checkAllSubs(theParent->subResult(a), theFlag, theAll);
155 aResult = aResult || aSubRes; // concealed: one makes concealed everyone
157 aResult = aResult && aSubRes; // not concealed: all must be not concealed
162 void Model_ResultBody::updateConcealment()
164 if (myLastConcealed != ModelAPI_ResultBody::isConcealed()) {
165 // check the whole tree of results: if one is concealed, everybody are concealed
166 ResultBodyPtr anOwner = std::dynamic_pointer_cast<ModelAPI_ResultBody>(data()->owner());
168 return; // "this" is invalid
169 ResultBodyPtr aParent = ModelAPI_Tools::bodyOwner(anOwner);
170 while(aParent.get()) {
172 aParent = ModelAPI_Tools::bodyOwner(anOwner);
174 // iterate all results and collect all results whose state may be updated
175 std::list<ResultBodyPtr> anUpdated;
176 bool aNewFlag = !myLastConcealed;
177 if (checkAllSubs(anOwner, aNewFlag, anUpdated)) { // state of everyone must be updated
178 std::list<ResultBodyPtr>::iterator aRes = anUpdated.begin();
179 for(; aRes != anUpdated.end(); aRes++) {
180 bool aLastConcealed = (*aRes)->isConcealed();
181 if (aNewFlag != aLastConcealed) {
182 std::dynamic_pointer_cast<Model_ResultBody>(*aRes)->myLastConcealed = aNewFlag;
183 if (aNewFlag) { // become concealed, behaves like removed
184 ModelAPI_EventCreator::get()->sendDeleted(document(), groupName());
185 } else { // become not-concealed, behaves like created
186 static Events_ID anEvent = Events_Loop::eventByName(EVENT_OBJECT_CREATED);
187 ModelAPI_EventCreator::get()->sendUpdated(*aRes, anEvent);
189 static Events_ID EVENT_DISP = // must be redisplayed in any case
190 Events_Loop::loop()->eventByName(EVENT_OBJECT_TO_REDISPLAY);
191 ModelAPI_EventCreator::get()->sendUpdated(*aRes, EVENT_DISP);
198 void Model_ResultBody::updateSubs(const std::shared_ptr<GeomAPI_Shape>& theThisShape,
199 const bool theShapeChanged)
201 static Events_Loop* aLoop = Events_Loop::loop();
202 static Events_ID EVENT_DISP = aLoop->eventByName(EVENT_OBJECT_TO_REDISPLAY);
203 static Events_ID EVENT_UPD = aLoop->eventByName(EVENT_OBJECT_UPDATED);
204 static const ModelAPI_EventCreator* aECreator = ModelAPI_EventCreator::get();
205 // erase flag that topology is connected: the shape is new
206 if (theShapeChanged && data().get()) {
207 TDF_Label aDataLab = std::dynamic_pointer_cast<Model_Data>(data())->label();
208 if (!aDataLab.IsNull()) {
209 TDataStd_UAttribute::Set(aDataLab, kUpdateConnectedTopology);
210 isConnectedTopology(); // to store this flag in transaction, #2630
213 // iterate all sub-solids of compsolid to make sub-results synchronized with them
214 TopoDS_Shape aThisShape;
215 if (theThisShape.get()) aThisShape = theThisShape->impl<TopoDS_Shape>();
216 if (!aThisShape.IsNull() && (aThisShape.ShapeType() == TopAbs_COMPSOLID ||
217 aThisShape.ShapeType() == TopAbs_COMPOUND)) {
218 bool aWasEmpty = mySubs.empty();
219 Model_Objects* anObjects = std::dynamic_pointer_cast<Model_Document>(document())->objects();
220 unsigned int aSubIndex = 0;
221 TopoDS_Iterator aShapesIter(aThisShape);
222 for(; aShapesIter.More(); aShapesIter.Next(), aSubIndex++) {
223 std::shared_ptr<GeomAPI_Shape> aShape(new GeomAPI_Shape);
224 aShape->setImpl(new TopoDS_Shape(aShapesIter.Value()));
226 if (mySubs.size() <= aSubIndex) { // it is needed to create a new sub-result
227 aSub = anObjects->createBody(this->data(), aSubIndex);
228 mySubs.push_back(aSub);
229 mySubsMap[aSub] = int(mySubs.size() - 1);
230 if (isConcealed()) { // for issue #2579 note7
231 aSub->ModelAPI_ResultBody::setIsConcealed(true);
232 std::dynamic_pointer_cast<Model_ResultBody>(aSub)->updateConcealment();
234 } else { // just update shape of this result
235 aSub = mySubs[aSubIndex];
237 if (!aShape->isEqual(aSub->shape())) {
238 aSub->store(aShape, false);
239 aECreator->sendUpdated(aSub, EVENT_DISP);
240 aECreator->sendUpdated(aSub, EVENT_UPD);
242 aSub->setDisabled(aSub, isDisabled());
244 // erase left, unused results
245 while(mySubs.size() > aSubIndex) {
246 ResultBodyPtr anErased = *(mySubs.rbegin());
247 if (anErased->ModelAPI_ResultBody::isConcealed()) {
248 anErased->ModelAPI_ResultBody::setIsConcealed(false);
249 std::dynamic_pointer_cast<Model_ResultBody>(anErased)->updateConcealment();
251 anErased->setDisabled(anErased, true);
252 mySubsMap.erase(anErased);
255 if (aWasEmpty) { // erase all subs
256 // redisplay this because result with and without subs are displayed differently
257 aECreator->sendUpdated(data()->owner(), EVENT_DISP);
259 } else if (!mySubs.empty()) { // erase all subs
260 while(!mySubs.empty()) {
261 ResultBodyPtr anErased = *(mySubs.rbegin());
262 if (anErased->ModelAPI_ResultBody::isConcealed()) {
263 anErased->ModelAPI_ResultBody::setIsConcealed(false);
264 std::dynamic_pointer_cast<Model_ResultBody>(anErased)->updateConcealment();
266 anErased->setDisabled(anErased, true); // even if it is invalid (to erase subs on abort/undo)
270 // redisplay this because result with and without subs are displayed differently
271 aECreator->sendUpdated(data()->owner(), EVENT_DISP);
275 bool Model_ResultBody::isLatestEqual(const std::shared_ptr<GeomAPI_Shape>& theShape)
277 if (myBuilder->isLatestEqual(theShape))
279 // also check that it is asked for sub-elements
280 std::vector<ResultBodyPtr>::const_iterator aSubIter = mySubs.cbegin();
281 for(; aSubIter != mySubs.cend(); aSubIter++) {
282 if (aSubIter->get() && (*aSubIter)->isLatestEqual(theShape)) {
289 bool Model_ResultBody::isConnectedTopology()
291 TDF_Label aDataLab = std::dynamic_pointer_cast<Model_Data>(data())->label();
292 if (!aDataLab.IsNull()) {
293 if (aDataLab.IsAttribute(kUpdateConnectedTopology)) { // recompute state
294 aDataLab.ForgetAttribute(kUpdateConnectedTopology);
295 GeomShapePtr aShape = shape();
296 if (aShape.get() && aShape->isConnectedTopology()) {
297 TDataStd_UAttribute::Set(aDataLab, kIsConnectedTopology);
299 aDataLab.ForgetAttribute(kIsConnectedTopology);
302 return aDataLab.IsAttribute(kIsConnectedTopology);
304 return false; // invalid case