X-Git-Url: http://git.salome-platform.org/gitweb/?a=blobdiff_plain;f=src%2FModel%2FModel_ResultBody.cpp;h=c5bedb6bae96d0c57bbaea334ff4e774b974df0c;hb=8d04b5f4360b23cf376beff9c5e7c12d0e6a5f1e;hp=5fb26d84309209720f6c8689237aa89c7e4aa759;hpb=8ab0ae98e90b50e4bc2d8280f5734a1fad142a76;p=modules%2Fshaper.git diff --git a/src/Model/Model_ResultBody.cpp b/src/Model/Model_ResultBody.cpp index 5fb26d843..c5bedb6ba 100644 --- a/src/Model/Model_ResultBody.cpp +++ b/src/Model/Model_ResultBody.cpp @@ -1,31 +1,138 @@ -// Copyright (C) 2014-20xx CEA/DEN, EDF R&D - -// File: Model_ResultBody.cpp -// Created: 08 Jul 2014 -// Author: Mikhail PONIKAROV +// Copyright (C) 2014-2019 CEA/DEN, EDF R&D +// +// This library is free software; you can redistribute it and/or +// modify it under the terms of the GNU Lesser General Public +// License as published by the Free Software Foundation; either +// version 2.1 of the License, or (at your option) any later version. +// +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +// Lesser General Public License for more details. +// +// You should have received a copy of the GNU Lesser General Public +// License along with this library; if not, write to the Free Software +// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA +// +// See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com +// #include + +#include +#include #include -#include -#include -#include +#include +#include #include -// DEB -//#include -//#include -//#define DEB_IMPORT 1 +#include +#include +#include +#include +#include + +#include +#include +#include +#include + +// if this attribute exists, the shape is connected topology +Standard_GUID kIsConnectedTopology("e51392e0-3a4d-405d-8e36-bbfe19858ef5"); +// if this attribute exists, the connected topology flag must be recomputed +Standard_GUID kUpdateConnectedTopology("01ef7a45-0bec-4266-b0b4-4aa570921818"); -Model_ResultBody::Model_ResultBody() +Model_ResultBody::Model_ResultBody() : ModelAPI_ResultBody() { myBuilder = new Model_BodyBuilder(this); - myWasConcealed = false; + myLastConcealed = false; + updateSubs(shape()); // in case of open, etc. } -void Model_ResultBody::initAttributes() +Model_ResultBody::~Model_ResultBody() { - // append the color attribute. It is empty, the attribute will be filled by a request - DataPtr aData = data(); - aData->addAttribute(COLOR_ID(), ModelAPI_AttributeIntArray::typeId()); + updateSubs(std::shared_ptr()); // erase sub-results + delete myBuilder; +} + +bool Model_ResultBody::generated(const GeomShapePtr& theNewShape, + const std::string& theName, const bool theCheckIsInResult) +{ + bool aResult = false; + if (mySubs.size()) { // consists of subs + for (std::vector::const_iterator aSubIter = mySubs.cbegin(); + aSubIter != mySubs.cend(); + ++aSubIter) + { + const ResultBodyPtr& aSub = *aSubIter; + if (aSub->generated(theNewShape, theName, theCheckIsInResult)) + aResult = true; + } + } else { // do for this directly + if (myBuilder->generated(theNewShape, theName, theCheckIsInResult)) + aResult = true; + } + return aResult; +} + +void Model_ResultBody::loadGeneratedShapes(const std::shared_ptr& theAlgo, + const GeomShapePtr& theOldShape, + const GeomAPI_Shape::ShapeType theShapeTypeToExplore, + const std::string& theName, + const bool theSaveOldIfNotInTree) +{ + if (mySubs.size()) { // consists of subs + for (std::vector::const_iterator aSubIter = mySubs.cbegin(); + aSubIter != mySubs.cend(); + ++aSubIter) + { + const ResultBodyPtr& aSub = *aSubIter; + aSub->loadGeneratedShapes( + theAlgo, theOldShape, theShapeTypeToExplore, theName, theSaveOldIfNotInTree); + } + } else { // do for this directly + myBuilder->loadGeneratedShapes( + theAlgo, theOldShape, theShapeTypeToExplore, theName, theSaveOldIfNotInTree); + } +} + +void Model_ResultBody::loadModifiedShapes(const std::shared_ptr& theAlgo, + const GeomShapePtr& theOldShape, + const GeomAPI_Shape::ShapeType theShapeTypeToExplore, + const std::string& theName) +{ + if (mySubs.size()) { // consists of subs + // optimization of getting of new shapes for specific sub-result + if (!theAlgo->isNewShapesCollected(theOldShape, theShapeTypeToExplore)) + theAlgo->collectNewShapes(theOldShape, theShapeTypeToExplore); + std::vector::const_iterator aSubIter = mySubs.cbegin(); + for(; aSubIter != mySubs.cend(); aSubIter++) { + (*aSubIter)->loadModifiedShapes(theAlgo, theOldShape, theShapeTypeToExplore, theName); + } + } else { // do for this directly + myBuilder->loadModifiedShapes(theAlgo, theOldShape, theShapeTypeToExplore, theName); + } +} + +int Model_ResultBody::numberOfSubs(bool forTree) const +{ + return int(mySubs.size()); +} + +ResultBodyPtr Model_ResultBody::subResult(const int theIndex, bool forTree) const +{ + if (theIndex >= int(mySubs.size())) + return ResultBodyPtr(); + return mySubs.at(theIndex); +} + +bool Model_ResultBody::isSub(ObjectPtr theResult, int& theIndex) const +{ + std::map::const_iterator aFound = mySubsMap.find(theResult); + if (aFound != mySubsMap.end()) { + theIndex = aFound->second; + return true; + } + return false; } void Model_ResultBody::colorConfigInfo(std::string& theSection, std::string& theName, @@ -40,44 +147,290 @@ bool Model_ResultBody::setDisabled(std::shared_ptr theThis, con { bool aChanged = ModelAPI_ResultBody::setDisabled(theThis, theFlag); if (aChanged) { // state is changed, so modifications are needed - myBuilder->evolutionToSelection(theFlag); + updateSubs(shape(), false); // to set disabled/enabled } return aChanged; } -bool Model_ResultBody::isLatestEqual(const std::shared_ptr& theShape) +bool Model_ResultBody::isConcealed() +{ + return myLastConcealed; +} + +void Model_ResultBody::setIsConcealed(const bool theValue, const bool theForced) { - return myBuilder->isLatestEqual(theShape); + if (ModelAPI_ResultBody::isConcealed() != theValue) { + ModelAPI_ResultBody::setIsConcealed(theValue, theForced); + updateConcealment(); + } } -bool Model_ResultBody::isConcealed() +// recursively check all subs for concealment flag, returns true if everybody have "flag" state, +// in theAll returns results with "flag" state +static bool checkAllSubs(ResultBodyPtr theParent, bool theFlag, std::list& theAll) { - bool aResult = false; - if (ModelAPI_ResultBody::isConcealed()) { - aResult = true; - } else { - ResultPtr aThis = std::dynamic_pointer_cast(data()->owner()); - if (aThis.get()) { - ResultCompSolidPtr aParent = ModelAPI_Tools::compSolidOwner(aThis); - if (aParent.get()) { - if (aParent->isConcealed()) - aResult = true; + if (theParent->isConcealed() != theFlag) + theAll.push_back(theParent); + bool aResult = theParent->ModelAPI_ResultBody::isConcealed() == theFlag; + for(int a = 0; a < theParent->numberOfSubs(); a++) { + bool aSubRes = checkAllSubs(theParent->subResult(a), theFlag, theAll); + if (theFlag) + aResult = aResult || aSubRes; // concealed: one makes concealed everyone + else + aResult = aResult && aSubRes; // not concealed: all must be not concealed + } + return aResult; +} + +void Model_ResultBody::updateConcealment() +{ + if (myLastConcealed != ModelAPI_ResultBody::isConcealed()) { + // check the whole tree of results: if one is concealed, everybody are concealed + ResultBodyPtr anOwner = std::dynamic_pointer_cast(data()->owner()); + if (!anOwner.get()) + return; // "this" is invalid + ResultBodyPtr aParent = ModelAPI_Tools::bodyOwner(anOwner); + while(aParent.get()) { + anOwner = aParent; + aParent = ModelAPI_Tools::bodyOwner(anOwner); + } + // iterate all results and collect all results whose state may be updated + std::list anUpdated; + bool aNewFlag = !myLastConcealed; + if (checkAllSubs(anOwner, aNewFlag, anUpdated)) { // state of everyone must be updated + std::list::iterator aRes = anUpdated.begin(); + for(; aRes != anUpdated.end(); aRes++) { + bool aLastConcealed = (*aRes)->isConcealed(); + if (aNewFlag != aLastConcealed) { + std::dynamic_pointer_cast(*aRes)->myLastConcealed = aNewFlag; + if (aNewFlag) { // become concealed, behaves like removed + ModelAPI_EventCreator::get()->sendDeleted(document(), groupName()); + } else { // become not-concealed, behaves like created + static Events_ID anEvent = Events_Loop::eventByName(EVENT_OBJECT_CREATED); + ModelAPI_EventCreator::get()->sendUpdated(*aRes, anEvent); + } + static Events_ID EVENT_DISP = // must be redisplayed in any case + Events_Loop::loop()->eventByName(EVENT_OBJECT_TO_REDISPLAY); + ModelAPI_EventCreator::get()->sendUpdated(*aRes, EVENT_DISP); + } } } } - if (myWasConcealed != aResult) { - myWasConcealed = aResult; - if (aResult) { // hidden unit must be redisplayed (hidden) - ModelAPI_EventCreator::get()->sendDeleted(document(), this->groupName()); - // redisplay for the viewer (it must be disappeared also) - static Events_ID EVENT_DISP = - Events_Loop::loop()->eventByName(EVENT_OBJECT_TO_REDISPLAY); - ModelAPI_EventCreator::get()->sendUpdated(data()->owner(), EVENT_DISP); - } else { // was not concealed become concealed => delete event - static Events_ID anEvent = Events_Loop::eventByName(EVENT_OBJECT_CREATED); - ModelAPI_EventCreator::get()->sendUpdated(data()->owner(), anEvent); +} + +void Model_ResultBody::updateSubs(const std::shared_ptr& theThisShape, + const bool theShapeChanged) +{ + static Events_Loop* aLoop = Events_Loop::loop(); + static Events_ID EVENT_DISP = aLoop->eventByName(EVENT_OBJECT_TO_REDISPLAY); + static Events_ID EVENT_UPD = aLoop->eventByName(EVENT_OBJECT_UPDATED); + static const ModelAPI_EventCreator* aECreator = ModelAPI_EventCreator::get(); + // erase flag that topology is connected: the shape is new + if (theShapeChanged && data().get()) { + TDF_Label aDataLab = std::dynamic_pointer_cast(data())->label(); + if (!aDataLab.IsNull()) { + TDataStd_UAttribute::Set(aDataLab, kUpdateConnectedTopology); + isConnectedTopology(); // to store this flag in transaction, #2630 } } + // iterate all sub-solids of compsolid to make sub-results synchronized with them + TopoDS_Shape aThisShape; + if (theThisShape.get()) aThisShape = theThisShape->impl(); + if (!aThisShape.IsNull() && (aThisShape.ShapeType() == TopAbs_COMPSOLID || + aThisShape.ShapeType() == TopAbs_COMPOUND)) { + bool aWasEmpty = mySubs.empty(); + Model_Objects* anObjects = std::dynamic_pointer_cast(document())->objects(); + unsigned int aSubIndex = 0; + TopoDS_Iterator aShapesIter(aThisShape); + for(; aShapesIter.More(); aShapesIter.Next(), aSubIndex++) { + std::shared_ptr aShape(new GeomAPI_Shape); + aShape->setImpl(new TopoDS_Shape(aShapesIter.Value())); + ResultBodyPtr aSub; + if (mySubs.size() <= aSubIndex) { // it is needed to create a new sub-result + aSub = anObjects->createBody(this->data(), aSubIndex); + mySubs.push_back(aSub); + mySubsMap[aSub] = int(mySubs.size() - 1); + if (isConcealed()) { // for issue #2579 note7 + aSub->ModelAPI_ResultBody::setIsConcealed(true); + std::dynamic_pointer_cast(aSub)->updateConcealment(); + } + } else { // just update shape of this result + aSub = mySubs[aSubIndex]; + } + GeomShapePtr anOldSubShape = aSub->shape(); + if (!aShape->isEqual(anOldSubShape)) { + if (myAlgo.get()) { + std::list anOldForSub; + computeOldForSub(aShape, myOlds, anOldForSub); + myIsGenerated ? aSub->storeGenerated(anOldForSub, aShape, myAlgo) : + aSub->storeModified(anOldForSub, aShape, myAlgo); + } else { + aSub->store(aShape, false); + } + aECreator->sendUpdated(aSub, EVENT_DISP); + aECreator->sendUpdated(aSub, EVENT_UPD); + } + aSub->setDisabled(aSub, isDisabled()); + } + // erase left, unused results + while(mySubs.size() > aSubIndex) { + ResultBodyPtr anErased = *(mySubs.rbegin()); + if (anErased->ModelAPI_ResultBody::isConcealed()) { + anErased->ModelAPI_ResultBody::setIsConcealed(false); + std::dynamic_pointer_cast(anErased)->updateConcealment(); + } + anErased->setDisabled(anErased, true); + mySubsMap.erase(anErased); + mySubs.pop_back(); + } + if (aWasEmpty) { // erase all subs + // redisplay this because result with and without subs are displayed differently + aECreator->sendUpdated(data()->owner(), EVENT_DISP); + } + cleanCash(); + } else if (!mySubs.empty()) { // erase all subs + while(!mySubs.empty()) { + ResultBodyPtr anErased = *(mySubs.rbegin()); + if (anErased->ModelAPI_ResultBody::isConcealed()) { + anErased->ModelAPI_ResultBody::setIsConcealed(false); + std::dynamic_pointer_cast(anErased)->updateConcealment(); + } + anErased->setDisabled(anErased, true); // even if it is invalid (to erase subs on abort/undo) + mySubs.pop_back(); + } + mySubsMap.clear(); + // redisplay this because result with and without subs are displayed differently + aECreator->sendUpdated(data()->owner(), EVENT_DISP); + } +} - return aResult; +void Model_ResultBody::updateSubs( + const GeomShapePtr& theThisShape, const std::list& theOlds, + const std::shared_ptr theMakeShape, const bool isGenerated) +{ + myAlgo = theMakeShape; + myOlds = theOlds; + myIsGenerated = isGenerated; + // to avoid changing of "isDisabled" flag in the "updateSubs" cycle + isDisabled(); + + updateSubs(theThisShape, true); + myAlgo.reset(); + myOlds.clear(); + myHistoryCash.Clear(); +} + + +bool Model_ResultBody::isConnectedTopology() +{ + TDF_Label aDataLab = std::dynamic_pointer_cast(data())->label(); + if (!aDataLab.IsNull()) { + if (aDataLab.IsAttribute(kUpdateConnectedTopology)) { // recompute state + aDataLab.ForgetAttribute(kUpdateConnectedTopology); + GeomShapePtr aShape = shape(); + if (aShape.get() && aShape->isConnectedTopology()) { + TDataStd_UAttribute::Set(aDataLab, kIsConnectedTopology); + } else { + aDataLab.ForgetAttribute(kIsConnectedTopology); + } + } + return aDataLab.IsAttribute(kIsConnectedTopology); + } + return false; // invalid case +} + +void Model_ResultBody::cleanCash() +{ + myBuilder->cleanCash(); + for (std::vector::const_iterator aSubIter = mySubs.cbegin(); + aSubIter != mySubs.cend(); ++aSubIter) + { + const ResultBodyPtr& aSub = *aSubIter; + aSub->cleanCash(); + } +} + +// adds to the theSubSubs map all sub-shapes of theSub if it is compound of compsolid +static void collectSubs( + const GeomShapePtr theSub, TopTools_MapOfShape& theSubSubs, const bool theOneLevelMore) +{ + if (theSub->isNull()) + return; + if (theSubSubs.Add(theSub->impl())) { + bool aIsComp = theSub->isCompound() || theSub->isCompSolid(); + if (aIsComp) { + for(GeomAPI_ShapeIterator anIter(theSub); anIter.more(); anIter.next()) + collectSubs(anIter.current(), theSubSubs, theOneLevelMore); + } else if (theOneLevelMore) { + GeomAPI_Shape::ShapeType aSubType = GeomAPI_Shape::ShapeType(int(theSub->shapeType()) + 1); + if (aSubType == GeomAPI_Shape::SHAPE) + return; + if (aSubType == GeomAPI_Shape::SHELL) + aSubType = GeomAPI_Shape::FACE; + if (aSubType == GeomAPI_Shape::WIRE) + aSubType = GeomAPI_Shape::EDGE; + + for(GeomAPI_ShapeExplorer anExp(theSub, aSubType); anExp.more(); anExp.next()) { + collectSubs(anExp.current(), theSubSubs, false); + } + } + } +} + +void Model_ResultBody::computeOldForSub(const GeomShapePtr& theSub, + const std::list& theAllOlds, std::list& theOldForSub) +{ + // the old can be also used for sub-shape of theSub; collect all subs of compound or compsolid + TopTools_MapOfShape aSubSubs; + collectSubs(theSub, aSubSubs, false); + + std::list::const_iterator aRootOlds = theAllOlds.cbegin(); + for (; aRootOlds != theAllOlds.cend(); aRootOlds++) { + // use sub-shapes of olds too if they are compounds or compsolids + TopTools_MapOfShape anOldSubs; + // iterate one level more (for intersection of solids this is face) + collectSubs(*aRootOlds, anOldSubs, true); + for (TopTools_MapOfShape::Iterator anOldIter(anOldSubs); anOldIter.More(); anOldIter.Next()) { + TopoDS_Shape anOldShape = anOldIter.Value(); + if (anOldShape.ShapeType() == TopAbs_COMPOUND || anOldShape.ShapeType() == TopAbs_SHELL || + anOldShape.ShapeType() == TopAbs_WIRE) + continue; // container old-shapes are not supported by the history, may cause crash + GeomShapePtr anOldSub(new GeomAPI_Shape); + anOldSub->setImpl(new TopoDS_Shape(anOldShape)); + + ListOfShape aNews; + if (myHistoryCash.IsBound(anOldShape)) { + const TopTools_ListOfShape& aList = myHistoryCash.Find(anOldShape); + for(TopTools_ListIteratorOfListOfShape anIter(aList); anIter.More(); anIter.Next()) { + GeomShapePtr aShape(new GeomAPI_Shape); + aShape->setImpl(new TopoDS_Shape(anIter.Value())); + aNews.push_back(aShape); + } + } else { + myIsGenerated ? myAlgo->generated(anOldSub, aNews) : myAlgo->modified(anOldSub, aNews); + // MakeShape may return alone old shape if there is no history information for this input + if (aNews.size() == 1 && aNews.front()->isEqual(anOldSub)) + aNews.clear(); + // store result in the history + TopTools_ListOfShape aList; + for (ListOfShape::iterator aNewIter = aNews.begin(); aNewIter != aNews.end(); aNewIter++) { + aList.Append((*aNewIter)->impl()); + } + myHistoryCash.Bind(anOldShape, aList); + } + + for (ListOfShape::iterator aNewIter = aNews.begin(); aNewIter != aNews.end(); aNewIter++) { + if (aSubSubs.Contains((*aNewIter)->impl())) { + // check list already contains this sub + std::list::iterator aResIter = theOldForSub.begin(); + for(; aResIter != theOldForSub.end(); aResIter++) + if ((*aResIter)->isSame(anOldSub)) + break; + if (aResIter == theOldForSub.end()) + theOldForSub.push_back(anOldSub); // found old used for new theSubShape creation + break; + } + } + } + } }