mirror of
https://git.dev.opencascade.org/repos/occt.git
synced 2025-08-09 13:22:24 +03:00
81a55a6996
Prevent modification of the input shapes in destructive mode in case their sub-shapes have not been modified: 1. Prevent edge splitting for the pave blocks with old vertices if it is possible to use the existing edge (*BOPAlgo_PaveFiller::MakeSplitEdges*); 2. Prevent creation of the new containers (WIRES/SHELLS/COMPSOLIDS) if non of its parts have been modified (*BOPAlgo_Builder::FillImagesContainer*); 3. Prevent creation of the new face if non of its wires have been modified (*BOPAlgo_Builder::FillImagesFaces*); 4. If possible, use the original face to be the representative for the group of SD faces (*BOPAlgo_Builder::FillSameDomainFaces*). Cosmetic changes: 1. Documentation of the *BOPAlgo_Builder* class. 2. Making simple methods of the *BOPAlgo_Builder* class inline. 3. Getting rid of the *BOPAlgo_Builder::mySplits* field as it is excessive. *BOPAlgo_Builder::myImages* can be used instead. 3. Moving the Check Inverted option from *BOPAlgo_Options* to *BOPAlgo_Builder*. Test cases for the issue. Adjustment of the test case to their current behavior. Test case *blend/complex/H2* has been deleted as duplicate of the test case *blend/simple/Z1*.
297 lines
9.2 KiB
C++
297 lines
9.2 KiB
C++
// Created by: Peter KURNEV
|
|
// Copyright (c) 2010-2014 OPEN CASCADE SAS
|
|
// Copyright (c) 2007-2010 CEA/DEN, EDF R&D, OPEN CASCADE
|
|
// Copyright (c) 2003-2007 OPEN CASCADE, EADS/CCR, LIP6, CEA/DEN, CEDRAT,
|
|
// EDF R&D, LEG, PRINCIPIA R&D, BUREAU VERITAS
|
|
//
|
|
// This file is part of Open CASCADE Technology software library.
|
|
//
|
|
// This library is free software; you can redistribute it and/or modify it under
|
|
// the terms of the GNU Lesser General Public License version 2.1 as published
|
|
// by the Free Software Foundation, with special exception defined in the file
|
|
// OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
|
|
// distribution for complete text of the license and disclaimer of any warranty.
|
|
//
|
|
// Alternatively, this file may be used under the terms of Open CASCADE
|
|
// commercial license or contractual agreement.
|
|
|
|
|
|
#include <BOPAlgo_Builder.hxx>
|
|
#include <BOPAlgo_PaveFiller.hxx>
|
|
#include <BOPDS_DS.hxx>
|
|
#include <BOPDS_ListOfPaveBlock.hxx>
|
|
#include <BOPDS_PaveBlock.hxx>
|
|
#include <BOPDS_ShapeInfo.hxx>
|
|
#include <BOPDS_VectorOfListOfPaveBlock.hxx>
|
|
#include <BOPTools_AlgoTools.hxx>
|
|
#include <BRep_Builder.hxx>
|
|
#include <BRep_Tool.hxx>
|
|
#include <IntTools_Context.hxx>
|
|
#include <TopAbs_ShapeEnum.hxx>
|
|
#include <TColStd_DataMapOfIntegerInteger.hxx>
|
|
#include <TopoDS_Iterator.hxx>
|
|
#include <TopoDS_Shape.hxx>
|
|
#include <TopTools_ListOfShape.hxx>
|
|
#include <TopTools_MapOfShape.hxx>
|
|
|
|
//=======================================================================
|
|
//function : FillImagesVertices
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::FillImagesVertices()
|
|
{
|
|
TColStd_DataMapIteratorOfDataMapOfIntegerInteger aIt(myDS->ShapesSD());
|
|
for (; aIt.More(); aIt.Next())
|
|
{
|
|
Standard_Integer nV = aIt.Key();
|
|
Standard_Integer nVSD = aIt.Value();
|
|
|
|
const TopoDS_Shape& aV = myDS->Shape(nV);
|
|
const TopoDS_Shape& aVSD = myDS->Shape(nVSD);
|
|
// Add to Images map
|
|
myImages.Bound(aV, TopTools_ListOfShape(myAllocator))->Append(aVSD);
|
|
// Add to SD map
|
|
myShapesSD.Bind(aV, aVSD);
|
|
// Add to Origins map
|
|
TopTools_ListOfShape* pLOr = myOrigins.ChangeSeek(aVSD);
|
|
if (!pLOr)
|
|
pLOr = myOrigins.Bound(aVSD, TopTools_ListOfShape());
|
|
pLOr->Append(aV);
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function : FillImagesEdges
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::FillImagesEdges()
|
|
{
|
|
Standard_Integer i, aNbS = myDS->NbSourceShapes();
|
|
for (i = 0; i < aNbS; ++i) {
|
|
const BOPDS_ShapeInfo& aSI = myDS->ShapeInfo(i);
|
|
if (aSI.ShapeType() != TopAbs_EDGE) {
|
|
continue;
|
|
}
|
|
//
|
|
// Check if the pave blocks for the edge have been initialized
|
|
if (!aSI.HasReference()) {
|
|
continue;
|
|
}
|
|
//
|
|
const TopoDS_Shape& aE = aSI.Shape();
|
|
const BOPDS_ListOfPaveBlock& aLPB = myDS->PaveBlocks(i);
|
|
//
|
|
// Fill the images of the edge from the list of its pave blocks.
|
|
// The small edges, having no pave blocks, will have the empty list
|
|
// of images and, thus, will be avoided in the result.
|
|
TopTools_ListOfShape *pLS = myImages.Bound(aE, TopTools_ListOfShape());
|
|
//
|
|
BOPDS_ListIteratorOfListOfPaveBlock aItPB(aLPB);
|
|
for (; aItPB.More(); aItPB.Next()) {
|
|
const Handle(BOPDS_PaveBlock)& aPB = aItPB.Value();
|
|
Handle(BOPDS_PaveBlock) aPBR = myDS->RealPaveBlock(aPB);
|
|
//
|
|
Standard_Integer nSpR = aPBR->Edge();
|
|
const TopoDS_Shape& aSpR = myDS->Shape(nSpR);
|
|
pLS->Append(aSpR);
|
|
//
|
|
TopTools_ListOfShape* pLOr = myOrigins.ChangeSeek(aSpR);
|
|
if (!pLOr) {
|
|
pLOr = myOrigins.Bound(aSpR, TopTools_ListOfShape());
|
|
}
|
|
pLOr->Append(aE);
|
|
//
|
|
if (myDS->IsCommonBlockOnEdge(aPB)) {
|
|
Standard_Integer nSp = aPB->Edge();
|
|
const TopoDS_Shape& aSp = myDS->Shape(nSp);
|
|
myShapesSD.Bind(aSp, aSpR);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
//=======================================================================
|
|
//function : BuildResult
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::BuildResult(const TopAbs_ShapeEnum theType)
|
|
{
|
|
TopAbs_ShapeEnum aType;
|
|
BRep_Builder aBB;
|
|
TopTools_MapOfShape aM;
|
|
TopTools_ListIteratorOfListOfShape aIt, aItIm;
|
|
//
|
|
aIt.Initialize(myArguments);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aS=aIt.Value();
|
|
aType=aS.ShapeType();
|
|
if (aType==theType) {
|
|
if (myImages.IsBound(aS)){
|
|
const TopTools_ListOfShape& aLSIm=myImages.Find(aS);
|
|
aItIm.Initialize(aLSIm);
|
|
for (; aItIm.More(); aItIm.Next()) {
|
|
const TopoDS_Shape& aSIm=aItIm.Value();
|
|
if (aM.Add(aSIm)) {
|
|
aBB.Add(myShape, aSIm);
|
|
}
|
|
}
|
|
}
|
|
else {
|
|
if (aM.Add(aS)) {
|
|
aBB.Add(myShape, aS);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|
|
//=======================================================================
|
|
// function: FillImagesContainers
|
|
// purpose:
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::FillImagesContainers(const TopAbs_ShapeEnum theType)
|
|
{
|
|
Standard_Integer i, aNbS;
|
|
TopTools_MapOfShape aMFP(100, myAllocator);
|
|
//
|
|
aNbS=myDS->NbSourceShapes();
|
|
for (i=0; i<aNbS; ++i) {
|
|
const BOPDS_ShapeInfo& aSI=myDS->ShapeInfo(i);
|
|
if (aSI.ShapeType()==theType) {
|
|
const TopoDS_Shape& aC=aSI.Shape();
|
|
FillImagesContainer(aC, theType);
|
|
}
|
|
}// for (; aItS.More(); aItS.Next()) {
|
|
}
|
|
//=======================================================================
|
|
// function: FillImagesCompounds
|
|
// purpose:
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::FillImagesCompounds()
|
|
{
|
|
Standard_Integer i, aNbS;
|
|
TopTools_MapOfShape aMFP(100, myAllocator);
|
|
//
|
|
aNbS=myDS->NbSourceShapes();
|
|
for (i=0; i<aNbS; ++i) {
|
|
const BOPDS_ShapeInfo& aSI=myDS->ShapeInfo(i);
|
|
if (aSI.ShapeType()==TopAbs_COMPOUND) {
|
|
const TopoDS_Shape& aC=aSI.Shape();
|
|
FillImagesCompound(aC, aMFP);
|
|
}
|
|
}// for (; aItS.More(); aItS.Next()) {
|
|
}
|
|
//=======================================================================
|
|
//function : FillImagesContainer
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::FillImagesContainer(const TopoDS_Shape& theS,
|
|
const TopAbs_ShapeEnum theType)
|
|
{
|
|
// Check if any of the sub-shapes of the container have been modified
|
|
TopoDS_Iterator aIt(theS);
|
|
for (; aIt.More(); aIt.Next())
|
|
{
|
|
const TopoDS_Shape& aSS = aIt.Value();
|
|
const TopTools_ListOfShape* pLFIm = myImages.Seek(aSS);
|
|
if (pLFIm && ((pLFIm->Extent() != 1) || !pLFIm->First().IsSame(aSS)))
|
|
break;
|
|
}
|
|
|
|
if (!aIt.More())
|
|
{
|
|
// Non of the sub-shapes have been modified.
|
|
// No need to create the new container.
|
|
return;
|
|
}
|
|
|
|
BRep_Builder aBB;
|
|
// Make the new container of the splits of its sub-shapes
|
|
TopoDS_Shape aCIm;
|
|
BOPTools_AlgoTools::MakeContainer(theType, aCIm);
|
|
|
|
aIt.Initialize(theS);
|
|
for (; aIt.More(); aIt.Next())
|
|
{
|
|
const TopoDS_Shape& aSS = aIt.Value();
|
|
const TopTools_ListOfShape* pLSSIm = myImages.Seek(aSS);
|
|
|
|
if (!pLSSIm)
|
|
{
|
|
// No splits, add the sub-shape itself
|
|
aBB.Add(aCIm, aSS);
|
|
continue;
|
|
}
|
|
|
|
// Add the splits
|
|
TopTools_ListIteratorOfListOfShape aItIm(*pLSSIm);
|
|
for (; aItIm.More(); aItIm.Next())
|
|
{
|
|
TopoDS_Shape aSSIm = aItIm.Value();
|
|
if (!aSSIm.IsEqual(aSS) &&
|
|
BOPTools_AlgoTools::IsSplitToReverse(aSSIm, aSS, myContext))
|
|
{
|
|
aSSIm.Reverse();
|
|
}
|
|
aBB.Add(aCIm, aSSIm);
|
|
}
|
|
}
|
|
|
|
aCIm.Closed(BRep_Tool::IsClosed(aCIm));
|
|
myImages.Bound(theS, TopTools_ListOfShape(myAllocator))->Append(aCIm);
|
|
}
|
|
//=======================================================================
|
|
//function : FillImagesCompound
|
|
//purpose :
|
|
//=======================================================================
|
|
void BOPAlgo_Builder::FillImagesCompound(const TopoDS_Shape& theS,
|
|
TopTools_MapOfShape& theMFP)
|
|
{
|
|
Standard_Boolean bInterferred;
|
|
TopAbs_Orientation aOrX;
|
|
TopoDS_Iterator aIt;
|
|
BRep_Builder aBB;
|
|
TopTools_ListIteratorOfListOfShape aItIm;
|
|
//
|
|
if (!theMFP.Add(theS)) {
|
|
return;
|
|
}
|
|
//
|
|
bInterferred=Standard_False;
|
|
aIt.Initialize(theS);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aSx=aIt.Value();
|
|
if (aSx.ShapeType()==TopAbs_COMPOUND) {
|
|
FillImagesCompound(aSx, theMFP);
|
|
}
|
|
if (myImages.IsBound(aSx)) {
|
|
bInterferred=Standard_True;
|
|
}
|
|
}
|
|
if (!bInterferred){
|
|
return;
|
|
}
|
|
//
|
|
TopoDS_Shape aCIm;
|
|
BOPTools_AlgoTools::MakeContainer(TopAbs_COMPOUND, aCIm);
|
|
//
|
|
aIt.Initialize(theS);
|
|
for (; aIt.More(); aIt.Next()) {
|
|
const TopoDS_Shape& aSX=aIt.Value();
|
|
aOrX=aSX.Orientation();
|
|
if (myImages.IsBound(aSX)) {
|
|
const TopTools_ListOfShape& aLFIm=myImages.Find(aSX);
|
|
aItIm.Initialize(aLFIm);
|
|
for (; aItIm.More(); aItIm.Next()) {
|
|
TopoDS_Shape aSXIm=aItIm.Value();
|
|
aSXIm.Orientation(aOrX);
|
|
aBB.Add(aCIm, aSXIm);
|
|
}
|
|
}
|
|
else {
|
|
aBB.Add(aCIm, aSX);
|
|
}
|
|
}
|
|
//
|
|
TopTools_ListOfShape aLSIm(myAllocator);
|
|
aLSIm.Append(aCIm);
|
|
myImages.Bind(theS, aLSIm);
|
|
}
|