projects / occt.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
0024249: Crash on ShapeFix_Shape
[occt.git] / src / TNaming / TNaming_Name.cxx
CommitLineData
b311480e 1// Created on: 1997-03-21
2// Created by: Yves FRICAUD
3// Copyright (c) 1997-1999 Matra Datavision
973c2be1 4// Copyright (c) 1999-2014 OPEN CASCADE SAS
b311480e 5//
973c2be1 6// This file is part of Open CASCADE Technology software library.
b311480e 7//
d5f74e42 8// This library is free software; you can redistribute it and/or modify it under
9// the terms of the GNU Lesser General Public License version 2.1 as published
973c2be1 10// by the Free Software Foundation, with special exception defined in the file
11// OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
12// distribution for complete text of the license and disclaimer of any warranty.
b311480e 13//
973c2be1 14// Alternatively, this file may be used under the terms of Open CASCADE
15// commercial license or contractual agreement.
7fd59977 16
17#include <TNaming_Name.ixx>
18#include <TNaming.hxx>
19#include <TNaming_NamingTool.hxx>
20#include <TNaming_Naming.hxx>
21#include <TNaming_ShapesSet.hxx>
22#include <TNaming_Builder.hxx>
23#include <TNaming_NamedShape.hxx>
24#include <TNaming_Iterator.hxx>
25#include <TNaming_NewShapeIterator.hxx>
26#include <TNaming_ListOfNamedShape.hxx>
27#include <TNaming_ListIteratorOfListOfNamedShape.hxx>
28#include <TopExp.hxx>
29#include <TopExp_Explorer.hxx>
30#include <TopoDS_Compound.hxx>
31#include <BRep_Builder.hxx>
1ec8a59e 32#include <BRepTools.hxx>
7fd59977 33
34#include <TopTools_MapOfShape.hxx>
35#include <TopTools_MapIteratorOfMapOfShape.hxx>
36#include <TDF_Label.hxx>
37#include <TDF_LabelList.hxx>
38#include <TDF_LabelMap.hxx>
39#include <TNaming_Tool.hxx>
40
41#include <Standard_NotImplemented.hxx>
42#include <Standard_ConstructionError.hxx>
43#include <TopTools_Array1OfShape.hxx>
44#include <TColStd_Array1OfInteger.hxx>
45#include <TopoDS_Wire.hxx>
46#include <TopoDS_Shell.hxx>
47
48// mpv modifications 08.04.2002
49#include <BRepBuilderAPI_MakeWire.hxx>
50#include <BRepBuilderAPI_MakeFace.hxx>
51#include <TopoDS.hxx>
52#include <TopoDS_Shape.hxx>
53#include <TopoDS_Solid.hxx>
54#include <TopoDS_Face.hxx>
55#include <TopoDS_CompSolid.hxx>
56#include <TopoDS_Compound.hxx>
57#include <TopoDS_Iterator.hxx>
58#include <TopTools_ListOfShape.hxx>
59#include <TopTools_ListIteratorOfListOfShape.hxx>
60#include <BRepBuilderAPI_MakeSolid.hxx>
61#include <TopTools_HArray2OfShape.hxx>
62#include <TopTools_ListOfShape.hxx>
63#include <TopTools_DataMapOfShapeListOfShape.hxx>
64#include <TopTools_DataMapIteratorOfDataMapOfShapeListOfShape.hxx>
65// end of mpv modifications 08.04.2002
66
67#include <TNaming_NCollections.hxx>
68
69#define BUC60925
70#define OCC352
71
4e18e72a 72#ifdef DEB_DBGTOOLS_WRITE
7fd59977 73//#define OCC355
4e18e72a 74#define MDTV_DEB
75#define MDTV_DEB_OR
76#define MDTV_DEB_UNN
77#define MDTV_DEB_INT
78#define MDTV_DEB_GEN
79#define MDTV_DEB_MODUN
80#define MDTV_DEB_FNB
81#define MDTV_DEB_WIN
82#define MDTV_DEB_ARG
83#define MDTV_DEB_SHELL
84#endif
7fd59977 85#ifdef MDTV_DEB
86#include <TCollection_AsciiString.hxx>
87#include <TDF_Tool.hxx>
88#include <BRepTools.hxx>
7fd59977 89#endif
90#ifdef DEB
91#include <TCollection_AsciiString.hxx>
92#include <TDF_Tool.hxx>
93#include <TDF_ChildIterator.hxx>
94#include <TDF_MapIteratorOfLabelMap.hxx>
95//=======================================================================
96void PrintEntry(const TDF_Label& label)
97{
98 TCollection_AsciiString entry;
99 TDF_Tool::Entry(label, entry);
100 cout << "LabelEntry = "<< entry << endl;
101}
102//=======================================================================
103void PrintEntries(const TDF_LabelMap& map)
104{
105 cout << "=== Labels Map ===" <<endl;
106 TCollection_AsciiString entry;
107 TDF_MapIteratorOfLabelMap it(map);
108 for(;it.More();it.Next()) {
109 TDF_Tool::Entry(it.Key(), entry);
110 cout << "LabelEntry = "<< entry << endl;
111 }
112}
4e18e72a 113#ifdef DEB_DBGTOOLS_WRITE
7fd59977 114//=======================================================================
115static void DbgTools_Write(const TopoDS_Shape& shape,
116 const Standard_CString filename)
117{
118 char buf[256];
119 if(strlen(filename) > 256) return;
120 strcpy (buf, filename);
121 char* p = buf;
122 while (*p) {
123 if(*p == ':')
124 *p = '-';
125 p++;
126 }
127 ofstream save (buf);
128 if(!save)
129 cout << "File " << buf << " was not created: rdstate = " << save.rdstate() << endl;
130 save << "DBRep_DrawableShape" << endl << endl;
131 if(!shape.IsNull()) BRepTools::Write(shape, save);
132 save.close();
133}
134//=======================================================================
135static void DbgTools_Write(const TopTools_MapOfShape& MS, const Standard_CString filename)
136{
137 if (!MS.IsEmpty ()) {
138 TCollection_AsciiString aNam (filename);
139 Standard_Integer i(0);
140 TopTools_MapIteratorOfMapOfShape it(MS);
141 for(;it.More();it.Next(),i++) {
142 TCollection_AsciiString aName = aNam + "_" + i + ".brep";
143 DbgTools_Write ( it.Key(), aName.ToCString());
144 }
145 }
146}
147//=======================================================================
148static void DbgTools_WriteNSOnLabel (const Handle(TNaming_NamedShape)& NS,
149 const Standard_CString filename)
150{
151 if(!NS.IsNull() && !NS->IsEmpty() ) {
152 TCollection_AsciiString aNam (filename);
153 TCollection_AsciiString oldS ("_Old");
154 TCollection_AsciiString newS ("_New_");
155 Standard_Integer i(0);
156 TNaming_Iterator it(NS);
157 for(;it.More(); it.Next(),i++) {
158 TCollection_AsciiString aName1 = aNam + oldS + i + ".brep";
159 TCollection_AsciiString aName2 = aNam + newS + i + ".brep";
160 const TopoDS_Shape& oldShape = it.OldShape();
161 const TopoDS_Shape& newShape = it.NewShape();
162 if(!oldShape.IsNull())
163 DbgTools_Write ( oldShape, aName1.ToCString());
164 if(!newShape.IsNull())
165 DbgTools_Write ( newShape, aName2.ToCString());
166 }
167 }
168}
169#endif
4e18e72a 170#endif
7fd59977 171//
172//====================================================================
173static Standard_Boolean ValidArgs(const TNaming_ListOfNamedShape& Args)
174{
175 TNaming_ListIteratorOfListOfNamedShape it(Args);
176 for (;it.More();it.Next()) {
177 const Handle(TNaming_NamedShape)& aNS = it.Value();
178 if(aNS.IsNull()) {
1ec8a59e 179#ifdef MDTV_DEB_ARG
7fd59977 180 cout << "ValidArgs:: NS (Naming argument) is NULL" <<endl;
181#endif
182 return Standard_False;
183 }
184 else
185 if(aNS->IsEmpty()) {
1ec8a59e 186#ifdef MDTV_DEB_ARG
7fd59977 187 TCollection_AsciiString entry;
188 TDF_Tool::Entry(aNS->Label(), entry);
189 cout << "ValidArgs:: Empty NS, Label = " << entry <<endl;
190#endif
191 return Standard_False;
192 }
193 else
194 if(!aNS->IsValid()) {
1ec8a59e 195#ifdef MDTV_DEB_ARG
7fd59977 196 TCollection_AsciiString entry;
197 TDF_Tool::Entry(aNS->Label(), entry);
198 cout << "ValidArgs::Not valid NS Label = " << entry <<endl;
199#endif
200 return Standard_False;
201 }
202 }
203 return Standard_True;
204}
205
206//=======================================================================
207//function : TNaming_Name
208//purpose :
209//=======================================================================
210
c24d4017 211TNaming_Name::TNaming_Name() :
212 myType(TNaming_UNKNOWN),
213 myIndex(-1)
7fd59977 214{
215}
216
217
218//=======================================================================
219//function : Type
220//purpose :
221//=======================================================================
222
223void TNaming_Name::Type(const TNaming_NameType aType)
224{
225 myType = aType;
226}
227
228//=======================================================================
229//function : Type
230//purpose :
231//=======================================================================
232
233void TNaming_Name::ShapeType(const TopAbs_ShapeEnum T)
234{
235 myShapeType = T;
236}
237
238//=======================================================================
239//function : Shape
240//purpose :
241//=======================================================================
242
243void TNaming_Name::Shape(const TopoDS_Shape& theShape)
244{
245 myShape = theShape;
246
247}
248
249//=======================================================================
250//function : Shape
251//purpose :
252//=======================================================================
253
254TopoDS_Shape TNaming_Name::Shape() const
255{
256 return myShape;
257}
258
259//=======================================================================
260//function : Append
261//purpose :
262//=======================================================================
263
264void TNaming_Name::Append(const Handle(TNaming_NamedShape)& arg)
265{
266 myArgs.Append (arg);
267}
268
269//=======================================================================
270//function : StopNamedShape
271//purpose :
272//=======================================================================
273
274void TNaming_Name::StopNamedShape (const Handle(TNaming_NamedShape)& arg)
275{
276 myStop = arg;
277}
278
279//=======================================================================
280//function : Index
281//purpose :
282//=======================================================================
283
284void TNaming_Name::Index (const Standard_Integer I)
285{
286 myIndex = I;
287}
288
289
290//=======================================================================
291//function : TNaming_NameType
292//purpose :
293//=======================================================================
294
295TNaming_NameType TNaming_Name::Type() const
296{
297 return myType;
298}
299
300//=======================================================================
301//function : TNaming_NameType
302//purpose :
303//=======================================================================
304
305TopAbs_ShapeEnum TNaming_Name::ShapeType() const
306{
307 return myShapeType;
308}
309
310//=======================================================================
311//function : Append
312//purpose :
313//=======================================================================
314
315void TNaming_Name::Paste (TNaming_Name& into,
316 const Handle(TDF_RelocationTable)& RT) const
317{
318 into.myType = myType;
319 into.myShapeType = myShapeType;
320 into.myShape = myShape;
321 into.myArgs.Clear();
322// into.myOrientation = myOrientation;
323 Handle(TNaming_NamedShape) NS;
324
325 for (TNaming_ListIteratorOfListOfNamedShape it(myArgs); it.More(); it.Next()) {
326 RT->HasRelocation(it.Value(),NS);
327 into.myArgs.Append (NS);
328 }
329 if (!myStop.IsNull()) {
330 RT->HasRelocation(myStop,NS);
331 into.myStop = NS;
332 }
333 if (!myContextLabel.IsNull()) {
334 RT->HasRelocation(myContextLabel,into.myContextLabel);
335 }
336}
337
338//=======================================================================
339//function : Arguments
340//purpose :
341//=======================================================================
342
343const TNaming_ListOfNamedShape& TNaming_Name::Arguments() const
344{
345 return myArgs;
346}
347
348//=======================================================================
349//function : Arguments
350//purpose :
351//=======================================================================
352
353Handle(TNaming_NamedShape) TNaming_Name::StopNamedShape() const
354{
355 return myStop;
356}
357
358//=======================================================================
359//function : Index
360//purpose :
361//=======================================================================
362
363Standard_Integer TNaming_Name::Index() const
364{
365 return myIndex;
366}
367
368//=======================================================================
369//function : MakeShape
370//purpose :
371//=======================================================================
372
373static TopoDS_Shape MakeShape (const TopTools_MapOfShape& MS)
374{
375 if (!MS.IsEmpty ()) {
376 TopTools_MapIteratorOfMapOfShape it(MS);
377 if (MS.Extent() == 1) {
378 return it.Key();
379 }
380 else {
381 TopoDS_Compound C;
382 BRep_Builder B;
383 B.MakeCompound(C);
384 for (; it.More(); it.Next()){
385 B.Add(C,it.Key());
386 }
387 return C;
388 }
389 }
390 return TopoDS_Shape();
391}
392
393#ifdef OCC352
394
395//=======================================================================
396//function : ShapeWithType
397//purpose : Tries to make shape with given type from the given shape
398//=======================================================================
399
400static TopoDS_Shape ShapeWithType(const TopoDS_Shape theShape,
401 const TopAbs_ShapeEnum theType ) {
402 if (theShape.IsNull() || theType == TopAbs_SHAPE) return theShape;
403 Standard_Integer aType = theShape.ShapeType();
404 if (aType == theType) return theShape;
405
406 TopTools_ListOfShape aShapes;
407 if (aType == TopAbs_COMPOUND) {
408 TopoDS_Iterator anIter(theShape);
409 if (anIter.More()) aType = anIter.Value().ShapeType();
410 for(;anIter.More();anIter.Next()) aShapes.Append(anIter.Value());
411 if (aType == theType) {
412 if (aShapes.Extent() == 1) return aShapes.First();
413 else return theShape;
414 }
415 } else aShapes.Append(theShape);
416
417 TopoDS_Shape aResult;
418 TopTools_ListIteratorOfListOfShape aListIter(aShapes);
419
420 if (aType < theType) {
421 Standard_Integer aCount;
422 for(aCount=0;aListIter.More();aListIter.Next()) {
423 TopExp_Explorer anExp(aListIter.Value(),theType);
424 if (anExp.More()) {
425 if (!anExp.Current().IsNull()) {
426 aResult = anExp.Current();
427 aCount++;
428 if (aCount > 1) return theShape;
429 }
430 }
431 }
432 if (aCount == 1) return aResult;
433 } else { // if the shape type more complex than shapes from aShapes list, try make it
434 switch (aType) {
435 case TopAbs_VERTEX: // can't do something from vertex
436 break;
437 case TopAbs_EDGE: {// make wire from edges
438 if (theType <= TopAbs_SOLID) break;
439 BRepBuilderAPI_MakeWire aMakeWire;
440 aMakeWire.Add(aShapes);
441 if (!aMakeWire.IsDone()) return theShape;
442 if (theType == TopAbs_WIRE) return aMakeWire.Wire();
443 aShapes.Clear(); // don't break: we can do something more of it
444 aShapes.Append(aMakeWire.Wire());
445 aListIter.Initialize(aShapes);
446 }
447 case TopAbs_WIRE: {// make faceS from wires (one per one)
448 if (theType < TopAbs_SOLID) break;
449 TopTools_ListOfShape aFaces;
450 for(;aListIter.More();aListIter.Next()) {
451 BRepBuilderAPI_MakeFace aMakeFace(TopoDS::Wire(aListIter.Value()));
452 if (!aMakeFace.IsDone()) aFaces.Append(aMakeFace.Face());
453 }
454 if (theType == TopAbs_FACE) {
455 if (aFaces.Extent() == 1) return aFaces.First();
456 return theShape;
457 }
458 aShapes.Assign(aFaces); // don't break: we can do something more of it
459 aListIter.Initialize(aShapes);
460 }
461 case TopAbs_FACE: {// make shell from faces
462 if (theType < TopAbs_SOLID) break;
463 BRep_Builder aShellBuilder;
464 TopoDS_Shell aShell;
465 aShellBuilder.MakeShell(aShell);
466 for(;aListIter.More();aListIter.Next()) aShellBuilder.Add(aShell,TopoDS::Face(aListIter.Value()));
467 if (theType == TopAbs_SHELL) return aShell;
468 aShapes.Clear(); // don't break: we can do something more of it
469 aShapes.Append(aShell);
470 aListIter.Initialize(aShapes);
471 }
472 case TopAbs_SHELL: {// make solids from shells (one per one)
473 TopTools_ListOfShape aSolids;
474 for(;aListIter.More();aListIter.Next()) {
475 BRepBuilderAPI_MakeSolid aMakeSolid(TopoDS::Shell(aListIter.Value()));
476 if (aMakeSolid.IsDone()) aSolids.Append(aMakeSolid.Solid());
477 }
478 if (theType == TopAbs_SOLID) {
479 if (aSolids.Extent() == 1) return aSolids.First();
480 return theShape;
481 }
482 aShapes.Assign(aSolids); // don't break: we can do something more of it
483 aListIter.Initialize(aShapes);
484 }
485 case TopAbs_SOLID: {// make compsolid from solids
486 BRep_Builder aCompBuilder;
487 TopoDS_CompSolid aCompSolid;
488 aCompBuilder.MakeCompSolid(aCompSolid);
489 for(;aListIter.More();aListIter.Next()) aCompBuilder.Add(aCompSolid,TopoDS::Solid(aListIter.Value()));
490 if (theType == TopAbs_COMPSOLID) return aCompSolid;
491 }
492 }
493 }
494 return theShape;
495}
496
497#endif
498
499//=======================================================================
500//function : FindModifUntil
501//purpose :
502//=======================================================================
503
504static Standard_Boolean FindModifUntil (TNaming_NewShapeIterator& it,
505 TopTools_MapOfShape& MS,
506 const TopoDS_Shape& S,
507 const Handle(TNaming_NamedShape)& Context)
508{
1ec8a59e 509#ifdef MDTV_DEB_MODUN
510 if(!Context.IsNull())
511 PrintEntry(Context->Label());
512#endif
7fd59977 513 Standard_Boolean found = Standard_False;
514 for (; it.More(); it.Next()) {
515 if (!it.Shape().IsNull()) {
1ec8a59e 516#ifdef MDTV_DEB_MODUN
517 if(!it.NamedShape().IsNull())
518 PrintEntry(it.NamedShape()->Label());
519#endif
7fd59977 520 if (it.NamedShape() == Context) {
521 MS.Add(S);
522 found = Standard_True;
523 }
524 else { // New shape != Context
525 TNaming_NewShapeIterator it2(it);
526 found = FindModifUntil (it2,MS,it.Shape(),Context);
527 }
528 }
529 }
530 return found;
531}
532
533//=======================================================================
534//function : ModifUntil
535//purpose : returns map <theMS> of generators of Target
536//=======================================================================
537
538static void SearchModifUntil (const TDF_LabelMap& /*Valid*/,
539 const Handle(TNaming_NamedShape)& Target,
540 const TNaming_ListOfNamedShape& theListOfGenerators,
541 TopTools_MapOfShape& theMS)
542{
543
544#ifdef MDTV_DEB_MODUN
545 DbgTools_WriteNSOnLabel(Target, "SMUntil_"); // Target <== generated
546 Standard_Integer i = 0;
547 TCollection_AsciiString aGen1("Gens_New_"), aGen2("Gented_Old_"), Und("_");
548#endif
549 // Test si S apparait comme oldshape dans Context. : Test if S appears as oldshape in Context.
550 Standard_Boolean found = Standard_False;
551 for (TNaming_ListIteratorOfListOfNamedShape it(theListOfGenerators); it.More(); it.Next()) {
552 const Handle(TNaming_NamedShape)& aNS = it.Value();
553#ifdef MDTV_DEB_MODUN
554 i++;
555 Standard_Integer j = 0;
556#endif
557 for (TNaming_Iterator itL (aNS); itL.More(); itL.Next()) { // <- generators
558 const TopoDS_Shape& S = itL.NewShape();
559 found = Standard_False;
560
561#ifdef MDTV_DEB_MODUN
562 j++;
563 Standard_Integer k = 0;
564 TCollection_AsciiString aNam1 = aGen1 + i + Und + j + ".brep";
565 DbgTools_Write(S, aNam1.ToCString());
1ec8a59e 566 PrintEntry(aNS->Label());//NSLabel
7fd59977 567#endif
1ec8a59e 568 TNaming_Iterator itC (Target);
569 for (; itC.More(); itC.Next()) { // <- generated
7fd59977 570 const TopoDS_Shape& OS = itC.OldShape();
571#ifdef MDTV_DEB_MODUN
572 k++;
573 TCollection_AsciiString aNam2 = aGen2 + i + Und + j + Und + k + ".brep";
574 DbgTools_Write(OS, aNam2.ToCString());
1ec8a59e 575 PrintEntry(Target->Label());//Target Label
7fd59977 576#endif
577 if (OS.IsSame(S)) {
578 theMS.Add(S);
579 found = Standard_True;
580#ifdef MDTV_DEB_MODUN
581 cout << aNam2 << " is Same with " << aNam1 <<endl;
582#endif
583 break;
584 }
585 }
586 if (!found) {
587 TNaming_NewShapeIterator it1(itL);
588 found = FindModifUntil (it1,theMS,S,Target);
589 }
590 }
591 }
592}
593
594//=======================================================================
595//function : ModifUntil
596//purpose :
597//=======================================================================
598// NamedShape for this type is assembled from all last modifications of the
599// last argument shapes (see method TNaming_NamingTool::CurrentShape),
600// which are not descendants (see method TNaming_NamingTool::BuildDescendants)
601// of the stop shape. This type of naming is used for identification shapes,
602// which has only one parent with evolution PRIMITIVE (or itself), which
603// uniquely identifies it. In most cases stop shape is empty and this algorithm
604// is equal to the algorithm for IDENTITY.
605//=======================================================================
606static Standard_Boolean ModifUntil (const TDF_Label& L,
607 const TDF_LabelMap& Valid,
608 const TNaming_ListOfNamedShape& Args,
609 const Handle(TNaming_NamedShape)& Stop)
610{
611 TopTools_MapOfShape MS;
612 TDF_LabelMap Forbiden;
613#ifdef BUC60925
614 if(!ValidArgs(Args)) return Standard_False;
615#endif
616 TNaming_NamingTool::BuildDescendants (Stop, Forbiden); // fills Forbidden from Stop
617
618#ifdef MDTV_DEB_GEN
619 cout <<"Regenerating ModifUntil => ";
620 PrintEntry(L);
621 DbgTools_WriteNSOnLabel(Args.Last(), "ModifUntil-");
622
623#endif
624 // all last modifications of the last argument
625 TNaming_NamingTool::CurrentShape (Valid, Forbiden,Args.Last(),MS);
626#ifdef MDTV_DEB_GEN
627 Standard_Integer i(0);
628 TopTools_MapIteratorOfMapOfShape it(MS);
629 TCollection_AsciiString aNam("ModifUnti_MS_");
630 TCollection_AsciiString ext(".brep");
631#endif
632 TNaming_Builder B(L);
633 for (TopTools_MapIteratorOfMapOfShape itM(MS); itM.More(); itM.Next()) {
634 const TopoDS_Shape& S = itM.Key();
635 B.Select(S,S);
636#ifdef MDTV_DEB_GEN
637 TCollection_AsciiString aName = aNam + ++i + ext;
638 DbgTools_Write(S, aName.ToCString()) ;
639 cout << aName.ToCString() << " TS = " << S.TShape()->This() <<endl;
640#endif
641 }
642 return Standard_True;
643}
644
645//=======================================================================
646//function : ContShape
647//purpose :
648//=======================================================================
649// from the NS of the first argument TNaming_Iterator is started, shape "S"
650// is the NewShape from Iterator with index "myIndex" of the Name, this
651// shape and all last modifications (except NamedShapes - descendants of
652// the stop shape) are the parts of resulting NamedShape.
653//=======================================================================
654static Standard_Boolean ConstShape (const TDF_Label& L,
655 const TDF_LabelMap& Valid,
656 const TNaming_ListOfNamedShape& Args,
657 const Handle(TNaming_NamedShape)& Stop,
658 const Standard_Integer Index)
659{
660 TopTools_MapOfShape MS;
661 TDF_LabelMap Forbiden;
662#ifdef BUC60925
663 if(!ValidArgs(Args)) return Standard_False;
664#endif
665 TNaming_NamingTool::BuildDescendants (Stop, Forbiden);
666
667 TopoDS_Shape S;
668 Standard_Integer i = 1;
669 for (TNaming_Iterator it(Args.First()); it.More(); it.Next(), i++) {
670 if (Index == i) {
671 S = it.NewShape();
672 break;
673 }
674 }
675 if (S.IsNull()) return Standard_False;
676
677 TNaming_NamingTool::CurrentShapeFromShape (Valid,Forbiden,L,S,MS);
678
679
680 TNaming_Builder B(L);
681 for (TopTools_MapIteratorOfMapOfShape itM(MS); itM.More(); itM.Next()) {
682 const TopoDS_Shape& SS = itM.Key();
683 B.Select(SS,SS);
684 }
685 return Standard_True;
686}
687
688//=======================================================================
689//function : Intersection
690//purpose :
691//=======================================================================
692//algorithm does next steps:
693// 1. Sets to the "Forbiden" map all shapes, which are descendants of stop
694// shape. Named shapes at these labels can't be used.
695// 2. Takes first argument (with method CurrentShape) and sets map "S" of
696// ancestors (shapes, which belong to this one) of its shape with type
697// "ShapeType" of Name.
698// 3. Takes next argument of Name (with method CurrentShape) and removes
699// from the map "S" all ancestors, which not belongs to the shape of
700// this argument. This step is repeated for all arguments of this Name.
701// 4. Adds to the result NamedShape all rest of shapes from the map "S".
702//=======================================================================
703static Standard_Boolean Intersection (const TDF_Label& L,
704 const TDF_LabelMap& Valid,
705 const TNaming_ListOfNamedShape& Args,
706 const Handle(TNaming_NamedShape)& Stop,
707 const TopAbs_ShapeEnum ShapeType,
708 const Standard_Integer Index)
709{
710 if (Args.IsEmpty()) return Standard_False;
711#ifdef BUC60925
712 if(!ValidArgs(Args)) return Standard_False;
713#endif
714 TNaming_ListIteratorOfListOfNamedShape it(Args);
715 TopTools_MapOfShape MS;
716 TDF_LabelMap Forbiden;
717
718#ifdef MDTV_DEB_INT
719 if(!Stop.IsNull() && !Stop->Get().IsNull()) {
720 DbgTools_Write(Stop->Get(), "Ints_Stop.brep");
721 PrintEntry(Stop->Label());
722 }
723 cout <<"Ints: ShapeType = " << ShapeType << endl;
724 cout <<"Argument 1 at ";
725 PrintEntry(it.Value()->Label());
726#endif
727
728 TNaming_NamingTool::BuildDescendants (Stop, Forbiden); // <==<1>
729
730#ifdef MDTV_DEB_INT
731 cout << "Intersection:: Valid Map: "<<endl;
732 PrintEntries(Valid);
733 cout << "Intersection:: Forbidden Map: "<<endl;
734 PrintEntries(Forbiden);
735#endif
736 TopTools_ListOfShape aListOfAnc;
737 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS); // first argument
738 TopoDS_Shape CS = MakeShape(MS);
739 TNaming_ShapesSet S(CS,ShapeType); // <==<2>
740 aListOfAnc.Append(CS);
741#ifdef MDTV_DEB_INT
742 if(!CS.IsNull())
743 DbgTools_Write(CS, "Int_CS_1.brep");
744 Standard_Integer i=2;
745 TCollection_AsciiString aNam("Int_CS_");
746 TCollection_AsciiString ext(".brep");
747
748#endif
749 it.Next(); // <<===<3.1>
750 for (; it.More(); it.Next()) {
751 MS.Clear();
752 TNaming_NamingTool::CurrentShape (Valid,Forbiden,it.Value(),MS);
753 CS = MakeShape(MS);
754 aListOfAnc.Append(CS);
755#ifdef MDTV_DEB_INT
756 TCollection_AsciiString aName = aNam + i++ + ext;
757 DbgTools_Write(CS, aName.ToCString()) ;
758 cout <<"Argument " << i << " at ";
759 PrintEntry(it.Value()->Label());
760#endif
761
762 TNaming_ShapesSet OS(CS,ShapeType);
763 S.Filter(OS); //<<===<3.2>
764#ifdef MDTV_DEB_INT
765 Standard_Integer j = 1;
766 TCollection_AsciiString aNam2("SSMap_"), aName3;
767 TopTools_MapIteratorOfMapOfShape itm(S.Map());
768 for(;itm.More();itm.Next(), j++) {
769 aName3 = aNam2 + i + "_" + j + ".brep";
770 DbgTools_Write(itm.Key(), aName3.ToCString());
771 }
772#endif
773 }
774
775#ifdef MDTV_DEB_INT
776 aNam = "Int_S_";
777 i =1;
778#endif
779
780 TNaming_Builder B(L); //<<===<4>
781 Standard_Boolean isOK(Standard_False);
782 if(S.Map().Extent() > 1 && Index > 0 && ShapeType == TopAbs_EDGE) {
783 Standard_Integer indxE(0), nbE(0), indxW(0),nbW(0), indxF(0);
784 indxE = Index & 0x000000FF;
785 nbE = (Index & 0x0000FF00) >> 8;
786 indxW = (Index & 0x000F0000) >> 16;
787 nbW = (Index & 0x00F00000) >> 20;
788 indxF = (Index & 0x0F000000) >> 24;
789 Standard_Integer i(1);
790 TopoDS_Shape aS;
791 TopTools_ListIteratorOfListOfShape itl(aListOfAnc);
792 for(;itl.More();itl.Next(),i++) {
793 if(indxF == i) {
794 aS = itl.Value();
795 break;
796 }
797 }
798#ifdef MDTV_DEB_INT
799 cout <<"Kept: indxE = " << indxE <<" maxENum = " << nbE << " indxW = " <<indxW << " nbW = " <<nbW<<endl;
800#endif
801 Standard_Integer aNbW(0), aCaseW(0);
802 TopoDS_Iterator it2(aS);
803 for (;it2.More();it2.Next()) aNbW++;
804 if(aNbW == nbW) aCaseW = 1;//exact solution for wire (nb of wires is kept)
805 else aCaseW = 2; // indefinite description ==> compound which can include expected wire
806 if(aCaseW == 1) {
807 TopoDS_Shape aWire;
808 Standard_Integer i(1);
809 it2.Initialize(aS);
810 for (;it2.More();it2.Next(),i++) {
811 if(indxW == i) {
812 aWire = it2.Value();
813 break;
814 }
815 }
816 Standard_Integer aNbE(0), aCaseE(0);
817 it2.Initialize(aWire);
818 for (;it2.More();it2.Next()) aNbE++;
819 if(aNbE == nbE) aCaseE = 1;//exact solution for edge
820 else aCaseE = 2;
821 if(aCaseE == 1) {
822 i=1;
823 TopoDS_Shape anEdge;
824 it2.Initialize(aWire);
825 for (;it2.More();it2.Next(),i++) {
826 if(indxE == i) {
827 anEdge = it2.Value();
828 break;
829 }
830 }
831 if(!anEdge.IsNull()) {
832 B.Select(anEdge, anEdge);
833 isOK = Standard_True;
834 }
835 }
836 }
837 }
838 if(!isOK)
839#ifdef MDTV_DEB_INT
840 for (TopTools_MapIteratorOfMapOfShape itM(S.Map()); itM.More(); itM.Next(),i++) {
841#else
842
843 for (TopTools_MapIteratorOfMapOfShape itM(S.Map()); itM.More(); itM.Next()) {
844#endif
845 const TopoDS_Shape& S1 = itM.Key();
846#ifdef MDTV_DEB_INT
847 TCollection_AsciiString aName = aNam + i + ext;
848 DbgTools_Write(S1, aName.ToCString()) ;
849#endif
850
851 B.Select(S1,S1);
852 isOK = Standard_True;
853 }
854 return isOK;
855}
856//=======================================================================
857static void KeepInList(const TopoDS_Shape& CS, const TopAbs_ShapeEnum Type, TopTools_ListOfShape& aList)
858{
859 if (CS.IsNull()) return;
860
861 if (Type == TopAbs_SHAPE) {
862 if (CS.ShapeType() == TopAbs_SOLID ||
863 CS.ShapeType() == TopAbs_FACE ||
864 CS.ShapeType() == TopAbs_EDGE ||
865 CS.ShapeType() == TopAbs_VERTEX ) {
866 aList.Append(CS);
867 }
868 else {
869 for (TopoDS_Iterator it(CS) ; it.More(); it.Next()) {
870 aList.Append(it.Value());
871 }
872 }
873 }
874 else {
875 if (Type > CS.ShapeType()) {
876 for (TopExp_Explorer exp(CS,Type) ; exp.More(); exp.Next()) {
877 aList.Append(exp.Current());
878 }
879 } else {
880 aList.Append(CS);
881 }
882 }
883}
884
885//=======================================================================
886//function : Union
887//purpose :
888//=======================================================================
889// Resulting NamedShape contains compound of next shapes:
890// compound of last modifications of each argument (see CurrentShape method)
891// without descendants of the stop shape.
892//=======================================================================
893static Standard_Boolean Union (const TDF_Label& L,
894 const TDF_LabelMap& Valid,
895 const TNaming_ListOfNamedShape& Args,
896 const Handle(TNaming_NamedShape)& Stop,
897 const TopAbs_ShapeEnum ShapeType,
898 const TDF_Label& ContextLabel)
899{
900 if (Args.IsEmpty()) return Standard_False;
901#ifdef BUC60925
902 if(!ValidArgs(Args)) return Standard_False;
903#endif
904 // temporary solution for Orientation name
905 Standard_Boolean isOr(Standard_True);
906/* not completed
907 const TDF_Label& aLabel = L.Father();
908 if(!aLabel.IsNull()) {
909 PrintEntry(L);
910 PrintEntry(aLabel);
911 Handle (TNaming_Naming) Naming;
912 if(aLabel.FindAttribute(TNaming_Naming::GetID(), Naming)) {
913 const TNaming_Name& aName = Naming->GetName();
914 if(aName.Type() == TNaming_ORIENTATION) {
915 const TNaming_ListOfNamedShape& Args = aName.Arguments();
916 if(Args.Extent() > 2) {
917 const Handle(TNaming_NamedShape)& A = Args.First();
918 if(!A.IsNull()) {
919 PrintEntry(A->Label());
920 if (A->Label() == L)
921 isOr = Standard_True;
922 }
923 } else
924 if(!Args.Extent())
925 isOr = Standard_True;
926 }
927 }
928 }
929*/
930 // end of temp. sol.
931
932 TNaming_ListIteratorOfListOfNamedShape it(Args);
933 TopTools_MapOfShape MS;
934 TDF_LabelMap Forbiden;
935
936 TNaming_NamingTool::BuildDescendants (Stop, Forbiden);//fill Forbidden
937 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS); // fill MS with last modifications of the first argument
938 TopoDS_Shape CS = MakeShape(MS);
939
940 TopTools_ListOfShape aListS;
941 if(isOr)
942 KeepInList(CS,ShapeType,aListS);
943 TNaming_ShapesSet S(CS,ShapeType);//fill internal map of shapeset by shapes of the specified type
944#ifdef MDTV_DEB_UNN
945 TCollection_AsciiString entry;
946 TDF_Tool::Entry(it.Value()->Label(), entry);
947 TCollection_AsciiString Nam("Arg_");
948 TCollection_AsciiString aNam = Nam + entry + "_" + "1.brep";
949 DbgTools_Write(CS, aNam.ToCString());
950 Standard_Integer ii = 1;
951#endif
952 it.Next();
953 for (; it.More(); it.Next()) {
954#ifdef MDTV_DEB_UNN
955 TDF_Tool::Entry(it.Value()->Label(), entry);
956#endif
957 MS.Clear();
958 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS);// fill MS with last modifications of the it.Value()
959 CS = MakeShape(MS);
960 if(isOr)
961 KeepInList(CS,ShapeType,aListS);
962 TNaming_ShapesSet OS(CS,ShapeType);
963 S.Add(OS); //concatenate both shapesets
964
965#ifdef MDTV_DEB_UNN
966 ii++;
967 TCollection_AsciiString aNm = Nam + entry + "_" + ii + ".brep";
968 DbgTools_Write(CS, aNm.ToCString());
969 cout <<"Arg: Entry = " <<entry <<" TShape = " << CS.TShape() <<endl;
970#endif
971 }
972
973// start szy 27.05.08
974 TopoDS_Shape aCand;
975 Standard_Boolean found = Standard_False;
976 if(!ContextLabel.IsNull()) {
977 Handle(TNaming_NamedShape) CNS;
978 ContextLabel.FindAttribute(TNaming_NamedShape::GetID(),CNS);
979 TopoDS_Shape aContext;
980 if(!CNS.IsNull()) {
981 MS.Clear();
982 TNaming_NamingTool::CurrentShape (Valid, Forbiden, CNS, MS);
983 aContext = MakeShape(MS);
984#ifdef MDTV_DEB_UNN
985 TCollection_AsciiString anEntry;
986 TDF_Tool::Entry(ContextLabel, anEntry);
987 cout << "UNION: Context Label = " << anEntry << endl;
988 DbgTools_Write(aContext, "Union_Context.brep");
989 TCollection_AsciiString aN ("aMap_");
990 TopTools_MapIteratorOfMapOfShape it(S.Map());
991 for(Standard_Integer i=1; it.More();it.Next(), i++) {
992 TCollection_AsciiString aName = aN + i + ".brep";
993 DbgTools_Write(it.Key(), aName.ToCString());
994 }
995#endif
996 }
997 TopTools_ListOfShape aList;
998 TopExp_Explorer anExpl(aContext, ShapeType);
999 for(;anExpl.More(); anExpl.Next())
1000 aList.Append(anExpl.Current());
1001#ifdef MDTV_DEB_UNN
1002 cout <<"UNION: ShapeType = " << ShapeType << " List ext = " << aList.Extent()<<endl;
1003 TopAbs_ShapeEnum aTyp = TopAbs_SHAPE;
1004 TopTools_MapIteratorOfMapOfShape it1 (S.Map());
1005 for (int i=1;it1.More();it1.Next(),i++) {
1006 cout << "Map("<<i<<"): TShape = " << it1.Key().TShape() << " Orient = " << it1.Key().Orientation() <<endl;
1007 aTyp = it1.Key().ShapeType();
1008 }
1009
1010 TopExp_Explorer exp(aContext, aTyp);
1011 for(int i =1;exp.More();exp.Next(), i++) {
1012 cout << "Context("<<i<<"): TShape = " << exp.Current().TShape() << " Orient = " << exp.Current().Orientation() <<endl;
1013 }
1014
1015#endif
1016 TopTools_ListIteratorOfListOfShape itl(aList);
1017 for(;itl.More();itl.Next()) {
1018 aCand = itl.Value();
1019#ifdef MDTV_DEB_UNN
1020 DbgTools_Write(aCand, "Cand.brep");
1021#endif
1022 Standard_Integer num = S.Map().Extent();
1023 anExpl.Init(aCand, (ShapeType == TopAbs_WIRE) ? TopAbs_EDGE : TopAbs_FACE);
1024 for(;anExpl.More();anExpl.Next()) {
1025 if(S.Map().Contains(anExpl.Current()))
1026 num--;
1027 }
1028 if(num == 0) {
1029 found = Standard_True;
1030 break;
1031 }
1032 }
1033// end szy 27.05.08
1034 }
1035
1036 TNaming_Builder B(L);
1037#ifdef MDTV_DEB_UNN
1038 if(!ContextLabel.IsNull()) {
1039 if(found) cout << "UNION: Shape is found in Context" <<endl;
1040 else cout << "UNION: Shape is NOT found in Context" <<endl;
1041 }
1042#endif
1043#ifdef OCC352
1044 if(found)
1045 B.Select(aCand, aCand);
1046 else {
1047 BRep_Builder aCompoundBuilder;
1048 TopoDS_Compound aCompound;
1049 aCompoundBuilder.MakeCompound(aCompound);
1050 if(!isOr)
1051 for (TopTools_MapIteratorOfMapOfShape itM(S.Map()); itM.More(); itM.Next()) {
1052 aCompoundBuilder.Add(aCompound,itM.Key());
1053 }
1054 else
1055 for (TopTools_ListIteratorOfListOfShape itL(aListS); itL.More(); itL.Next()) {
1056 aCompoundBuilder.Add(aCompound,itL.Value());
1057 }
1058 TopoDS_Shape aShape = ShapeWithType(aCompound,ShapeType);
1059#ifdef MDTV_DEB_UNN
1060 DbgTools_Write(aShape, "Union_Selected.brep");
1061 DbgTools_Write(aCompound, "Union_Compound.brep");
1062#endif
1063 B.Select(aShape,aShape);
1064 }
1065#else
1066
1067 for (TopTools_MapIteratorOfMapOfShape itM(S.Map()); itM.More(); itM.Next()) {
1068 const TopoDS_Shape& S = itM.Key();
1069 B.Select(S,S);
1070 }
1071
1072#endif
1073
1074 return Standard_True;
1075}
1076
7fd59977 1077//=======================================================================
1078static TopoDS_Shape FindShape(const TNaming_DataMapOfShapeMapOfShape& DM)
1079{
1080 TopoDS_Shape aResult;
1081 Standard_Integer aNum = DM.Extent();
1082 if(aNum < 1) return aResult;
1083 TopTools_ListOfShape List;
1084 TNaming_DataMapIteratorOfDataMapOfShapeMapOfShape it(DM);
b2197f93 1085 if(it.More()) {
7fd59977 1086 const TopoDS_Shape& aKey1 = it.Key();
1087 const TNaming_MapOfShape& aMap = it.Value();
1088
1089 TNaming_MapIteratorOfMapOfShape itm(aMap); // iterate first map
1090 for (;itm.More();itm.Next()) {
1091 const TopoDS_Shape& aS = itm.Key(); // element of the first map
1092 Standard_Boolean isCand(Standard_True); // aS is a Candidate
1093 TNaming_DataMapIteratorOfDataMapOfShapeMapOfShape it2(DM);
1094 for (;it2.More();it2.Next()) {
7dcac1df 1095 const TopoDS_Shape& aKey2 = it2.Key();
1096 if(aKey2 == aKey1) continue;
1097 const TNaming_MapOfShape& aMap2 = it2.Value();
1098 if(!aMap2.Contains(aS)) isCand = Standard_False;
7fd59977 1099 }
7dcac1df 1100 if(isCand)
1101 List.Append(aS);
7fd59977 1102 }
7fd59977 1103 }
1104 if(List.IsEmpty()) return aResult;
1105 if(List.Extent() == 1) return List.First();
1106 TopTools_ListIteratorOfListOfShape itl (List);
1107 TopoDS_Compound Compound;
1108 BRep_Builder B;
1109 B.MakeCompound(Compound);
1110 for (; itl.More(); itl.Next()){
1111 B.Add(Compound,itl.Value());
1112 }
1113 return Compound;
1114}
1115
1116//=======================================================================
1117//function : Generation
1118//purpose : Resolves Name from arguments: arg1 - generated (target shape)
1119// : arg2 - the generator: the oldest ancestor (usually NS with
1120// : PRIMITIVE evolution. (See TNaming_Localizer::FindGenerator).
1121// : Resulting NamedShape contains shape, which is in the first
1122// : argument NamedShape and is modification of the last argument NS.
1123//=======================================================================
1124
1125static Standard_Boolean Generated (const TDF_Label& L,
1126 const TDF_LabelMap& Valid,
1127 const TNaming_ListOfNamedShape& Args)
1128{
1129 if (Args.Extent() < 2) {
1130 Standard_ConstructionError::Raise("TNaming_Name::Solve: => Generated");
1131 }
1132 // First argument : label of generation
1133 // Next arguments : generators.
1134
1135#ifdef BUC60925
1136 if(!ValidArgs(Args)) return Standard_False;
1137#endif
1138
1139 TDF_Label LabelOfGeneration = Args.First()->Label();
1140#ifdef MDTV_DEB_GEN
1141 DbgTools_Write(Args.First()->Get(), "Generated.brep") ;
1142#endif
1143 // Nouvell valeurs des generateurs dans l attribut de generation
1144 TopTools_MapOfShape aMS;
1145 TNaming_ListOfNamedShape aGenerators;
1146 aGenerators.Assign(Args);
1147 aGenerators.RemoveFirst();
1148#ifdef MDTV_DEB_GEN
1149 DbgTools_Write(aGenerators.First()->Get(), "Generators.brep") ;
1150#endif
1151 SearchModifUntil (Valid, Args.First(), aGenerators, aMS);
1152 Handle(TNaming_Naming) aNaming;
1153 TopoDS_Shape aSelection;
1154 L.FindAttribute(TNaming_Naming::GetID(),aNaming);
1155 if(!aNaming.IsNull())
1156 aSelection = aNaming->GetName().Shape();
1157#ifdef MDTV_DEB_GEN
1158 DbgTools_Write(aSelection, "G_Selection.brep") ;
1159 cout << "Generated::SearchModifUntil aMS.Extent() = " << aMS.Extent() <<endl;
1160 DbgTools_Write(aMS, "SearchModifUntil_Result");
1161#endif
1162 Handle(TNaming_NamedShape) anOldNS;
1163 Standard_Integer aVer = -1;// Initial build of name
1164 L.FindAttribute(TNaming_NamedShape::GetID(),anOldNS);
1165 if(!anOldNS.IsNull())
1166 aVer = anOldNS->Version();
1167
1168#ifdef MDTV_DEB_GEN
1169 Standard_Integer i = 0, j=1;
1170 TCollection_AsciiString aNam2("Gen_New_");
1171 TCollection_AsciiString aNam1("Gen_Old_");
1172 TCollection_AsciiString ext(".brep");
1173#endif
1174 TNaming_Builder B(L); // NS
1175 TopTools_ListOfShape aList;
1176 TNaming_DataMapOfShapeMapOfShape aDM;
1177 for (TopTools_MapIteratorOfMapOfShape itMS(aMS); itMS.More(); itMS.Next()) {
1178 const TopoDS_Shape& OS = itMS.Key();
1179#ifdef MDTV_DEB_GEN
1180 TCollection_AsciiString aName = aNam1 + ++i + ext;
1181 DbgTools_Write(OS, aName.ToCString()) ;
1182 Standard_Integer j=0;
1183#endif
1184 TNaming_MapOfShape aMapDM;
1185 for (TNaming_NewShapeIterator itNew(OS,L); itNew.More(); itNew.Next())
1186 if (itNew.Label() == LabelOfGeneration) {
1187 aMapDM.Add(itNew.Shape());
1188 aList.Append(itNew.Shape());//szy 21.10.03
1189#ifdef MDTV_DEB_GEN
1190 TCollection_AsciiString aName = aNam2 + i + "_" + ++j + ext;
1191 DbgTools_Write(itNew.Shape(), aName.ToCString()) ;
1192#endif
1193 }
1194 if(aMapDM.Extent())
1195 aDM.Bind(OS, aMapDM);
1196 }
1197
1198 if(aVer == -1) { //initial
1199 Standard_Integer i = 1;
1200 TNaming_Name& aName = aNaming->ChangeName();
1201 TopTools_ListIteratorOfListOfShape it(aList);
1202 if(!aSelection.IsNull()) {
1203 for(;it.More();it.Next(),i++) {
1204 if(it.Value().IsSame(aSelection)) {
1205 B.Select(it.Value(), it.Value());
1206 aName.Index(i); // for debug - index of selection in the list
1207 break;
1208 }
1209 }
1210 } else {// Selection == Null
1211 for(;it.More();it.Next())
1212 B.Select(it.Value(), it.Value());
1213 }
1214 }
1215 else {
1216 // *** Regeneration *** //
1217 if(aList.Extent() == 1) { // trivial case
1218 B.Select(aList.Last(), aList.Last());
1219 }
1220 else {
1221 TNaming_Name& aName = aNaming->ChangeName();
1222 const TopAbs_ShapeEnum aType = aName.ShapeType();
1223 TopTools_ListOfShape aList2;
1224 TopTools_ListIteratorOfListOfShape it(aList);
1225 for(;it.More();it.Next()) {
1226 if(it.Value().ShapeType() == aType) //collect only the same type
1227 aList2.Append(it.Value());
1228 }
1229 if(!aList2.Extent()) return Standard_False; // Empty
1230
1231 Standard_Boolean found = Standard_False;
7fd59977 1232 TopoDS_Shape aShape = FindShape(aDM);
1233#ifdef MDTV_DEB_GEN
1234 if(!aShape.IsNull())
1235 DbgTools_Write(aShape, "G_FindShape.brep") ;
1236#endif
1237 if(!aShape.IsNull()) found = Standard_True;
1238#ifdef MDTV_DEB_GEN
1239 cout << "Generated ==>aGenerators.Extent() = " <<aGenerators.Extent() <<" aMS.Extent()= " <<aMS.Extent()<<endl;
1240#endif
1241 if(found) {
1242#ifdef MDTV_DEB_GEN
1243 cout << "Generated ==> Shape is found!" <<endl;
1244#endif
1245 TopTools_ListOfShape aLM;
1246 Standard_Boolean aHas = Standard_False;
1247 Standard_Boolean a1NB = Standard_False;
1248 if(aGenerators.Extent() != aMS.Extent()) { //missed generators
1249 aHas = Standard_True;//has lost generatos
1250#ifdef MDTV_DEB_GEN
1251 cout << "Generated ==> has lost generatos!" <<endl;
1252#endif
1253 for (TNaming_ListIteratorOfListOfNamedShape itg(aGenerators); itg.More(); itg.Next()) {
1254 if(!aMS.Contains(itg.Value()->Get()))
1255 aLM.Append(itg.Value()->Get());
1256 }
1257 if(aLM.Extent() == 1) {//lost 1
1258 TopTools_ListIteratorOfListOfShape itm(aLM);
1259 TopoDS_Shape aSM = itm.Value(); // Missed
1260 for (TopTools_MapIteratorOfMapOfShape itMS1(aMS); itMS1.More(); itMS1.Next()) {
1261 const TopoDS_Shape& aS = itMS1.Key();
1262 if(aSM.ShapeType() == aS.ShapeType()) {
1263 if(aS.ShapeType() == TopAbs_EDGE) {
1264 TopoDS_Vertex aVCom;
1265 if(TopExp::CommonVertex(TopoDS::Edge(aS), TopoDS::Edge(aSM), aVCom))
1266 {a1NB = Standard_True;
1267 break;} //lost only 1 neigbour
1268 } else if(aS.ShapeType() == TopAbs_FACE) {
1269 TopExp_Explorer expl1(aS, TopAbs_EDGE);
1270 for(;expl1.More();expl1.Next()) {
1271 TopExp_Explorer expl2(aSM, TopAbs_EDGE);
1272 for(;expl2.More();expl2.Next()) {
1273 if(expl1.Current().IsSame(expl2.Current()))
1274 {a1NB = Standard_True;
1275 break;} //lost only 1 neigbour
1276 }
1277 }
1278 }
1279 }
1280 }
1281// if(aShape.ShapeType() == TopAbs_VERTEX && a1NBE) {
1282// //if atleast 1 Gen was missed and the Gen is Edge
1283// TopTools_ListIteratorOfListOfShape it(aList);
1284// for(;it.More();it.Next()) {
1285// if(it.Value().ShapeType() == TopAbs_EDGE) {
1286// const TopoDS_Shape& aV1 = TopExp::FirstVertex(TopoDS::Edge(it.Value()));
1287// const TopoDS_Shape& aV2 = TopExp::LastVertex(TopoDS::Edge(it.Value()));
1288// if(aShape.IsSame(aV1)) {aShape2 = aV2; cout << "##### => V2 " <<endl;break;}
1289// else
1290// if(aShape.IsSame(aV2)) {aShape2 = aV1; cout << "##### => V1 " <<endl;break;}
1291// }
1292// }
1293// }
1294 }
1295 }
1296 if(!aHas) // all arguments were kept
1297 B.Select(aShape, aShape); //only this case is correct on 100%
1298 else {
1299 if (a1NB) //Has, but may be ...
1300 B.Select(aShape, aShape);
1301 else {
1302 // put Compound, may be if possible processed later in Sel. Driver
1303 TopTools_ListIteratorOfListOfShape it1(aList2);
1304 for(;it1.More();it1.Next())
1305 B.Select(it1.Value(), it1.Value());
1306 }
1307 }
1308 } else
1309 { //not found
1310#ifdef MDTV_DEB_GEN
1311 cout << "Generated ==> Shape is NOT found! Probably Compound will be built" <<endl;
1312#endif
1313
1314 TopTools_ListIteratorOfListOfShape it2(aList2);
1315 for(;it2.More();it2.Next())
1316 B.Select(it2.Value(), it2.Value());
1317 }
1318 }
1319 }
1320 return Standard_True;
1321}
1322
1323//=======================================================================
1324//function : Identity
1325//purpose : Regenerates Naming attribute with Name = IDENTITY
1326//=======================================================================
1327// Name with this type must contain only one NamedShape attribute as argument.
1328// Algorithm takes all last modifications of NamedShape of this argument
1329// starting with this one ( see method TNaming_NamingTool::CurrentShape ).
1330// Algorithm takes only NamedShapes belonging to the labels from the Valid
1331// labels map (if it's not empty) and put to the resulting NamedShape as compound.
1332//=======================================================================
1333static Standard_Boolean Identity (const TDF_Label& L,
1334 const TDF_LabelMap& Valid,
1335 const TNaming_ListOfNamedShape& Args,
1336 const TopAbs_ShapeEnum ShapeType)
1337{
1338 if (Args.Extent() > 2) {
1339 Standard_ConstructionError::Raise("TNaming_Name::Solve");
1340 }
1341#ifdef BUC60925
1342 if(!ValidArgs(Args)) return Standard_False;
1343#endif
1344 const Handle(TNaming_NamedShape)& A = Args.First();
1345 TopTools_MapOfShape MS;
1346 TDF_LabelMap Forbiden;
1347 TNaming_NamingTool::CurrentShape (Valid,Forbiden,A,MS);
1348#ifdef MDTV_DEB_SOL2
1349 //TCollection_AsciiString entry;
1350 //TDF_Tool::Entry(L, entry);
1351 //TDF_Tool::Entry(A->Label(), entry);
1352#endif
1353 TNaming_Builder B(L);
1354 for (TopTools_MapIteratorOfMapOfShape itM(MS); itM.More(); itM.Next()) {
1355#ifdef OCC352
1356 const TopoDS_Shape& S = ShapeWithType(itM.Key(),ShapeType);
1357#else
1358 const TopoDS_Shape& S = itM.Key();
1359#endif
1360#ifdef MDTV_DEB_SOL2
1361 //TopAbs_Orientation Or = S.Orientation();
1362#endif
1363 B.Select(S,S);
1364 }
1365 return Standard_True;
1366}
1367
1368//=======================================================================
1369//function : FilterByNeighbourgs
1370//purpose : regenerated the specified shape with help of its neighbours
1371//=======================================================================
1372// result - is a subshape of the first argument of the Name with type =
1373// ShapeType of this Name, which has a common subshapes (boundaries) with
1374// each neighbour - shapes from the other arguments of the Name.
1375//=======================================================================
1376static Standard_Boolean FilterByNeighbourgs (const TDF_Label& L,
1377 const TDF_LabelMap& Valid,
1378 const TNaming_ListOfNamedShape& Args,
1379 const Handle(TNaming_NamedShape)& Stop,
1380 const TopAbs_ShapeEnum ShapeType)
1381{
1382
1383 TNaming_Builder B(L);
1384
1385 TDF_LabelMap Forbiden;
1386#ifdef BUC60925
1387 if(!ValidArgs(Args)) return Standard_False;
1388#endif
1389 TNaming_NamingTool::BuildDescendants (Stop, Forbiden); //all descendants of Stop (New shapes) are forbidden
1390 if (!Stop.IsNull()) Forbiden.Remove(Stop->Label());
1391 //----------------------------------------
1392 // First argument: collection has to be filtered.
1393 //----------------------------------------
1394 Handle(TNaming_NamedShape) Cand = Args.First(); //collection of candidates
1395
1396#ifdef MDTV_DEB_FNB
1397 Standard_Integer i = 1;
1398 TCollection_AsciiString aNam("Cand_");
1399 TCollection_AsciiString ext(".brep");
1400 DbgTools_WriteNSOnLabel(Cand, aNam.ToCString());
1401 cout << "Cand (Args.First()) Label = ";
1402 PrintEntry(Cand->Label());
1403 cout << "Valid Label map:" <<endl;
1404 PrintEntries(Valid);
1405#endif
1406
1407 TopTools_MapOfShape SCand;
1408 TNaming_NamingTool::CurrentShape (Valid, Forbiden,Cand,SCand);//fills SCand with last modifications of Cand. CandNS should be at the same level (before) as NS of FilterByNBS
1409
1410#ifdef MDTV_DEB_FNB
1411 TCollection_AsciiString aNam2("SCand");
1412 DbgTools_Write(SCand, aNam2.ToCString());
1413 cout <<"SCand Extent = " << SCand.Extent() << " Expected ShapeType = " << ShapeType << endl;
1414#endif
1415
1416 //------------------------------------------------------------
1417 // Autres arguments : contiennent les voisins du bon candidat.
1418 // Other arguments : contains the neighbors of the good candidate.
1419 //------------------------------------------------------------
1420 TopAbs_ShapeEnum TC = TopAbs_EDGE;
1421 if (ShapeType == TopAbs_EDGE) TC = TopAbs_VERTEX;
1422 if (ShapeType == TopAbs_VERTEX) TC = TopAbs_VERTEX; // szy 31.03.10 - to process case when Candidate is of type Vertex
1423
1424#ifdef MDTV_DEB_FNB
1425 i=1;
1426 aNam = "Boundaries";
1427#endif
efd4b232 1428 Standard_Boolean isDone = Standard_False;
7fd59977 1429 if(SCand.Extent() == 1) { // check if a collection is inside
1430 TopTools_MapIteratorOfMapOfShape it(SCand);
1431 const TopoDS_Shape& aS = it.Key();
1432 if(!aS.IsNull())
1433 if(aS.ShapeType() == TopAbs_COMPOUND && aS.ShapeType() != ShapeType) {
1434 TopoDS_Iterator itt(aS);
1435 for(;itt.More();itt.Next())
1436 SCand.Add(itt.Value());
1437 SCand.Remove(aS);
1438 }
1439 }
1440 for (TopTools_MapIteratorOfMapOfShape itCand(SCand); itCand.More(); itCand.Next()) { //1
1441 const TopoDS_Shape& S = itCand.Key();
1442 TopTools_MapOfShape Boundaries;
1443 if(S.ShapeType() == TopAbs_VERTEX) //# szy 31.03.10
1444 Boundaries.Add (S); //#
1445 else //#
1446 for (TopExp_Explorer exp(S,TC); exp.More(); exp.Next()) { //put boundaries of each candidate (from SCand) to the Boundaries map
1447 Boundaries.Add (exp.Current());
1448#ifdef MDTV_DEB_FNB
1449 TCollection_AsciiString aName = aNam + i++ + ext;
1450 DbgTools_Write(exp.Current(), aName.ToCString()) ;
1451#endif
1452 }
1453
1454 TNaming_ListIteratorOfListOfNamedShape it(Args);
1455 it.Next();
1456 Standard_Boolean Keep = 1;
1457#ifdef MDTV_DEB_FNB
1458 cout <<"Args number = " << Args.Extent() <<endl;
1459 i=1;
1460 aNam = "Boundaries";
1461#endif
1462 for ( ; it.More(); it.Next()) { //2 ==> for each Arg
1463 Standard_Boolean Connected = Standard_False;
1464 // Le candidat doit etre connexe a au moins un shape de
1465 // chaque NamedShape des voisins.
1466 // The candidate should be connectedand and have at least one shape of NamedShape
1467 // of each neighbor.
1468 const Handle(TNaming_NamedShape)& NSVois = it.Value(); //neighbor
1469
1470#ifdef MDTV_DEB_FNB
1471 DbgTools_WriteNSOnLabel(NSVois, "Next_Neighbor_") ;
1472#endif
1473
1474 TopTools_MapOfShape SVois;
1475 TNaming_NamingTool::CurrentShape (Valid, Forbiden,NSVois,SVois); // fills SVois with last modifications of NSVois
1476
1477#ifdef MDTV_DEB_FNB
1478 TCollection_AsciiString aNam2("SVois");
1479 DbgTools_Write(SVois, aNam2.ToCString());
1480#endif
1481
1482 for (TopTools_MapIteratorOfMapOfShape itVois(SVois); itVois.More(); itVois.Next()) { //6
1483 const TopoDS_Shape& Vois = itVois.Key();
1484 for (TopExp_Explorer exp1(Vois,TC); exp1.More(); exp1.Next()) { //7
1485 if (Boundaries.Contains(exp1.Current())) {
1486 Connected = Standard_True; // has common boundaries with candidate shape
1487#ifdef MDTV_DEB_FNB
1488 DbgTools_Write(Vois, "Neighbor_Connected.brep");
1489#endif
1490 break;
1491 }
1492 } //7
1493 if (Connected) break;
1494 } //6
1495 if (!Connected) {
1496 Keep = 0;
1497 break;
1498 }
1499 } //2
1500 if (Keep) {
1501 B.Select (S,S);
efd4b232 1502 isDone = Standard_True;
7fd59977 1503#ifdef MDTV_DEB_FNB
1504 DbgTools_Write(S, "FilterByNbs_Sel.brep") ;
1505#endif
1506 }
1507 } //1
efd4b232 1508 return isDone;
7fd59977 1509}
1510
1511//=======================================================================
1512static const TopoDS_Shape FindSubShapeInAncestor(const TopoDS_Shape& Selection, const TopoDS_Shape& Context )
1513{
1514#ifdef MDTV_DEB_OR_AG
1515 DbgTools_Write(Selection, "Orientation_Selection.brep");
1516 DbgTools_Write(Context, "Orientation_Context.brep");
1517 TopExp_Explorer expl1(Context, Selection.ShapeType());
1518 int i = 0;
1519 TCollection_AsciiString SS( "Orientation_Current_");
1520 for(;expl1.More(); expl1.Next()) {
1521 if(expl1.Current().IsSame(Selection)) {
1522 i++;
1523 cout <<"FindSubShape: = " <<expl1.Current().ShapeType() << " TS = " <<expl1.Current().TShape() << endl;
1524 TCollection_AsciiString nam = SS + i + ".brep";
1525 DbgTools_Write(expl1.Current(), nam.ToCString());
1526 }
1527 }
1528#endif
1529 if(Selection.ShapeType() != TopAbs_COMPOUND) {
1530 TopExp_Explorer anExpl(Context, Selection.ShapeType());
1531 for(;anExpl.More(); anExpl.Next()) {
1532#ifdef MDTV_DEB_OR_AG
1533 cout <<"FindSubShape: = " <<anExpl.Current().ShapeType() << " TS = " <<anExpl.Current().TShape()->This() << endl;
1534 DbgTools_Write(anExpl.Current(), "Orientation_Current.brep");
1535#endif
1536 if(anExpl.Current().IsSame(Selection))
1537 return anExpl.Current();
1538 }
1539 }
1540
1541 return TopoDS_Shape();
1542}
1543
1544//=======================================================================
1545//static Standard_Integer Count(const TopoDS_Shape& S)
1546//{
1547// Standard_Integer N(0);
1548// TopoDS_Iterator it(S);
1549// for(;it.More();it.Next()) {
1550// if(it.Value().ShapeType() != TopAbs_COMPOUND && it.Value().ShapeType() != TopAbs_COMPSOLID)
1551// N++;
1552// else {
1553// N += Count(it.Value());
1554// }
1555// }
1556// return N;
1557//}
1558//=======================================================================
1559static Standard_Integer Aggregation (const TopoDS_Shape& S, const TopoDS_Shape& AS, TNaming_Builder& B)
1560{
1561 Standard_Integer N(0);
1562 TopoDS_Iterator it(S);
1563 for(;it.More();it.Next()) {
1564 const TopoDS_Shape& sel = it.Value();
1565 if(sel.ShapeType() > TopAbs_COMPSOLID) {
1566 const TopoDS_Shape& CS = FindSubShapeInAncestor(sel, AS);
1567 if(!CS.IsNull()) {
1568 B.Select(CS, CS);
1569 N++;
1570 }
1571 } else
1572 N += Aggregation(sel, AS, B);
1573 }
1574 return N;
1575}
1576
1577//==========================================================================
1578//function : Orientation
1579//purpose : to solve ORIENTATION name
1580// this function explores the second argument | arguments (Context) and
1581// keeps at the label (L) the first argument (S) with the orientation it
1582// has in the context. Index is used only for Seam edge recomputing
1583//==========================================================================
1584static Standard_Boolean ORientation (const TDF_Label& L,
1585 const TDF_LabelMap& Valid,
1586 const TNaming_ListOfNamedShape& Args,
1587 const Handle(TNaming_NamedShape)& Stop,
1588 const Standard_Integer Index)
1589{
1590
1591 if(!ValidArgs(Args)) return Standard_False;
1592
1593 const Handle(TNaming_NamedShape)& A = Args.First();
1594 TopTools_MapOfShape MS;
1595 TDF_LabelMap Forbiden;
1596 TNaming_NamingTool::BuildDescendants (Stop, Forbiden);
1597 TNaming_NamingTool::CurrentShape (Valid,Forbiden,A,MS);
1598
1599 TopoDS_Shape S;
1600 Standard_Boolean isSplit(Standard_False);
1601 if (!MS.IsEmpty ()) {
1602 TopTools_MapIteratorOfMapOfShape it(MS);
1603 if (MS.Extent() == 1) {
1604 S = it.Key();
1605 }
1606 else {
1607 isSplit = Standard_True;
1608 S = MakeShape(MS);
1609#ifdef MDTV_DEB_OR
1610 for(Standard_Integer i=1;it.More();it.Next(), i++) {
1611 TCollection_AsciiString aNam("OR_Selection_");
1612 TCollection_AsciiString aName = aNam + i + ".brep";
1613 DbgTools_Write(it.Key(), aName.ToCString());
1614 }
1615#endif
1616 }
1617 }
1618
1619 TNaming_Builder B(L);
1620 if(S.IsNull())
1621 return Standard_False;
1622#ifdef MDTV_DEB_OR
1623 DbgTools_Write(S, "Orientation_S.brep");
1624#endif
1625
1626 TopTools_ListOfShape aSList;
1627 // tmp. solution
1628 if(S.ShapeType() == TopAbs_COMPOUND && !isSplit) {
1629 TopoDS_Iterator it(S);
1630 for(;it.More();it.Next())
1631 aSList.Append(it.Value());
1632 } //
1633
1634 TopTools_MapOfShape MSC;
1635 if(aSList.Extent() == 0) {
1636 const Handle(TNaming_NamedShape)& Anc = Args.Last();
1637#ifdef MDTV_DEB_OR
1638 cout << "### ORIENTATION: Ancestor ";
1639 PrintEntry(Anc->Label());
1640#endif
1641 MSC.Clear();
1642 TNaming_NamingTool::CurrentShape (Valid,Forbiden,Anc,MSC);
1643 if(MSC.Extent() == 1) {
1644 for (TopTools_MapIteratorOfMapOfShape itM(MSC); itM.More(); itM.Next()) {
1645 const TopoDS_Shape& AS = itM.Key();
1646// <=== start 21.10.2009
1647 TopoDS_Shape CS;
1648 if(Index > 0) { //only for seam edge
1649 TopoDS_Iterator itw(AS);
1650 for(;itw.More();itw.Next()) {
1651 Standard_Boolean found(Standard_False);
1652 TopoDS_Iterator it(itw.Value());
1653 for(int i=1;it.More();it.Next(),i++) {
1654 if(i == Index && it.Value().IsSame(S)) {
1655 CS = it.Value();
1656 found = Standard_True;
1657#ifdef MDTV_DEB_OR
1658 cout << "ORIENTATION => ORDER = " << i <<endl;
1659#endif
1660 break;
1661 }
1662 }
1663 if(found) break;
1664 }
1665 } else
1666 CS = FindSubShapeInAncestor(S, AS);
1667// <=== end 21.10.2009
1668#ifdef MDTV_DEB_OR
1669 cout << "ORIENTATION: Selection" <<" TShape = " <<CS.TShape() <<" Orientation = " << CS.Orientation() <<endl;
1670 cout << "ORIENTATION: Context " << "ShapeType = "<<AS.ShapeType() << " TShape = " <<AS.TShape() <<endl;
1671 DbgTools_Write(AS, "Orientation_Cnt.brep");
1672#endif
1673 if(!CS.IsNull()) {
1674 B.Select(CS, CS);
1675 } else {
1676 if(!Aggregation(S, AS, B))
1677 return Standard_False;
1678 }
1679 }
1680 } else {
1681 const TopoDS_Shape AS = MakeShape(MSC);
1682 const TopoDS_Shape& CS = FindSubShapeInAncestor(S, AS);
1683 if(!CS.IsNull()) {
1684 B.Select(CS, CS);
1685 } else {
1686 if(!Aggregation(S, AS, B))
1687 return Standard_False;
1688 }
1689 }
1690 } else {
1691 TNaming_ListIteratorOfListOfNamedShape it(Args);
1692 it.Next(); //skip first
1693
1694 // temporary solution. To be optimized (+ has connection with Union name)
1695 Handle(TopTools_HArray2OfShape) Arr; // Arr(1,1) - selection; Arr(1,2) - Context shape
1696 Arr = new TopTools_HArray2OfShape (1, aSList.Extent(), 1, 2);
1697 TopTools_ListIteratorOfListOfShape it1(aSList);
1698 Standard_Integer i = 1;
1699 for(; it1.More(); it1.Next(), it.Next(), i++) {
1700 Arr->SetValue(i, 1, it1.Value());
1701 MSC.Clear();
1702 TNaming_NamingTool::CurrentShape (Valid,Forbiden,it.Value(),MSC);
1703 if(MSC.Extent() == 1) {
1704 for (TopTools_MapIteratorOfMapOfShape itM(MSC); itM.More(); itM.Next()) {
1705 const TopoDS_Shape& AS = itM.Key();
1706 Arr->SetValue(i, 2, AS);
1707 }
1708 } else {
1709 const TopoDS_Shape AS = MakeShape(MSC);
1710 Arr->SetValue(i, 2, AS);
1711 }
1712 }
1713
1714 if(aSList.Extent() == 1) {
1715 const TopoDS_Shape& S = Arr->Value(1,1);
1716 if(S.ShapeType() != TopAbs_COMPOUND) {
1717 const TopoDS_Shape& CS = FindSubShapeInAncestor(S, Arr->Value(1,2));
1718 if(!CS.IsNull()) {
1719 B.Select(CS, CS);
1720 } else
1721 return Standard_False;
1722 }
1723 else {
1724#ifdef MDTV_DEB_OR
1725 DbgTools_Write(Arr->Value(1,2), "Ancestor.brep");
1726#endif
1727 if(!Aggregation(S, Arr->Value(1,2), B)) {
1728 return Standard_False;
1729 }
1730 }
1731 }
1732 else { // > 1
1733 for(Standard_Integer i = Arr->LowerRow();i <= Arr->UpperRow();i++) {
1734 const TopoDS_Shape& S = Arr->Value(i,1);
1735 const TopoDS_Shape& AC = Arr->Value(i,2);
1736 if(S.ShapeType() != TopAbs_COMPOUND) {
1737 const TopoDS_Shape& CS = FindSubShapeInAncestor(S, AC);
1738 if(!CS.IsNull()) {
1739 B.Select(CS, CS);
1740 } else
1741 return Standard_False;
1742 }
1743 else {
1744#ifdef MDTV_DEB_OR
1745 DbgTools_Write(AC, "Aggregation.brep");
1746#endif
1747 if(!Aggregation(S, AC, B)) {
1748 return Standard_False;
1749 }
1750 }
1751 }
1752 }
1753 } // end of tmp. solution
1754
1755 return Standard_True;
1756}
1757
1758//===========================================================================
1759//function : WireIN
1ec8a59e 1760//purpose : to solve WIREIN name
7fd59977 1761//=======================================================================
1762static Standard_Boolean WireIN(const TDF_Label& L,
1763 const TDF_LabelMap& Valid,
1ec8a59e 1764 const TNaming_ListOfNamedShape& Args,
1765 const Handle(TNaming_NamedShape)& Stop,
1766 Standard_Integer Index)
7fd59977 1767{
1768 Standard_Boolean aResult(Standard_False);
1769 if(!ValidArgs(Args)) return aResult;
1770 TopTools_MapOfShape MS;
1771 TDF_LabelMap Forbiden;
1ec8a59e 1772 if (Args.Extent() < 1 )
7fd59977 1773 Standard_ConstructionError::Raise("TNaming_Name::Solve");
1ec8a59e 1774 const Handle(TNaming_NamedShape)& A = Args.First();
7fd59977 1775 TNaming_NamingTool::CurrentShape (Valid,Forbiden,A,MS);
1ec8a59e 1776 if (MS.Extent() != 1) return aResult;
1777 TopTools_MapIteratorOfMapOfShape itM(MS);
1778 const TopoDS_Shape& aCF = itM.Key() ;
7fd59977 1779#ifdef MDTV_DEB_WIN
1780 cout <<"MS Extent = " <<MS.Extent() <<endl;
1ec8a59e 1781 DbgTools_Write(aCF, "Context_Face.brep");
7fd59977 1782#endif
7fd59977 1783 TNaming_Builder B(L);
1ec8a59e 1784 if(Index == 1 ){ //Outer wire case
1785 TopoDS_Wire anOuterWire;
1786 TNaming::OuterWire(TopoDS::Face(aCF), anOuterWire);
1787 if(!anOuterWire.IsNull()) {
1788 B.Select(anOuterWire, anOuterWire);
1789 aResult = Standard_True;
1790 }
1791 } else { //has internal wires
1792 TNaming_ListOfNamedShape ArgsE;
1793 ArgsE.Assign(Args);
1794 ArgsE.RemoveFirst();
1795 // fill Map with edges
1796 TNaming_ListIteratorOfListOfNamedShape it(ArgsE);
1797 TopTools_MapOfShape MS;
1798 TDF_LabelMap Forbiden;
1799
1800 TNaming_NamingTool::BuildDescendants (Stop, Forbiden);//fill Forbidden
1801 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS); // fill MS with last modifications of the first additional argument
1802 TopoDS_Shape CS = MakeShape(MS);
1803
1804 TNaming_ShapesSet aSet(CS,TopAbs_EDGE);//fill internal map of shapeset by shapes of the specified type
7fd59977 1805#ifdef MDTV_DEB_WIN
1ec8a59e 1806 TCollection_AsciiString entry;
1807 TDF_Tool::Entry(it.Value()->Label(), entry);
1808 TCollection_AsciiString Nam("Arg_");
1809 TCollection_AsciiString aNam = Nam + entry + "_" + "2.brep";
1810 DbgTools_Write(CS, aNam.ToCString());
1811 Standard_Integer ii = 2;
1812#endif
1813 it.Next();
1814 for (; it.More(); it.Next()) {
1815#ifdef MDTV_DEB_WIN
1816 TDF_Tool::Entry(it.Value()->Label(), entry);
1817#endif
1818 MS.Clear();
1819 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS);// fill MS with last modifications of the it.Value()
1820 CS = MakeShape(MS);
1821 TNaming_ShapesSet OS(CS,TopAbs_EDGE);
1822 aSet.Add(OS); //concatenate both shapesets
1823
1824#ifdef MDTV_DEB_WIN
1825 ii++;
1826 TCollection_AsciiString aNm = Nam + entry + "_" + ii + ".brep";
1827 DbgTools_Write(CS, aNm.ToCString());
1828 cout <<"Arg: Entry = " <<entry <<" TShape = " << CS.TShape() <<endl;
7fd59977 1829#endif
1ec8a59e 1830 }
1831
1832#ifdef MDTV_DEB_WIN
1833 cout <<"WIREIN: " << " Internal Map ext = " << aSet.Map().Extent()<<endl;
1834 TopTools_MapIteratorOfMapOfShape it1 (aSet.Map());
1835 for (int i=1;it1.More();it1.Next(),i++) {
1836 cout << "Map("<<i<<"): TShape = " << it1.Key().TShape() << " Orient = " << it1.Key().Orientation() <<" Type = " <<
1837 it1.Key().ShapeType()<<endl;
7fd59977 1838 }
1839
1ec8a59e 1840 TopExp_Explorer exp(aCF, TopAbs_EDGE);
1841 for(int i =1;exp.More();exp.Next(), i++) {
1842 cout << "Context_Face("<<i<<"): TShape = " << exp.Current().TShape() << " Orient = " << exp.Current().Orientation() <<endl;
1843 }
7fd59977 1844#endif
1ec8a59e 1845//end for edges
1846
1847 for (TopoDS_Iterator itF(aCF); itF.More(); itF.Next()) {// find the expected wire in the face
1848 const TopoDS_Shape& S = itF.Value();//wire
1849 if(!S.IsNull()) {
1850#ifdef MDTV_DEB_WIN
1851 DbgTools_Write(S, "WireIN_S.brep");
1852 cout <<"WIREIN: ShapeType = " << S.ShapeType() << " TS = " << S.TShape()->This() <<endl;
1853#endif
1854 if(S.ShapeType() == TopAbs_WIRE) {
1855 TopTools_MapOfShape aView;
1856 Standard_Integer aNum(0x7FFFFFFF);
1857 for (TopoDS_Iterator it(S);it.More();it.Next())
1858 aView.Add(it.Value());// edges of wire of the face in map
1859
1860 TopTools_MapIteratorOfMapOfShape it (aSet.Map());
1861 aNum = aView.Extent();
1862 if(aNum == aSet.Map().Extent()) {
1863 for (;it.More();it.Next()) {
1864 if(aView.Contains(it.Key())) {
1865 aNum--;
1866 }
1867 }
1868 }
1869 if(aNum == 0) {
1870 B.Select(S, S);
1871 aResult = Standard_True;
7fd59977 1872 break;
1ec8a59e 1873 }
1874 }
1875 }
1876 } //
1877
1878 if(!aResult) {
1879 TopoDS_Wire anOuterWire;
1880 TNaming::OuterWire(TopoDS::Face(aCF), anOuterWire);
1881 if(!anOuterWire.IsNull()) {
1882 for (TopoDS_Iterator itF(aCF); itF.More(); itF.Next()) {
1883 const TopoDS_Shape& S = itF.Value();//wire
1884 if(!S.IsNull()&& S.ShapeType() == TopAbs_WIRE) {
1885 if(S.IsEqual(anOuterWire)) continue;
1886 B.Select(S, S);
1887 }
7fd59977 1888 }
1889 }
1ec8a59e 1890 }
1891 }
1892 return aResult;
1893}
1894//===========================================================================
1895//function : ShellIN
1896//purpose : to solve SHELLIN name
1897//===========================================================================
1898static Standard_Boolean ShellIN(const TDF_Label& L,
1899 const TDF_LabelMap& Valid,
1900 const TNaming_ListOfNamedShape& Args,
1901 const Handle(TNaming_NamedShape)& Stop,
1902 Standard_Integer Index)
1903{
1904 Standard_Boolean aResult(Standard_False);
1905 if(!ValidArgs(Args))
1906 return aResult;
1907 TopTools_MapOfShape MS;
1908 TDF_LabelMap Forbiden;
1909 if (Args.Extent() < 1 )
1910 Standard_ConstructionError::Raise("TNaming_Name::Solve");
1911 const Handle(TNaming_NamedShape)& A = Args.First();
1912 TNaming_NamingTool::CurrentShape (Valid,Forbiden,A,MS);
1913 if (MS.Extent() != 1) return aResult;
1914 TopTools_MapIteratorOfMapOfShape itM(MS);
1915 const TopoDS_Shape& aCSO = itM.Key() ;
1916#ifdef MDTV_DEB_SHELL
1917 cout <<"MS Extent = " <<MS.Extent() <<endl;
1918 DbgTools_Write(aCSO, "Context_Solid.brep");
1919#endif
1920 TNaming_Builder B(L);
1921 if(Index == 1 ){ //Outer Shell case
1922 TopoDS_Shell anOuterShell;
1923 TNaming::OuterShell(TopoDS::Solid(aCSO), anOuterShell);
1924 if(!anOuterShell.IsNull()) {
1925 B.Select(anOuterShell, anOuterShell);
7fd59977 1926 aResult = Standard_True;
1ec8a59e 1927#ifdef MDTV_DEB_SHELL
1928 cout << "Outer Shell case" <<endl;
1929 PrintEntry(L);
1930 DbgTools_Write(anOuterShell, "ShellOut_S.brep");
1931 it.Initialize(aCSO);
1932 for(;it.More();it.Next()){
1933 DbgTools_Write(it.Value(), "ShOut_S.brep");
1934 }
1935#endif
7fd59977 1936 }
1ec8a59e 1937 } else { //has internal Shells
1938 TNaming_ListOfNamedShape ArgsF;
1939 ArgsF.Assign(Args);
1940 ArgsF.RemoveFirst();
1941 // fill Map with faces
1942 TNaming_ListIteratorOfListOfNamedShape it(ArgsF);
1943 TopTools_MapOfShape MS;
1944 TDF_LabelMap Forbiden;
1945
1946 TNaming_NamingTool::BuildDescendants (Stop, Forbiden);//fill Forbidden
1947 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS); // fill MS with last modifications of the first additional argument
1948 TopoDS_Shape CS = MakeShape(MS);
1949
1950 TNaming_ShapesSet aSet(CS,TopAbs_FACE);//fill internal map of shapeset by shapes of the specified type
1951#ifdef MDTV_DEB_SHELL
1952 TCollection_AsciiString entry;
1953 TDF_Tool::Entry(it.Value()->Label(), entry);
1954 TCollection_AsciiString Nam("Arg_");
1955 TCollection_AsciiString aNam = Nam + entry + "_" + "2.brep";
1956 DbgTools_Write(CS, aNam.ToCString());
1957 Standard_Integer ii = 2;
1958#endif
1959 it.Next();
1960 for (; it.More(); it.Next()) {
1961#ifdef MDTV_DEB_SHELL
1962 TDF_Tool::Entry(it.Value()->Label(), entry);
1963#endif
1964 MS.Clear();
1965 TNaming_NamingTool::CurrentShape (Valid, Forbiden,it.Value(),MS);// fill MS with last modifications of the it.Value()
1966 CS = MakeShape(MS);
1967 TNaming_ShapesSet OS(CS,TopAbs_FACE);
1968 aSet.Add(OS); //concatenate both shapesets
1969
1970#ifdef MDTV_DEB_SHELL
1971 ii++;
1972 TCollection_AsciiString aNm = Nam + entry + "_" + ii + ".brep";
1973 DbgTools_Write(CS, aNm.ToCString());
1974 cout <<"Arg: Entry = " <<entry <<" TShape = " << CS.TShape() <<endl;
1975#endif
1976 }
1977
1978#ifdef MDTV_DEB_SHELL
1979 cout <<"SHELLIN: " << " Internal Map ext = " << aSet.Map().Extent()<<endl;
1980 TopTools_MapIteratorOfMapOfShape it1 (aSet.Map());
1981 for (int i=1;it1.More();it1.Next(),i++) {
1982 cout << "Map("<<i<<"): TShape = " << it1.Key().TShape() << " Orient = " << it1.Key().Orientation() <<" Type = " <<
1983 it1.Key().ShapeType()<<endl;
7fd59977 1984 }
1ec8a59e 1985
1986 TopExp_Explorer exp(aCSO, TopAbs_FACE);
1987 for(int i = 1;exp.More();exp.Next(), i++) {
1988 cout << "Context_Solid("<<i<<"): TShape = " << exp.Current().TShape() << " Orient = " << exp.Current().Orientation() <<endl;
1989 }
1990#endif
1991//end for faces
1992
1993 for (TopoDS_Iterator itS(aCSO); itS.More(); itS.Next()) {// find the expected shell in the solid
1994 const TopoDS_Shape& S = itS.Value();//shell
1995 if(!S.IsNull()) {
1996#ifdef MDTV_DEB_SHELL
1997 DbgTools_Write(S, "ShellIN_S.brep");
1998 cout <<"SHELLIN: ShapeType = " << S.ShapeType() << " TS = " << S.TShape()->This() <<endl;
1999#endif
2000 if(S.ShapeType() == TopAbs_SHELL) {
2001 TopTools_MapOfShape aView;
2002 Standard_Integer aNum(0x7FFFFFFF);
2003 for (TopoDS_Iterator it(S);it.More();it.Next())
2004 aView.Add(it.Value());// faces of shell of the solid in map
2005
2006 aNum = aView.Extent();
2007 if(aNum == aSet.Map().Extent()) {
2008 TopTools_MapIteratorOfMapOfShape it (aSet.Map());
2009 for (;it.More();it.Next()) {
2010 if(aView.Contains(it.Key())) {
2011 aNum--;
2012 }
2013 }
2014 }
2015 if(aNum == 0) {
2016 B.Select(S, S);
2017 aResult = Standard_True;
2018 break;
2019 }
2020 }
2021 }
2022 } //
2023
2024 if(!aResult) {
2025 TopoDS_Shell anOuterShell;
2026 TNaming::OuterShell(TopoDS::Solid(aCSO), anOuterShell);
2027 if(!anOuterShell.IsNull()) {
2028 for (TopoDS_Iterator itS(aCSO); itS.More(); itS.Next()) {
2029 const TopoDS_Shape& S = itS.Value();//shell
2030 if(!S.IsNull()&& S.ShapeType() == TopAbs_SHELL) {
2031 if(S.IsEqual(anOuterShell)) continue;
2032 B.Select(S, S);
2033 }
2034 }
2035 }
2036 }
7fd59977 2037 }
2038 return aResult;
2039}
2040#ifdef DEB
2041//=======================================================================
2042static Standard_CString NameTypeToString (const TNaming_NameType Type)
2043{
2044 switch(Type)
2045 {
2046 case TNaming_UNKNOWN : return "UNKNOWN";
2047 case TNaming_IDENTITY : return "IDENTITY";
2048 case TNaming_MODIFUNTIL : return "MODIFUNTIL";
2049 case TNaming_GENERATION : return "GENERATION";
2050 case TNaming_INTERSECTION : return "INTERSECTION";
2051 case TNaming_UNION : return "UNION";
2052 case TNaming_SUBSTRACTION : return "SUBSTRACTION";
2053 case TNaming_CONSTSHAPE : return "CONSTSHAPE";
2054 case TNaming_FILTERBYNEIGHBOURGS : return "FILTERBYNEIGHBOURGS";
2055 case TNaming_ORIENTATION : return "ORIENTATION";
2056 case TNaming_WIREIN : return "WIREIN";
2057 default :
2058 Standard_DomainError::Raise("TNaming_NameType; enum term unknown ");
2059 }
2060 return "";
2061}
2062#endif
2063//=======================================================================
2064//function : Solve
2065//purpose :
2066//=======================================================================
2067
2068Standard_Boolean TNaming_Name::Solve(const TDF_Label& aLab,
2069 const TDF_LabelMap& Valid) const
2070{
2071 Standard_Boolean Done = 0;
1ec8a59e 2072#ifdef MDTV_DEB_WIN
2073 PrintEntry(aLab);
2074#endif
7fd59977 2075 try {
2076 switch (myType) {
2077 case TNaming_UNKNOWN :
2078 {
2079 break;
2080 }
2081 case TNaming_IDENTITY :
2082 {
2083 Done = Identity(aLab,Valid,myArgs,myShapeType);
2084 break;
2085 }
2086 case TNaming_MODIFUNTIL:
2087 {
2088 Done = ModifUntil (aLab,Valid,myArgs,myStop);
2089 break;
2090 }
2091 case TNaming_GENERATION:
2092 {
2093 Done = Generated (aLab,Valid,myArgs);
2094 break;
2095 }
2096 case TNaming_INTERSECTION:
2097 {
2098 Done = Intersection (aLab,Valid,myArgs,myStop,myShapeType,myIndex);
2099 break;
2100 }
2101 case TNaming_UNION:
2102 {
2103 Done = Union (aLab,Valid,myArgs,myStop,myShapeType, myContextLabel);
2104 break;
2105 }
2106 case TNaming_SUBSTRACTION:
2107 {
2108 Standard_NotImplemented::Raise();
2109// Done = Substraction (aLab,Valid,myArgs);
2110 break;
2111 }
2112 case TNaming_CONSTSHAPE:
2113 {
2114 Done = ConstShape (aLab,Valid,myArgs,myStop,myIndex);
2115 break;
2116 }
2117 case TNaming_FILTERBYNEIGHBOURGS:
2118 {
2119 Done = FilterByNeighbourgs (aLab,Valid,myArgs,myStop,myShapeType);
2120 break;
2121 }
2122 case TNaming_ORIENTATION:
2123 {
2124 Done = ORientation (aLab,Valid,myArgs,myStop,myIndex);
2125 break;
2126 }
2127 case TNaming_WIREIN:
2128 {
1ec8a59e 2129#ifdef MDTV_DEB_WIN
2130 cout << "Name::Solve: NameType = " << myType << " ";
2131 PrintEntry(aLab);
2132#endif
2133 Done = WireIN (aLab,Valid,myArgs,myStop,myIndex);
2134 break;
2135 }
2136case TNaming_SHELLIN:
2137 {
2138#ifdef MDTV_DEB_SHELL
2139 cout << "Name::Solve: NameType = " << myType << " ";
2140 PrintEntry(aLab);
2141#endif
2142 Done = ShellIN (aLab,Valid,myArgs,myStop,myIndex);
7fd59977 2143 break;
2144 }
2145 }
2146} catch (...) {
2147#ifdef DEB
2148 cout << "Name::Solve: EXCEPTION==> NameType = " << NameTypeToString(myType) << " ";
2149 PrintEntry(aLab);
2150#endif
2151}
2152 return Done;
2153}
2154
2155//=======================================================================
2156//function : ContextLabel
2157//purpose : Set
2158//=======================================================================
2159
2160void TNaming_Name::ContextLabel(const TDF_Label& theLabel)
2161{
2162 myContextLabel = theLabel;
2163}
2164
2165//=======================================================================
2166//function : ContextLabel
2167//purpose : Get
2168//=======================================================================
2169
2170const TDF_Label& TNaming_Name::ContextLabel() const
2171{
2172 return myContextLabel;
2173}
7dcac1df 2174
7fd59977 2175//=======================================================================
2176//function : Orientation
2177//purpose : Set
2178//=======================================================================
7dcac1df 2179void TNaming_Name::Orientation(const TopAbs_Orientation theOrientation)
7fd59977 2180{
2181 myOrientation = theOrientation;
2182}
2183
Open CASCADE Technology repository