b2555aa941e539825c1fe9a4457883f1c2dab684
[occt.git] / src / QABugs / QABugs_19.cxx
1 // Created on: 2002-05-21
2 // Created by: QA Admin
3 // Copyright (c) 2002-2014 OPEN CASCADE SAS
4 //
5 // This file is part of Open CASCADE Technology software library.
6 //
7 // This library is free software; you can redistribute it and/or modify it under
8 // the terms of the GNU Lesser General Public License version 2.1 as published
9 // by the Free Software Foundation, with special exception defined in the file
10 // OCCT_LGPL_EXCEPTION.txt. Consult the file LICENSE_LGPL_21.txt included in OCCT
11 // distribution for complete text of the license and disclaimer of any warranty.
12 //
13 // Alternatively, this file may be used under the terms of Open CASCADE
14 // commercial license or contractual agreement.
15
16 #include <QABugs.hxx>
17
18 #include <AIS_InteractiveContext.hxx>
19 #include <AIS_Shape.hxx>
20 #include <BRepAlgoAPI_Cut.hxx>
21 #include <BRepOffsetAPI_MakePipe.hxx>
22 #include <BRepPrimAPI_MakeBox.hxx>
23 #include <BRepPrimAPI_MakeSphere.hxx>
24 #include <DBRep.hxx>
25 #include <Draw_Interpretor.hxx>
26 #include <DrawTrSurf.hxx>
27 #include <GCE2d_MakeSegment.hxx>
28 #include <Geom2d_TrimmedCurve.hxx>
29 #include <GeomFill_Trihedron.hxx>
30 #include <Graphic3d_ArrayOfTriangles.hxx>
31 #include <gp_Ax1.hxx>
32 #include <gp_Pnt2d.hxx>
33 #include <gp_Quaternion.hxx>
34 #include <Image_Color.hxx>
35 #include <Image_PixMap.hxx>
36 #include <NCollection_Handle.hxx>
37 #include <NCollection_IncAllocator.hxx>
38 #include <NCollection_Map.hxx>
39 #include <OSD_Parallel.hxx>
40 #include <OSD_PerfMeter.hxx>
41 #include <OSD_Timer.hxx>
42 #include <OSD_ThreadPool.hxx>
43 #include <Precision.hxx>
44 #include <Prs3d_ShadingAspect.hxx>
45 #include <Prs3d_Text.hxx>
46 #include <SelectMgr_Filter.hxx>
47 #include <Standard_Version.hxx>
48 #include <StdSelect_BRepOwner.hxx>
49 #include <TCollection_HAsciiString.hxx>
50 #include <TopExp_Explorer.hxx>
51 #include <TopoDS_Shape.hxx>
52 #include <V3d_View.hxx>
53 #include <ViewerTest.hxx>
54 #include <XmlDrivers_DocumentRetrievalDriver.hxx>
55 #include <XmlDrivers_DocumentStorageDriver.hxx>
56 #include <TDataStd_Real.hxx>
57 #include <Standard_Atomic.hxx>
58
59 #ifdef HAVE_TBB
60   #include <tbb/parallel_for.h>
61   #include <tbb/parallel_for_each.h>
62   #include <tbb/blocked_range.h>
63 #endif
64
65 #include <cstdio>
66 #include <cmath>
67 #include <iostream>
68 #include <random>
69
70 #define QCOMPARE(val1, val2) \
71   di << "Checking " #val1 " == " #val2 << \
72         ((val1) == (val2) ? ": OK\n" : ": Error\n")
73
74 static Standard_Integer OCC230 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
75 {
76   if ( argc != 4) {
77     di << "ERROR OCC230: Usage : " << argv[0] << " TrimmedCurve Pnt2d Pnt2d\n";
78     return 1;
79   }
80
81   gp_Pnt2d P1, P2;
82   if ( !DrawTrSurf::GetPoint2d(argv[2],P1)) {
83     di << "ERROR OCC230: " << argv[2] << " is not Pnt2d\n";
84     return 1;
85   }
86   if ( !DrawTrSurf::GetPoint2d(argv[3],P2)) {
87     di << "ERROR OCC230: " << argv[3] << " is not Pnt2d\n";
88     return 1;
89   }
90
91   GCE2d_MakeSegment MakeSegment(P1,P2);
92   Handle(Geom2d_TrimmedCurve) TrimmedCurve = MakeSegment.Value();
93   DrawTrSurf::Set(argv[1], TrimmedCurve);
94   return 0;
95 }
96
97 static Standard_Integer OCC23361 (Draw_Interpretor& di, Standard_Integer /*argc*/, const char ** /*argv*/)
98 {
99   gp_Pnt p(0, 0, 2);
100   
101   gp_Trsf t1, t2;
102   t1.SetRotation(gp_Ax1(p, gp_Dir(0, 1, 0)), -0.49328285294022267);
103   t2.SetRotation(gp_Ax1(p, gp_Dir(0, 0, 1)), 0.87538474718473880);
104
105   gp_Trsf tComp = t2 * t1;
106
107   gp_Pnt p1(10, 3, 4);
108   gp_Pnt p2 = p1.Transformed(tComp);
109   gp_Pnt p3 = p1.Transformed(t1);
110   p3.Transform(t2);
111
112   // points must be equal
113   if ( ! p2.IsEqual(p3, Precision::Confusion()) )
114     di << "ERROR OCC23361: equivalent transformations does not produce equal points\n";
115   else 
116     di << "OCC23361: OK\n";
117
118   return 0;
119 }
120
121 static Standard_Integer OCC23237 (Draw_Interpretor& di, Standard_Integer /*argc*/, const char** /*argv*/)
122 {
123   OSD_PerfMeter aPM("TestMeter",0);
124   OSD_Timer aTM;
125   
126   // run some operation in cycle for about 2 seconds to have good values of times to compare
127   int count = 0;
128   printf("OSD_PerfMeter test.\nRunning Boolean operation on solids in loop.\n");
129   for (; aTM.ElapsedTime() < 2.; count++)
130   {
131     aPM.Start();
132     aTM.Start();
133
134     // do some operation that will take considerable time compared with time of starting / stopping timers
135     BRepPrimAPI_MakeBox aBox (10., 10., 10.);
136     BRepPrimAPI_MakeSphere aSphere (10.);
137     BRepAlgoAPI_Cut aCutter (aBox.Shape(), aSphere.Shape());
138
139     aTM.Stop();
140     aPM.Stop();
141   }
142  
143   int aNbEnters = 0;
144   Standard_Real aPerfMeter_CPUtime = 0., aTimer_CPUTime = 0., aS;
145   Standard_Integer aM, aH;
146   aTM.Show(aS, aM, aH, aTimer_CPUTime);
147
148   perf_get_meter("TestMeter", &aNbEnters, &aPerfMeter_CPUtime);
149   perf_init_meter("TestMeter");
150
151   Standard_Real aTimeDiff = (fabs(aTimer_CPUTime - aPerfMeter_CPUtime) / aTimer_CPUTime);
152
153   printf("\nMeasurement results (%d cycles):\n", count);
154   printf("\nOSD_PerfMeter CPU time: %lf\nOSD_Timer CPU time: %lf\n",
155     aPerfMeter_CPUtime, aTimer_CPUTime);
156   printf("Time delta is: %.3lf %%\n", aTimeDiff * 100);
157
158   if (aTimeDiff > 0.2)
159     di << "OCC23237: Error: too much difference between CPU and elapsed times";
160   else if (aNbEnters != count)
161     di << "OCC23237: Error: counter reported by PerfMeter (" << aNbEnters << ") does not correspond to actual number of cycles";
162   else
163     di << "OCC23237: OK";
164
165   return 0;
166 }
167
168 class IncrementerDecrementer
169 {
170 public:
171     IncrementerDecrementer (Standard_Integer* theVal, Standard_Boolean thePositive) : myVal (theVal), myPositive (thePositive)
172     {}
173     void operator() (const size_t) const
174     {
175       if ( myPositive )
176         Standard_Atomic_Increment(myVal);
177       else
178         Standard_Atomic_Decrement(myVal);
179     }
180 private:
181     Standard_Integer*   myVal;
182     Standard_Boolean    myPositive;
183 };
184
185 static Standard_Integer OCC22980 (Draw_Interpretor& di, Standard_Integer /*argc*/, const char ** /*argv*/)
186 {
187   int aSum = 0;
188
189   //check returned value
190   QCOMPARE (Standard_Atomic_Decrement (&aSum), -1);
191   QCOMPARE (Standard_Atomic_Increment (&aSum), 0);
192   QCOMPARE (Standard_Atomic_Increment (&aSum), 1);
193   QCOMPARE (Standard_Atomic_Increment (&aSum), 2);
194 //  QCOMPARE (Standard_Atomic_DecrementTest (&aSum), 0);
195 //  QCOMPARE (Standard_Atomic_DecrementTest (&aSum), 1);
196
197   //check atomicity 
198   aSum = 0;
199   const int N = 1 << 24; //big enough to ensure concurrency
200
201   //increment
202   OSD_Parallel::For(0, N, IncrementerDecrementer (&aSum, true));
203   QCOMPARE (aSum, N);
204
205   //decrement
206   OSD_Parallel::For(0, N, IncrementerDecrementer (&aSum, false));
207   QCOMPARE (aSum, 0);
208
209   return 0;
210 }
211
212 #include <TDocStd_Application.hxx>
213 #include <TDocStd_Document.hxx>
214 #include <XCAFDoc_ShapeTool.hxx>
215 #include <XCAFDoc_DocumentTool.hxx>
216 #include <TDF_Label.hxx>
217 #include <TDataStd_Name.hxx>
218 #include <DDocStd.hxx>
219
220 static Standard_Integer OCC23595 (Draw_Interpretor& di, Standard_Integer /*argc*/, const char** /*argv*/)
221 {
222   Handle(TDocStd_Application) anApp = DDocStd::GetApplication();
223   Handle(TDocStd_Document) aDoc;
224   anApp->NewDocument ("XmlXCAF", aDoc);
225   QCOMPARE (!aDoc.IsNull(), Standard_True);
226
227   Handle(XCAFDoc_ShapeTool) aShTool = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main());
228
229   //check default value
230   Standard_Boolean aValue = XCAFDoc_ShapeTool::AutoNaming();
231   QCOMPARE (aValue, Standard_True);
232
233   //true
234   XCAFDoc_ShapeTool::SetAutoNaming (Standard_True);
235   TopoDS_Shape aShape = BRepPrimAPI_MakeBox (100., 200., 300.).Shape();
236   TDF_Label aLabel = aShTool->AddShape (aShape);
237   Handle(TDataStd_Name) anAttr;
238   QCOMPARE (aLabel.FindAttribute (TDataStd_Name::GetID(), anAttr), Standard_True);
239
240   //false
241   XCAFDoc_ShapeTool::SetAutoNaming (Standard_False);
242   aShape = BRepPrimAPI_MakeBox (300., 200., 100.).Shape();
243   aLabel = aShTool->AddShape (aShape);
244   QCOMPARE (!aLabel.FindAttribute (TDataStd_Name::GetID(), anAttr), Standard_True);
245
246   //restore
247   XCAFDoc_ShapeTool::SetAutoNaming (aValue);
248
249   return 0;
250 }
251
252 #include <ExprIntrp_GenExp.hxx>
253 Standard_Integer OCC22611 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
254 {
255
256   if (argc != 3) {
257     di << "Usage : " << argv[0] << " string nb\n";
258     return 1;
259   }
260
261   TCollection_AsciiString aToken = argv[1];
262   Standard_Integer aNb = atoi(argv[2]);
263
264   Handle(ExprIntrp_GenExp) aGen = ExprIntrp_GenExp::Create();
265   for (Standard_Integer i=0; i < aNb; i++)
266   {
267     aGen->Process(aToken);
268     Handle(Expr_GeneralExpression) aExpr = aGen->Expression();
269   }
270
271   return 0;
272 }
273
274 Standard_Integer OCC22595 (Draw_Interpretor& di, Standard_Integer /*argc*/, const char ** /*argv*/)
275 {
276   gp_Mat M0;
277   di << "M0 = "
278   << " {" << M0(1,1) << "} {" << M0(1,2) << "} {" << M0(1,3) <<"}"
279   << " {" << M0(2,1) << "} {" << M0(2,2) << "} {" << M0(2,3) <<"}"
280   << " {" << M0(1,1) << "} {" << M0(1,2) << "} {" << M0(1,3) <<"}";
281   return 0;
282 }
283
284 #include <TopoDS_Face.hxx>
285 #include <TopoDS_Face.hxx>
286 #include <TopoDS.hxx>
287 #include <BRepBuilderAPI_Transform.hxx>
288 #include <BRepExtrema_DistShapeShape.hxx>
289 #include <BRepTools.hxx>
290
291 static Standard_Boolean OCC23774Test(const TopoDS_Face& grossPlateFace, const TopoDS_Shape& originalWire, Draw_Interpretor& di)
292 {
293   BRepExtrema_DistShapeShape distShapeShape(grossPlateFace,originalWire,Extrema_ExtFlag_MIN);
294   if(!distShapeShape.IsDone()) {
295     di <<"Distance ShapeShape is Not Done\n";
296     return Standard_False;
297   }
298
299   if(distShapeShape.Value() > 0.01) {
300     di << "Wrong Dist = " <<distShapeShape.Value() << "\n";
301     return Standard_False;
302   } else
303     di << "Dist0 = " <<distShapeShape.Value() <<"\n";
304
305   //////////////////////////////////////////////////////////////////////////
306   /// First Flip Y
307   const gp_Pnt2d axis1P1(1474.8199035519228,1249.9995745636970);
308   const gp_Pnt2d axis1P2(1474.8199035519228,1250.9995745636970);
309
310   gp_Vec2d mirrorVector1(axis1P1,axis1P2);
311
312   gp_Trsf2d mirror1;
313   mirror1.SetMirror(gp_Ax2d(axis1P1,mirrorVector1));
314
315   BRepBuilderAPI_Transform transformer1(mirror1);
316   transformer1.Perform(originalWire);
317   if(!transformer1.IsDone()) {
318     di << "Not Done1 \n";
319     return Standard_False;
320   }
321   TopoDS_Shape step1ModifiedShape = transformer1.ModifiedShape(originalWire);
322   
323   BRepExtrema_DistShapeShape distShapeShape1(grossPlateFace,step1ModifiedShape,Extrema_ExtFlag_MIN);
324   if(!distShapeShape1.IsDone())
325     return Standard_False;
326   if(distShapeShape1.Value() > 0.01) {
327     di << "Dist = " <<distShapeShape1.Value() <<"\n";
328     return Standard_False;
329   } else
330     di << "Dist1 = " <<distShapeShape1.Value() <<"\n";
331
332   //////////////////////////////////////////////////////////////////////////
333   /// Second flip Y
334   transformer1.Perform(step1ModifiedShape);
335   if(!transformer1.IsDone()) {
336     di << "Not Done1 \n";
337     return Standard_False;
338   }
339   TopoDS_Shape step2ModifiedShape = transformer1.ModifiedShape(step1ModifiedShape);
340
341   //This is identity matrix for values but for type is gp_Rotation ?!
342   gp_Trsf2d mirror11 = mirror1;
343   mirror11.PreMultiply(mirror1);
344
345   BRepExtrema_DistShapeShape distShapeShape2(grossPlateFace,step2ModifiedShape);//,Extrema_ExtFlag_MIN);
346   if(!distShapeShape2.IsDone())
347     return Standard_False;
348
349   //This last test case give error (the value is 1008.8822038689706)
350   if(distShapeShape2.Value() > 0.01) {
351     di  << "Wrong Dist2 = " <<distShapeShape2.Value() <<"\n";
352     Standard_Integer N = distShapeShape2.NbSolution();
353     di << "Nb = " <<N <<"\n";
354     for (Standard_Integer i=1;i <= N;i++)
355         di <<"Sol(" <<i<<") = " <<distShapeShape2.PointOnShape1(i).Distance(distShapeShape2.PointOnShape2(i)) <<"\n";
356     return Standard_False;
357   }
358   di << "Distance2 = " <<distShapeShape2.Value() <<"\n";
359  
360   return Standard_True;
361 }
362 static Standard_Integer OCC23774(Draw_Interpretor& di, Standard_Integer n, const char** a)
363
364
365   if (n != 3) {
366         di <<"OCC23774: invalid number of input parameters\n";
367         return 1;
368   }
369
370   const char *ns1 = (a[1]), *ns2 = (a[2]);
371   TopoDS_Shape S1(DBRep::Get(ns1)), S2(DBRep::Get(ns2));
372   if (S1.IsNull() || S2.IsNull()) {
373         di <<"OCC23774: Null input shapes\n";
374         return 1;
375   }
376   const TopoDS_Face& aFace  = TopoDS::Face(S1);
377   if(!OCC23774Test(aFace, S2, di))
378         di << "Something is wrong\n";
379
380  return 0;
381 }
382
383 #include <GeomConvert_ApproxSurface.hxx>
384 #include <Geom_BSplineSurface.hxx>
385 #include <Draw.hxx>
386 #include <OSD_Thread.hxx>
387
388 struct GeomConvertTest_Data
389 {
390   Standard_Integer nbupoles;
391   Handle(Geom_Surface) surf;
392 };
393
394 static Standard_Address GeomConvertTest (Standard_Address data)
395 {
396   GeomConvertTest_Data* info = (GeomConvertTest_Data*)data;
397
398   GeomConvert_ApproxSurface aGAS (info->surf, 1e-4, GeomAbs_C1, GeomAbs_C1, 9, 9, 100, 1);
399   if (!aGAS.IsDone()) {
400     cout << "Error: ApproxSurface is not done!" << endl;
401     return 0;
402   }
403   const Handle(Geom_BSplineSurface)& aBSurf = aGAS.Surface();
404   if (aBSurf.IsNull()) {
405     cout << "Error: BSplineSurface is not created!" << endl;
406     return 0;
407   }
408   cout << "Number of UPoles:" << aBSurf->NbUPoles();
409   if (aBSurf->NbUPoles() == info->nbupoles)
410   {
411     cout << ": OK" << endl;
412     return data; // any non-null pointer
413   }
414   else
415   {
416     cout << ": Error, must be " << info->nbupoles << endl;
417     return 0;
418   }
419 }
420
421 static Standard_Integer OCC23952sweep (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
422 {
423   if (argc != 3) {
424     cout << "Error: invalid number of arguments" << endl;
425     return 1;
426   }
427
428   struct GeomConvertTest_Data aStorage;
429   aStorage.nbupoles = Draw::Atoi(argv[1]); 
430   aStorage.surf = DrawTrSurf::GetSurface(argv[2]);
431   if (aStorage.surf.IsNull())
432   {
433     cout << "Error: " << argv[2] << " is not a DRAW surface!" << endl;
434     return 0;
435   }
436
437   // start conversion in several threads
438   const int NBTHREADS = 100;
439   OSD_Thread aThread[NBTHREADS];
440   for (int i=0; i < NBTHREADS; i++)
441   { 
442     aThread[i].SetFunction (GeomConvertTest);
443     if (!aThread[i].Run(&aStorage))
444       di << "Error: Cannot start thread << " << i << "\n";
445   }
446
447   // check results
448   for (int i=0; i < NBTHREADS; i++)
449   { 
450     Standard_Address aResult = 0;
451     if (!aThread[i].Wait(aResult))
452       di << "Error: Failed waiting for thread << " << i << "\n";
453     if (!aResult) 
454       di << "Error: wrong number of poles in thread " << i << "!\n";
455   }
456
457   return 0;
458 }
459
460 #include <GeomInt_IntSS.hxx>
461
462 struct GeomIntSSTest_Data
463 {
464   Standard_Integer nbsol;
465   Handle(Geom_Surface) surf1, surf2;
466 };
467
468 static Standard_Address GeomIntSSTest (Standard_Address data)
469 {
470   GeomIntSSTest_Data* info = (GeomIntSSTest_Data*)data;
471   GeomInt_IntSS anInter;
472   anInter.Perform (info->surf1, info->surf2, Precision::Confusion(), Standard_True);
473   if (!anInter.IsDone()) {
474     cout << "An intersection is not done!" << endl;
475     return 0;
476   }
477
478   cout << "Number of Lines:" << anInter.NbLines();
479   if (anInter.NbLines() == info->nbsol)
480   {
481     cout << ": OK" << endl;
482     return data; // any non-null pointer
483   }
484   else
485   {
486     cout << ": Error, must be " << info->nbsol << endl;
487     return 0;
488   }
489 }
490
491 static Standard_Integer OCC23952intersect (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
492 {
493   if (argc != 4) {
494     cout << "Error: invalid number of arguments" << endl;
495     return 1;
496   }
497
498   struct GeomIntSSTest_Data aStorage;
499   aStorage.nbsol = Draw::Atoi(argv[1]); 
500   aStorage.surf1 = DrawTrSurf::GetSurface(argv[2]);
501   aStorage.surf2 = DrawTrSurf::GetSurface(argv[3]);
502   if (aStorage.surf1.IsNull() || aStorage.surf2.IsNull())
503   {
504     cout << "Error: Either " << argv[2] << " or " << argv[3] << " is not a DRAW surface!" << endl;
505     return 0;
506   }
507
508   // start conversion in several threads
509   const int NBTHREADS = 100;
510   OSD_Thread aThread[NBTHREADS];
511   for (int i=0; i < NBTHREADS; i++)
512   { 
513     aThread[i].SetFunction (GeomIntSSTest);
514     if (!aThread[i].Run(&aStorage))
515       di << "Error: Cannot start thread << " << i << "\n";
516   }
517
518   // check results
519   for (int i=0; i < NBTHREADS; i++)
520   { 
521     Standard_Address aResult = 0;
522     if (!aThread[i].Wait(aResult))
523       di << "Error: Failed waiting for thread << " << i << "\n";
524     if (!aResult) 
525       di << "Error: wrong number of intersections in thread " << i << "!\n"; 
526   }
527
528   return 0;
529 }
530
531 #include <Geom_SurfaceOfRevolution.hxx> 
532 static Standard_Integer OCC23683 (Draw_Interpretor& di, Standard_Integer argc,const char ** argv)
533 {
534   if (argc < 2) {
535     di<<"Usage: " << argv[0] << " invalid number of arguments\n";
536     return 1;
537   }
538
539   Standard_Integer ucontinuity = 1;
540   Standard_Integer vcontinuity = 1;
541   Standard_Boolean iscnu = false;
542   Standard_Boolean iscnv = false;
543   
544   Handle(Geom_Surface) aSurf = DrawTrSurf::GetSurface(argv[1]);
545
546   QCOMPARE (aSurf->IsCNu (ucontinuity), iscnu);
547   QCOMPARE (aSurf->IsCNv (vcontinuity), iscnv);
548
549   return 0;
550 }
551
552 #include <gp_Ax1.hxx>
553 #include <gp_Ax22d.hxx>
554 #include <Geom_Plane.hxx>
555 #include <Geom2d_Circle.hxx>
556 #include <Geom2d_TrimmedCurve.hxx>
557 #include <BRepBuilderAPI_MakeEdge.hxx>
558 #include <BRepPrimAPI_MakeRevol.hxx>
559 #include <Geom2d_OffsetCurve.hxx>
560
561 static int test_offset(Draw_Interpretor& di, Standard_Integer argc, const char** argv)
562 {
563   // Check the command arguments
564   if ( argc != 1 )
565   {
566     di << "Error: " << argv[0] << " - invalid number of arguments\n";
567     di << "Usage: type help " << argv[0] << "\n";
568     return 1; // TCL_ERROR
569   }
570
571   gp_Ax1 RotoAx( gp::Origin(), gp::DZ() );
572   gp_Ax22d Ax2( gp::Origin2d(), gp::DY2d(), gp::DX2d() );
573   Handle(Geom_Surface) Plane = new Geom_Plane( gp::YOZ() );
574
575   di << "<<<< Preparing sample surface of revolution based on trimmed curve >>>>\n";
576   di << "-----------------------------------------------------------------------\n";
577
578   Handle(Geom2d_Circle) C2d1 = new Geom2d_Circle(Ax2, 1.0);
579   Handle(Geom2d_TrimmedCurve) C2d1Trimmed = new Geom2d_TrimmedCurve(C2d1, 0.0, M_PI/2.0);
580   TopoDS_Edge E1 = BRepBuilderAPI_MakeEdge(C2d1Trimmed, Plane);
581
582   DBRep::Set("e1", E1);
583
584   BRepPrimAPI_MakeRevol aRevolBuilder1(E1, RotoAx);
585   TopoDS_Face F1 = TopoDS::Face( aRevolBuilder1.Shape() );
586
587   DBRep::Set("f1", F1);
588
589   di << "Result: f1\n";
590
591   di << "<<<< Preparing sample surface of revolution based on offset curve  >>>>\n";
592   di << "-----------------------------------------------------------------------\n";
593
594   Handle(Geom2d_OffsetCurve) C2d2Offset = new Geom2d_OffsetCurve(C2d1Trimmed, -0.5);
595   TopoDS_Edge E2 = BRepBuilderAPI_MakeEdge(C2d2Offset, Plane);
596
597   DBRep::Set("e2", E2);
598
599   BRepPrimAPI_MakeRevol aRevolBuilder2(E2, RotoAx);
600   TopoDS_Face F2 = TopoDS::Face( aRevolBuilder2.Shape() );
601
602   DBRep::Set("f2", F2);
603
604   di << "Result: f2\n";
605
606   return 0;
607 }
608
609 #include <Geom_Curve.hxx>
610 #include <Geom_Surface.hxx>
611 #include <Precision.hxx>
612 #include <ShapeConstruct_ProjectCurveOnSurface.hxx>
613 //=======================================================================
614 //function : OCC24008
615 //purpose  : 
616 //=======================================================================
617 static Standard_Integer OCC24008 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
618 {
619   if (argc != 3) {
620     di << "Usage: " << argv[0] << " invalid number of arguments\n";
621     return 1;
622   }
623   Handle(Geom_Curve) aCurve = DrawTrSurf::GetCurve(argv[1]);
624   Handle(Geom_Surface) aSurf = DrawTrSurf::GetSurface(argv[2]);
625   if (aCurve.IsNull()) {
626     di << "Curve was not read\n";
627         return 1;
628   }
629   if (aSurf.IsNull()) {
630         di << "Surface was not read\n";
631         return 1;
632   }
633   ShapeConstruct_ProjectCurveOnSurface aProj;
634   aProj.Init (aSurf, Precision::Confusion());
635   try {
636     Handle(Geom2d_Curve) aPCurve;
637     aProj.Perform (aCurve, aCurve->FirstParameter(), aCurve->LastParameter(), aPCurve);
638     if (aPCurve.IsNull()) {
639           di << "PCurve was not created\n";
640           return 1;
641     }
642   } catch (...) {
643     di << "Exception was caught\n";
644   }
645   return 0;
646 }
647
648 #include <GeomAdaptor_Surface.hxx>
649 #include <Draw.hxx>
650 //=======================================================================
651 //function : OCC23945
652 //purpose  : 
653 //=======================================================================
654
655 static Standard_Integer OCC23945 (Draw_Interpretor& /*di*/,Standard_Integer n, const char** a)
656 {
657   if (n < 5) return 1;
658
659   Handle(Geom_Surface) aS = DrawTrSurf::GetSurface(a[1]);
660   if (aS.IsNull()) return 1;
661
662   GeomAdaptor_Surface GS(aS);
663
664   Standard_Real U = Draw::Atof(a[2]);
665   Standard_Real V = Draw::Atof(a[3]);
666
667   Standard_Boolean DrawPoint = ( n%3 == 2);
668   if ( DrawPoint) n--;
669
670   gp_Pnt P;
671   if (n >= 13) {
672     gp_Vec DU,DV;
673     if (n >= 22) {
674       gp_Vec D2U,D2V,D2UV;
675       GS.D2(U,V,P,DU,DV,D2U,D2V,D2UV);
676       Draw::Set(a[13],D2U.X());
677       Draw::Set(a[14],D2U.Y());
678       Draw::Set(a[15],D2U.Z());
679       Draw::Set(a[16],D2V.X());
680       Draw::Set(a[17],D2V.Y());
681       Draw::Set(a[18],D2V.Z());
682       Draw::Set(a[19],D2UV.X());
683       Draw::Set(a[20],D2UV.Y());
684       Draw::Set(a[21],D2UV.Z());
685     }
686     else
687       GS.D1(U,V,P,DU,DV);
688
689     Draw::Set(a[7],DU.X());
690     Draw::Set(a[8],DU.Y());
691     Draw::Set(a[9],DU.Z());
692     Draw::Set(a[10],DV.X());
693     Draw::Set(a[11],DV.Y());
694     Draw::Set(a[12],DV.Z());
695   }
696   else 
697     GS.D0(U,V,P);
698
699   if ( n > 6) {
700     Draw::Set(a[4],P.X());
701     Draw::Set(a[5],P.Y());
702     Draw::Set(a[6],P.Z());
703   }
704   if ( DrawPoint) {
705     DrawTrSurf::Set(a[n],P);
706   }
707
708   return 0;
709 }
710
711 //=======================================================================
712 //function : OCC11758
713 //purpose  : 
714 //=======================================================================
715 static Standard_Integer OCC11758 (Draw_Interpretor& di, Standard_Integer n, const char**)
716 {
717   if (n != 1) return 1;
718
719   const char* theStr = "0123456789";
720   Standard_Integer i, j;
721   for ( i = 0; i < 5; ++i ) {
722     // TCollection_AsciiString(const Standard_CString astring)
723     TCollection_AsciiString a(theStr+i);
724     // IsEqual (const Standard_CString other)const
725     //assert( a == theStr+i );
726     QCOMPARE ( a , theStr+i );
727
728     //TCollection_AsciiString(const Standard_CString astring,const Standard_Integer aLen )
729     TCollection_AsciiString b(theStr+i, 3);
730     //assert( b.Length() == 3 );
731     //assert( strncmp( b.ToCString(), theStr+i, 3 ) == 0 );
732     //assert( strlen( b.ToCString() ) == 3 );
733     QCOMPARE ( b.Length() , 3 );
734     QCOMPARE ( strncmp( b.ToCString() , theStr+i, 3 ) , 0 );
735     QCOMPARE ( b.Length() , 3 );
736
737     //TCollection_AsciiString(const Standard_Integer aValue)
738     TCollection_AsciiString c(i);
739     //assert( c.IsIntegerValue() );
740     //assert( c.IntegerValue() == i );
741     QCOMPARE ( c.IsIntegerValue() , Standard_True );
742     QCOMPARE ( c.IntegerValue() , i );
743
744     //TCollection_AsciiString(const Standard_Real aValue)
745     TCollection_AsciiString d( 0.1*i );
746     //assert( d.IsRealValue() );
747     //assert( TCollection_AsciiString(3.3) == "3.3");
748     QCOMPARE ( d.IsRealValue() , Standard_True );
749     QCOMPARE ( TCollection_AsciiString(3.3) , "3.3" );
750
751     //TCollection_AsciiString(const TCollection_AsciiString& astring)
752     TCollection_AsciiString e(d);
753     //assert( e == d );
754     //assert( e.Length() == d.Length() );
755     //assert( strcmp( e.ToCString(), d.ToCString() ) == 0 );
756     QCOMPARE ( e ,d  );
757     QCOMPARE ( e.Length() , d.Length() );
758     QCOMPARE ( strcmp( e.ToCString(), d.ToCString() ) , 0 );
759
760     // TCollection_AsciiString(const TCollection_AsciiString& astring ,
761     //                         const Standard_Character other )
762     TCollection_AsciiString f(e,'\a');
763     //assert( f.Length() == e.Length() + 1 );
764     //assert( strncmp( f.ToCString(), e.ToCString(), e.Length() ) == 0 );
765     //assert( f.Value( f.Length() ) == '\a');
766     QCOMPARE ( f.Length() , e.Length() + 1 );
767     QCOMPARE ( strncmp( f.ToCString(), e.ToCString(), e.Length() ) , 0 );
768     QCOMPARE ( f.Value( f.Length() ) , '\a' );
769
770     // TCollection_AsciiString(const TCollection_AsciiString& astring ,
771     //                         const Standard_CString other )
772     TCollection_AsciiString g(f, theStr);
773     //assert( g.Length() == f.Length() + strlen( theStr ));
774     //assert( strncmp( g.ToCString(), f.ToCString(), f.Length() ) == 0 );
775     //assert( g.Search( theStr ) == f.Length() + 1 );
776     QCOMPARE ( g.Length() , f.Length() + (Standard_Integer)strlen( theStr ) );
777     QCOMPARE ( strncmp( g.ToCString(), f.ToCString(), f.Length() ) , 0 );
778     QCOMPARE ( g.Search( theStr ) , f.Length() + 1 );
779
780     // TCollection_AsciiString(const TCollection_AsciiString& astring ,
781     //                         const TCollection_AsciiString& other )
782     TCollection_AsciiString h(d,a);
783     //assert( h.Length() == d.Length() + a.Length() );
784     //assert( strncmp( h.ToCString(), d.ToCString(), d.Length() ) == 0 );
785     //assert( strncmp( h.ToCString() + d.Length(), a.ToCString(), a.Length() ) == 0 );
786     QCOMPARE ( h.Length() , d.Length() + a.Length() );
787     QCOMPARE ( strncmp( h.ToCString(), d.ToCString(), d.Length() ) , 0 );
788     QCOMPARE ( strncmp( h.ToCString() + d.Length(), a.ToCString(), a.Length() ) , 0 );
789
790     // AssignCat(const Standard_CString other)
791     c.AssignCat( a.ToCString() );
792     //assert( c.Length() == 1 + a.Length() );
793     //assert( c.Search( a ) == 2 );
794     QCOMPARE ( c.Length() , 1 + a.Length() );
795     QCOMPARE ( c.Search( a ) , 2 );
796
797     // AssignCat(const TCollection_AsciiString& other)
798     Standard_Integer dl = d.Length();
799     d.AssignCat( a );
800     //assert( d.Length() == dl + a.Length() );
801     //assert( d.Search( a ) == dl + 1 );
802     QCOMPARE ( d.Length() , dl + a.Length() );
803     QCOMPARE ( d.Search( a ) , dl + 1 );
804
805     // Capitalize()
806     TCollection_AsciiString capitalize("aBC");
807     capitalize.Capitalize();
808     //assert( capitalize == "Abc" );
809     QCOMPARE ( capitalize , "Abc" );
810
811     // Copy(const Standard_CString fromwhere)
812     d = theStr+i;
813     //assert( d == theStr+i );
814     QCOMPARE ( d , theStr+i );
815
816     // Copy(const TCollection_AsciiString& fromwhere)
817     d = h;
818     // IsEqual (const TCollection_AsciiString& other)const
819     //assert( d == h );
820     QCOMPARE ( d , h );
821
822     // Insert(const Standard_Integer where, const Standard_CString what)
823     dl = d.Length();
824     d.Insert( 2, theStr );
825     //assert( d.Length() == dl + strlen( theStr ));
826     //assert( strncmp( d.ToCString() + 1, theStr, strlen( theStr )) == 0 );
827     QCOMPARE ( d.Length() , dl + (Standard_Integer)strlen( theStr ) );
828     QCOMPARE ( strncmp( d.ToCString() + 1, theStr, strlen( theStr )) , 0 );
829
830     //Insert(const Standard_Integer where,const Standard_Character what)
831     d = theStr;
832     d.Insert( i+1, 'i' );
833     //assert( d.Length() == strlen( theStr ) + 1 );
834     //assert( d.Value( i+1 ) == 'i');
835     //assert( strcmp( d.ToCString() + i + 1, theStr+i ) == 0 );
836     QCOMPARE ( d.Length() , (Standard_Integer)strlen( theStr ) + 1 );
837     QCOMPARE ( d.Value( i+1 ) , 'i' );
838     QCOMPARE ( strcmp( d.ToCString() + i + 1, theStr+i ) , 0 );
839
840     //Insert(const Standard_Integer where,const TCollection_AsciiString& what)
841     d = theStr;
842     d.Insert( i+1, TCollection_AsciiString( "i" ));
843     //assert( d.Length() == strlen( theStr ) + 1 );
844     //assert( d.Value( i+1 ) == 'i');
845     //assert( strcmp( d.ToCString() + i + 1, theStr+i ) == 0 );
846     QCOMPARE ( d.Length() , (Standard_Integer)strlen( theStr ) + 1 );
847     QCOMPARE ( d.Value( i+1 ) , 'i' );
848     QCOMPARE ( strcmp( d.ToCString() + i + 1, theStr+i ) , 0 );
849
850     // IsDifferent (const Standard_CString other)const
851     //assert( d.IsDifferent( theStr ));
852     //assert( d.IsDifferent( "theStr" ));
853     //assert( d.IsDifferent( "" ));
854     //assert( !d.IsDifferent( d.ToCString() ));
855     QCOMPARE ( d.IsDifferent( theStr ) , Standard_True );
856     QCOMPARE ( d.IsDifferent( "theStr" ) , Standard_True );
857     QCOMPARE ( d.IsDifferent( "" ) , Standard_True );
858     QCOMPARE ( !d.IsDifferent( d.ToCString() ) , Standard_True );
859
860     // IsDifferent (const TCollection_AsciiString& other)const
861     //assert( d.IsDifferent( TCollection_AsciiString() ));
862     //assert( d.IsDifferent( a ));
863     //assert( d.IsDifferent( h ));
864     //assert( !d.IsDifferent( d ));
865     QCOMPARE ( d.IsDifferent( TCollection_AsciiString() ) , Standard_True );
866     QCOMPARE ( d.IsDifferent( a ) , Standard_True );
867     QCOMPARE ( d.IsDifferent( h ) , Standard_True );
868     QCOMPARE ( !d.IsDifferent( d ) , Standard_True );
869
870     // IsLess (const Standard_CString other)const
871     //assert( TCollection_AsciiString ("0"). IsLess("1"));
872     //assert( TCollection_AsciiString ("0"). IsLess("00"));
873     //assert( TCollection_AsciiString ("").  IsLess("0"));
874     //assert( !TCollection_AsciiString("1"). IsLess("0"));
875     //assert( !TCollection_AsciiString("00").IsLess("0"));
876     //assert( !TCollection_AsciiString("0"). IsLess(""));
877     //assert( TCollection_AsciiString (theStr+i).IsLess(theStr+i+1));
878     QCOMPARE ( TCollection_AsciiString ("0"). IsLess("1") , Standard_True );
879     QCOMPARE ( TCollection_AsciiString ("0"). IsLess("00") , Standard_True );
880     QCOMPARE ( TCollection_AsciiString ("").  IsLess("0") , Standard_True );
881     QCOMPARE ( !TCollection_AsciiString("1"). IsLess("0"), Standard_True );
882     QCOMPARE ( !TCollection_AsciiString("00").IsLess("0") , Standard_True );
883     QCOMPARE ( !TCollection_AsciiString("0"). IsLess("") , Standard_True );
884     QCOMPARE ( TCollection_AsciiString (theStr+i).IsLess(theStr+i+1) , Standard_True );
885
886     // IsLess (const TCollection_AsciiString& other)const
887     //assert( TCollection_AsciiString ("0"). IsLess(TCollection_AsciiString("1" )));
888     //assert( TCollection_AsciiString ("0"). IsLess(TCollection_AsciiString("00")));
889     //assert( TCollection_AsciiString ("").  IsLess(TCollection_AsciiString("0" )));
890     //assert( !TCollection_AsciiString("1"). IsLess(TCollection_AsciiString("0" )));
891     //assert( !TCollection_AsciiString("00").IsLess(TCollection_AsciiString("0" )));
892     //assert( !TCollection_AsciiString("0"). IsLess(TCollection_AsciiString(""  )));
893     //assert( TCollection_AsciiString (theStr+i).IsLess(TCollection_AsciiString(theStr+i+1)));
894     QCOMPARE ( TCollection_AsciiString ("0"). IsLess(TCollection_AsciiString("1" )) , Standard_True );
895     QCOMPARE ( TCollection_AsciiString ("0"). IsLess(TCollection_AsciiString("00")) , Standard_True );
896     QCOMPARE ( TCollection_AsciiString ("").  IsLess(TCollection_AsciiString("0" )) , Standard_True );
897     QCOMPARE ( !TCollection_AsciiString("1"). IsLess(TCollection_AsciiString("0" )) , Standard_True );
898     QCOMPARE ( !TCollection_AsciiString("00").IsLess(TCollection_AsciiString("0" )) , Standard_True );
899     QCOMPARE ( !TCollection_AsciiString("0"). IsLess(TCollection_AsciiString(""  )) , Standard_True );
900     QCOMPARE ( TCollection_AsciiString (theStr+i).IsLess(TCollection_AsciiString(theStr+i+1)) , Standard_True );
901
902     // IsGreater (const Standard_CString other)const
903     //assert( !TCollection_AsciiString("0"). IsGreater("1"));
904     //assert( !TCollection_AsciiString("0"). IsGreater("00"));
905     //assert( !TCollection_AsciiString("").  IsGreater("0"));
906     //assert( TCollection_AsciiString ("1"). IsGreater("0"));
907     //assert( TCollection_AsciiString ("00").IsGreater("0"));
908     //assert( TCollection_AsciiString ("0"). IsGreater(""));
909     //assert( TCollection_AsciiString (theStr+i+1).IsGreater(theStr+i));
910     QCOMPARE ( !TCollection_AsciiString("0"). IsGreater("1") , Standard_True );
911     QCOMPARE ( !TCollection_AsciiString("0"). IsGreater("00") , Standard_True );
912     QCOMPARE ( !TCollection_AsciiString("").  IsGreater("0") , Standard_True );
913     QCOMPARE ( TCollection_AsciiString ("1"). IsGreater("0") , Standard_True );
914     QCOMPARE ( TCollection_AsciiString ("00").IsGreater("0") , Standard_True );
915     QCOMPARE ( TCollection_AsciiString ("0"). IsGreater("") , Standard_True );
916     QCOMPARE ( TCollection_AsciiString (theStr+i+1).IsGreater(theStr+i) , Standard_True );
917
918     // IsGreater (const TCollection_AsciiString& other)const
919     //assert( !TCollection_AsciiString("0"). IsGreater(TCollection_AsciiString("1" )));
920     //assert( !TCollection_AsciiString("0"). IsGreater(TCollection_AsciiString("00")));
921     //assert( !TCollection_AsciiString("").  IsGreater(TCollection_AsciiString("0" )));
922     //assert( TCollection_AsciiString ("1"). IsGreater(TCollection_AsciiString("0" )));
923     //assert( TCollection_AsciiString ("00").IsGreater(TCollection_AsciiString("0" )));
924     //assert( TCollection_AsciiString ("0"). IsGreater(TCollection_AsciiString(""  )));
925     //assert( TCollection_AsciiString (theStr+i+1).IsGreater(TCollection_AsciiString(theStr+i)));
926     QCOMPARE ( !TCollection_AsciiString("0"). IsGreater(TCollection_AsciiString("1" )) , Standard_True );
927     QCOMPARE ( !TCollection_AsciiString("0"). IsGreater(TCollection_AsciiString("00")) , Standard_True );
928     QCOMPARE ( !TCollection_AsciiString("").  IsGreater(TCollection_AsciiString("0" )) , Standard_True );
929     QCOMPARE ( TCollection_AsciiString ("1"). IsGreater(TCollection_AsciiString("0" )) , Standard_True );
930     QCOMPARE ( TCollection_AsciiString ("00").IsGreater(TCollection_AsciiString("0" )) , Standard_True );
931     QCOMPARE ( TCollection_AsciiString ("0"). IsGreater(TCollection_AsciiString(""  )) , Standard_True );
932     QCOMPARE ( TCollection_AsciiString (theStr+i+1).IsGreater(TCollection_AsciiString(theStr+i)) , Standard_True );
933
934     // void Read(Standard_IStream& astream)
935     std::istringstream is( theStr );
936     e.Read( is );
937     //assert( e == theStr );
938     QCOMPARE ( e , theStr );
939
940     // Standard_Integer SearchFromEnd (const Standard_CString what)const
941     //assert( e.SearchFromEnd( theStr + i ) == i + 1 );
942     QCOMPARE ( e.SearchFromEnd( theStr + i ) , i + 1 );
943
944     // SetValue(const Standard_Integer where, const Standard_CString what)
945     e.SetValue( i+1, "what");
946     //assert( e.Search( "what" ) == i+1 );
947     //assert( e.Length() == strlen( theStr ));
948     QCOMPARE ( e.Search( "what" ) , i+1 );
949     QCOMPARE ( e.Length() , (Standard_Integer)strlen( theStr ) );
950
951     // TCollection_AsciiString Split (const Standard_Integer where)
952     e = theStr;
953     d = e.Split( i+1 );
954     //assert( d.Length() + e.Length() == strlen( theStr ));
955     QCOMPARE ( d.Length() + e.Length() , (Standard_Integer)strlen( theStr ) );
956
957     // TCollection_AsciiString SubString (const Standard_Integer FromIndex,
958     //                                    const Standard_Integer ToIndex) const
959     e = theStr;
960     d = e.SubString( (unsigned int)i+1, (unsigned int)i+3 );
961     //assert( d.Length() == 3 );
962     //assert( d.Value(1) == theStr[ i ]);
963     QCOMPARE ( d.Length() , 3 );
964     QCOMPARE ( d.Value(1) , theStr[ i ] );
965
966     // TCollection_AsciiString Token (const Standard_CString separators,
967     //                                const Standard_Integer whichone) const
968     e = " ";
969     for ( j = 0; j < i; ++j ) {
970       e += TCollection_AsciiString( theStr[j] ) + " ";
971       //assert( e.Token(" ", j+1 ) == TCollection_AsciiString( theStr+j, 1 ));
972       QCOMPARE ( e.Token(" ", j+1 ) , TCollection_AsciiString( theStr+j, 1 ) );
973     }
974   }
975   for ( i = 0; i < 5; ++i )
976   {
977     // TCollection_ExtendedString (const Standard_CString astring, 
978     //                             const Standard_Boolean isMultiByte) 
979     const TCollection_ExtendedString a( theStr+i );
980     //assert( TCollection_AsciiString( a ) == theStr+i );
981     QCOMPARE ( TCollection_AsciiString( a ) , theStr+i );
982
983     //TCollection_ExtendedString (const Standard_ExtString astring)
984     const TCollection_ExtendedString b( a.ToExtString() );
985     //assert( a == b );
986     QCOMPARE ( a , b );
987
988     // TCollection_ExtendedString (const Standard_Integer      length,
989     //                             const Standard_ExtCharacter filler )
990     const TCollection_ExtendedString c( i, 1 );
991     //assert( c.Length() == i );
992     QCOMPARE ( c.Length() , i );
993     if ( c.Length() > 0 ) {
994       //assert( c.Value( i ) == 1 );
995       QCOMPARE ( c.Value( i ) , 1 );
996     }
997
998     // TCollection_ExtendedString (const Standard_Integer aValue)
999     TCollection_ExtendedString d( i );
1000     const TCollection_AsciiString da( d );
1001     //assert( da.IsIntegerValue() );
1002     //assert( da.IntegerValue() == i );
1003     QCOMPARE ( da.IsIntegerValue() , Standard_True );
1004     QCOMPARE (  da.IntegerValue(), i );
1005
1006     // TCollection_ExtendedString (const Standard_Real aValue)
1007     const TCollection_ExtendedString e( 0.1 * i );
1008     const TCollection_AsciiString ea( e );
1009     //assert( ea.IsRealValue() );
1010     //assert( Abs( ea.RealValue() - 0.1 * i ) < 1e-10 );
1011     QCOMPARE ( ea.IsRealValue() , Standard_True );
1012     QCOMPARE ( Abs( ea.RealValue() - 0.1 * i ) < 1e-10 , Standard_True );
1013
1014     // TCollection_ExtendedString (const TCollection_ExtendedString& astring)
1015     const TCollection_ExtendedString f(e);
1016     //assert( f.Length() == e.Length());
1017     //assert( f == e );
1018     QCOMPARE ( f.Length() , e.Length() );
1019     QCOMPARE ( f , e );
1020
1021     // TCollection_ExtendedString (const TCollection_AsciiString& astring)
1022     const TCollection_ExtendedString g( ea );
1023     //assert( g.Length() == ea.Length() );
1024     //assert( TCollection_AsciiString( g ) == ea );
1025     QCOMPARE ( g.Length() , ea.Length() );
1026     QCOMPARE ( TCollection_AsciiString( g ) , ea );
1027
1028     // AssignCat (const TCollection_ExtendedString& other)
1029     const TCollection_ExtendedString sep(",");
1030     d.AssignCat( sep );
1031     d.AssignCat( g );
1032     //assert( d.Length() == 2 + g.Length() );
1033     //assert( d.Token( sep.ToExtString(), 1 ) == TCollection_ExtendedString( i ));
1034     //assert( d.Token( sep.ToExtString(), 2 ) == g );
1035     QCOMPARE ( d.Length() , 2 + g.Length() );
1036     QCOMPARE ( d.Token( sep.ToExtString(), 1 ) , TCollection_ExtendedString( i ) );
1037     QCOMPARE ( d.Token( sep.ToExtString(), 2 ) , g );
1038
1039     // TCollection_ExtendedString Cat (const TCollection_ExtendedString& other) const
1040     const TCollection_ExtendedString cat = a.Cat( sep );
1041     //assert( cat.Length() == a.Length() + sep.Length() );
1042     //assert( cat.Search( a ) == 1 );
1043     //assert( cat.Search( sep ) == a.Length() + 1 );
1044     QCOMPARE ( cat.Length() , a.Length() + sep.Length() );
1045     QCOMPARE ( cat.Search( a ) , 1 );
1046     QCOMPARE ( cat.Search( sep ) , a.Length() + 1 );
1047
1048     // Copy (const TCollection_ExtendedString& fromwhere)
1049     d = cat;
1050     //assert( d.Length() == cat.Length() );
1051     //assert( d == cat );
1052     QCOMPARE ( d.Length() , cat.Length() );
1053     QCOMPARE ( d , cat );
1054
1055     // IsEqual (const Standard_ExtString other) const
1056     //assert( d.IsEqual( d.ToExtString() ));
1057     QCOMPARE ( d.IsEqual( d.ToExtString() ) , Standard_True );
1058
1059     // IsDifferent (const Standard_ExtString other ) const
1060     //assert( d.IsDifferent( a.ToExtString() ));
1061     QCOMPARE ( d.IsDifferent( a.ToExtString() ) , Standard_True );
1062
1063     // IsDifferent (const TCollection_ExtendedString& other) const
1064     //assert( d.IsDifferent( a ));
1065     QCOMPARE ( d.IsDifferent( a ) , Standard_True );
1066
1067     // IsLess (const Standard_ExtString other) const
1068     const TCollection_ExtendedString l0("0"), l1("1"), l00("00"), l, ls(theStr+i), ls1(theStr+i+1);
1069     //assert( l0. IsLess( l1.ToExtString() ));
1070     //assert( l0. IsLess( l00.ToExtString() ));
1071     //assert( l.  IsLess( l0.ToExtString() ));
1072     //assert( ! l1. IsLess( l0.ToExtString() ));
1073     //assert( ! l00.IsLess( l0.ToExtString() ));
1074     //assert( ! l0. IsLess( l.ToExtString() ));
1075     //assert( ls.IsLess( ls1.ToExtString() ));
1076     QCOMPARE ( l0. IsLess( l1.ToExtString() ) , Standard_True );
1077     QCOMPARE ( l0. IsLess( l00.ToExtString() ) , Standard_True );
1078     QCOMPARE ( l.  IsLess( l0.ToExtString() ) , Standard_True );
1079     QCOMPARE ( ! l1. IsLess( l0.ToExtString() ) , Standard_True );
1080     QCOMPARE ( ! l00.IsLess( l0.ToExtString() ) , Standard_True );
1081     QCOMPARE ( ! l0. IsLess( l.ToExtString() ) , Standard_True );
1082     QCOMPARE ( ls.IsLess( ls1.ToExtString() ) , Standard_True );
1083
1084     // IsLess (const TCollection_ExtendedString& other) const
1085     //assert( l0. IsLess( l1 ));
1086     //assert( l0. IsLess( l00 ));
1087     //assert( l.  IsLess( l0 ));
1088     //assert( ! l1. IsLess( l0 ));
1089     //assert( ! l00.IsLess( l0 ));
1090     //assert( ! l0. IsLess( l ));
1091     //assert( ls.IsLess( ls1 ));
1092     QCOMPARE ( l0. IsLess( l1 ) , Standard_True );
1093     QCOMPARE ( l0. IsLess( l00 ) , Standard_True );
1094     QCOMPARE ( l.  IsLess( l0 ) , Standard_True );
1095     QCOMPARE ( ! l1. IsLess( l0 ) , Standard_True );
1096     QCOMPARE ( ! l00.IsLess( l0 ) , Standard_True );
1097     QCOMPARE ( ! l0. IsLess( l ) , Standard_True );
1098     QCOMPARE ( ls.IsLess( ls1 ) , Standard_True );
1099
1100     // IsGreater (const Standard_ExtString other) const
1101     //assert( ! l0.IsGreater( l1.ToExtString() ));
1102     //assert( ! l0.IsGreater( l00.ToExtString() ));
1103     //assert( ! l. IsGreater( l0.ToExtString() ));
1104     //assert(  l1. IsGreater( l0.ToExtString() ));
1105     //assert(  l00.IsGreater( l0.ToExtString() ));
1106     //assert(  l0. IsGreater( l.ToExtString() ));
1107     //assert(  ls1.IsGreater( ls.ToExtString() ));
1108     QCOMPARE ( ! l0.IsGreater( l1.ToExtString() ) , Standard_True );
1109     QCOMPARE ( ! l0.IsGreater( l00.ToExtString() ) , Standard_True );
1110     QCOMPARE ( ! l. IsGreater( l0.ToExtString() ) , Standard_True );
1111     QCOMPARE ( l1. IsGreater( l0.ToExtString() ) , Standard_True );
1112     QCOMPARE ( l00.IsGreater( l0.ToExtString() ) , Standard_True );
1113     QCOMPARE ( l0. IsGreater( l.ToExtString() ) , Standard_True );
1114     QCOMPARE ( ls1.IsGreater( ls.ToExtString() ) ,Standard_True  );
1115
1116     // IsGreater (const TCollection_ExtendedString& other) const
1117     //assert( ! l0.IsGreater( l1));
1118     //assert( ! l0.IsGreater( l00));
1119     //assert( ! l. IsGreater( l0));
1120     //assert(  l1. IsGreater( l0));
1121     //assert(  l00.IsGreater( l0));
1122     //assert(  l0. IsGreater( l));
1123     //assert(  ls1.IsGreater( ls));
1124     QCOMPARE ( ! l0.IsGreater( l1) , Standard_True );
1125     QCOMPARE ( ! l0.IsGreater( l00) , Standard_True );
1126     QCOMPARE ( ! l. IsGreater( l0) , Standard_True );
1127     QCOMPARE ( l1. IsGreater( l0) , Standard_True );
1128     QCOMPARE ( l00.IsGreater( l0) , Standard_True );
1129     QCOMPARE ( l0. IsGreater( l) , Standard_True );
1130     QCOMPARE ( ls1.IsGreater( ls) , Standard_True );
1131
1132     // ==========================
1133     //TCollection_HAsciiString::
1134     // ==========================
1135
1136     // IsDifferent(const Handle(TCollection_HAsciiString)& S)
1137     Handle(TCollection_HAsciiString) ha1 = new TCollection_HAsciiString( theStr+i );
1138     Handle(TCollection_HAsciiString) ha2 = new TCollection_HAsciiString( theStr+i+1 );
1139     //assert( ha1->IsDifferent( ha2 ));
1140     //assert( !ha1->IsDifferent( ha1 ));
1141     QCOMPARE ( ha1->IsDifferent( ha2 ) , Standard_True );
1142     QCOMPARE ( !ha1->IsDifferent( ha1 ) , Standard_True );
1143
1144     // IsSameString (const Handle(TCollection_HAsciiString)& S)
1145     //assert( !ha1->IsSameString( ha2 ));
1146     //assert( ha1->IsSameString( ha1 ));
1147     QCOMPARE ( !ha1->IsSameString( ha2 ) , Standard_True );
1148     QCOMPARE ( ha1->IsSameString( ha1 ) , Standard_True );
1149
1150     // IsSameState (const Handle(TCollection_HAsciiString)& other) const
1151     //assert( !ha1->IsSameState( ha2 ));
1152     //assert( ha1->IsSameState( ha1 ));
1153     QCOMPARE ( !ha1->IsSameState( ha2 ) , Standard_True );
1154     QCOMPARE ( ha1->IsSameState( ha1 ) , Standard_True );
1155
1156     // IsSameString (const Handle(TCollection_HAsciiString)& S ,
1157     //               const Standard_Boolean CaseSensitive) const
1158     //assert( !ha1->IsSameString( ha2, true ));
1159     //assert( ha1->IsSameString( ha1, true ));
1160     //assert( !ha1->IsSameString( ha2, false ));
1161     //assert( ha1->IsSameString( ha1, false ));
1162     QCOMPARE ( !ha1->IsSameString( ha2, Standard_True ) , Standard_True );
1163     QCOMPARE ( ha1->IsSameString( ha1, Standard_True ) , Standard_True );
1164     QCOMPARE ( !ha1->IsSameString( ha2, Standard_False ) , Standard_True );
1165     QCOMPARE ( ha1->IsSameString( ha1, Standard_False ) , Standard_True );
1166
1167     ha1->SetValue( 1, "AbC0000000");
1168     ha2->SetValue( 1, "aBc0000000");
1169     //assert( !ha1->IsSameString( ha2, true ));
1170     //assert( ha1->IsSameString( ha2, false ));
1171     QCOMPARE ( !ha1->IsSameString( ha2, Standard_True ) , Standard_True );
1172     QCOMPARE (  ha1->IsSameString( ha2, Standard_False ), Standard_True );
1173   }
1174   return 0;
1175 }
1176
1177 #include <Geom_CylindricalSurface.hxx>
1178 #include <IntTools_FaceFace.hxx>
1179 #include <IntTools_Curve.hxx>
1180 #include <IntTools_PntOn2Faces.hxx>
1181
1182 static Standard_Integer OCC24005 (Draw_Interpretor& theDI, Standard_Integer theNArg, const char** theArgv) 
1183 {
1184   if(theNArg < 2)
1185   {
1186     theDI << "Wrong a number of arguments!\n";
1187     return 1;
1188   }
1189
1190   Handle(Geom_Plane) plane(new Geom_Plane(
1191                                   gp_Ax3( gp_Pnt(-72.948737453424499, 754.30437716359393, 259.52151854671678),
1192                                   gp_Dir(6.2471473085930200e-007, -0.99999999999980493, 0.00000000000000000),
1193                                   gp_Dir(0.99999999999980493, 6.2471473085930200e-007, 0.00000000000000000))));
1194   Handle(Geom_CylindricalSurface) cylinder(
1195                   new Geom_CylindricalSurface(
1196                                   gp_Ax3(gp_Pnt(-6.4812490053250649, 753.39408794522092, 279.16400974257465),
1197                                   gp_Dir(1.0000000000000000, 0.0, 0.00000000000000000),
1198                                   gp_Dir(0.0, 1.0000000000000000, 0.00000000000000000)),
1199                                                                                           19.712534607908712));
1200
1201   DrawTrSurf::Set("pln", plane);
1202   theDI << "pln\n";
1203   DrawTrSurf::Set("cyl", cylinder);
1204   theDI << "cyl\n";
1205
1206   BRep_Builder builder;
1207   TopoDS_Face face1, face2;
1208   builder.MakeFace(face1, plane, Precision::Confusion());
1209   builder.MakeFace(face2, cylinder, Precision::Confusion());
1210   IntTools_FaceFace anInters;
1211   anInters.SetParameters(false, true, true, Precision::Confusion());
1212   anInters.Perform(face1, face2);
1213
1214   if (!anInters.IsDone())
1215   {
1216     theDI<<"No intersections found!\n";
1217
1218     return 1;
1219   }
1220
1221   //Handle(Geom_Curve) aResult;
1222   //gp_Pnt             aPoint;
1223
1224   const IntTools_SequenceOfCurves& aCvsX=anInters.Lines();
1225   const IntTools_SequenceOfPntOn2Faces& aPntsX=anInters.Points();
1226
1227   char buf[1024];  
1228   Standard_Integer aNbCurves, aNbPoints;
1229
1230   aNbCurves=aCvsX.Length();
1231   aNbPoints=aPntsX.Length();
1232
1233   if (aNbCurves >= 2)
1234   {
1235     for (Standard_Integer i=1; i<=aNbCurves; ++i)
1236     {
1237       Sprintf(buf, "%s_%d",theArgv[1],i);
1238       theDI << buf << " ";
1239       
1240       const IntTools_Curve& aIC = aCvsX(i);
1241       const Handle(Geom_Curve)& aC3D= aIC.Curve();
1242       DrawTrSurf::Set(buf,aC3D);
1243     }
1244   }
1245   else if (aNbCurves == 1)
1246   {
1247     const IntTools_Curve& aIC = aCvsX(1);
1248     const Handle(Geom_Curve)& aC3D= aIC.Curve();
1249     Sprintf(buf, "%s",theArgv[1]);
1250     theDI << buf << " ";
1251     DrawTrSurf::Set(buf,aC3D);
1252   }
1253
1254   for (Standard_Integer i = 1; i<=aNbPoints; ++i)
1255   {
1256     const IntTools_PntOn2Faces& aPi=aPntsX(i);
1257     const gp_Pnt& aP=aPi.P1().Pnt();
1258     
1259     Sprintf(buf,"%s_p_%d",theArgv[1],i);
1260     theDI << buf << " ";
1261     DrawTrSurf::Set(buf, aP);
1262   }
1263
1264   return 0;
1265 }
1266
1267 #include <BRepAlgo_NormalProjection.hxx>
1268 static Standard_Integer OCC24012 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv) 
1269 {
1270         if (argc != 3) {
1271                 di << "Usage : " << argv[0] << " should be 2 arguments (face and edge)";
1272                 return 1;
1273         }
1274         
1275         Handle(AIS_InteractiveContext) myAISContext = ViewerTest::GetAISContext();
1276         if(myAISContext.IsNull()) {
1277                 di << "use 'vinit' command before " << argv[0] << "\n";
1278                 return 1;
1279         }
1280
1281         TopoDS_Face m_Face1 = TopoDS::Face(DBRep::Get(argv[1]));
1282         TopoDS_Edge m_Edge = TopoDS::Edge(DBRep::Get(argv[2]));
1283         
1284         BRepAlgo_NormalProjection anormpro(m_Face1);
1285     anormpro.Add(m_Edge);
1286     anormpro.SetDefaultParams();
1287
1288     //anormpro.Compute3d();
1289     //anormpro.SetLimit();
1290
1291     anormpro.Build();
1292
1293     if (anormpro.IsDone())
1294     {
1295         TopoDS_Shape rshape = anormpro.Projection();
1296                 Handle(AIS_InteractiveObject) myShape = new AIS_Shape (rshape);
1297                 myAISContext->SetColor (myShape, Quantity_Color(Quantity_NOC_YELLOW), Standard_False);
1298                 myAISContext->Display (myShape, Standard_True);
1299     }
1300
1301         return 0;
1302 }
1303
1304 #include <BRepFeat_SplitShape.hxx>
1305 #include <ShapeAnalysis_ShapeContents.hxx>
1306 #include <BRepAlgo.hxx>
1307 static Standard_Integer OCC24086 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv) 
1308 {
1309         if (argc != 3) {
1310                 di << "Usage : " << argv[0] << " should be 2 arguments (face and wire)";
1311                 return 1;
1312         }
1313         
1314         Handle(AIS_InteractiveContext) myAISContext = ViewerTest::GetAISContext();
1315         if(myAISContext.IsNull()) {
1316                 di << "use 'vinit' command before " << argv[0] << "\n";
1317                 return 1;
1318         }
1319         
1320         TopoDS_Shape result;
1321         TopoDS_Face face = TopoDS::Face(DBRep::Get(argv[1]));
1322         TopoDS_Wire wire = TopoDS::Wire(DBRep::Get(argv[2]));
1323     
1324         BRepFeat_SplitShape asplit(face);
1325         asplit.Add(wire, face);
1326         asplit.Build();
1327     result = asplit.Shape();
1328     ShapeAnalysis_ShapeContents ana;
1329     ana.Perform(result);
1330     ana.NbFaces();
1331
1332         if (!(BRepAlgo::IsValid(result))) {
1333                 di << "Result was checked and it is INVALID\n";
1334         } else {
1335                 di << "Result was checked and it is VALID\n";
1336         }
1337         
1338         Handle(AIS_InteractiveObject) myShape = new AIS_Shape (result);
1339         myAISContext->Display(myShape, Standard_True);
1340
1341         return 0;
1342 }
1343
1344 #include <Geom_Circle.hxx>
1345 #include <GeomAdaptor_Curve.hxx>
1346 #include <Extrema_ExtPC.hxx>
1347 #include <gp_Cylinder.hxx>
1348 #include <ElSLib.hxx>
1349 static Standard_Integer OCC24945 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
1350 {
1351   if (argc != 1) {
1352     di << "Usage: " << argv[0] << " invalid number of arguments\n";
1353     return 1;
1354   }
1355
1356   gp_Pnt aP3D( -1725.97, 843.257, -4.22741e-013 );
1357   gp_Ax2 aAxis( gp_Pnt( 0, 843.257, 0 ), gp_Dir( 0, -1, 0 ), gp::DX() );
1358   Handle(Geom_Circle) aCircle = new Geom_Circle( aAxis, 1725.9708621929999 );
1359   GeomAdaptor_Curve aC3D( aCircle );
1360
1361   Extrema_ExtPC aExtPC( aP3D, aC3D );
1362   //Standard_Real aParam = (aExtPC.Point(1)).Parameter();
1363   gp_Pnt aProj = (aExtPC.Point(1)).Value();
1364   di << "Projected point: X = " << aProj.X() << "; Y = " << aProj.Y() << "; Z = " << aProj.Z() << "\n";
1365
1366   // Result of deviation
1367   gp_Ax2 aCylAxis( gp_Pnt( 0, 2103.87, 0 ), -gp::DY(), -gp::DX() );
1368   gp_Cylinder aCylinder( aCylAxis, 1890. );
1369
1370   Standard_Real aU = 0., aV = 0.;
1371   ElSLib::Parameters( aCylinder, aProj, aU, aV );
1372   di << "Parameters on cylinder: U = " << aU << "; V = " << aV << "\n";
1373   
1374   return 0;
1375 }
1376
1377 #include <Extrema_FuncPSNorm.hxx>
1378 #include <math_FunctionSetRoot.hxx>
1379 #include <math_Vector.hxx>
1380 #include <BRepBuilderAPI_MakeVertex.hxx>
1381 static Standard_Integer OCC24137 (Draw_Interpretor& theDI, Standard_Integer theNArg, const char** theArgv) 
1382 {
1383   Standard_Integer anArgIter = 1;
1384   if (theNArg < 5)
1385     {
1386       theDI <<"Usage: " << theArgv[0] << " face vertex U V [N]\n";
1387       return 1;
1388     }
1389
1390   // get target shape
1391   Standard_CString aFaceName = theArgv[anArgIter++];
1392   Standard_CString aVertName = theArgv[anArgIter++];
1393   const TopoDS_Shape aShapeF = DBRep::Get (aFaceName);
1394   const TopoDS_Shape aShapeV = DBRep::Get (aVertName);
1395   const Standard_Real aUFrom = Atof (theArgv[anArgIter++]);
1396   const Standard_Real aVFrom = Atof (theArgv[anArgIter++]);
1397   const Standard_Integer aNbIts = (anArgIter < theNArg) ? atol (theArgv[anArgIter++]) : 100;
1398   if (aShapeF.IsNull() || aShapeF.ShapeType() != TopAbs_FACE)
1399     {
1400       std::cout << "Error: " << aFaceName << " shape is null / not a face" << std::endl;
1401       return 1;
1402     }
1403   if (aShapeV.IsNull() || aShapeV.ShapeType() != TopAbs_VERTEX)
1404     {
1405       std::cout << "Error: " << aVertName << " shape is null / not a vertex" << std::endl;
1406       return 1;
1407     }
1408   const TopoDS_Face   aFace = TopoDS::Face   (aShapeF);
1409   const TopoDS_Vertex aVert = TopoDS::Vertex (aShapeV);
1410   GeomAdaptor_Surface aSurf (BRep_Tool::Surface (aFace));
1411
1412   gp_Pnt aPnt = BRep_Tool::Pnt (aVert), aRes;
1413
1414   Extrema_FuncPSNorm    anExtFunc;
1415   math_FunctionSetRoot aRoot (anExtFunc, aNbIts);
1416
1417   math_Vector aTolUV (1, 2), aUVinf  (1, 2), aUVsup  (1, 2), aFromUV (1, 2);
1418   aTolUV (1) =  Precision::Confusion(); aTolUV (2) =  Precision::Confusion();
1419   aUVinf (1) = -Precision::Infinite();  aUVinf (2) = -Precision::Infinite();
1420   aUVsup (1) =  Precision::Infinite();  aUVsup (2) =  Precision::Infinite();
1421   aFromUV(1) =  aUFrom; aFromUV(2) = aVFrom;
1422
1423   anExtFunc.Initialize (aSurf);
1424   anExtFunc.SetPoint (aPnt);
1425   aRoot.SetTolerance (aTolUV);
1426   aRoot.Perform (anExtFunc, aFromUV, aUVinf, aUVsup);
1427   if (!aRoot.IsDone())
1428     {
1429       std::cerr << "No results!\n";
1430       return 1;
1431     }
1432
1433   theDI << aRoot.Root()(1) << " " << aRoot.Root()(2) << "\n";
1434   
1435   aSurf.D0 (aRoot.Root()(1), aRoot.Root()(2), aRes);
1436   DBRep::Set ("result", BRepBuilderAPI_MakeVertex (aRes));
1437   return 0;
1438 }
1439
1440 //! Check boolean operations on NCollection_Map
1441 static Standard_Integer OCC24271 (Draw_Interpretor& di,
1442                                   Standard_Integer  /*theArgNb*/,
1443                                   const char**      /*theArgVec*/)
1444 {
1445   // input data
1446   const Standard_Integer aLeftLower  = 1;
1447   const Standard_Integer aLeftUpper  = 10;
1448   const Standard_Integer aRightLower = 5;
1449   const Standard_Integer aRightUpper = 15;
1450
1451   // define arguments
1452   NCollection_Map<Standard_Integer> aMapLeft;
1453   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter <= aLeftUpper; ++aKeyIter)
1454   {
1455     aMapLeft.Add (aKeyIter);
1456   }
1457
1458   NCollection_Map<Standard_Integer> aMapRight;
1459   for (Standard_Integer aKeyIter = aRightLower; aKeyIter <= aRightUpper; ++aKeyIter)
1460   {
1461     aMapRight.Add (aKeyIter);
1462   }
1463
1464   QCOMPARE (aMapLeft .Contains (aMapRight), Standard_False);
1465   QCOMPARE (aMapRight.Contains (aMapLeft),  Standard_False);
1466
1467   // validate Union operation
1468   NCollection_Map<Standard_Integer> aMapUnion;
1469   aMapUnion.Union (aMapLeft, aMapRight);
1470   QCOMPARE (aMapUnion.Extent(), aRightUpper - aLeftLower + 1);
1471   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter <= aRightUpper; ++aKeyIter)
1472   {
1473     QCOMPARE (aMapUnion.Contains (aKeyIter), Standard_True);
1474   }
1475
1476   // validate Intersection operation
1477   NCollection_Map<Standard_Integer> aMapSect;
1478   aMapSect.Intersection (aMapLeft, aMapRight);
1479   QCOMPARE (aMapSect.Extent(), aLeftUpper - aRightLower + 1);
1480   for (Standard_Integer aKeyIter = aRightLower; aKeyIter <= aLeftUpper; ++aKeyIter)
1481   {
1482     QCOMPARE (aMapSect.Contains (aKeyIter), Standard_True);
1483   }
1484   QCOMPARE (aMapLeft .Contains (aMapSect), Standard_True);
1485   QCOMPARE (aMapRight.Contains (aMapSect), Standard_True);
1486
1487   // validate Substruction operation
1488   NCollection_Map<Standard_Integer> aMapSubsLR;
1489   aMapSubsLR.Subtraction (aMapLeft, aMapRight);
1490   QCOMPARE (aMapSubsLR.Extent(), aRightLower - aLeftLower);
1491   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter < aRightLower; ++aKeyIter)
1492   {
1493     QCOMPARE (aMapSubsLR.Contains (aKeyIter), Standard_True);
1494   }
1495
1496   NCollection_Map<Standard_Integer> aMapSubsRL;
1497   aMapSubsRL.Subtraction (aMapRight, aMapLeft);
1498   QCOMPARE (aMapSubsRL.Extent(), aRightUpper - aLeftUpper);
1499   for (Standard_Integer aKeyIter = aLeftUpper + 1; aKeyIter < aRightUpper; ++aKeyIter)
1500   {
1501     QCOMPARE (aMapSubsRL.Contains (aKeyIter), Standard_True);
1502   }
1503
1504   // validate Difference operation
1505   NCollection_Map<Standard_Integer> aMapDiff;
1506   aMapDiff.Difference (aMapLeft, aMapRight);
1507   QCOMPARE (aMapDiff.Extent(), aRightLower - aLeftLower + aRightUpper - aLeftUpper);
1508   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter < aRightLower; ++aKeyIter)
1509   {
1510     QCOMPARE (aMapDiff.Contains (aKeyIter), Standard_True);
1511   }
1512   for (Standard_Integer aKeyIter = aLeftUpper + 1; aKeyIter < aRightUpper; ++aKeyIter)
1513   {
1514     QCOMPARE (aMapDiff.Contains (aKeyIter), Standard_True);
1515   }
1516
1517   // validate Exchange operation
1518   NCollection_Map<Standard_Integer> aMapSwap;
1519   aMapSwap.Exchange (aMapSect);
1520   for (Standard_Integer aKeyIter = aRightLower; aKeyIter <= aLeftUpper; ++aKeyIter)
1521   {
1522     QCOMPARE (aMapSwap.Contains (aKeyIter), Standard_True);
1523   }
1524   QCOMPARE (aMapSect.IsEmpty(), Standard_True);
1525   aMapSwap.Add (34);
1526   aMapSect.Add (43);
1527
1528   NCollection_Map<Standard_Integer> aMapCopy (aMapSwap);
1529   QCOMPARE (aMapCopy.IsEqual (aMapSwap), Standard_True);
1530   aMapCopy.Remove (34);
1531   aMapCopy.Add    (43);
1532   QCOMPARE (aMapCopy.IsEqual (aMapSwap), Standard_False);
1533
1534   return 0;
1535 }
1536
1537 #define QVERIFY(val1) \
1538   di << "Checking " #val1 " == Standard_True" << \
1539         ((val1) == Standard_True ? ": OK\n" : ": Error\n")
1540
1541 #include <GeomInt_IntSS.hxx>
1542 #include <Geom_ConicalSurface.hxx>
1543 #include <Standard_ErrorHandler.hxx>
1544
1545 namespace {
1546   static Handle(Geom_ConicalSurface) CreateCone (const gp_Pnt& theLoc,
1547                                                  const gp_Dir& theDir,
1548                                                  const gp_Dir& theXDir,
1549                                                  const Standard_Real theRad,
1550                                                  const Standard_Real theSin,
1551                                                  const Standard_Real theCos)
1552   {
1553     const Standard_Real anA = atan (theSin / theCos);
1554     gp_Ax3 anAxis (theLoc, theDir, theXDir);
1555     Handle(Geom_ConicalSurface) aSurf = new Geom_ConicalSurface (anAxis, anA, theRad);
1556     return aSurf;
1557   }
1558 }
1559
1560 static Standard_Integer OCC23972(Draw_Interpretor& /*theDI*/,
1561                                  Standard_Integer theNArg, const char** theArgs)
1562 {
1563   if (theNArg != 3) return 1;
1564
1565   //process specific cones, cannot read them from files because 
1566   //due to rounding the original error in math_FunctionRoots gets hidden
1567   const Handle(Geom_Surface) aS1 = CreateCone(
1568                               gp_Pnt(123.694345356663, 789.9, 68.15),
1569                               gp_Dir(-1, 3.48029791472957e-016, -8.41302743359754e-017),
1570                               gp_Dir(-3.48029791472957e-016, -1, -3.17572289932207e-016),
1571                               3.28206830417112,
1572                               0.780868809443031,
1573                               0.624695047554424);
1574   const Handle(Geom_Surface) aS2 = CreateCone(
1575                               gp_Pnt(123.694345356663, 784.9, 68.15),
1576                               gp_Dir(-1, -2.5209507537117e-016, -1.49772808948866e-016),
1577                               gp_Dir(1.49772808948866e-016, 3.17572289932207e-016, -1),
1578                               3.28206830417112,
1579                               0.780868809443031,
1580                               0.624695047554424);
1581   
1582   DrawTrSurf::Set(theArgs[1], aS1);
1583   DrawTrSurf::Set(theArgs[2], aS2);
1584
1585   return 0;
1586 }
1587
1588 #include <ShapeFix_EdgeProjAux.hxx>
1589 static Standard_Integer OCC24370 (Draw_Interpretor& di, Standard_Integer argc,const char ** argv)
1590 {
1591   if (argc < 5) {
1592     di<<"Usage: " << argv[0] << " invalid number of arguments\n";
1593     return 1;
1594   }
1595
1596   TopoDS_Shape aSh = DBRep::Get(argv[1]);
1597   if (aSh.IsNull()) {
1598     di << argv[0] << " Error: Null input edge\n";
1599     return 1;
1600   }
1601   const TopoDS_Edge& anEdge = TopoDS::Edge (aSh);
1602
1603   Handle(Geom2d_Curve) aC = DrawTrSurf::GetCurve2d(argv[2]);
1604   if (aC.IsNull()) {
1605     di << argv[0] << " Error: Null input curve\n";
1606     return 1;
1607   }
1608
1609   Handle(Geom_Surface) aS = DrawTrSurf::GetSurface(argv[3]);
1610   if (aS.IsNull()) {
1611     di << argv[0] << " Error: Null input surface\n";
1612     return 1;
1613   }
1614
1615   Standard_Real prec = Draw::Atof(argv[4]);
1616   
1617   //prepare data
1618   TopoDS_Face aFace;
1619   BRep_Builder aB;
1620   aB.MakeFace (aFace, aS, Precision::Confusion());
1621   aB.UpdateEdge (anEdge, aC, aFace, Precision::Confusion());
1622   aB.Range (anEdge, aFace, aC->FirstParameter(), aC->LastParameter());
1623
1624   //call algorithm
1625   ShapeFix_EdgeProjAux aProj (aFace, anEdge);
1626   aProj.Compute (prec);
1627   
1628   Standard_Boolean isfirstdone = aProj.IsFirstDone();
1629   Standard_Boolean islastdone = aProj.IsLastDone();
1630
1631   Standard_Real first = 0.;
1632   Standard_Real last = 0.;
1633   Standard_Integer isfirstdoneInteger = 0;
1634   Standard_Integer islastdoneInteger = 0;
1635
1636
1637   if (isfirstdone) {
1638     first = aProj.FirstParam();
1639     isfirstdoneInteger = 1;
1640   }
1641  
1642   if (islastdone) {
1643     last= aProj.LastParam();
1644     islastdoneInteger = 1;
1645   }
1646
1647   di << isfirstdoneInteger << " "<< islastdoneInteger << " "<< first << " "<< last << " \n";
1648
1649   return 0;
1650 }
1651
1652 template<typename T, typename HT>
1653 static void DoIsNull(Draw_Interpretor& di)
1654 {
1655   HT aHandle;
1656   //    QVERIFY (aHandle.IsNull());
1657   QCOMPARE (aHandle.IsNull(), Standard_True);
1658   const T* p = aHandle.get();
1659 #if OCC_VERSION_HEX > 0x060700
1660   //QVERIFY (!p);
1661   //QVERIFY (p == 0);
1662   QCOMPARE (!p, Standard_True);
1663   QCOMPARE (p == 0, Standard_True);
1664 #endif
1665
1666   aHandle = new T;
1667   //QVERIFY (!aHandle.IsNull());
1668   QCOMPARE (!aHandle.IsNull(), Standard_True);
1669   p = aHandle.get();
1670   //QVERIFY (p);
1671   //QVERIFY (p != 0);
1672   QCOMPARE (p != NULL, Standard_True);
1673   QCOMPARE (p != 0, Standard_True);
1674 }
1675
1676 //=======================================================================
1677 //function : OCC24533
1678 //purpose  : 
1679 //=======================================================================
1680 static Standard_Integer OCC24533 (Draw_Interpretor& di, Standard_Integer n, const char**)
1681 {
1682   if (n != 1) return 1;
1683
1684   DoIsNull<Standard_Transient, Handle(Standard_Transient)>(di);
1685
1686   return 0;
1687 }
1688
1689 // Dummy class to test interface for compilation issues
1690 class QABugs_HandleClass : public Standard_Transient
1691 {
1692 public:
1693   Standard_Integer HandleProc (Draw_Interpretor& , Standard_Integer  , const char** theArgVec)
1694   {
1695     std::cerr << "QABugs_HandleClass[" << this << "] " << theArgVec[0] << "\n";
1696     return 0;
1697   }
1698   DEFINE_STANDARD_RTTI_INLINE(QABugs_HandleClass,Standard_Transient) // Type definition
1699 };
1700 DEFINE_STANDARD_HANDLE    (QABugs_HandleClass, Standard_Transient)
1701
1702
1703 // Dummy class to test interface for compilation issues
1704 struct QABugs_NHandleClass
1705 {
1706   Standard_Integer NHandleProc (Draw_Interpretor& , Standard_Integer  , const char** theArgVec)
1707   {
1708     std::cerr << "QABugs_NHandleClass[" << this << "] " << theArgVec[0] << "\n";
1709     return 0;
1710   }
1711 };
1712
1713 #include <XCAFDoc_ColorTool.hxx>
1714 #include <STEPControl_StepModelType.hxx>
1715 #include <STEPCAFControl_Writer.hxx>
1716 static Standard_Integer OCC23951 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
1717 {
1718   if (argc != 2) {
1719     di << "Usage: " << argv[0] << " invalid number of arguments\n";
1720     return 1;
1721   }
1722   Handle(TDocStd_Document) aDoc = new TDocStd_Document("dummy");;
1723   TopoDS_Shape s1 = BRepPrimAPI_MakeBox(1,1,1).Shape();
1724   TDF_Label lab1 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape();
1725   XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->SetShape(lab1, s1);
1726   TDataStd_Name::Set(lab1, "Box1");
1727         
1728   Quantity_Color yellow(1,1,0, Quantity_TOC_RGB);
1729   XCAFDoc_DocumentTool::ColorTool (aDoc->Main())->SetColor(lab1, yellow, XCAFDoc_ColorGen);
1730   XCAFDoc_DocumentTool::ColorTool(aDoc->Main())->SetVisibility(lab1, 0);
1731
1732   STEPControl_StepModelType mode = STEPControl_AsIs;
1733   STEPCAFControl_Writer writer;
1734   if ( ! writer.Transfer (aDoc, mode ) )
1735   {
1736     di << "The document cannot be translated or gives no result"  <<  "\n";
1737     return 1;
1738   }
1739
1740   writer.Write(argv[1]);
1741   return 0;
1742 }
1743
1744
1745 //=======================================================================
1746 //function : OCC23950
1747 //purpose  :
1748 //=======================================================================
1749 static Standard_Integer OCC23950 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
1750 {
1751   if (argc != 2) {
1752     di << "Usage : " << argv[0] << " step_file\n";
1753     return 1;
1754   }
1755
1756   Handle(TDocStd_Document) aDoc = new TDocStd_Document ("dummy");
1757   TopoDS_Shape s6 = BRepBuilderAPI_MakeVertex (gp_Pnt (75, 0, 0));
1758   gp_Trsf t0;
1759   TopLoc_Location location0 (t0);
1760
1761   TDF_Label lab1 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape ();
1762   XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->SetShape (lab1, s6);
1763   TDataStd_Name::Set(lab1, "Point1");
1764
1765   TDF_Label labelA0 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape ();
1766   TDataStd_Name::Set(labelA0, "ASSEMBLY");
1767
1768   TDF_Label component01 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->AddComponent (labelA0, lab1, location0);
1769   XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->UpdateAssemblies();
1770
1771   Quantity_Color yellow(1,1,0, Quantity_TOC_RGB);
1772   XCAFDoc_DocumentTool::ColorTool (labelA0)->SetColor (component01, yellow, XCAFDoc_ColorGen);
1773   XCAFDoc_DocumentTool::ColorTool (labelA0)->SetVisibility (component01, 0);
1774
1775   STEPControl_StepModelType mode = STEPControl_AsIs;
1776   STEPCAFControl_Writer writer;
1777   if (! writer.Transfer (aDoc, mode))
1778   {
1779     di << "The document cannot be translated or gives no result\n";
1780     return 1;
1781   }
1782
1783   writer.Write (argv[1]);
1784   return 0;
1785 }
1786
1787 //=======================================================================
1788 //function : OCC24667
1789 //purpose  : 
1790 //=======================================================================
1791 static Standard_Integer OCC24667 (Draw_Interpretor& di, Standard_Integer n, const char** a)
1792 {
1793   if (n == 1)
1794   {
1795     di << "OCC24667 result Wire_spine Profile [Mode [Approx]]\n";
1796     di << "Mode = 0 - CorrectedFrenet,\n";
1797     di << "     = 1 - Frenet,\n";
1798     di << "     = 2 - DiscreteTrihedron\n";
1799     di << "Approx - force C1-approximation if result is C0\n";
1800     return 0;
1801   }
1802
1803   if (n > 1 && n < 4) return 1;
1804
1805   TopoDS_Shape Spine = DBRep::Get(a[2],TopAbs_WIRE);
1806   if ( Spine.IsNull()) return 1;
1807
1808   TopoDS_Shape Profile = DBRep::Get(a[3]);
1809   if ( Profile.IsNull()) return 1;
1810
1811   GeomFill_Trihedron Mode = GeomFill_IsCorrectedFrenet;
1812   if (n >= 5)
1813   {
1814     Standard_Integer iMode = atoi(a[4]);
1815     if (iMode == 1)
1816       Mode = GeomFill_IsFrenet;
1817     else if (iMode == 2)
1818       Mode = GeomFill_IsDiscreteTrihedron;
1819   }
1820
1821   Standard_Boolean ForceApproxC1 = Standard_False;
1822   if (n >= 6)
1823     ForceApproxC1 = Standard_True;
1824
1825   BRepOffsetAPI_MakePipe aPipe(TopoDS::Wire(Spine),
1826                                           Profile,
1827                                           Mode,
1828                                           ForceApproxC1);
1829
1830   TopoDS_Shape S = aPipe.Shape();
1831   TopoDS_Shape aSF = aPipe.FirstShape();
1832   TopoDS_Shape aSL = aPipe.LastShape();
1833
1834   DBRep::Set(a[1],S);
1835
1836   TCollection_AsciiString aStrF(a[1], "_f");
1837   TCollection_AsciiString aStrL(a[1], "_l");
1838
1839   DBRep::Set(aStrF.ToCString(), aSF);
1840   DBRep::Set(aStrL.ToCString(), aSL);
1841
1842   return 0;
1843 }
1844
1845 #include <BRepPrimAPI_MakeCylinder.hxx>
1846 #include <BRepBuilderAPI_Copy.hxx>
1847 #include <BRepTools_NurbsConvertModification.hxx>
1848 static TopoDS_Shape CreateTestShape (int& theShapeNb)
1849 {
1850   TopoDS_Compound aComp;
1851   BRep_Builder aBuilder;
1852   aBuilder.MakeCompound (aComp);
1853   //NURBS modifier is used to increase footprint of each shape
1854   Handle(BRepTools_NurbsConvertModification) aNurbsModif = new BRepTools_NurbsConvertModification;
1855   TopoDS_Shape aRefShape = BRepPrimAPI_MakeCylinder (50., 100.).Solid();
1856   BRepTools_Modifier aModifier (aRefShape, aNurbsModif);
1857   if (aModifier.IsDone()) {
1858     aRefShape = aModifier.ModifiedShape (aRefShape);
1859   }
1860   int aSiblingNb = 0;
1861   for (; theShapeNb > 0; --theShapeNb) {
1862     TopoDS_Shape aShape;
1863     if (++aSiblingNb <= 100) { //number of siblings is limited to avoid long lists
1864                 aShape = BRepBuilderAPI_Copy (aRefShape, Standard_True /*CopyGeom*/).Shape();
1865     } else {
1866       aShape = CreateTestShape (theShapeNb);
1867     }
1868     aBuilder.Add (aComp, aShape);
1869   }
1870   return aComp;
1871 }
1872
1873 #include <TDataStd_Integer.hxx>
1874 #include <TNaming_Builder.hxx>
1875 static Standard_Integer OCC24931 (Draw_Interpretor& di, Standard_Integer argc, const char** argv)
1876 {
1877   if (argc != 2) {
1878     di << "Usage: " << argv[0] << " invalid number of arguments\n";
1879     return 1;
1880   }
1881   TCollection_ExtendedString aFileName (argv[1]);
1882   PCDM_StoreStatus aSStatus  = PCDM_SS_Failure;
1883
1884   Handle(TDocStd_Application) anApp = DDocStd::GetApplication();
1885   {
1886     Handle(TDocStd_Document) aDoc;
1887     anApp->NewDocument ("XmlOcaf", aDoc);
1888     TDF_Label aLab = aDoc->Main();
1889     TDataStd_Integer::Set (aLab, 0);
1890     int n = 10000; //must be big enough
1891     TopoDS_Shape aShape = CreateTestShape (n);
1892     TNaming_Builder aBuilder (aLab);
1893     aBuilder.Generated (aShape);
1894
1895     aSStatus = anApp->SaveAs (aDoc, aFileName);
1896     anApp->Close (aDoc);
1897   }
1898   QCOMPARE (aSStatus, PCDM_SS_OK);
1899   return 0;
1900 }
1901
1902 #include <TDF_AttributeIterator.hxx>
1903 //=======================================================================
1904 //function : OCC24755
1905 //purpose  : 
1906 //=======================================================================
1907 static Standard_Integer OCC24755 (Draw_Interpretor& di, Standard_Integer n, const char** a)
1908 {
1909   if (n != 1)
1910   {
1911     std::cout << "Usage : " << a[0] << "\n";
1912     return 1;
1913   }
1914
1915   Handle(TDocStd_Application) anApp = DDocStd::GetApplication();
1916   Handle(TDocStd_Document) aDoc;
1917   anApp->NewDocument ("BinOcaf", aDoc);
1918   TDF_Label aLab = aDoc->Main();
1919   // Prepend an int value.
1920   TDataStd_Integer::Set (aLab, 0);
1921   // Prepend a name.
1922   TDataStd_Name::Set (aLab, "test");
1923   // Append a double value.
1924   aLab.AddAttribute(new TDataStd_Real(), true/*append*/);
1925
1926   TDF_AttributeIterator i (aLab);
1927   Handle(TDF_Attribute) anAttr = i.Value();
1928   QCOMPARE (anAttr->IsKind (STANDARD_TYPE (TDataStd_Integer)), Standard_True);
1929   i.Next();
1930   anAttr = i.Value();
1931   QCOMPARE (anAttr->IsKind (STANDARD_TYPE (TDataStd_Name)), Standard_True);
1932   i.Next();
1933   anAttr = i.Value();
1934   QCOMPARE (anAttr->IsKind (STANDARD_TYPE (TDataStd_Real)), Standard_True);
1935
1936   return 0;
1937 }
1938
1939 struct MyStubObject
1940 {
1941   MyStubObject() : ptr(0L) {}
1942   MyStubObject(void* thePtr) : ptr(thePtr) {}
1943   char overhead[40];
1944   void* ptr;
1945 };
1946
1947 //=======================================================================
1948 //function : OCC24834
1949 //purpose  : 
1950 //=======================================================================
1951 static Standard_Integer OCC24834 (Draw_Interpretor& di, Standard_Integer n, const char** a)
1952 {
1953   if (n != 1)
1954   {
1955     std::cout << "Usage : " << a[0] << "\n";
1956     return 1;
1957   }
1958
1959   int i = sizeof (char*);  
1960   if (i > 4) {
1961     std::cout << "64-bit architecture is not supported.\n";
1962     return 0;
1963   }
1964
1965   NCollection_List<MyStubObject> aList;
1966   const Standard_Integer aSmallBlockSize = 40;
1967   const Standard_Integer aLargeBlockSize = 1500000;
1968
1969   // quick populate memory with large blocks
1970   try
1971   {
1972     for (;;)
1973     {
1974       aList.Append(MyStubObject(Standard::Allocate(aLargeBlockSize)));
1975     }
1976   }
1977   catch (Standard_Failure)
1978   {
1979     di << "caught out of memory for large blocks: OK\n";
1980   }
1981   catch (...)
1982   {
1983     di << "skept out of memory for large blocks: Error\n";
1984   }
1985
1986   // allocate small blocks
1987   try
1988   {
1989     for (;;)
1990     {
1991       aList.Append(MyStubObject(Standard::Allocate(aSmallBlockSize)));
1992     }
1993   }
1994   catch (Standard_Failure)
1995   {
1996     di << "caught out of memory for small blocks: OK\n";
1997   }
1998   catch (...)
1999   {
2000     di << "skept out of memory for small blocks: Error\n";
2001   }
2002
2003   // release all allocated blocks
2004   for (NCollection_List<MyStubObject>::Iterator it(aList); it.More(); it.Next())
2005   {
2006     Standard::Free(it.Value().ptr);
2007   }
2008   return 0;
2009 }
2010
2011
2012 #include <Geom2dAPI_InterCurveCurve.hxx>
2013 #include <IntRes2d_IntersectionPoint.hxx>
2014 //=======================================================================
2015 //function : OCC24889
2016 //purpose  : 
2017 //=======================================================================
2018 static Standard_Integer OCC24889 (Draw_Interpretor& theDI,
2019                                   Standard_Integer /*theNArg*/,
2020                                   const char** /*theArgs*/)
2021 {
2022  // Curves
2023   Handle( Geom2d_Circle ) aCircle1 = new Geom2d_Circle(
2024     gp_Ax22d( gp_Pnt2d( 25, -25 ), gp_Dir2d( 1, 0 ), gp_Dir2d( -0, 1 ) ), 155 );
2025
2026   Handle( Geom2d_Circle ) aCircle2 = new Geom2d_Circle(
2027     gp_Ax22d( gp_Pnt2d( 25, 25 ), gp_Dir2d( 1, 0 ), gp_Dir2d( -0, 1 ) ), 155 );
2028
2029   Handle( Geom2d_TrimmedCurve ) aTrim[2] = {
2030     new Geom2d_TrimmedCurve( aCircle1, 1.57079632679490, 2.97959469729228 ),
2031     new Geom2d_TrimmedCurve( aCircle2, 3.30359060633978, 4.71238898038469 )
2032   };
2033
2034   DrawTrSurf::Set("c_1", aTrim[0]);
2035   DrawTrSurf::Set("c_2", aTrim[1]);
2036
2037   // Intersection
2038   const Standard_Real aTol = Precision::Confusion();
2039   Geom2dAPI_InterCurveCurve aIntTool( aTrim[0], aTrim[1], aTol );
2040
2041   const IntRes2d_IntersectionPoint& aIntPnt =
2042     aIntTool.Intersector().Point( 1 );
2043
2044   gp_Pnt2d aIntRes = aIntTool.Point( 1 );
2045   Standard_Real aPar[2] = {
2046     aIntPnt.ParamOnFirst(),
2047     aIntPnt.ParamOnSecond()
2048   };
2049
2050   //theDI.precision( 5 );
2051   theDI << "Int point: X = " << aIntRes.X() << "; Y = " << aIntRes.Y() << "\n";
2052   for (int i = 0; i < 2; ++i)
2053   {
2054     theDI << "Curve " << i << ": FirstParam = " << aTrim[i]->FirstParameter() <<
2055       "; LastParam = " << aTrim[i]->LastParameter() <<
2056       "; IntParameter = " << aPar[i] << "\n";
2057   }
2058
2059   return 0;
2060 }
2061
2062 #include <math_GlobOptMin.hxx>
2063 #include <math_MultipleVarFunctionWithHessian.hxx>
2064 //=======================================================================
2065 //function : OCC25004
2066 //purpose  : Check extremaCC on Branin function.
2067 //=======================================================================
2068 // Function is:
2069 // f(u,v) = a*(v - b*u^2 + c*u-r)^2+s(1-t)*cos(u)+s
2070 // Standard borders are:
2071 // -5 <= u <= 10
2072 //  0 <= v <= 15
2073 class BraninFunction : public math_MultipleVarFunctionWithHessian
2074 {
2075 public:
2076   BraninFunction()
2077   {
2078     a = 1.0;
2079     b = 5.1 / (4.0 * M_PI * M_PI);
2080     c = 5.0 / M_PI;
2081     r = 6.0;
2082     s = 10.0;
2083     t = 1.0 / (8.0 *  M_PI);
2084   }
2085   virtual Standard_Integer NbVariables() const
2086   {
2087     return 2;
2088   }
2089   virtual Standard_Boolean Value(const math_Vector& X,Standard_Real& F)
2090   {
2091     Standard_Real u = X(1);
2092     Standard_Real v = X(2);
2093
2094     Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function.
2095     Standard_Real aLnPt = s * (1 - t) * cos(u); // Linear part of funcrtion.
2096     F = a * aSqPt * aSqPt + aLnPt + s;
2097     return Standard_True;
2098   }
2099   virtual Standard_Boolean Gradient(const math_Vector& X,math_Vector& G)
2100   {
2101     Standard_Real u = X(1);
2102     Standard_Real v = X(2);
2103
2104     Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function.
2105     G(1) = 2 * a * aSqPt * (c - 2 * b * u) - s * (1 - t) * sin(u);
2106     G(2) = 2 * a * aSqPt;
2107
2108     return Standard_True;
2109   }
2110   virtual Standard_Boolean Values(const math_Vector& X,Standard_Real& F,math_Vector& G)
2111   {
2112     Value(X,F);
2113     Gradient(X,G);
2114
2115     return Standard_True;
2116   }
2117   virtual Standard_Boolean Values(const math_Vector& X,Standard_Real& F,math_Vector& G,math_Matrix& H)
2118   {
2119     Value(X,F);
2120     Gradient(X,G);
2121
2122     Standard_Real u = X(1);
2123     Standard_Real v = X(2);
2124
2125     Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function.
2126     Standard_Real aTmpPt = c - 2 * b *u; // Tmp part.
2127     H(1,1) = 2 * a * aTmpPt * aTmpPt - 4 * a * b * aSqPt - s * (1 - t) * cos(u);
2128     H(1,2) = 2 * a * aTmpPt;
2129     H(2,1) = H(1,2);
2130     H(2,2) = 2 * a;
2131
2132     return Standard_True;
2133   }
2134
2135 private:
2136   // Standard parameters.
2137   Standard_Real a, b, c, r, s, t;
2138 };
2139
2140 static Standard_Integer OCC25004 (Draw_Interpretor& theDI,
2141                                   Standard_Integer /*theNArg*/,
2142                                   const char** /*theArgs*/)
2143 {
2144   BraninFunction aFunc;
2145
2146   math_Vector aLower(1,2), aUpper(1,2);
2147   aLower(1) = -5;
2148   aLower(2) =  0;
2149   aUpper(1) = 10;
2150   aUpper(2) = 15;
2151
2152   Standard_Integer aGridOrder = 16;
2153   math_Vector aFuncValues(1, aGridOrder * aGridOrder);
2154
2155   Standard_Real aLipConst = 0;
2156   math_Vector aCurrPnt1(1, 2), aCurrPnt2(1, 2);
2157
2158   // Get Lipshitz constant estimation on regular grid.
2159   Standard_Integer i, j, idx = 1;
2160   for(i = 1; i <= aGridOrder; i++)
2161   {
2162     for(j = 1; j <= aGridOrder; j++)
2163     {
2164       aCurrPnt1(1) = aLower(1) + (aUpper(1) - aLower(1)) * (i - 1) / (aGridOrder - 1.0);
2165       aCurrPnt1(2) = aLower(2) + (aUpper(2) - aLower(2)) * (j - 1) / (aGridOrder - 1.0);
2166
2167       aFunc.Value(aCurrPnt1, aFuncValues(idx));
2168       idx++;
2169     }
2170   }
2171
2172   Standard_Integer k, l;
2173   Standard_Integer idx1, idx2;
2174   for(i = 1; i <= aGridOrder; i++)
2175   for(j = 1; j <= aGridOrder; j++)
2176   for(k = 1; k <= aGridOrder; k++)
2177   for(l = 1; l <= aGridOrder; l++)
2178     {
2179       if (i == k && j == l) 
2180         continue;
2181
2182       aCurrPnt1(1) = aLower(1) + (aUpper(1) - aLower(1)) * (i - 1) / (aGridOrder - 1.0);
2183       aCurrPnt1(2) = aLower(2) + (aUpper(2) - aLower(2)) * (j - 1) / (aGridOrder - 1.0);
2184       idx1 = (i - 1) * aGridOrder + j;
2185
2186       aCurrPnt2(1) = aLower(1) + (aUpper(1) - aLower(1)) * (k - 1) / (aGridOrder - 1.0);
2187       aCurrPnt2(2) = aLower(2) + (aUpper(2) - aLower(2)) * (l - 1) / (aGridOrder - 1.0);
2188       idx2 = (k - 1) * aGridOrder + l;
2189
2190       aCurrPnt1.Add(-aCurrPnt2);
2191       Standard_Real dist = aCurrPnt1.Norm();
2192
2193       Standard_Real C = Abs(aFuncValues(idx1) - aFuncValues(idx2)) / dist;
2194       if (C > aLipConst)
2195         aLipConst = C;
2196     }
2197
2198   math_GlobOptMin aFinder(&aFunc, aLower, aUpper, aLipConst);
2199   aFinder.Perform();
2200   //(-pi , 12.275), (pi , 2.275), (9.42478, 2.475)
2201
2202   Standard_Real anExtValue = aFinder.GetF();
2203   theDI << "F = " << anExtValue << "\n";
2204
2205   Standard_Integer aNbExt = aFinder.NbExtrema();
2206   theDI << "NbExtrema = " << aNbExt << "\n";
2207
2208   return 0;
2209 }
2210
2211 #include <OSD_Environment.hxx>
2212 #include <Plugin.hxx>
2213 #include <Plugin_Macro.hxx>
2214 #include <Resource_Manager.hxx>
2215
2216 #define THE_QATEST_DOC_FORMAT       "My Proprietary Format"
2217
2218 #define QA_CHECK(theDesc, theExpr, theValue) \
2219 {\
2220   const bool isTrue = !!(theExpr); \
2221   std::cout << theDesc << (isTrue ? " TRUE  " : " FALSE ") << (isTrue == theValue ? " is OK\n" : " is FAIL\n"); \
2222 }
2223
2224 class Test_TDocStd_Application : public TDocStd_Application
2225 {
2226 public:
2227
2228   Test_TDocStd_Application ()
2229   {
2230     // explicitly initialize resource manager
2231     myResources = new Resource_Manager ("");
2232     myResources->SetResource ("xml.FileFormat", THE_QATEST_DOC_FORMAT);
2233     myResources->SetResource (THE_QATEST_DOC_FORMAT ".Description",     "Test XML Document");
2234     myResources->SetResource (THE_QATEST_DOC_FORMAT ".FileExtension",   "xml");
2235   }
2236
2237   virtual Handle(PCDM_Reader) ReaderFromFormat (const TCollection_ExtendedString&) Standard_OVERRIDE
2238   {
2239     return new XmlDrivers_DocumentRetrievalDriver ();
2240   }
2241   virtual Handle(PCDM_StorageDriver) WriterFromFormat (const TCollection_ExtendedString&) Standard_OVERRIDE
2242   {
2243     return new XmlDrivers_DocumentStorageDriver ("Test");
2244   }
2245   virtual Standard_CString ResourcesName() Standard_OVERRIDE { return ""; }
2246 };
2247
2248 //=======================================================================
2249 //function : OCC24925
2250 //purpose  :
2251 //=======================================================================
2252 static Standard_Integer OCC24925 (Draw_Interpretor& theDI,
2253                                   Standard_Integer  theArgNb,
2254                                   const char**      theArgVec)
2255 {
2256   if (theArgNb != 2
2257    && theArgNb != 5)
2258   {
2259     std::cout << "Error: wrong syntax! See usage:\n";
2260     theDI.PrintHelp (theArgVec[0]);
2261     return 1;
2262   }
2263
2264   Standard_Integer anArgIter = 1;
2265   TCollection_ExtendedString aFileName = theArgVec[anArgIter++];
2266   TCollection_AsciiString    aPlugin   = "TKXml";
2267   TCollection_AsciiString    aSaver    = "03a56820-8269-11d5-aab2-0050044b1af1"; // XmlStorageDriver   in XmlDrivers.cxx
2268   TCollection_AsciiString    aLoader   = "03a56822-8269-11d5-aab2-0050044b1af1"; // XmlRetrievalDriver in XmlDrivers.cxx
2269   if (anArgIter < theArgNb)
2270   {
2271     aPlugin = theArgVec[anArgIter++];
2272     aSaver  = theArgVec[anArgIter++];
2273     aLoader = theArgVec[anArgIter++];
2274   }
2275
2276   PCDM_StoreStatus  aSStatus = PCDM_SS_Failure;
2277   PCDM_ReaderStatus aRStatus = PCDM_RS_OpenError;
2278
2279   Handle(TDocStd_Application) anApp = new Test_TDocStd_Application ();
2280   {
2281     Handle(TDocStd_Document) aDoc;
2282     anApp->NewDocument (THE_QATEST_DOC_FORMAT, aDoc);
2283     TDF_Label aLab = aDoc->Main();
2284     TDataStd_Integer::Set (aLab, 0);
2285     TDataStd_Name::Set (aLab, "QABugs_19.cxx");
2286
2287     aSStatus = anApp->SaveAs (aDoc, aFileName);
2288     anApp->Close (aDoc);
2289   }
2290   QA_CHECK ("SaveAs()", aSStatus == PCDM_SS_OK, true);
2291
2292   {
2293     Handle(TDocStd_Document) aDoc;
2294     aRStatus = anApp->Open (aFileName, aDoc);
2295     anApp->Close (aDoc);
2296   }
2297   QA_CHECK ("Open()  ", aRStatus == PCDM_RS_OK, true);
2298   return 0;
2299 }
2300
2301 //=======================================================================
2302 //function : OCC25043
2303 //purpose  :
2304 //=======================================================================
2305 #include <BRepAlgoAPI_Check.hxx>
2306 static Standard_Integer OCC25043 (Draw_Interpretor& theDI,
2307                                   Standard_Integer  theArgNb,
2308                                   const char**      theArgVec)
2309 {
2310   if (theArgNb != 2) {
2311     theDI << "Usage: " << theArgVec[0] << " shape\n";
2312     return 1;
2313   }
2314   
2315   TopoDS_Shape aShape = DBRep::Get(theArgVec[1]);
2316   if (aShape.IsNull()) 
2317   {
2318     theDI << theArgVec[1] << " shape is NULL\n";
2319     return 1;
2320   }
2321   
2322   BRepAlgoAPI_Check  anAlgoApiCheck(aShape, Standard_True, Standard_True);
2323
2324   if (!anAlgoApiCheck.IsValid())
2325   {
2326     BOPAlgo_ListIteratorOfListOfCheckResult anCheckIter(anAlgoApiCheck.Result());
2327     for (; anCheckIter.More(); anCheckIter.Next())
2328     {
2329       const BOPAlgo_CheckResult& aCurCheckRes = anCheckIter.Value();
2330       const TopTools_ListOfShape& aCurFaultyShapes = aCurCheckRes.GetFaultyShapes1();
2331       TopTools_ListIteratorOfListOfShape aFaultyIter(aCurFaultyShapes);
2332       for (; aFaultyIter.More(); aFaultyIter.Next())
2333       {
2334         const TopoDS_Shape& aFaultyShape = aFaultyIter.Value();
2335         
2336         Standard_Boolean anIsFaultyShapeFound = Standard_False;
2337         TopExp_Explorer anExp(aShape, aFaultyShape.ShapeType());
2338         for (; anExp.More() && !anIsFaultyShapeFound; anExp.Next())
2339         {
2340           if (anExp.Current().IsEqual(aFaultyShape))
2341             anIsFaultyShapeFound = Standard_True;
2342         }
2343         
2344         if (!anIsFaultyShapeFound)
2345         {
2346           theDI << "Error. Faulty Shape is NOT found in source shape.\n";
2347           return 0;
2348         }
2349         else 
2350         {
2351           theDI << "Info. Faulty shape is found in source shape\n";
2352         }
2353       }
2354     }
2355   }
2356   else 
2357   {
2358     theDI << "Problems are not detected. Test is not performed.";
2359   }
2360
2361   return 0;
2362 }
2363
2364 //=======================================================================
2365 //function : OCC24606
2366 //purpose  :
2367 //=======================================================================
2368 static Standard_Integer OCC24606 (Draw_Interpretor& theDI,
2369                                   Standard_Integer  theArgNb,
2370                                   const char**      theArgVec)
2371 {
2372   if (theArgNb > 1)
2373   {
2374     std::cerr << "Error: incorrect number of arguments.\n";
2375     theDI << "Usage : " << theArgVec[0] << "\n";
2376     return 1;
2377   }
2378
2379   Handle(V3d_View) aView = ViewerTest::CurrentView();
2380   if (aView.IsNull())
2381   {
2382     std::cerr << "Errro: no active view, please call 'vinit'.\n";
2383     return 1;
2384   }
2385
2386   aView->DepthFitAll();
2387   aView->FitAll();
2388
2389   return 0;
2390 }
2391
2392 //=======================================================================
2393 //function : OCC25202
2394 //purpose  :
2395 //=======================================================================
2396 #include <ShapeBuild_ReShape.hxx>
2397 static Standard_Integer OCC25202 ( Draw_Interpretor& theDI,
2398                                    Standard_Integer theArgN,
2399                                    const char** theArgVal)
2400 {
2401   //  0      1    2     3     4     5     6 
2402   //reshape res shape numF1 face1 numF2 face2
2403   if(theArgN < 7)
2404     {
2405       theDI << "Use: reshape res shape numF1 face1 numF2 face2\n";
2406       return 1;
2407     }
2408
2409   TopoDS_Shape aShape = DBRep::Get(theArgVal[2]);
2410   const Standard_Integer  aNumOfRE1 = Draw::Atoi(theArgVal[3]),
2411                           aNumOfRE2 = Draw::Atoi(theArgVal[5]);
2412   TopoDS_Face aShapeForRepl1 = TopoDS::Face(DBRep::Get(theArgVal[4])),
2413               aShapeForRepl2 = TopoDS::Face(DBRep::Get(theArgVal[6]));
2414
2415   if(aShape.IsNull())
2416   {
2417     theDI << theArgVal[2] << " is null shape\n";
2418     return 1;
2419   }
2420
2421   if(aShapeForRepl1.IsNull())
2422   {
2423     theDI << theArgVal[4] << " is not a replaced type\n";
2424     return 1;
2425   }
2426
2427   if(aShapeForRepl2.IsNull())
2428   {
2429     theDI << theArgVal[6] << " is not a replaced type\n";
2430     return 1;
2431   }
2432
2433
2434   TopoDS_Shape aReplacedShape;
2435   ShapeBuild_ReShape aReshape;
2436
2437   //////////////////// explode (begin)
2438   TopTools_MapOfShape M;
2439   M.Add(aShape);
2440   Standard_Integer aNbShapes = 0;
2441   for (TopExp_Explorer ex(aShape,TopAbs_FACE); ex.More(); ex.Next())
2442     {
2443       const TopoDS_Shape& Sx = ex.Current();
2444       Standard_Boolean added = M.Add(Sx);
2445       if (added)
2446         {
2447           aNbShapes++;
2448           if(aNbShapes == aNumOfRE1)
2449             {
2450               aReplacedShape = Sx;
2451
2452               aReshape.Replace(aReplacedShape, aShapeForRepl1);
2453             }
2454
2455           if(aNbShapes == aNumOfRE2)
2456             {
2457               aReplacedShape = Sx;
2458
2459               aReshape.Replace(aReplacedShape, aShapeForRepl2);
2460             }
2461         }
2462     }
2463   //////////////////// explode (end)
2464
2465   if(aReplacedShape.IsNull())
2466     {
2467       theDI << "There is not any shape for replacing.\n";
2468     }
2469
2470   DBRep::Set (theArgVal[1],aReshape.Apply (aShape,TopAbs_WIRE,2));
2471
2472   return 0;
2473 }
2474
2475 #include <ShapeFix_Wireframe.hxx>
2476 //=======================================================================
2477 //function : OCC7570
2478 //purpose  : 
2479 //=======================================================================
2480 static Standard_Integer OCC7570 (Draw_Interpretor& di, Standard_Integer n, const char** a)
2481 {
2482   if (n != 2) {
2483     di<<"Usage: "<<a[0]<<" invalid number of arguments\n";
2484     return 1;
2485   }
2486   TopoDS_Shape in_shape (DBRep::Get (a[1]));
2487   ShapeFix_Wireframe fix_tool (in_shape);
2488   fix_tool.ModeDropSmallEdges () = Standard_True;
2489   fix_tool.SetPrecision (1.e+6);
2490   fix_tool.SetLimitAngle (0.01);
2491   fix_tool.FixSmallEdges ();
2492   TopoDS_Shape new_shape = fix_tool.Shape ();
2493   return 0;
2494 }
2495
2496 #include <AIS_TypeFilter.hxx>
2497 //=======================================================================
2498 //function : OCC25340
2499 //purpose  : 
2500 //=======================================================================
2501 static Standard_Integer OCC25340 (Draw_Interpretor& /*theDI*/,
2502                                  Standard_Integer  /*theArgNb*/,
2503                                  const char** /*theArgVec*/)
2504 {
2505   Handle(AIS_InteractiveContext) aCtx = ViewerTest::GetAISContext();
2506   if (aCtx.IsNull())
2507   {
2508     std::cerr << "Error: No opened viewer!\n";
2509     return 1;
2510   }
2511   Handle(AIS_TypeFilter) aFilter = new AIS_TypeFilter (AIS_KOI_Shape);
2512   aCtx->AddFilter (aFilter);
2513   return 0;
2514 }
2515
2516 //=======================================================================
2517 //function : OCC24826
2518 //purpose  :
2519 //=======================================================================
2520 class ParallelTest_Saxpy
2521 {
2522 public:
2523   //! Constructor
2524   ParallelTest_Saxpy (const NCollection_Array1<Standard_Real>& theX,
2525                       NCollection_Array1<Standard_Real>& theY,
2526                       Standard_Real theScalar)
2527   : myX (theX), myY (theY), myScalar (theScalar) {}
2528
2529   int Begin() const { return 0; }
2530   int End()   const { return myX.Size(); }
2531
2532   //! Dummy calculation
2533   void operator() (Standard_Integer theIndex) const
2534   {
2535     myY(theIndex) = myScalar * myX(theIndex) + myY(theIndex);
2536   }
2537
2538   //! Dummy calculation
2539   void operator() (Standard_Integer theThreadIndex, Standard_Integer theIndex) const
2540   {
2541     (void )theThreadIndex;
2542     myY(theIndex) = myScalar * myX(theIndex) + myY(theIndex);
2543   }
2544
2545 private:
2546   ParallelTest_Saxpy( const ParallelTest_Saxpy& );
2547   ParallelTest_Saxpy& operator =( ParallelTest_Saxpy& );
2548
2549 protected:
2550   const NCollection_Array1<Standard_Real>& myX;
2551   NCollection_Array1<Standard_Real>& myY;
2552   const Standard_Real myScalar;
2553 };
2554
2555 class ParallelTest_SaxpyBatch : private ParallelTest_Saxpy
2556 {
2557 public:
2558   static const Standard_Integer THE_BATCH_SIZE = 10000000;
2559
2560   ParallelTest_SaxpyBatch (const NCollection_Array1<Standard_Real>& theX,
2561                            NCollection_Array1<Standard_Real>& theY,
2562                            Standard_Real theScalar)
2563   : ParallelTest_Saxpy (theX, theY, theScalar),
2564     myNbBatches ((int )Ceiling ((double )theX.Size() / THE_BATCH_SIZE)) {}
2565
2566   int Begin() const { return 0; }
2567   int End()   const { return myNbBatches; }
2568
2569   void operator() (int theBatchIndex) const
2570   {
2571     const int aLower  = theBatchIndex * THE_BATCH_SIZE;
2572     const int anUpper = Min (aLower + THE_BATCH_SIZE - 1, myX.Upper());
2573     for (int i = aLower; i <= anUpper; ++i)
2574     {
2575       myY(i) = myScalar * myX(i) + myY(i);
2576     }
2577   }
2578
2579   void operator() (int theThreadIndex, int theBatchIndex) const
2580   {
2581     (void )theThreadIndex;
2582     (*this)(theBatchIndex);
2583   }
2584 private:
2585   int myNbBatches;
2586 };
2587
2588 //---------------------------------------------------------------------
2589 static Standard_Integer OCC24826(Draw_Interpretor& theDI,
2590                                  Standard_Integer  theArgc,
2591                                  const char**      theArgv)
2592 {
2593   if ( theArgc != 2 )
2594   {
2595     theDI << "Usage: "
2596           << theArgv[0]
2597           << " vec_length\n";
2598     return 1;
2599   }
2600
2601   // Generate data;
2602   Standard_Integer aLength = Draw::Atoi(theArgv[1]);
2603
2604   NCollection_Array1<Standard_Real> aX (0, aLength - 1);
2605   NCollection_Array1<Standard_Real> anY(0, aLength - 1);
2606   for ( Standard_Integer i = 0; i < aLength; ++i )
2607   {
2608     aX(i) = anY(i) = (Standard_Real) i;
2609   }
2610
2611   //! Serial processing
2612   NCollection_Array1<Standard_Real> anY1 = anY;
2613   Standard_Real aTimeSeq = 0.0;
2614   {
2615     OSD_Timer aTimer;
2616     aTimer.Start();
2617     const ParallelTest_Saxpy aFunctor (aX, anY1, 1e-6);
2618     for (Standard_Integer i = 0; i < aLength; ++i)
2619     {
2620       aFunctor(i);
2621     }
2622
2623     aTimer.Stop();
2624     std::cout << "  Processing time (sequential mode): 1x [reference]\n";
2625     aTimeSeq = aTimer.ElapsedTime();
2626     aTimer.Show (std::cout);
2627   }
2628
2629   // Parallel processing
2630   for (Standard_Integer aMode = 0; aMode <= 4; ++aMode)
2631   {
2632     NCollection_Array1<Standard_Real> anY2 = anY;
2633     OSD_Timer aTimer;
2634     aTimer.Start();
2635     const char* aModeDesc = NULL;
2636     const ParallelTest_Saxpy      aFunctor1 (aX, anY2, 1e-6);
2637     const ParallelTest_SaxpyBatch aFunctor2 (aX, anY2, 1e-6);
2638     switch (aMode)
2639     {
2640       case 0:
2641       {
2642         aModeDesc = "OSD_Parallel::For()";
2643         OSD_Parallel::For (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2644         break;
2645       }
2646       case 1:
2647       {
2648         aModeDesc = "OSD_ThreadPool::Launcher";
2649         OSD_ThreadPool::Launcher aLauncher (*OSD_ThreadPool::DefaultPool());
2650         aLauncher.Perform (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2651         break;
2652       }
2653       case 2:
2654       {
2655         aModeDesc = "OSD_Parallel::Batched()";
2656         OSD_Parallel::For (aFunctor2.Begin(), aFunctor2.End(), aFunctor2);
2657         break;
2658       }
2659       case 3:
2660       {
2661         aModeDesc = "OSD_ThreadPool::Launcher, Batched";
2662         OSD_ThreadPool::Launcher aLauncher (*OSD_ThreadPool::DefaultPool());
2663         aLauncher.Perform (aFunctor2.Begin(), aFunctor2.End(), aFunctor2);
2664         break;
2665       }
2666       case 4:
2667       {
2668     #ifdef HAVE_TBB
2669         aModeDesc = "tbb::parallel_for";
2670         tbb::parallel_for (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2671         break;
2672     #else
2673         continue;
2674     #endif
2675       }
2676     }
2677     aTimer.Stop();
2678     std::cout << "  " << aModeDesc << ": "
2679               << aTimeSeq / aTimer.ElapsedTime() << "x " << (aTimer.ElapsedTime() < aTimeSeq ? "[boost]" : "[slow-down]") << "\n";
2680     aTimer.Show (std::cout);
2681
2682     for (Standard_Integer i = 0; i < aLength; ++i)
2683     {
2684       if (anY2(i) != anY1(i))
2685       {
2686         std::cerr << "Error: Parallel algorithm produced invalid result!\n";
2687         break;
2688       }
2689     }
2690   }
2691   return 0;
2692 }
2693
2694 //! Initializes the given square matrix with values that are generated by the given generator function.
2695 template<class GeneratorT> void initRandMatrix (NCollection_Array2<double>& theMat, GeneratorT& theGen)
2696 {
2697   for (int i = theMat.LowerRow(); i <= theMat.UpperRow(); ++i)
2698   {
2699     for (int j = theMat.LowerCol(); j <= theMat.UpperCol(); ++j)
2700     {
2701       theMat(i, j) = static_cast<double>(theGen());
2702     }
2703   }
2704 }
2705
2706 //! Compute the product of two square matrices in parallel.
2707 class ParallelTest_MatMult
2708 {
2709 public:
2710   ParallelTest_MatMult (const NCollection_Array2<double>& theMat1,
2711                         const NCollection_Array2<double>& theMat2,
2712                         NCollection_Array2<double>& theResult, int theSize)
2713   : myMat1 (theMat1), myMat2 (theMat2), myResult (theResult), mySize (theSize) {}
2714
2715   int Begin() const { return 0; }
2716   int End()   const { return mySize; }
2717
2718   void operator() (int theIndex) const
2719   {
2720     for (int j = 0; j < mySize; ++j)
2721     {
2722       double aTmp = 0;
2723       for (int k = 0; k < mySize; ++k)
2724       {
2725         aTmp += myMat1(theIndex, k) * myMat2(k, j);
2726       }
2727       myResult(theIndex, j) = aTmp;
2728     }
2729   }
2730
2731   void operator() (int theThreadIndex, int theIndex) const
2732   {
2733     (void )theThreadIndex;
2734     (*this)(theIndex);
2735   }
2736
2737 private:
2738   ParallelTest_MatMult (const ParallelTest_MatMult& );
2739   ParallelTest_MatMult& operator= (ParallelTest_MatMult& );
2740
2741 protected:
2742   const NCollection_Array2<double>& myMat1;
2743   const NCollection_Array2<double>& myMat2;
2744   NCollection_Array2<double>& myResult;
2745   int mySize;
2746 };
2747
2748 //---------------------------------------------------------------------
2749 static Standard_Integer OCC29935(Draw_Interpretor& ,
2750                                  Standard_Integer  theArgc,
2751                                  const char**      theArgv)
2752 {
2753   if (theArgc != 2)
2754   {
2755     std::cout << "Syntax error: wrong number of arguments\n";
2756     return 1;
2757   }
2758
2759   // Generate data;
2760   Standard_Integer aSize = Draw::Atoi (theArgv[1]);
2761
2762   opencascade::std::mt19937 aGen (42);
2763   NCollection_Array2<double> aMat1     (0, aSize - 1, 0, aSize - 1);
2764   NCollection_Array2<double> aMat2     (0, aSize - 1, 0, aSize - 1);
2765   NCollection_Array2<double> aMatResRef(0, aSize - 1, 0, aSize - 1);
2766   NCollection_Array2<double> aMatRes   (0, aSize - 1, 0, aSize - 1);
2767   initRandMatrix (aMat1, aGen);
2768   initRandMatrix (aMat2, aGen);
2769
2770   //! Serial processing
2771   Standard_Real aTimeSeq = 0.0;
2772   {
2773     OSD_Timer aTimer;
2774     aTimer.Start();
2775     ParallelTest_MatMult aFunctor (aMat1, aMat2, aMatResRef, aSize);
2776     for (int i = aFunctor.Begin(); i < aFunctor.End(); ++i)
2777     {
2778       aFunctor(i);
2779     }
2780
2781     aTimer.Stop();
2782     std::cout << "  Processing time (sequential mode): 1x [reference]\n";
2783     aTimeSeq = aTimer.ElapsedTime();
2784     aTimer.Show (std::cout);
2785   }
2786
2787   // Parallel processing
2788   for (Standard_Integer aMode = 0; aMode <= 2; ++aMode)
2789   {
2790     aMatRes.Init (0.0);
2791
2792     OSD_Timer aTimer;
2793     aTimer.Start();
2794     const char* aModeDesc = NULL;
2795     ParallelTest_MatMult aFunctor1 (aMat1, aMat2, aMatRes, aSize);
2796     switch (aMode)
2797     {
2798       case 0:
2799       {
2800         aModeDesc = "OSD_Parallel::For()";
2801         OSD_Parallel::For (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2802         break;
2803       }
2804       case 1:
2805       {
2806         aModeDesc = "OSD_ThreadPool::Launcher";
2807         OSD_ThreadPool::Launcher aLauncher (*OSD_ThreadPool::DefaultPool());
2808         aLauncher.Perform (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2809         break;
2810       }
2811       case 2:
2812       {
2813     #ifdef HAVE_TBB
2814         aModeDesc = "tbb::parallel_for";
2815         tbb::parallel_for (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2816         break;
2817     #else
2818         continue;
2819     #endif
2820       }
2821     }
2822     aTimer.Stop();
2823     std::cout << "  " << aModeDesc << ": "
2824               << aTimeSeq / aTimer.ElapsedTime() << "x " << (aTimer.ElapsedTime() < aTimeSeq ? "[boost]" : "[slow-down]") << "\n";
2825     aTimer.Show (std::cout);
2826
2827     for (int i = 0; i < aSize; ++i)
2828     {
2829       for (int j = 0; j < aSize; ++j)
2830       {
2831         if (aMatRes(i, j) != aMatResRef(i, j))
2832         {
2833           std::cerr << "Error: Parallel algorithm produced invalid result!\n";
2834           i = aSize;
2835           break;
2836         }
2837       }
2838     }
2839   }
2840   return 0;
2841 }
2842
2843 /*****************************************************************************/
2844
2845 #include <GeomAPI_IntSS.hxx>
2846 //=======================================================================
2847 //function : OCC25100
2848 //purpose  :
2849 //=======================================================================
2850 static Standard_Integer OCC25100 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
2851 {
2852   if (argc < 2)
2853   {
2854     di << "the method requires a shape name\n";
2855     return 1;
2856   }
2857
2858   TopoDS_Shape S = DBRep::Get(argv[1]);
2859   if ( S.IsNull() )
2860   {
2861     di << "Shape is empty\n";
2862     return 1;
2863   }
2864   
2865   TopExp_Explorer aFaceExp(S, TopAbs_FACE);
2866   const Handle(Geom_Surface)& aSurf = BRep_Tool::Surface(TopoDS::Face(aFaceExp.Current()));
2867
2868   GeomAPI_IntSS anIntersector(aSurf, aSurf, Precision::Confusion());
2869
2870   if (!anIntersector.IsDone())
2871   {
2872     di << "Error. Intersection is not done\n";
2873     return 1;
2874   }
2875
2876   di << "Test complete\n";
2877
2878   return 0;
2879 }
2880
2881 //=======================================================================
2882 //function : OCC25348
2883 //purpose  : 
2884 //=======================================================================
2885 static Standard_Integer OCC25348 (Draw_Interpretor& theDI,
2886                                  Standard_Integer  /*theArgNb*/,
2887                                  const char** /*theArgVec*/)
2888 {
2889   Handle(NCollection_IncAllocator) anAlloc1;
2890   NCollection_List<int> aList1(anAlloc1);
2891   for (int i=0; i < 10; i++)
2892   {
2893     Handle(NCollection_IncAllocator) anAlloc2;
2894     NCollection_List<int> aList2(anAlloc2);
2895     aList2.Append(i);
2896     aList1.Assign(aList2);
2897   }
2898   theDI << "Test complete\n";
2899   return 0;
2900 }
2901
2902 #include <IntCurvesFace_ShapeIntersector.hxx>
2903 #include <BRepBndLib.hxx>
2904 //=======================================================================
2905 //function : OCC25413
2906 //purpose  : 
2907 //=======================================================================
2908 static Standard_Integer OCC25413 (Draw_Interpretor& di, Standard_Integer narg , const char** a)
2909 {
2910   if (narg != 2) {
2911     di << "Usage: " << a[0] << " invalid number of arguments\n";
2912     return 1;
2913   }
2914   TopoDS_Shape aShape = DBRep::Get (a[1]);
2915
2916   IntCurvesFace_ShapeIntersector Inter;
2917   Inter.Load(aShape, Precision::Confusion());
2918
2919   Bnd_Box aBndBox;
2920   BRepBndLib::Add(aShape, aBndBox);
2921
2922   gp_Dir aDir(0., 1., 0.);
2923   const int N = 250;
2924   Standard_Real xMin = aBndBox.CornerMin().X();
2925   Standard_Real zMin = aBndBox.CornerMin().Z();
2926   Standard_Real xMax = aBndBox.CornerMax().X();
2927   Standard_Real zMax = aBndBox.CornerMax().Z();
2928   Standard_Real xStep = (xMax - xMin) / N;
2929   Standard_Real zStep = (zMax - zMin) / N;
2930
2931   for (Standard_Real x = xMin; x <= xMax; x += xStep)
2932     for (Standard_Real z = zMin; z <= zMax; z += zStep)
2933     {
2934       gp_Pnt aPoint(x, 0.0, z);
2935       gp_Lin aLine(aPoint, aDir);
2936       Inter.PerformNearest(aLine, -100., 100.);
2937     }
2938   return 0;
2939 }
2940
2941
2942 #include <BOPAlgo_PaveFiller.hxx>
2943 //
2944 #include <BRepAlgoAPI_BooleanOperation.hxx>
2945 #include <BRepAlgoAPI_Common.hxx>
2946 #include <BRepAlgoAPI_Fuse.hxx>
2947 #include <BRepAlgoAPI_Cut.hxx>
2948 #include <BRepAlgoAPI_Section.hxx>
2949 //
2950 #include <TopExp.hxx>
2951 #include <TopTools_MapOfShape.hxx>
2952 //=======================================================================
2953 //function : OCC25446
2954 //purpose  :
2955 //=======================================================================
2956 static Standard_Integer OCC25446 (Draw_Interpretor& theDI, 
2957                                   Standard_Integer argc, 
2958                                   const char ** argv)
2959 {
2960   if (argc != 5) {
2961     theDI << "Usage: OCC25446 res b1 b2 op\n";
2962     return 1;
2963   }
2964   //
2965   TopoDS_Shape aS1 = DBRep::Get(argv[2]);
2966   if (aS1.IsNull()) {
2967     theDI << argv[2] << " shape is NULL\n";
2968     return 1;
2969   }
2970   //
2971   TopoDS_Shape aS2 = DBRep::Get(argv[3]);
2972   if (aS2.IsNull()) {
2973     theDI << argv[3] << " shape is NULL\n";
2974     return 1;
2975   }
2976   //
2977   Standard_Integer iOp;
2978   BOPAlgo_Operation aOp;
2979   //
2980   iOp = Draw::Atoi(argv[4]);
2981   if (iOp < 0 || iOp > 4) {
2982     theDI << "Invalid operation type\n";
2983     return 1;
2984   }
2985   aOp = (BOPAlgo_Operation)iOp;
2986   //
2987   Standard_Integer iErr;
2988   TopTools_ListOfShape aLS;
2989   BOPAlgo_PaveFiller aPF;
2990   //
2991   aLS.Append(aS1);
2992   aLS.Append(aS2);
2993   aPF.SetArguments(aLS);
2994   //
2995   aPF.Perform();
2996   iErr = aPF.HasErrors();
2997   if (iErr) {
2998     theDI << "Intersection failed with error status: " << iErr << "\n";
2999     return 1;
3000   }
3001   //
3002   BRepAlgoAPI_BooleanOperation* pBuilder = NULL;
3003   // 
3004   switch (aOp) {
3005   case BOPAlgo_COMMON:
3006     pBuilder = new BRepAlgoAPI_Common(aS1, aS2, aPF);
3007     break;
3008   case BOPAlgo_FUSE:
3009     pBuilder = new BRepAlgoAPI_Fuse(aS1, aS2, aPF);
3010     break;
3011   case BOPAlgo_CUT:
3012     pBuilder = new BRepAlgoAPI_Cut (aS1, aS2, aPF);
3013     break;
3014   case BOPAlgo_CUT21:
3015     pBuilder = new BRepAlgoAPI_Cut(aS1, aS2, aPF, Standard_False);
3016     break;
3017   case BOPAlgo_SECTION:
3018     pBuilder = new BRepAlgoAPI_Section(aS1, aS2, aPF);
3019     break;
3020   default:
3021     break;
3022   }
3023   //
3024   iErr = pBuilder->HasErrors();
3025   if (!pBuilder->IsDone()) {
3026     theDI << "BOP failed with error status: " << iErr << "\n";
3027     return 1;
3028   }
3029   //
3030   const TopoDS_Shape& aRes = pBuilder->Shape();
3031   DBRep::Set(argv[1], aRes);
3032   //
3033   TopTools_MapOfShape aMapArgs, aMapShape;
3034   TopTools_MapIteratorOfMapOfShape aIt;
3035   Standard_Boolean bIsDeletedHist, bIsDeletedMap;
3036   TopAbs_ShapeEnum aType;
3037   //
3038   TopExp::MapShapes(aS1, aMapArgs);
3039   TopExp::MapShapes(aS2, aMapArgs);
3040   TopExp::MapShapes(aRes, aMapShape);
3041   //
3042   aIt.Initialize(aMapArgs);
3043   for (; aIt.More(); aIt.Next()) {
3044     const TopoDS_Shape& aS = aIt.Value();
3045     aType = aS.ShapeType();
3046     if (!(aType==TopAbs_EDGE || aType==TopAbs_FACE || 
3047           aType==TopAbs_VERTEX || aType==TopAbs_SOLID)) {
3048       continue;
3049     }
3050     //
3051     bIsDeletedHist = pBuilder->IsDeleted(aS);
3052     bIsDeletedMap = !aMapShape.Contains(aS) &&
3053       (pBuilder->Modified(aS).Extent() == 0);
3054     //
3055     if (bIsDeletedHist != bIsDeletedMap) {
3056       theDI << "Error. Wrong value of IsDeleted flag.\n";
3057       return 1;
3058     }
3059   }
3060   //
3061   theDI << "Test complete\n";
3062   return 0;
3063 }
3064
3065 //====================================================
3066 // Auxiliary functor class for the command OCC25545;
3067 // it gets access to a vertex with the given index and
3068 // checks that X coordinate of the point is equal to index;
3069 // if it is not so then a data race is reported.
3070 //====================================================
3071 struct OCC25545_Functor
3072 {
3073   OCC25545_Functor(const std::vector<TopoDS_Shape>& theShapeVec)
3074     : myShapeVec(&theShapeVec),
3075       myIsRaceDetected(0)
3076   {}
3077
3078   void operator()(size_t i) const
3079   {
3080     if (!myIsRaceDetected) {
3081       const TopoDS_Vertex& aV = TopoDS::Vertex (myShapeVec->at(i));
3082       gp_Pnt aP = BRep_Tool::Pnt (aV);
3083       if (aP.X () != static_cast<double> (i)) {
3084         Standard_Atomic_Increment(&myIsRaceDetected);
3085       }
3086     }
3087   }
3088
3089   const std::vector<TopoDS_Shape>* myShapeVec;
3090   mutable volatile int myIsRaceDetected;
3091 };
3092
3093 //=======================================================================
3094 //function : OCC25545
3095 //purpose  : Tests data race when concurrently accessing TopLoc_Location::Transformation()
3096 //=======================================================================
3097
3098 static Standard_Integer OCC25545 (Draw_Interpretor& di, 
3099                                   Standard_Integer, 
3100                                   const char **)
3101 {
3102   // Place vertices in a vector, giving the i-th vertex the
3103   // transformation that translates it on the vector (i,0,0) from the origin.
3104   Standard_Integer n = 1000;
3105   std::vector<TopoDS_Shape> aShapeVec (n);
3106   std::vector<TopLoc_Location> aLocVec (n);
3107   TopoDS_Shape aShape = BRepBuilderAPI_MakeVertex (gp::Origin ());
3108   aShapeVec[0] = aShape;
3109   for (Standard_Integer i = 1; i < n; ++i) {
3110     gp_Trsf aT;
3111     aT.SetTranslation (gp_Vec (1, 0, 0));
3112     aLocVec[i] = aLocVec[i - 1] * aT;
3113     aShapeVec[i] = aShape.Moved (aLocVec[i]);
3114   }
3115
3116   // Evaluator function will access vertices geometry
3117   // concurrently
3118   OCC25545_Functor aFunc(aShapeVec);
3119
3120   // concurrently process
3121   OSD_Parallel::For (0, n, aFunc);
3122
3123   QVERIFY (!aFunc.myIsRaceDetected);
3124   return 0;
3125 }
3126
3127 //=======================================================================
3128 //function : OCC25547
3129 //purpose  :
3130 //=======================================================================
3131 #include <BRepMesh_GeomTool.hxx>
3132 #include <BRepAdaptor_Curve.hxx>
3133 #include <Geom_TrimmedCurve.hxx>
3134 #include <BRepBuilderAPI_MakeFace.hxx>
3135 #include <BRepAdaptor_HSurface.hxx>
3136 #include <BRepAdaptor_Surface.hxx>
3137 static Standard_Integer OCC25547(
3138   Draw_Interpretor& theDI, 
3139   Standard_Integer  /*argc*/, 
3140   const char **     /*argv*/)
3141 {
3142   // The general aim of this test is to prevent linkage errors due to missed
3143   // Standard_EXPORT attribute for static methods.
3144
3145   // However, start checking the main functionality at first.
3146   const Standard_Real aFirstP = 0., aLastP = M_PI;
3147   Handle(Geom_Circle) aCircle = new Geom_Circle(gp_Ax2(gp::Origin(), gp::DZ()), 10);
3148   Handle(Geom_TrimmedCurve) aHalf = new Geom_TrimmedCurve(aCircle, aFirstP, aLastP);
3149   TopoDS_Edge aEdge = BRepBuilderAPI_MakeEdge(aHalf);
3150   BRepAdaptor_Curve aAdaptor(aEdge);
3151   BRepMesh_GeomTool aGeomTool(aAdaptor, aFirstP, aLastP, 0.1, 0.5);
3152
3153   if (aGeomTool.NbPoints() == 0)
3154   {
3155     theDI << "Error. BRepMesh_GeomTool failed to discretize an arc.\n";
3156     return 1;
3157   }
3158
3159   // Test static methods.
3160   TopoDS_Face aFace = BRepBuilderAPI_MakeFace(gp_Pln(gp::Origin(), gp::DZ()));
3161   BRepAdaptor_Surface aSurf(aFace);
3162   Handle(BRepAdaptor_HSurface) aHSurf = new BRepAdaptor_HSurface(aSurf);
3163
3164   gp_Pnt aPnt;
3165   gp_Dir aNormal;
3166   if (!BRepMesh_GeomTool::Normal(aHSurf, 10., 10., aPnt, aNormal))
3167   {
3168     theDI << "Error. BRepMesh_GeomTool failed to take a normal of surface.\n";
3169     return 1;
3170   }
3171
3172   gp_XY aRefPnts[4] = {
3173     gp_XY(-10., -10.), gp_XY(10., 10.), 
3174     gp_XY(-10., 10.), gp_XY(10., -10.)
3175   };
3176
3177   gp_Pnt2d aIntPnt;
3178   Standard_Real aParams[2];
3179   BRepMesh_GeomTool::IntFlag aIntFlag = BRepMesh_GeomTool::IntLinLin(
3180     aRefPnts[0], aRefPnts[1], aRefPnts[2], aRefPnts[3], 
3181     aIntPnt.ChangeCoord(), aParams);
3182
3183   Standard_Real aDiff = aIntPnt.Distance(gp::Origin2d());
3184   if (aIntFlag != BRepMesh_GeomTool::Cross || aDiff > Precision::PConfusion())
3185   {
3186     theDI << "Error. BRepMesh_GeomTool failed to intersect two lines.\n";
3187     return 1;
3188   }
3189
3190   aIntFlag = BRepMesh_GeomTool::IntSegSeg(
3191     aRefPnts[0], aRefPnts[1], aRefPnts[2], aRefPnts[3], 
3192     Standard_False, Standard_False, aIntPnt);
3193
3194   aDiff = aIntPnt.Distance(gp::Origin2d());
3195   if (aIntFlag != BRepMesh_GeomTool::Cross || aDiff > Precision::PConfusion())
3196   {
3197     theDI << "Error. BRepMesh_GeomTool failed to intersect two segments.\n";
3198     return 1;
3199   }
3200
3201
3202   theDI << "Test complete\n";
3203   return 0;
3204 }
3205
3206 static Standard_Integer OCC26139 (Draw_Interpretor& theDI,
3207                                   Standard_Integer  argc,
3208                                   const char **     argv)
3209 {
3210
3211   Handle(AIS_InteractiveContext) aCtx = ViewerTest::GetAISContext();
3212   if (aCtx.IsNull())
3213   {
3214     theDI << "Use 'vinit' command before " << argv[0] << "\n";
3215     return 1;
3216   }
3217
3218   Standard_Integer aBoxGridSize = 100;
3219   Standard_Integer aCompGridSize = 3;
3220   Standard_Real aBoxSize = 5.0;
3221
3222   if (argc > 1)
3223   {
3224     for (Standard_Integer anArgIdx = 1; anArgIdx < argc; ++anArgIdx)
3225     {
3226       TCollection_AsciiString anArg (argv[anArgIdx]);
3227       anArg.LowerCase();
3228       if (anArg == "-boxgrid")
3229       {
3230         aBoxGridSize = Draw::Atoi (argv[++anArgIdx]);
3231       }
3232       else if (anArg == "-compgrid")
3233       {
3234         aCompGridSize = Draw::Atoi (argv[++anArgIdx]);
3235       }
3236       else if (anArg == "-boxsize")
3237       {
3238         aBoxSize = Draw::Atof (argv[++anArgIdx]);
3239       }
3240     }
3241   }
3242
3243   NCollection_List<Handle(AIS_Shape)> aCompounds;
3244   for (Standard_Integer aCompGridX = 0; aCompGridX < aCompGridSize; ++aCompGridX)
3245   {
3246     for (Standard_Integer aCompGridY = 0; aCompGridY < aCompGridSize; ++aCompGridY)
3247     {
3248       BRep_Builder aBuilder;
3249       TopoDS_Compound aComp;
3250       aBuilder.MakeCompound (aComp);
3251       for (Standard_Integer aBoxGridX = 0; aBoxGridX < aBoxGridSize; ++aBoxGridX)
3252       {
3253         for (Standard_Integer aBoxGridY = 0; aBoxGridY < aBoxGridSize; ++aBoxGridY)
3254         {
3255           BRepPrimAPI_MakeBox aBox (gp_Pnt (aBoxGridX * aBoxSize, aBoxGridY * aBoxSize, 0.0),
3256                                     aBoxSize, aBoxSize, aBoxSize);
3257           aBuilder.Add (aComp, aBox.Shape());
3258         }
3259       }
3260       gp_Trsf aTrsf;
3261       aTrsf.SetTranslation (gp_Vec (aBoxGridSize * aBoxSize * aCompGridX,
3262                                     aBoxGridSize * aBoxSize * aCompGridY,
3263                                     0.0));
3264       TopLoc_Location aLoc (aTrsf);
3265       aComp.Located (aLoc);
3266       aCompounds.Append (new AIS_Shape (aComp));
3267     }
3268   }
3269
3270   OSD_Timer aTimer;
3271   for (NCollection_List<Handle(AIS_Shape)>::Iterator aCompIter (aCompounds); aCompIter.More(); aCompIter.Next())
3272   {
3273     aTimer.Start();
3274     aCtx->Display (aCompIter.Value(), Standard_False);
3275     aTimer.Stop();
3276     theDI << "Display time: " << aTimer.ElapsedTime() << "\n";
3277     aTimer.Reset();
3278   }
3279
3280   aTimer.Reset();
3281   aTimer.Start();
3282   for (NCollection_List<Handle(AIS_Shape)>::Iterator aCompIter (aCompounds); aCompIter.More(); aCompIter.Next())
3283   {
3284     aCtx->Remove (aCompIter.Value(), Standard_False);
3285   }
3286   aTimer.Stop();
3287   theDI << "Remove time: " << aTimer.ElapsedTime() << "\n";
3288
3289   return 0;
3290 }
3291
3292 #include <TColStd_DataMapIteratorOfDataMapOfIntegerInteger.hxx>
3293 #include <TColStd_DataMapOfIntegerInteger.hxx>
3294 #include <OSD.hxx>
3295 #include <ShapeFix_Wire.hxx>
3296 #include <ShapeExtend_Status.hxx>
3297 #ifdef _WIN32
3298 #define EXCEPTION ...
3299 #else
3300 #define EXCEPTION Standard_Failure
3301 #endif
3302
3303 static ShapeExtend_Status getStatusGap(const Handle(ShapeFix_Wire)&   theFix,
3304                                        const Standard_Boolean theIs3d)
3305 {
3306         for (Standard_Integer i=ShapeExtend_OK; i<=ShapeExtend_FAIL; i++)
3307         {
3308                 Standard_Boolean isFound;
3309                 if (theIs3d)
3310                         isFound = theFix->StatusGaps3d( (ShapeExtend_Status) i );
3311                 else
3312                         isFound = theFix->StatusGaps2d( (ShapeExtend_Status) i );
3313                 if (isFound) return ShapeExtend_Status(i);
3314         }
3315         return ShapeExtend_OK;
3316 }
3317
3318 //===================
3319 //function : OCC24881
3320 //purpose  : 
3321 //===================
3322 static Standard_Integer OCC24881 (Draw_Interpretor& di, Standard_Integer narg , const char** a)
3323 {
3324   if (narg < 2) {
3325     di<<"Usage: "<<a[0]<<" invalid number of arguments\n";
3326     return 1;
3327   }
3328 //    cout <<"FileName1: " << argv[1] <<endl;
3329
3330   TopoDS_Shape aShape = DBRep::Get (a[1]);
3331
3332     OSD::SetSignal();
3333     Handle(ShapeFix_Wire) aWireFix = new ShapeFix_Wire;
3334
3335     // map FixStatus - NbSuchStatuses
3336     TColStd_DataMapOfIntegerInteger aStatusNbDMap;
3337     Standard_Integer nbFixed=0, nbOk=0;
3338
3339 //Begin: STEP 7
3340     ShapeExtend_Status aStatus=ShapeExtend_OK;
3341     try {
3342         TopExp_Explorer aFaceExplorer(aShape, TopAbs_FACE);
3343         for (; aFaceExplorer.More(); aFaceExplorer.Next())
3344         {
3345                 TopoDS_Shape aFace = aFaceExplorer.Current();
3346                 // loop on wires
3347                 TopoDS_Iterator aWireItr(aFace);
3348                 for (; aWireItr.More(); aWireItr.Next() )
3349                 {
3350                         Standard_Boolean wasOk = Standard_False;
3351                         TopoDS_Wire aSrcWire = TopoDS::Wire(aWireItr.Value());
3352
3353                         aWireFix->Load (aSrcWire);
3354                         aWireFix->SetFace (TopoDS::Face(aFace));
3355                         aWireFix->FixReorder(); //correct order is a prerequisite
3356                         // fix 3d
3357                         if (!aWireFix->FixGaps3d())
3358                         {
3359                                 // not fixed, why?
3360                                 aStatus = getStatusGap(aWireFix, Standard_True);
3361                                 if (aStatus == ShapeExtend_OK)
3362                                         wasOk = Standard_True;
3363                                 else
3364                                 {
3365                                         // keep 3d fail status
3366                                         if (aStatusNbDMap.IsBound (aStatus))
3367                                                 aStatusNbDMap(aStatus)++;
3368                                         else
3369                                                 aStatusNbDMap.Bind(aStatus,1);
3370                                         continue;
3371                                 }
3372                         }
3373
3374                         // fix 2d
3375                         if (aWireFix->FixGaps2d())
3376                                 nbFixed++;
3377                         else
3378                         {
3379                                 aStatus = getStatusGap(aWireFix, Standard_False);
3380                                 if (aStatus == ShapeExtend_OK)
3381                                 {
3382                                         if (wasOk)
3383                                         {
3384                                                 nbOk++;
3385                                                 continue;
3386                                         }
3387                                         else
3388                                                 nbFixed++;
3389                                 }
3390                                 else
3391                                 {
3392                                         // keep 2d fail status
3393                                         Standard_Integer aStatus2d = aStatus + ShapeExtend_FAIL;
3394                                         if (aStatusNbDMap.IsBound (aStatus2d))
3395                                                 aStatusNbDMap(aStatus2d)++;
3396                                         else
3397                                                 aStatusNbDMap.Bind(aStatus2d,1);
3398                                         continue;
3399                                 }
3400                         }
3401                 }
3402         }
3403 //End: STEP 7
3404      } catch (EXCEPTION) {
3405        di << "Exception is raised = " <<aStatus << "\n";
3406        return 1;
3407
3408      }
3409 // report what is done
3410
3411         if (nbFixed)
3412         {
3413                 di <<"Fix_FillGaps_Fixed: nbFixed = "<<nbFixed <<"\n";
3414
3415         }    
3416         if (nbOk)
3417         {
3418                 di << "Fix_FillGaps_NothingToDo\n";
3419
3420         }
3421         TColStd_DataMapIteratorOfDataMapOfIntegerInteger aStatusItr(aStatusNbDMap);
3422         for (; aStatusItr.More(); aStatusItr.Next()) 
3423         {
3424                 switch ((ShapeExtend_Status) aStatusItr.Key()) 
3425                 {
3426                         // treat 3d status
3427                         case ShapeExtend_FAIL1:
3428                         di <<"Fix_FillGaps_3dNoCurveFail, nb failed = ";
3429                         break;
3430                         case ShapeExtend_FAIL2:
3431                         di <<"Fix_FillGaps_3dSomeGapsFail, nb failed = ";
3432                         break;
3433                         default:
3434                         // treat 2d status
3435                         switch ((ShapeExtend_Status) (aStatusItr.Key() - ShapeExtend_FAIL)) 
3436                         {
3437                                 case ShapeExtend_FAIL1:
3438                                 di <<"Fix_FillGaps_2dNoPCurveFail, nb failed = ";
3439                                 break;
3440                                 case ShapeExtend_FAIL2:
3441                                 di <<"Fix_FillGaps_2dSomeGapsFail, nb failed = ";
3442                                 break;
3443                                 default:
3444                                 break;
3445                         }
3446                 }
3447                 di <<aStatusItr.Value()<< "\n";
3448         }
3449         di << ("__________________________________") <<"\n";
3450
3451   return 0;
3452 }
3453
3454 //=======================================================================
3455 //function : OCC26284
3456 //purpose  :
3457 //=======================================================================
3458 static Standard_Integer OCC26284 (Draw_Interpretor& theDI, Standard_Integer theArgNb, const char** theArgVec)
3459 {
3460   if (theArgNb != 1)
3461   {
3462     std::cerr << "Error: wrong number of arguments! See usage:\n";
3463     theDI.PrintHelp (theArgVec[0]);
3464     return 1;
3465   }
3466
3467   Handle(AIS_InteractiveContext) anAISContext = ViewerTest::GetAISContext();
3468   if (anAISContext.IsNull())
3469   {
3470     std::cerr << "Error: no active view. Please call vinit.\n";
3471     return 1;
3472   }
3473
3474   BRepPrimAPI_MakeSphere aSphereBuilder (gp_Pnt (0.0, 0.0, 0.0), 1.0);
3475   Handle(AIS_Shape) aSphere = new AIS_Shape (aSphereBuilder.Shape());
3476   anAISContext->Display (aSphere, Standard_False);
3477   for (Standard_Integer aChildIdx = 0; aChildIdx < 5; ++aChildIdx)
3478   {
3479     BRepPrimAPI_MakeSphere aBuilder (gp_Pnt (1.0 + aChildIdx, 1.0 + aChildIdx, 1.0 + aChildIdx), 1.0);
3480     Handle(AIS_Shape) aChild = new AIS_Shape (aBuilder.Shape());
3481     aSphere->AddChild (aChild);
3482     anAISContext->Display (aChild, Standard_False);
3483   }
3484
3485   anAISContext->RecomputeSelectionOnly (aSphere);
3486   anAISContext->UpdateCurrentViewer();
3487
3488   return 0;
3489 }
3490
3491 #include <IntTools_Context.hxx>
3492 #include <GeomAPI_ProjectPointOnSurf.hxx>
3493
3494 //=======================================================================
3495 //function : xprojponf
3496 //purpose  : 
3497 //=======================================================================
3498 Standard_Integer xprojponf (Draw_Interpretor& di, 
3499                             Standard_Integer n, 
3500                             const char** a)
3501 {
3502   if (n!=3) {
3503     di<<" use xprojponf p f \n";
3504     return 0;
3505   }
3506   // 
3507   gp_Pnt aP, aPS;
3508   TopoDS_Shape aS;
3509   TopoDS_Face aF;
3510   Handle(IntTools_Context) aCtx;
3511   //
3512   DrawTrSurf::GetPoint(a[1], aP);
3513   aS=DBRep::Get(a[2]);
3514   //
3515   if (aS.IsNull()) {
3516     di<<" null shape is not allowed\n";
3517     return 0;
3518   }
3519   //
3520   if (aS.ShapeType()!=TopAbs_FACE) {
3521     di << a[2] << " not a face\n";
3522     return 0;
3523   }
3524   //
3525   aCtx=new IntTools_Context;
3526   //
3527   aF=TopoDS::Face(aS);
3528   GeomAPI_ProjectPointOnSurf& aPPS=aCtx->ProjPS(aF);
3529   //
3530   aPPS.Perform(aP);
3531   if (!aPPS.IsDone()) {
3532     di<<" projection failed\n";
3533     return 0;
3534   }
3535   //
3536   aPS=aPPS.NearestPoint();
3537   di<< " point px " << aPS.X() << " " << aPS.Y() << " " <<  aPS.Z() << "\n";
3538   //
3539   return 0;
3540 }
3541
3542 //=======================================================================
3543 //function : OCC25547
3544 //purpose  :
3545 //=======================================================================
3546 #include <BRepMesh_CircleTool.hxx>
3547 #include <SelectMgr_EntityOwner.hxx>
3548
3549 static Standard_Boolean inspect_point(const gp_XY&        thePoint,
3550                                       const gp_XY&        theCenter,
3551                                       const Standard_Real theRadius)
3552 {
3553   static Standard_Real aPrecision   = Precision::PConfusion();
3554   static Standard_Real aSqPrecision = aPrecision * aPrecision;
3555   const gp_XY aDistVec = thePoint - theCenter;
3556   if (aDistVec.SquareModulus() - (theRadius * theRadius) < aSqPrecision)
3557     return Standard_True;
3558   else
3559     return Standard_False;
3560 }
3561
3562 static Standard_Integer OCC24923(
3563   Draw_Interpretor& theDI, 
3564   Standard_Integer  argc, 
3565   const char **     argv)
3566 {
3567   srand(static_cast<unsigned int>(time(NULL)));
3568
3569   const Standard_Real    aMaxDeviation = (argc > 1) ? Draw::Atof(argv[1]) : 0.01;
3570   const Standard_Integer aPointsNb     = 10000000;
3571   const Standard_Real    aMinAngle     = 5 * M_PI / 180.;
3572   static Standard_Real   aSqPrecision  = Precision::PConfusion() * Precision::PConfusion();
3573
3574   Standard_Integer aFailedNb = 0;
3575   for (Standard_Integer i = 0; i < aPointsNb; ++i)
3576   {
3577     gp_XY p[3];
3578     for (Standard_Integer j = 0; j < 3; ++j)
3579       p[j].SetCoord(((Standard_Real)rand())/RAND_MAX, ((Standard_Real)rand())/RAND_MAX);
3580
3581     // Check that points do not compose degenerated triangle.
3582     gp_XY aVec1 = p[1] - p[0];
3583     gp_XY aVec2 = p[2] - p[0];
3584     if (aVec1.SquareModulus() > aSqPrecision && 
3585         aVec2.SquareModulus() > aSqPrecision &&
3586         (aVec1 ^ aVec2) > aMinAngle)
3587     {
3588       gp_XY aCenter;
3589       Standard_Real aRadius;
3590       if (BRepMesh_CircleTool::MakeCircle(p[0], p[1], p[2], aCenter, aRadius))
3591       {
3592         if (!inspect_point(p[0], aCenter, aRadius) || 
3593             !inspect_point(p[1], aCenter, aRadius) || 
3594             !inspect_point(p[2], aCenter, aRadius))
3595         {
3596          /* theDI << "Missed: " <<
3597             "p1=(" << p1.X() << ", " << p1.Y() << "), " <<
3598             "p2=(" << p2.X() << ", " << p2.Y() << "), " <<
3599             "p3=(" << p3.X() << ", " << p3.Y() << "), " <<
3600             "c=(" << aCenter.X() << ", " << aCenter.Y() << "), " <<
3601             "r=" << aRadius << "\n";*/
3602             
3603           ++aFailedNb;
3604         }
3605
3606         continue;
3607       }
3608     }
3609
3610     // Ensure that aPointsNb suitable for tests are generated
3611     --i;
3612   }
3613
3614   const Standard_Real aDeviation = 
3615     1. - (Standard_Real)(aPointsNb - aFailedNb) / (Standard_Real)aPointsNb;
3616
3617   theDI << "Number of incorrect cases: " << aFailedNb << " (Total " << aPointsNb << ")\n";
3618   if (aDeviation > aMaxDeviation)
3619   {
3620     theDI << "Failed. Number of incorrect results is too huge: " << 
3621       aDeviation * 100 << "% (Max " << aMaxDeviation * 100 << "%)\n";
3622     return 1;
3623   }
3624
3625   theDI << "Deviation of incorrect results is: " <<
3626     aDeviation * 100 << "% (Max " << aMaxDeviation * 100 << "%)\n";
3627   theDI << "Test completed\n";
3628   return 0;
3629 }
3630
3631 //=======================================================================
3632 //function : OCC25574
3633 //purpose  : check implementation of Euler angles in gp_Quaternion
3634 //=======================================================================
3635
3636 static Standard_Integer OCC25574 (Draw_Interpretor& theDI, Standard_Integer /*argc*/, const char** /*argv*/)
3637 {
3638   Standard_Boolean isTestOk = Standard_True;
3639
3640   // Check consistency of Get and Set operations for Euler angles
3641   gp_Quaternion aQuat;
3642   aQuat.Set(0.06766916507860499, 0.21848101129786085, 0.11994599260380681,0.9660744746954637);
3643   Standard_Real alpha,beta,gamma;
3644   gp_Mat aRinv = aQuat.GetMatrix().Inverted();
3645   gp_Mat aI;
3646   aI.SetIdentity();
3647   const char* names[] = { "Extrinsic_XYZ", "Extrinsic_XZY", "Extrinsic_YZX", "Extrinsic_YXZ", "Extrinsic_ZXY", "Extrinsic_ZYX", 
3648                           "Intrinsic_XYZ", "Intrinsic_XZY", "Intrinsic_YZX", "Intrinsic_YXZ", "Intrinsic_ZXY", "Intrinsic_ZYX", 
3649                           "Extrinsic_XYX", "Extrinsic_XZX", "Extrinsic_YZY", "Extrinsic_YXY", "Extrinsic_ZYZ", "Extrinsic_ZXZ",
3650                           "Intrinsic_XYX", "Intrinsic_XZX", "Intrinsic_YZY", "Intrinsic_YXY", "Intrinsic_ZXZ", "Intrinsic_ZYZ" };
3651   for (int i = gp_Extrinsic_XYZ; i <= gp_Intrinsic_ZYZ; i++)
3652   {
3653     aQuat.GetEulerAngles (gp_EulerSequence(i), alpha, beta, gamma);
3654
3655     gp_Quaternion aQuat2;
3656     aQuat2.SetEulerAngles (gp_EulerSequence(i), alpha, beta, gamma);
3657
3658     gp_Mat aR = aQuat2.GetMatrix();
3659     gp_Mat aDiff = aR * aRinv - aI;
3660     if (aDiff.Determinant() > 1e-5)
3661     {
3662       theDI << "Error: Euler angles conversion incorrect for sequence " << names[i - gp_Extrinsic_XYZ] << "\n";
3663       isTestOk = Standard_False;
3664     }
3665   }
3666
3667   // Check conversion between intrinsic and extrinsic rotations
3668   // Any extrinsic rotation is equivalent to an intrinsic rotation
3669   // by the same angles but with inverted order of elemental rotations, and vice versa
3670   // For instance:
3671   //    Extrinsic_XZY = Incrinsic_XZY
3672   //    R = X(A)Z(B)Y(G) --> R = Y(G)Z(B)X(A)
3673   alpha = 0.1517461713131;
3674   beta = 1.5162198410141;
3675   gamma = 1.9313156236541;
3676   Standard_Real alpha2, beta2, gamma2;
3677   gp_EulerSequence pairs[][2] = { {gp_Extrinsic_XYZ, gp_Intrinsic_ZYX},
3678                                   {gp_Extrinsic_XZY, gp_Intrinsic_YZX},
3679                                   {gp_Extrinsic_YZX, gp_Intrinsic_XZY},
3680                                   {gp_Extrinsic_YXZ, gp_Intrinsic_ZXY},
3681                                   {gp_Extrinsic_ZXY, gp_Intrinsic_YXZ},
3682                                   {gp_Extrinsic_ZYX, gp_Intrinsic_XYZ} };
3683   for (int i = 0; i < 6; i++)
3684   {
3685     aQuat.SetEulerAngles(pairs[i][0],  alpha,  beta,  gamma);
3686     aQuat.GetEulerAngles(pairs[i][1], gamma2, beta2, alpha2);
3687
3688     if (Abs(alpha - alpha2) > 1e-5 || Abs(beta - beta2) > 1e-5 || Abs(gamma - gamma2) > 1e-5)
3689     {
3690       theDI << "Error: intrinsic and extrinsic conversion incorrect for sequence " << names[i] << "\n";
3691       isTestOk = Standard_False;
3692     }
3693   }