0027620: Test perf bop boxholes crashes DRAW
[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 <BRepFeat_SplitShape.hxx>
1268 #include <ShapeAnalysis_ShapeContents.hxx>
1269 #include <BRepAlgo.hxx>
1270 static Standard_Integer OCC24086 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv) 
1271 {
1272         if (argc != 3) {
1273                 di << "Usage : " << argv[0] << " should be 2 arguments (face and wire)";
1274                 return 1;
1275         }
1276         
1277         Handle(AIS_InteractiveContext) myAISContext = ViewerTest::GetAISContext();
1278         if(myAISContext.IsNull()) {
1279                 di << "use 'vinit' command before " << argv[0] << "\n";
1280                 return 1;
1281         }
1282         
1283         TopoDS_Shape result;
1284         TopoDS_Face face = TopoDS::Face(DBRep::Get(argv[1]));
1285         TopoDS_Wire wire = TopoDS::Wire(DBRep::Get(argv[2]));
1286     
1287         BRepFeat_SplitShape asplit(face);
1288         asplit.Add(wire, face);
1289         asplit.Build();
1290     result = asplit.Shape();
1291     ShapeAnalysis_ShapeContents ana;
1292     ana.Perform(result);
1293     ana.NbFaces();
1294
1295         if (!(BRepAlgo::IsValid(result))) {
1296                 di << "Result was checked and it is INVALID\n";
1297         } else {
1298                 di << "Result was checked and it is VALID\n";
1299         }
1300         
1301         Handle(AIS_InteractiveObject) myShape = new AIS_Shape (result);
1302         myAISContext->Display(myShape, Standard_True);
1303
1304         return 0;
1305 }
1306
1307 #include <Geom_Circle.hxx>
1308 #include <GeomAdaptor_Curve.hxx>
1309 #include <Extrema_ExtPC.hxx>
1310 #include <gp_Cylinder.hxx>
1311 #include <ElSLib.hxx>
1312 static Standard_Integer OCC24945 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
1313 {
1314   if (argc != 1) {
1315     di << "Usage: " << argv[0] << " invalid number of arguments\n";
1316     return 1;
1317   }
1318
1319   gp_Pnt aP3D( -1725.97, 843.257, -4.22741e-013 );
1320   gp_Ax2 aAxis( gp_Pnt( 0, 843.257, 0 ), gp_Dir( 0, -1, 0 ), gp::DX() );
1321   Handle(Geom_Circle) aCircle = new Geom_Circle( aAxis, 1725.9708621929999 );
1322   GeomAdaptor_Curve aC3D( aCircle );
1323
1324   Extrema_ExtPC aExtPC( aP3D, aC3D );
1325   //Standard_Real aParam = (aExtPC.Point(1)).Parameter();
1326   gp_Pnt aProj = (aExtPC.Point(1)).Value();
1327   di << "Projected point: X = " << aProj.X() << "; Y = " << aProj.Y() << "; Z = " << aProj.Z() << "\n";
1328
1329   // Result of deviation
1330   gp_Ax2 aCylAxis( gp_Pnt( 0, 2103.87, 0 ), -gp::DY(), -gp::DX() );
1331   gp_Cylinder aCylinder( aCylAxis, 1890. );
1332
1333   Standard_Real aU = 0., aV = 0.;
1334   ElSLib::Parameters( aCylinder, aProj, aU, aV );
1335   di << "Parameters on cylinder: U = " << aU << "; V = " << aV << "\n";
1336   
1337   return 0;
1338 }
1339
1340 #include <Extrema_FuncPSNorm.hxx>
1341 #include <math_FunctionSetRoot.hxx>
1342 #include <math_Vector.hxx>
1343 #include <BRepBuilderAPI_MakeVertex.hxx>
1344 static Standard_Integer OCC24137 (Draw_Interpretor& theDI, Standard_Integer theNArg, const char** theArgv) 
1345 {
1346   Standard_Integer anArgIter = 1;
1347   if (theNArg < 5)
1348     {
1349       theDI <<"Usage: " << theArgv[0] << " face vertex U V [N]\n";
1350       return 1;
1351     }
1352
1353   // get target shape
1354   Standard_CString aFaceName = theArgv[anArgIter++];
1355   Standard_CString aVertName = theArgv[anArgIter++];
1356   const TopoDS_Shape aShapeF = DBRep::Get (aFaceName);
1357   const TopoDS_Shape aShapeV = DBRep::Get (aVertName);
1358   const Standard_Real aUFrom = Atof (theArgv[anArgIter++]);
1359   const Standard_Real aVFrom = Atof (theArgv[anArgIter++]);
1360   const Standard_Integer aNbIts = (anArgIter < theNArg) ? atol (theArgv[anArgIter++]) : 100;
1361   if (aShapeF.IsNull() || aShapeF.ShapeType() != TopAbs_FACE)
1362     {
1363       std::cout << "Error: " << aFaceName << " shape is null / not a face" << std::endl;
1364       return 1;
1365     }
1366   if (aShapeV.IsNull() || aShapeV.ShapeType() != TopAbs_VERTEX)
1367     {
1368       std::cout << "Error: " << aVertName << " shape is null / not a vertex" << std::endl;
1369       return 1;
1370     }
1371   const TopoDS_Face   aFace = TopoDS::Face   (aShapeF);
1372   const TopoDS_Vertex aVert = TopoDS::Vertex (aShapeV);
1373   GeomAdaptor_Surface aSurf (BRep_Tool::Surface (aFace));
1374
1375   gp_Pnt aPnt = BRep_Tool::Pnt (aVert), aRes;
1376
1377   Extrema_FuncPSNorm    anExtFunc;
1378   math_FunctionSetRoot aRoot (anExtFunc, aNbIts);
1379
1380   math_Vector aTolUV (1, 2), aUVinf  (1, 2), aUVsup  (1, 2), aFromUV (1, 2);
1381   aTolUV (1) =  Precision::Confusion(); aTolUV (2) =  Precision::Confusion();
1382   aUVinf (1) = -Precision::Infinite();  aUVinf (2) = -Precision::Infinite();
1383   aUVsup (1) =  Precision::Infinite();  aUVsup (2) =  Precision::Infinite();
1384   aFromUV(1) =  aUFrom; aFromUV(2) = aVFrom;
1385
1386   anExtFunc.Initialize (aSurf);
1387   anExtFunc.SetPoint (aPnt);
1388   aRoot.SetTolerance (aTolUV);
1389   aRoot.Perform (anExtFunc, aFromUV, aUVinf, aUVsup);
1390   if (!aRoot.IsDone())
1391     {
1392       std::cerr << "No results!\n";
1393       return 1;
1394     }
1395
1396   theDI << aRoot.Root()(1) << " " << aRoot.Root()(2) << "\n";
1397   
1398   aSurf.D0 (aRoot.Root()(1), aRoot.Root()(2), aRes);
1399   DBRep::Set ("result", BRepBuilderAPI_MakeVertex (aRes));
1400   return 0;
1401 }
1402
1403 //! Check boolean operations on NCollection_Map
1404 static Standard_Integer OCC24271 (Draw_Interpretor& di,
1405                                   Standard_Integer  /*theArgNb*/,
1406                                   const char**      /*theArgVec*/)
1407 {
1408   // input data
1409   const Standard_Integer aLeftLower  = 1;
1410   const Standard_Integer aLeftUpper  = 10;
1411   const Standard_Integer aRightLower = 5;
1412   const Standard_Integer aRightUpper = 15;
1413
1414   // define arguments
1415   NCollection_Map<Standard_Integer> aMapLeft;
1416   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter <= aLeftUpper; ++aKeyIter)
1417   {
1418     aMapLeft.Add (aKeyIter);
1419   }
1420
1421   NCollection_Map<Standard_Integer> aMapRight;
1422   for (Standard_Integer aKeyIter = aRightLower; aKeyIter <= aRightUpper; ++aKeyIter)
1423   {
1424     aMapRight.Add (aKeyIter);
1425   }
1426
1427   QCOMPARE (aMapLeft .Contains (aMapRight), Standard_False);
1428   QCOMPARE (aMapRight.Contains (aMapLeft),  Standard_False);
1429
1430   // validate Union operation
1431   NCollection_Map<Standard_Integer> aMapUnion;
1432   aMapUnion.Union (aMapLeft, aMapRight);
1433   QCOMPARE (aMapUnion.Extent(), aRightUpper - aLeftLower + 1);
1434   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter <= aRightUpper; ++aKeyIter)
1435   {
1436     QCOMPARE (aMapUnion.Contains (aKeyIter), Standard_True);
1437   }
1438
1439   // validate Intersection operation
1440   NCollection_Map<Standard_Integer> aMapSect;
1441   aMapSect.Intersection (aMapLeft, aMapRight);
1442   QCOMPARE (aMapSect.Extent(), aLeftUpper - aRightLower + 1);
1443   for (Standard_Integer aKeyIter = aRightLower; aKeyIter <= aLeftUpper; ++aKeyIter)
1444   {
1445     QCOMPARE (aMapSect.Contains (aKeyIter), Standard_True);
1446   }
1447   QCOMPARE (aMapLeft .Contains (aMapSect), Standard_True);
1448   QCOMPARE (aMapRight.Contains (aMapSect), Standard_True);
1449
1450   // validate Substruction operation
1451   NCollection_Map<Standard_Integer> aMapSubsLR;
1452   aMapSubsLR.Subtraction (aMapLeft, aMapRight);
1453   QCOMPARE (aMapSubsLR.Extent(), aRightLower - aLeftLower);
1454   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter < aRightLower; ++aKeyIter)
1455   {
1456     QCOMPARE (aMapSubsLR.Contains (aKeyIter), Standard_True);
1457   }
1458
1459   NCollection_Map<Standard_Integer> aMapSubsRL;
1460   aMapSubsRL.Subtraction (aMapRight, aMapLeft);
1461   QCOMPARE (aMapSubsRL.Extent(), aRightUpper - aLeftUpper);
1462   for (Standard_Integer aKeyIter = aLeftUpper + 1; aKeyIter < aRightUpper; ++aKeyIter)
1463   {
1464     QCOMPARE (aMapSubsRL.Contains (aKeyIter), Standard_True);
1465   }
1466
1467   // validate Difference operation
1468   NCollection_Map<Standard_Integer> aMapDiff;
1469   aMapDiff.Difference (aMapLeft, aMapRight);
1470   QCOMPARE (aMapDiff.Extent(), aRightLower - aLeftLower + aRightUpper - aLeftUpper);
1471   for (Standard_Integer aKeyIter = aLeftLower; aKeyIter < aRightLower; ++aKeyIter)
1472   {
1473     QCOMPARE (aMapDiff.Contains (aKeyIter), Standard_True);
1474   }
1475   for (Standard_Integer aKeyIter = aLeftUpper + 1; aKeyIter < aRightUpper; ++aKeyIter)
1476   {
1477     QCOMPARE (aMapDiff.Contains (aKeyIter), Standard_True);
1478   }
1479
1480   // validate Exchange operation
1481   NCollection_Map<Standard_Integer> aMapSwap;
1482   aMapSwap.Exchange (aMapSect);
1483   for (Standard_Integer aKeyIter = aRightLower; aKeyIter <= aLeftUpper; ++aKeyIter)
1484   {
1485     QCOMPARE (aMapSwap.Contains (aKeyIter), Standard_True);
1486   }
1487   QCOMPARE (aMapSect.IsEmpty(), Standard_True);
1488   aMapSwap.Add (34);
1489   aMapSect.Add (43);
1490
1491   NCollection_Map<Standard_Integer> aMapCopy (aMapSwap);
1492   QCOMPARE (aMapCopy.IsEqual (aMapSwap), Standard_True);
1493   aMapCopy.Remove (34);
1494   aMapCopy.Add    (43);
1495   QCOMPARE (aMapCopy.IsEqual (aMapSwap), Standard_False);
1496
1497   return 0;
1498 }
1499
1500 #define QVERIFY(val1) \
1501   di << "Checking " #val1 " == Standard_True" << \
1502         ((val1) == Standard_True ? ": OK\n" : ": Error\n")
1503
1504 #include <GeomInt_IntSS.hxx>
1505 #include <Geom_ConicalSurface.hxx>
1506 #include <Standard_ErrorHandler.hxx>
1507
1508 namespace {
1509   static Handle(Geom_ConicalSurface) CreateCone (const gp_Pnt& theLoc,
1510                                                  const gp_Dir& theDir,
1511                                                  const gp_Dir& theXDir,
1512                                                  const Standard_Real theRad,
1513                                                  const Standard_Real theSin,
1514                                                  const Standard_Real theCos)
1515   {
1516     const Standard_Real anA = atan (theSin / theCos);
1517     gp_Ax3 anAxis (theLoc, theDir, theXDir);
1518     Handle(Geom_ConicalSurface) aSurf = new Geom_ConicalSurface (anAxis, anA, theRad);
1519     return aSurf;
1520   }
1521 }
1522
1523 static Standard_Integer OCC23972(Draw_Interpretor& /*theDI*/,
1524                                  Standard_Integer theNArg, const char** theArgs)
1525 {
1526   if (theNArg != 3) return 1;
1527
1528   //process specific cones, cannot read them from files because 
1529   //due to rounding the original error in math_FunctionRoots gets hidden
1530   const Handle(Geom_Surface) aS1 = CreateCone(
1531                               gp_Pnt(123.694345356663, 789.9, 68.15),
1532                               gp_Dir(-1, 3.48029791472957e-016, -8.41302743359754e-017),
1533                               gp_Dir(-3.48029791472957e-016, -1, -3.17572289932207e-016),
1534                               3.28206830417112,
1535                               0.780868809443031,
1536                               0.624695047554424);
1537   const Handle(Geom_Surface) aS2 = CreateCone(
1538                               gp_Pnt(123.694345356663, 784.9, 68.15),
1539                               gp_Dir(-1, -2.5209507537117e-016, -1.49772808948866e-016),
1540                               gp_Dir(1.49772808948866e-016, 3.17572289932207e-016, -1),
1541                               3.28206830417112,
1542                               0.780868809443031,
1543                               0.624695047554424);
1544   
1545   DrawTrSurf::Set(theArgs[1], aS1);
1546   DrawTrSurf::Set(theArgs[2], aS2);
1547
1548   return 0;
1549 }
1550
1551 #include <ShapeFix_EdgeProjAux.hxx>
1552 static Standard_Integer OCC24370 (Draw_Interpretor& di, Standard_Integer argc,const char ** argv)
1553 {
1554   if (argc < 5) {
1555     di<<"Usage: " << argv[0] << " invalid number of arguments\n";
1556     return 1;
1557   }
1558
1559   TopoDS_Shape aSh = DBRep::Get(argv[1]);
1560   if (aSh.IsNull()) {
1561     di << argv[0] << " Error: Null input edge\n";
1562     return 1;
1563   }
1564   const TopoDS_Edge& anEdge = TopoDS::Edge (aSh);
1565
1566   Handle(Geom2d_Curve) aC = DrawTrSurf::GetCurve2d(argv[2]);
1567   if (aC.IsNull()) {
1568     di << argv[0] << " Error: Null input curve\n";
1569     return 1;
1570   }
1571
1572   Handle(Geom_Surface) aS = DrawTrSurf::GetSurface(argv[3]);
1573   if (aS.IsNull()) {
1574     di << argv[0] << " Error: Null input surface\n";
1575     return 1;
1576   }
1577
1578   Standard_Real prec = Draw::Atof(argv[4]);
1579   
1580   //prepare data
1581   TopoDS_Face aFace;
1582   BRep_Builder aB;
1583   aB.MakeFace (aFace, aS, Precision::Confusion());
1584   aB.UpdateEdge (anEdge, aC, aFace, Precision::Confusion());
1585   aB.Range (anEdge, aFace, aC->FirstParameter(), aC->LastParameter());
1586
1587   //call algorithm
1588   ShapeFix_EdgeProjAux aProj (aFace, anEdge);
1589   aProj.Compute (prec);
1590   
1591   Standard_Boolean isfirstdone = aProj.IsFirstDone();
1592   Standard_Boolean islastdone = aProj.IsLastDone();
1593
1594   Standard_Real first = 0.;
1595   Standard_Real last = 0.;
1596   Standard_Integer isfirstdoneInteger = 0;
1597   Standard_Integer islastdoneInteger = 0;
1598
1599
1600   if (isfirstdone) {
1601     first = aProj.FirstParam();
1602     isfirstdoneInteger = 1;
1603   }
1604  
1605   if (islastdone) {
1606     last= aProj.LastParam();
1607     islastdoneInteger = 1;
1608   }
1609
1610   di << isfirstdoneInteger << " "<< islastdoneInteger << " "<< first << " "<< last << " \n";
1611
1612   return 0;
1613 }
1614
1615 template<typename T, typename HT>
1616 static void DoIsNull(Draw_Interpretor& di)
1617 {
1618   HT aHandle;
1619   //    QVERIFY (aHandle.IsNull());
1620   QCOMPARE (aHandle.IsNull(), Standard_True);
1621   const T* p = aHandle.get();
1622 #if OCC_VERSION_HEX > 0x060700
1623   //QVERIFY (!p);
1624   //QVERIFY (p == 0);
1625   QCOMPARE (!p, Standard_True);
1626   QCOMPARE (p == 0, Standard_True);
1627 #endif
1628
1629   aHandle = new T;
1630   //QVERIFY (!aHandle.IsNull());
1631   QCOMPARE (!aHandle.IsNull(), Standard_True);
1632   p = aHandle.get();
1633   //QVERIFY (p);
1634   //QVERIFY (p != 0);
1635   QCOMPARE (p != NULL, Standard_True);
1636   QCOMPARE (p != 0, Standard_True);
1637 }
1638
1639 //=======================================================================
1640 //function : OCC24533
1641 //purpose  : 
1642 //=======================================================================
1643 static Standard_Integer OCC24533 (Draw_Interpretor& di, Standard_Integer n, const char**)
1644 {
1645   if (n != 1) return 1;
1646
1647   DoIsNull<Standard_Transient, Handle(Standard_Transient)>(di);
1648
1649   return 0;
1650 }
1651
1652 // Dummy class to test interface for compilation issues
1653 class QABugs_HandleClass : public Standard_Transient
1654 {
1655 public:
1656   Standard_Integer HandleProc (Draw_Interpretor& , Standard_Integer  , const char** theArgVec)
1657   {
1658     std::cerr << "QABugs_HandleClass[" << this << "] " << theArgVec[0] << "\n";
1659     return 0;
1660   }
1661   DEFINE_STANDARD_RTTI_INLINE(QABugs_HandleClass,Standard_Transient) // Type definition
1662 };
1663 DEFINE_STANDARD_HANDLE    (QABugs_HandleClass, Standard_Transient)
1664
1665
1666 // Dummy class to test interface for compilation issues
1667 struct QABugs_NHandleClass
1668 {
1669   Standard_Integer NHandleProc (Draw_Interpretor& , Standard_Integer  , const char** theArgVec)
1670   {
1671     std::cerr << "QABugs_NHandleClass[" << this << "] " << theArgVec[0] << "\n";
1672     return 0;
1673   }
1674 };
1675
1676 #include <XCAFDoc_ColorTool.hxx>
1677 #include <STEPControl_StepModelType.hxx>
1678 #include <STEPCAFControl_Writer.hxx>
1679 static Standard_Integer OCC23951 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
1680 {
1681   if (argc != 2) {
1682     di << "Usage: " << argv[0] << " invalid number of arguments\n";
1683     return 1;
1684   }
1685   Handle(TDocStd_Document) aDoc = new TDocStd_Document("dummy");;
1686   TopoDS_Shape s1 = BRepPrimAPI_MakeBox(1,1,1).Shape();
1687   TDF_Label lab1 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape();
1688   XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->SetShape(lab1, s1);
1689   TDataStd_Name::Set(lab1, "Box1");
1690         
1691   Quantity_Color yellow(1,1,0, Quantity_TOC_RGB);
1692   XCAFDoc_DocumentTool::ColorTool (aDoc->Main())->SetColor(lab1, yellow, XCAFDoc_ColorGen);
1693   XCAFDoc_DocumentTool::ColorTool(aDoc->Main())->SetVisibility(lab1, 0);
1694
1695   STEPControl_StepModelType mode = STEPControl_AsIs;
1696   STEPCAFControl_Writer writer;
1697   if ( ! writer.Transfer (aDoc, mode ) )
1698   {
1699     di << "The document cannot be translated or gives no result"  <<  "\n";
1700     return 1;
1701   }
1702
1703   writer.Write(argv[1]);
1704   return 0;
1705 }
1706
1707
1708 //=======================================================================
1709 //function : OCC23950
1710 //purpose  :
1711 //=======================================================================
1712 static Standard_Integer OCC23950 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
1713 {
1714   if (argc != 2) {
1715     di << "Usage : " << argv[0] << " step_file\n";
1716     return 1;
1717   }
1718
1719   Handle(TDocStd_Document) aDoc = new TDocStd_Document ("dummy");
1720   TopoDS_Shape s6 = BRepBuilderAPI_MakeVertex (gp_Pnt (75, 0, 0));
1721   gp_Trsf t0;
1722   TopLoc_Location location0 (t0);
1723
1724   TDF_Label lab1 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape ();
1725   XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->SetShape (lab1, s6);
1726   TDataStd_Name::Set(lab1, "Point1");
1727
1728   TDF_Label labelA0 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape ();
1729   TDataStd_Name::Set(labelA0, "ASSEMBLY");
1730
1731   TDF_Label component01 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->AddComponent (labelA0, lab1, location0);
1732   XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->UpdateAssemblies();
1733
1734   Quantity_Color yellow(1,1,0, Quantity_TOC_RGB);
1735   XCAFDoc_DocumentTool::ColorTool (labelA0)->SetColor (component01, yellow, XCAFDoc_ColorGen);
1736   XCAFDoc_DocumentTool::ColorTool (labelA0)->SetVisibility (component01, 0);
1737
1738   STEPControl_StepModelType mode = STEPControl_AsIs;
1739   STEPCAFControl_Writer writer;
1740   if (! writer.Transfer (aDoc, mode))
1741   {
1742     di << "The document cannot be translated or gives no result\n";
1743     return 1;
1744   }
1745
1746   writer.Write (argv[1]);
1747   return 0;
1748 }
1749
1750 //=======================================================================
1751 //function : OCC24667
1752 //purpose  : 
1753 //=======================================================================
1754 static Standard_Integer OCC24667 (Draw_Interpretor& di, Standard_Integer n, const char** a)
1755 {
1756   if (n == 1)
1757   {
1758     di << "OCC24667 result Wire_spine Profile [Mode [Approx]]\n";
1759     di << "Mode = 0 - CorrectedFrenet,\n";
1760     di << "     = 1 - Frenet,\n";
1761     di << "     = 2 - DiscreteTrihedron\n";
1762     di << "Approx - force C1-approximation if result is C0\n";
1763     return 0;
1764   }
1765
1766   if (n > 1 && n < 4) return 1;
1767
1768   TopoDS_Shape Spine = DBRep::Get(a[2],TopAbs_WIRE);
1769   if ( Spine.IsNull()) return 1;
1770
1771   TopoDS_Shape Profile = DBRep::Get(a[3]);
1772   if ( Profile.IsNull()) return 1;
1773
1774   GeomFill_Trihedron Mode = GeomFill_IsCorrectedFrenet;
1775   if (n >= 5)
1776   {
1777     Standard_Integer iMode = atoi(a[4]);
1778     if (iMode == 1)
1779       Mode = GeomFill_IsFrenet;
1780     else if (iMode == 2)
1781       Mode = GeomFill_IsDiscreteTrihedron;
1782   }
1783
1784   Standard_Boolean ForceApproxC1 = Standard_False;
1785   if (n >= 6)
1786     ForceApproxC1 = Standard_True;
1787
1788   BRepOffsetAPI_MakePipe aPipe(TopoDS::Wire(Spine),
1789                                           Profile,
1790                                           Mode,
1791                                           ForceApproxC1);
1792
1793   TopoDS_Shape S = aPipe.Shape();
1794   TopoDS_Shape aSF = aPipe.FirstShape();
1795   TopoDS_Shape aSL = aPipe.LastShape();
1796
1797   DBRep::Set(a[1],S);
1798
1799   TCollection_AsciiString aStrF(a[1], "_f");
1800   TCollection_AsciiString aStrL(a[1], "_l");
1801
1802   DBRep::Set(aStrF.ToCString(), aSF);
1803   DBRep::Set(aStrL.ToCString(), aSL);
1804
1805   return 0;
1806 }
1807
1808 #include <BRepPrimAPI_MakeCylinder.hxx>
1809 #include <BRepBuilderAPI_Copy.hxx>
1810 #include <BRepTools_NurbsConvertModification.hxx>
1811 static TopoDS_Shape CreateTestShape (int& theShapeNb)
1812 {
1813   TopoDS_Compound aComp;
1814   BRep_Builder aBuilder;
1815   aBuilder.MakeCompound (aComp);
1816   //NURBS modifier is used to increase footprint of each shape
1817   Handle(BRepTools_NurbsConvertModification) aNurbsModif = new BRepTools_NurbsConvertModification;
1818   TopoDS_Shape aRefShape = BRepPrimAPI_MakeCylinder (50., 100.).Solid();
1819   BRepTools_Modifier aModifier (aRefShape, aNurbsModif);
1820   if (aModifier.IsDone()) {
1821     aRefShape = aModifier.ModifiedShape (aRefShape);
1822   }
1823   int aSiblingNb = 0;
1824   for (; theShapeNb > 0; --theShapeNb) {
1825     TopoDS_Shape aShape;
1826     if (++aSiblingNb <= 100) { //number of siblings is limited to avoid long lists
1827                 aShape = BRepBuilderAPI_Copy (aRefShape, Standard_True /*CopyGeom*/).Shape();
1828     } else {
1829       aShape = CreateTestShape (theShapeNb);
1830     }
1831     aBuilder.Add (aComp, aShape);
1832   }
1833   return aComp;
1834 }
1835
1836 #include <TDataStd_Integer.hxx>
1837 #include <TNaming_Builder.hxx>
1838 static Standard_Integer OCC24931 (Draw_Interpretor& di, Standard_Integer argc, const char** argv)
1839 {
1840   if (argc != 2) {
1841     di << "Usage: " << argv[0] << " invalid number of arguments\n";
1842     return 1;
1843   }
1844   TCollection_ExtendedString aFileName (argv[1]);
1845   PCDM_StoreStatus aSStatus  = PCDM_SS_Failure;
1846
1847   Handle(TDocStd_Application) anApp = DDocStd::GetApplication();
1848   {
1849     Handle(TDocStd_Document) aDoc;
1850     anApp->NewDocument ("XmlOcaf", aDoc);
1851     TDF_Label aLab = aDoc->Main();
1852     TDataStd_Integer::Set (aLab, 0);
1853     int n = 10000; //must be big enough
1854     TopoDS_Shape aShape = CreateTestShape (n);
1855     TNaming_Builder aBuilder (aLab);
1856     aBuilder.Generated (aShape);
1857
1858     aSStatus = anApp->SaveAs (aDoc, aFileName);
1859     anApp->Close (aDoc);
1860   }
1861   QCOMPARE (aSStatus, PCDM_SS_OK);
1862   return 0;
1863 }
1864
1865 #include <TDF_AttributeIterator.hxx>
1866 //=======================================================================
1867 //function : OCC24755
1868 //purpose  : 
1869 //=======================================================================
1870 static Standard_Integer OCC24755 (Draw_Interpretor& di, Standard_Integer n, const char** a)
1871 {
1872   if (n != 1)
1873   {
1874     std::cout << "Usage : " << a[0] << "\n";
1875     return 1;
1876   }
1877
1878   Handle(TDocStd_Application) anApp = DDocStd::GetApplication();
1879   Handle(TDocStd_Document) aDoc;
1880   anApp->NewDocument ("BinOcaf", aDoc);
1881   TDF_Label aLab = aDoc->Main();
1882   // Prepend an int value.
1883   TDataStd_Integer::Set (aLab, 0);
1884   // Prepend a name.
1885   TDataStd_Name::Set (aLab, "test");
1886   // Append a double value.
1887   aLab.AddAttribute(new TDataStd_Real(), true/*append*/);
1888
1889   TDF_AttributeIterator i (aLab);
1890   Handle(TDF_Attribute) anAttr = i.Value();
1891   QCOMPARE (anAttr->IsKind (STANDARD_TYPE (TDataStd_Integer)), Standard_True);
1892   i.Next();
1893   anAttr = i.Value();
1894   QCOMPARE (anAttr->IsKind (STANDARD_TYPE (TDataStd_Name)), Standard_True);
1895   i.Next();
1896   anAttr = i.Value();
1897   QCOMPARE (anAttr->IsKind (STANDARD_TYPE (TDataStd_Real)), Standard_True);
1898
1899   return 0;
1900 }
1901
1902 struct MyStubObject
1903 {
1904   MyStubObject() : ptr(0L) {}
1905   MyStubObject(void* thePtr) : ptr(thePtr) {}
1906   char overhead[40];
1907   void* ptr;
1908 };
1909
1910 //=======================================================================
1911 //function : OCC24834
1912 //purpose  : 
1913 //=======================================================================
1914 static Standard_Integer OCC24834 (Draw_Interpretor& di, Standard_Integer n, const char** a)
1915 {
1916   if (n != 1)
1917   {
1918     std::cout << "Usage : " << a[0] << "\n";
1919     return 1;
1920   }
1921
1922   int i = sizeof (char*);  
1923   if (i > 4) {
1924     std::cout << "64-bit architecture is not supported.\n";
1925     return 0;
1926   }
1927
1928   NCollection_List<MyStubObject> aList;
1929   const Standard_Integer aSmallBlockSize = 40;
1930   const Standard_Integer aLargeBlockSize = 1500000;
1931
1932   // quick populate memory with large blocks
1933   try
1934   {
1935     for (;;)
1936     {
1937       aList.Append(MyStubObject(Standard::Allocate(aLargeBlockSize)));
1938     }
1939   }
1940   catch (Standard_Failure)
1941   {
1942     di << "caught out of memory for large blocks: OK\n";
1943   }
1944   catch (...)
1945   {
1946     di << "skept out of memory for large blocks: Error\n";
1947   }
1948
1949   // allocate small blocks
1950   try
1951   {
1952     for (;;)
1953     {
1954       aList.Append(MyStubObject(Standard::Allocate(aSmallBlockSize)));
1955     }
1956   }
1957   catch (Standard_Failure)
1958   {
1959     di << "caught out of memory for small blocks: OK\n";
1960   }
1961   catch (...)
1962   {
1963     di << "skept out of memory for small blocks: Error\n";
1964   }
1965
1966   // release all allocated blocks
1967   for (NCollection_List<MyStubObject>::Iterator it(aList); it.More(); it.Next())
1968   {
1969     Standard::Free(it.Value().ptr);
1970   }
1971   return 0;
1972 }
1973
1974
1975 #include <Geom2dAPI_InterCurveCurve.hxx>
1976 #include <IntRes2d_IntersectionPoint.hxx>
1977 //=======================================================================
1978 //function : OCC24889
1979 //purpose  : 
1980 //=======================================================================
1981 static Standard_Integer OCC24889 (Draw_Interpretor& theDI,
1982                                   Standard_Integer /*theNArg*/,
1983                                   const char** /*theArgs*/)
1984 {
1985  // Curves
1986   Handle( Geom2d_Circle ) aCircle1 = new Geom2d_Circle(
1987     gp_Ax22d( gp_Pnt2d( 25, -25 ), gp_Dir2d( 1, 0 ), gp_Dir2d( -0, 1 ) ), 155 );
1988
1989   Handle( Geom2d_Circle ) aCircle2 = new Geom2d_Circle(
1990     gp_Ax22d( gp_Pnt2d( 25, 25 ), gp_Dir2d( 1, 0 ), gp_Dir2d( -0, 1 ) ), 155 );
1991
1992   Handle( Geom2d_TrimmedCurve ) aTrim[2] = {
1993     new Geom2d_TrimmedCurve( aCircle1, 1.57079632679490, 2.97959469729228 ),
1994     new Geom2d_TrimmedCurve( aCircle2, 3.30359060633978, 4.71238898038469 )
1995   };
1996
1997   DrawTrSurf::Set("c_1", aTrim[0]);
1998   DrawTrSurf::Set("c_2", aTrim[1]);
1999
2000   // Intersection
2001   const Standard_Real aTol = Precision::Confusion();
2002   Geom2dAPI_InterCurveCurve aIntTool( aTrim[0], aTrim[1], aTol );
2003
2004   const IntRes2d_IntersectionPoint& aIntPnt =
2005     aIntTool.Intersector().Point( 1 );
2006
2007   gp_Pnt2d aIntRes = aIntTool.Point( 1 );
2008   Standard_Real aPar[2] = {
2009     aIntPnt.ParamOnFirst(),
2010     aIntPnt.ParamOnSecond()
2011   };
2012
2013   //theDI.precision( 5 );
2014   theDI << "Int point: X = " << aIntRes.X() << "; Y = " << aIntRes.Y() << "\n";
2015   for (int i = 0; i < 2; ++i)
2016   {
2017     theDI << "Curve " << i << ": FirstParam = " << aTrim[i]->FirstParameter() <<
2018       "; LastParam = " << aTrim[i]->LastParameter() <<
2019       "; IntParameter = " << aPar[i] << "\n";
2020   }
2021
2022   return 0;
2023 }
2024
2025 #include <math_GlobOptMin.hxx>
2026 #include <math_MultipleVarFunctionWithHessian.hxx>
2027 //=======================================================================
2028 //function : OCC25004
2029 //purpose  : Check extremaCC on Branin function.
2030 //=======================================================================
2031 // Function is:
2032 // f(u,v) = a*(v - b*u^2 + c*u-r)^2+s(1-t)*cos(u)+s
2033 // Standard borders are:
2034 // -5 <= u <= 10
2035 //  0 <= v <= 15
2036 class BraninFunction : public math_MultipleVarFunctionWithHessian
2037 {
2038 public:
2039   BraninFunction()
2040   {
2041     a = 1.0;
2042     b = 5.1 / (4.0 * M_PI * M_PI);
2043     c = 5.0 / M_PI;
2044     r = 6.0;
2045     s = 10.0;
2046     t = 1.0 / (8.0 *  M_PI);
2047   }
2048   virtual Standard_Integer NbVariables() const
2049   {
2050     return 2;
2051   }
2052   virtual Standard_Boolean Value(const math_Vector& X,Standard_Real& F)
2053   {
2054     Standard_Real u = X(1);
2055     Standard_Real v = X(2);
2056
2057     Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function.
2058     Standard_Real aLnPt = s * (1 - t) * cos(u); // Linear part of funcrtion.
2059     F = a * aSqPt * aSqPt + aLnPt + s;
2060     return Standard_True;
2061   }
2062   virtual Standard_Boolean Gradient(const math_Vector& X,math_Vector& G)
2063   {
2064     Standard_Real u = X(1);
2065     Standard_Real v = X(2);
2066
2067     Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function.
2068     G(1) = 2 * a * aSqPt * (c - 2 * b * u) - s * (1 - t) * sin(u);
2069     G(2) = 2 * a * aSqPt;
2070
2071     return Standard_True;
2072   }
2073   virtual Standard_Boolean Values(const math_Vector& X,Standard_Real& F,math_Vector& G)
2074   {
2075     Value(X,F);
2076     Gradient(X,G);
2077
2078     return Standard_True;
2079   }
2080   virtual Standard_Boolean Values(const math_Vector& X,Standard_Real& F,math_Vector& G,math_Matrix& H)
2081   {
2082     Value(X,F);
2083     Gradient(X,G);
2084
2085     Standard_Real u = X(1);
2086     Standard_Real v = X(2);
2087
2088     Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function.
2089     Standard_Real aTmpPt = c - 2 * b *u; // Tmp part.
2090     H(1,1) = 2 * a * aTmpPt * aTmpPt - 4 * a * b * aSqPt - s * (1 - t) * cos(u);
2091     H(1,2) = 2 * a * aTmpPt;
2092     H(2,1) = H(1,2);
2093     H(2,2) = 2 * a;
2094
2095     return Standard_True;
2096   }
2097
2098 private:
2099   // Standard parameters.
2100   Standard_Real a, b, c, r, s, t;
2101 };
2102
2103 static Standard_Integer OCC25004 (Draw_Interpretor& theDI,
2104                                   Standard_Integer /*theNArg*/,
2105                                   const char** /*theArgs*/)
2106 {
2107   BraninFunction aFunc;
2108
2109   math_Vector aLower(1,2), aUpper(1,2);
2110   aLower(1) = -5;
2111   aLower(2) =  0;
2112   aUpper(1) = 10;
2113   aUpper(2) = 15;
2114
2115   Standard_Integer aGridOrder = 16;
2116   math_Vector aFuncValues(1, aGridOrder * aGridOrder);
2117
2118   Standard_Real aLipConst = 0;
2119   math_Vector aCurrPnt1(1, 2), aCurrPnt2(1, 2);
2120
2121   // Get Lipshitz constant estimation on regular grid.
2122   Standard_Integer i, j, idx = 1;
2123   for(i = 1; i <= aGridOrder; i++)
2124   {
2125     for(j = 1; j <= aGridOrder; j++)
2126     {
2127       aCurrPnt1(1) = aLower(1) + (aUpper(1) - aLower(1)) * (i - 1) / (aGridOrder - 1.0);
2128       aCurrPnt1(2) = aLower(2) + (aUpper(2) - aLower(2)) * (j - 1) / (aGridOrder - 1.0);
2129
2130       aFunc.Value(aCurrPnt1, aFuncValues(idx));
2131       idx++;
2132     }
2133   }
2134
2135   Standard_Integer k, l;
2136   Standard_Integer idx1, idx2;
2137   for(i = 1; i <= aGridOrder; i++)
2138   for(j = 1; j <= aGridOrder; j++)
2139   for(k = 1; k <= aGridOrder; k++)
2140   for(l = 1; l <= aGridOrder; l++)
2141     {
2142       if (i == k && j == l) 
2143         continue;
2144
2145       aCurrPnt1(1) = aLower(1) + (aUpper(1) - aLower(1)) * (i - 1) / (aGridOrder - 1.0);
2146       aCurrPnt1(2) = aLower(2) + (aUpper(2) - aLower(2)) * (j - 1) / (aGridOrder - 1.0);
2147       idx1 = (i - 1) * aGridOrder + j;
2148
2149       aCurrPnt2(1) = aLower(1) + (aUpper(1) - aLower(1)) * (k - 1) / (aGridOrder - 1.0);
2150       aCurrPnt2(2) = aLower(2) + (aUpper(2) - aLower(2)) * (l - 1) / (aGridOrder - 1.0);
2151       idx2 = (k - 1) * aGridOrder + l;
2152
2153       aCurrPnt1.Add(-aCurrPnt2);
2154       Standard_Real dist = aCurrPnt1.Norm();
2155
2156       Standard_Real C = Abs(aFuncValues(idx1) - aFuncValues(idx2)) / dist;
2157       if (C > aLipConst)
2158         aLipConst = C;
2159     }
2160
2161   math_GlobOptMin aFinder(&aFunc, aLower, aUpper, aLipConst);
2162   aFinder.Perform();
2163   //(-pi , 12.275), (pi , 2.275), (9.42478, 2.475)
2164
2165   Standard_Real anExtValue = aFinder.GetF();
2166   theDI << "F = " << anExtValue << "\n";
2167
2168   Standard_Integer aNbExt = aFinder.NbExtrema();
2169   theDI << "NbExtrema = " << aNbExt << "\n";
2170
2171   return 0;
2172 }
2173
2174 #include <OSD_Environment.hxx>
2175 #include <Plugin.hxx>
2176 #include <Plugin_Macro.hxx>
2177 #include <Resource_Manager.hxx>
2178
2179 #define THE_QATEST_DOC_FORMAT       "My Proprietary Format"
2180
2181 #define QA_CHECK(theDesc, theExpr, theValue) \
2182 {\
2183   const bool isTrue = !!(theExpr); \
2184   std::cout << theDesc << (isTrue ? " TRUE  " : " FALSE ") << (isTrue == theValue ? " is OK\n" : " is FAIL\n"); \
2185 }
2186
2187 class Test_TDocStd_Application : public TDocStd_Application
2188 {
2189 public:
2190
2191   Test_TDocStd_Application ()
2192   {
2193     // explicitly initialize resource manager
2194     myResources = new Resource_Manager ("");
2195     myResources->SetResource ("xml.FileFormat", THE_QATEST_DOC_FORMAT);
2196     myResources->SetResource (THE_QATEST_DOC_FORMAT ".Description",     "Test XML Document");
2197     myResources->SetResource (THE_QATEST_DOC_FORMAT ".FileExtension",   "xml");
2198   }
2199
2200   virtual Handle(PCDM_Reader) ReaderFromFormat (const TCollection_ExtendedString&) Standard_OVERRIDE
2201   {
2202     return new XmlDrivers_DocumentRetrievalDriver ();
2203   }
2204   virtual Handle(PCDM_StorageDriver) WriterFromFormat (const TCollection_ExtendedString&) Standard_OVERRIDE
2205   {
2206     return new XmlDrivers_DocumentStorageDriver ("Test");
2207   }
2208   virtual Standard_CString ResourcesName() Standard_OVERRIDE { return ""; }
2209 };
2210
2211 //=======================================================================
2212 //function : OCC24925
2213 //purpose  :
2214 //=======================================================================
2215 static Standard_Integer OCC24925 (Draw_Interpretor& theDI,
2216                                   Standard_Integer  theArgNb,
2217                                   const char**      theArgVec)
2218 {
2219   if (theArgNb != 2
2220    && theArgNb != 5)
2221   {
2222     std::cout << "Error: wrong syntax! See usage:\n";
2223     theDI.PrintHelp (theArgVec[0]);
2224     return 1;
2225   }
2226
2227   Standard_Integer anArgIter = 1;
2228   TCollection_ExtendedString aFileName = theArgVec[anArgIter++];
2229   TCollection_AsciiString    aPlugin   = "TKXml";
2230   TCollection_AsciiString    aSaver    = "03a56820-8269-11d5-aab2-0050044b1af1"; // XmlStorageDriver   in XmlDrivers.cxx
2231   TCollection_AsciiString    aLoader   = "03a56822-8269-11d5-aab2-0050044b1af1"; // XmlRetrievalDriver in XmlDrivers.cxx
2232   if (anArgIter < theArgNb)
2233   {
2234     aPlugin = theArgVec[anArgIter++];
2235     aSaver  = theArgVec[anArgIter++];
2236     aLoader = theArgVec[anArgIter++];
2237   }
2238
2239   PCDM_StoreStatus  aSStatus = PCDM_SS_Failure;
2240   PCDM_ReaderStatus aRStatus = PCDM_RS_OpenError;
2241
2242   Handle(TDocStd_Application) anApp = new Test_TDocStd_Application ();
2243   {
2244     Handle(TDocStd_Document) aDoc;
2245     anApp->NewDocument (THE_QATEST_DOC_FORMAT, aDoc);
2246     TDF_Label aLab = aDoc->Main();
2247     TDataStd_Integer::Set (aLab, 0);
2248     TDataStd_Name::Set (aLab, "QABugs_19.cxx");
2249
2250     aSStatus = anApp->SaveAs (aDoc, aFileName);
2251     anApp->Close (aDoc);
2252   }
2253   QA_CHECK ("SaveAs()", aSStatus == PCDM_SS_OK, true);
2254
2255   {
2256     Handle(TDocStd_Document) aDoc;
2257     aRStatus = anApp->Open (aFileName, aDoc);
2258     anApp->Close (aDoc);
2259   }
2260   QA_CHECK ("Open()  ", aRStatus == PCDM_RS_OK, true);
2261   return 0;
2262 }
2263
2264 //=======================================================================
2265 //function : OCC25043
2266 //purpose  :
2267 //=======================================================================
2268 #include <BRepAlgoAPI_Check.hxx>
2269 static Standard_Integer OCC25043 (Draw_Interpretor& theDI,
2270                                   Standard_Integer  theArgNb,
2271                                   const char**      theArgVec)
2272 {
2273   if (theArgNb != 2) {
2274     theDI << "Usage: " << theArgVec[0] << " shape\n";
2275     return 1;
2276   }
2277   
2278   TopoDS_Shape aShape = DBRep::Get(theArgVec[1]);
2279   if (aShape.IsNull()) 
2280   {
2281     theDI << theArgVec[1] << " shape is NULL\n";
2282     return 1;
2283   }
2284   
2285   BRepAlgoAPI_Check  anAlgoApiCheck(aShape, Standard_True, Standard_True);
2286
2287   if (!anAlgoApiCheck.IsValid())
2288   {
2289     BOPAlgo_ListIteratorOfListOfCheckResult anCheckIter(anAlgoApiCheck.Result());
2290     for (; anCheckIter.More(); anCheckIter.Next())
2291     {
2292       const BOPAlgo_CheckResult& aCurCheckRes = anCheckIter.Value();
2293       const TopTools_ListOfShape& aCurFaultyShapes = aCurCheckRes.GetFaultyShapes1();
2294       TopTools_ListIteratorOfListOfShape aFaultyIter(aCurFaultyShapes);
2295       for (; aFaultyIter.More(); aFaultyIter.Next())
2296       {
2297         const TopoDS_Shape& aFaultyShape = aFaultyIter.Value();
2298         
2299         Standard_Boolean anIsFaultyShapeFound = Standard_False;
2300         TopExp_Explorer anExp(aShape, aFaultyShape.ShapeType());
2301         for (; anExp.More() && !anIsFaultyShapeFound; anExp.Next())
2302         {
2303           if (anExp.Current().IsEqual(aFaultyShape))
2304             anIsFaultyShapeFound = Standard_True;
2305         }
2306         
2307         if (!anIsFaultyShapeFound)
2308         {
2309           theDI << "Error. Faulty Shape is NOT found in source shape.\n";
2310           return 0;
2311         }
2312         else 
2313         {
2314           theDI << "Info. Faulty shape is found in source shape\n";
2315         }
2316       }
2317     }
2318   }
2319   else 
2320   {
2321     theDI << "Problems are not detected. Test is not performed.";
2322   }
2323
2324   return 0;
2325 }
2326
2327 //=======================================================================
2328 //function : OCC24606
2329 //purpose  :
2330 //=======================================================================
2331 static Standard_Integer OCC24606 (Draw_Interpretor& theDI,
2332                                   Standard_Integer  theArgNb,
2333                                   const char**      theArgVec)
2334 {
2335   if (theArgNb > 1)
2336   {
2337     std::cerr << "Error: incorrect number of arguments.\n";
2338     theDI << "Usage : " << theArgVec[0] << "\n";
2339     return 1;
2340   }
2341
2342   Handle(V3d_View) aView = ViewerTest::CurrentView();
2343   if (aView.IsNull())
2344   {
2345     std::cerr << "Errro: no active view, please call 'vinit'.\n";
2346     return 1;
2347   }
2348
2349   aView->DepthFitAll();
2350   aView->FitAll();
2351
2352   return 0;
2353 }
2354
2355 //=======================================================================
2356 //function : OCC25202
2357 //purpose  :
2358 //=======================================================================
2359 #include <ShapeBuild_ReShape.hxx>
2360 static Standard_Integer OCC25202 ( Draw_Interpretor& theDI,
2361                                    Standard_Integer theArgN,
2362                                    const char** theArgVal)
2363 {
2364   //  0      1    2     3     4     5     6 
2365   //reshape res shape numF1 face1 numF2 face2
2366   if(theArgN < 7)
2367     {
2368       theDI << "Use: reshape res shape numF1 face1 numF2 face2\n";
2369       return 1;
2370     }
2371
2372   TopoDS_Shape aShape = DBRep::Get(theArgVal[2]);
2373   const Standard_Integer  aNumOfRE1 = Draw::Atoi(theArgVal[3]),
2374                           aNumOfRE2 = Draw::Atoi(theArgVal[5]);
2375   TopoDS_Face aShapeForRepl1 = TopoDS::Face(DBRep::Get(theArgVal[4])),
2376               aShapeForRepl2 = TopoDS::Face(DBRep::Get(theArgVal[6]));
2377
2378   if(aShape.IsNull())
2379   {
2380     theDI << theArgVal[2] << " is null shape\n";
2381     return 1;
2382   }
2383
2384   if(aShapeForRepl1.IsNull())
2385   {
2386     theDI << theArgVal[4] << " is not a replaced type\n";
2387     return 1;
2388   }
2389
2390   if(aShapeForRepl2.IsNull())
2391   {
2392     theDI << theArgVal[6] << " is not a replaced type\n";
2393     return 1;
2394   }
2395
2396
2397   TopoDS_Shape aReplacedShape;
2398   ShapeBuild_ReShape aReshape;
2399
2400   //////////////////// explode (begin)
2401   TopTools_MapOfShape M;
2402   M.Add(aShape);
2403   Standard_Integer aNbShapes = 0;
2404   for (TopExp_Explorer ex(aShape,TopAbs_FACE); ex.More(); ex.Next())
2405     {
2406       const TopoDS_Shape& Sx = ex.Current();
2407       Standard_Boolean added = M.Add(Sx);
2408       if (added)
2409         {
2410           aNbShapes++;
2411           if(aNbShapes == aNumOfRE1)
2412             {
2413               aReplacedShape = Sx;
2414
2415               aReshape.Replace(aReplacedShape, aShapeForRepl1);
2416             }
2417
2418           if(aNbShapes == aNumOfRE2)
2419             {
2420               aReplacedShape = Sx;
2421
2422               aReshape.Replace(aReplacedShape, aShapeForRepl2);
2423             }
2424         }
2425     }
2426   //////////////////// explode (end)
2427
2428   if(aReplacedShape.IsNull())
2429     {
2430       theDI << "There is not any shape for replacing.\n";
2431     }
2432
2433   DBRep::Set (theArgVal[1],aReshape.Apply (aShape,TopAbs_WIRE,2));
2434
2435   return 0;
2436 }
2437
2438 #include <ShapeFix_Wireframe.hxx>
2439 //=======================================================================
2440 //function : OCC7570
2441 //purpose  : 
2442 //=======================================================================
2443 static Standard_Integer OCC7570 (Draw_Interpretor& di, Standard_Integer n, const char** a)
2444 {
2445   if (n != 2) {
2446     di<<"Usage: "<<a[0]<<" invalid number of arguments\n";
2447     return 1;
2448   }
2449   TopoDS_Shape in_shape (DBRep::Get (a[1]));
2450   ShapeFix_Wireframe fix_tool (in_shape);
2451   fix_tool.ModeDropSmallEdges () = Standard_True;
2452   fix_tool.SetPrecision (1.e+6);
2453   fix_tool.SetLimitAngle (0.01);
2454   fix_tool.FixSmallEdges ();
2455   TopoDS_Shape new_shape = fix_tool.Shape ();
2456   return 0;
2457 }
2458
2459 #include <AIS_TypeFilter.hxx>
2460 //=======================================================================
2461 //function : OCC25340
2462 //purpose  : 
2463 //=======================================================================
2464 static Standard_Integer OCC25340 (Draw_Interpretor& /*theDI*/,
2465                                  Standard_Integer  /*theArgNb*/,
2466                                  const char** /*theArgVec*/)
2467 {
2468   Handle(AIS_InteractiveContext) aCtx = ViewerTest::GetAISContext();
2469   if (aCtx.IsNull())
2470   {
2471     std::cerr << "Error: No opened viewer!\n";
2472     return 1;
2473   }
2474   Handle(AIS_TypeFilter) aFilter = new AIS_TypeFilter (AIS_KOI_Shape);
2475   aCtx->AddFilter (aFilter);
2476   return 0;
2477 }
2478
2479 //=======================================================================
2480 //function : OCC24826
2481 //purpose  :
2482 //=======================================================================
2483 class ParallelTest_Saxpy
2484 {
2485 public:
2486   //! Constructor
2487   ParallelTest_Saxpy (const NCollection_Array1<Standard_Real>& theX,
2488                       NCollection_Array1<Standard_Real>& theY,
2489                       Standard_Real theScalar)
2490   : myX (theX), myY (theY), myScalar (theScalar) {}
2491
2492   int Begin() const { return 0; }
2493   int End()   const { return myX.Size(); }
2494
2495   //! Dummy calculation
2496   void operator() (Standard_Integer theIndex) const
2497   {
2498     myY(theIndex) = myScalar * myX(theIndex) + myY(theIndex);
2499   }
2500
2501   //! Dummy calculation
2502   void operator() (Standard_Integer theThreadIndex, Standard_Integer theIndex) const
2503   {
2504     (void )theThreadIndex;
2505     myY(theIndex) = myScalar * myX(theIndex) + myY(theIndex);
2506   }
2507
2508 private:
2509   ParallelTest_Saxpy( const ParallelTest_Saxpy& );
2510   ParallelTest_Saxpy& operator =( ParallelTest_Saxpy& );
2511
2512 protected:
2513   const NCollection_Array1<Standard_Real>& myX;
2514   NCollection_Array1<Standard_Real>& myY;
2515   const Standard_Real myScalar;
2516 };
2517
2518 class ParallelTest_SaxpyBatch : private ParallelTest_Saxpy
2519 {
2520 public:
2521   static const Standard_Integer THE_BATCH_SIZE = 10000000;
2522
2523   ParallelTest_SaxpyBatch (const NCollection_Array1<Standard_Real>& theX,
2524                            NCollection_Array1<Standard_Real>& theY,
2525                            Standard_Real theScalar)
2526   : ParallelTest_Saxpy (theX, theY, theScalar),
2527     myNbBatches ((int )Ceiling ((double )theX.Size() / THE_BATCH_SIZE)) {}
2528
2529   int Begin() const { return 0; }
2530   int End()   const { return myNbBatches; }
2531
2532   void operator() (int theBatchIndex) const
2533   {
2534     const int aLower  = theBatchIndex * THE_BATCH_SIZE;
2535     const int anUpper = Min (aLower + THE_BATCH_SIZE - 1, myX.Upper());
2536     for (int i = aLower; i <= anUpper; ++i)
2537     {
2538       myY(i) = myScalar * myX(i) + myY(i);
2539     }
2540   }
2541
2542   void operator() (int theThreadIndex, int theBatchIndex) const
2543   {
2544     (void )theThreadIndex;
2545     (*this)(theBatchIndex);
2546   }
2547 private:
2548   int myNbBatches;
2549 };
2550
2551 //---------------------------------------------------------------------
2552 static Standard_Integer OCC24826(Draw_Interpretor& theDI,
2553                                  Standard_Integer  theArgc,
2554                                  const char**      theArgv)
2555 {
2556   if ( theArgc != 2 )
2557   {
2558     theDI << "Usage: "
2559           << theArgv[0]
2560           << " vec_length\n";
2561     return 1;
2562   }
2563
2564   // Generate data;
2565   Standard_Integer aLength = Draw::Atoi(theArgv[1]);
2566
2567   NCollection_Array1<Standard_Real> aX (0, aLength - 1);
2568   NCollection_Array1<Standard_Real> anY(0, aLength - 1);
2569   for ( Standard_Integer i = 0; i < aLength; ++i )
2570   {
2571     aX(i) = anY(i) = (Standard_Real) i;
2572   }
2573
2574   //! Serial processing
2575   NCollection_Array1<Standard_Real> anY1 = anY;
2576   Standard_Real aTimeSeq = 0.0;
2577   {
2578     OSD_Timer aTimer;
2579     aTimer.Start();
2580     const ParallelTest_Saxpy aFunctor (aX, anY1, 1e-6);
2581     for (Standard_Integer i = 0; i < aLength; ++i)
2582     {
2583       aFunctor(i);
2584     }
2585
2586     aTimer.Stop();
2587     std::cout << "  Processing time (sequential mode): 1x [reference]\n";
2588     aTimeSeq = aTimer.ElapsedTime();
2589     aTimer.Show (std::cout);
2590   }
2591
2592   // Parallel processing
2593   for (Standard_Integer aMode = 0; aMode <= 4; ++aMode)
2594   {
2595     NCollection_Array1<Standard_Real> anY2 = anY;
2596     OSD_Timer aTimer;
2597     aTimer.Start();
2598     const char* aModeDesc = NULL;
2599     const ParallelTest_Saxpy      aFunctor1 (aX, anY2, 1e-6);
2600     const ParallelTest_SaxpyBatch aFunctor2 (aX, anY2, 1e-6);
2601     switch (aMode)
2602     {
2603       case 0:
2604       {
2605         aModeDesc = "OSD_Parallel::For()";
2606         OSD_Parallel::For (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2607         break;
2608       }
2609       case 1:
2610       {
2611         aModeDesc = "OSD_ThreadPool::Launcher";
2612         OSD_ThreadPool::Launcher aLauncher (*OSD_ThreadPool::DefaultPool());
2613         aLauncher.Perform (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2614         break;
2615       }
2616       case 2:
2617       {
2618         aModeDesc = "OSD_Parallel::Batched()";
2619         OSD_Parallel::For (aFunctor2.Begin(), aFunctor2.End(), aFunctor2);
2620         break;
2621       }
2622       case 3:
2623       {
2624         aModeDesc = "OSD_ThreadPool::Launcher, Batched";
2625         OSD_ThreadPool::Launcher aLauncher (*OSD_ThreadPool::DefaultPool());
2626         aLauncher.Perform (aFunctor2.Begin(), aFunctor2.End(), aFunctor2);
2627         break;
2628       }
2629       case 4:
2630       {
2631     #ifdef HAVE_TBB
2632         aModeDesc = "tbb::parallel_for";
2633         tbb::parallel_for (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2634         break;
2635     #else
2636         continue;
2637     #endif
2638       }
2639     }
2640     aTimer.Stop();
2641     std::cout << "  " << aModeDesc << ": "
2642               << aTimeSeq / aTimer.ElapsedTime() << "x " << (aTimer.ElapsedTime() < aTimeSeq ? "[boost]" : "[slow-down]") << "\n";
2643     aTimer.Show (std::cout);
2644
2645     for (Standard_Integer i = 0; i < aLength; ++i)
2646     {
2647       if (anY2(i) != anY1(i))
2648       {
2649         std::cerr << "Error: Parallel algorithm produced invalid result!\n";
2650         break;
2651       }
2652     }
2653   }
2654   return 0;
2655 }
2656
2657 //! Initializes the given square matrix with values that are generated by the given generator function.
2658 template<class GeneratorT> void initRandMatrix (NCollection_Array2<double>& theMat, GeneratorT& theGen)
2659 {
2660   for (int i = theMat.LowerRow(); i <= theMat.UpperRow(); ++i)
2661   {
2662     for (int j = theMat.LowerCol(); j <= theMat.UpperCol(); ++j)
2663     {
2664       theMat(i, j) = static_cast<double>(theGen());
2665     }
2666   }
2667 }
2668
2669 //! Compute the product of two square matrices in parallel.
2670 class ParallelTest_MatMult
2671 {
2672 public:
2673   ParallelTest_MatMult (const NCollection_Array2<double>& theMat1,
2674                         const NCollection_Array2<double>& theMat2,
2675                         NCollection_Array2<double>& theResult, int theSize)
2676   : myMat1 (theMat1), myMat2 (theMat2), myResult (theResult), mySize (theSize) {}
2677
2678   int Begin() const { return 0; }
2679   int End()   const { return mySize; }
2680
2681   void operator() (int theIndex) const
2682   {
2683     for (int j = 0; j < mySize; ++j)
2684     {
2685       double aTmp = 0;
2686       for (int k = 0; k < mySize; ++k)
2687       {
2688         aTmp += myMat1(theIndex, k) * myMat2(k, j);
2689       }
2690       myResult(theIndex, j) = aTmp;
2691     }
2692   }
2693
2694   void operator() (int theThreadIndex, int theIndex) const
2695   {
2696     (void )theThreadIndex;
2697     (*this)(theIndex);
2698   }
2699
2700 private:
2701   ParallelTest_MatMult (const ParallelTest_MatMult& );
2702   ParallelTest_MatMult& operator= (ParallelTest_MatMult& );
2703
2704 protected:
2705   const NCollection_Array2<double>& myMat1;
2706   const NCollection_Array2<double>& myMat2;
2707   NCollection_Array2<double>& myResult;
2708   int mySize;
2709 };
2710
2711 //---------------------------------------------------------------------
2712 static Standard_Integer OCC29935(Draw_Interpretor& ,
2713                                  Standard_Integer  theArgc,
2714                                  const char**      theArgv)
2715 {
2716   if (theArgc != 2)
2717   {
2718     std::cout << "Syntax error: wrong number of arguments\n";
2719     return 1;
2720   }
2721
2722   // Generate data;
2723   Standard_Integer aSize = Draw::Atoi (theArgv[1]);
2724
2725   opencascade::std::mt19937 aGen (42);
2726   NCollection_Array2<double> aMat1     (0, aSize - 1, 0, aSize - 1);
2727   NCollection_Array2<double> aMat2     (0, aSize - 1, 0, aSize - 1);
2728   NCollection_Array2<double> aMatResRef(0, aSize - 1, 0, aSize - 1);
2729   NCollection_Array2<double> aMatRes   (0, aSize - 1, 0, aSize - 1);
2730   initRandMatrix (aMat1, aGen);
2731   initRandMatrix (aMat2, aGen);
2732
2733   //! Serial processing
2734   Standard_Real aTimeSeq = 0.0;
2735   {
2736     OSD_Timer aTimer;
2737     aTimer.Start();
2738     ParallelTest_MatMult aFunctor (aMat1, aMat2, aMatResRef, aSize);
2739     for (int i = aFunctor.Begin(); i < aFunctor.End(); ++i)
2740     {
2741       aFunctor(i);
2742     }
2743
2744     aTimer.Stop();
2745     std::cout << "  Processing time (sequential mode): 1x [reference]\n";
2746     aTimeSeq = aTimer.ElapsedTime();
2747     aTimer.Show (std::cout);
2748   }
2749
2750   // Parallel processing
2751   for (Standard_Integer aMode = 0; aMode <= 2; ++aMode)
2752   {
2753     aMatRes.Init (0.0);
2754
2755     OSD_Timer aTimer;
2756     aTimer.Start();
2757     const char* aModeDesc = NULL;
2758     ParallelTest_MatMult aFunctor1 (aMat1, aMat2, aMatRes, aSize);
2759     switch (aMode)
2760     {
2761       case 0:
2762       {
2763         aModeDesc = "OSD_Parallel::For()";
2764         OSD_Parallel::For (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2765         break;
2766       }
2767       case 1:
2768       {
2769         aModeDesc = "OSD_ThreadPool::Launcher";
2770         OSD_ThreadPool::Launcher aLauncher (*OSD_ThreadPool::DefaultPool());
2771         aLauncher.Perform (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2772         break;
2773       }
2774       case 2:
2775       {
2776     #ifdef HAVE_TBB
2777         aModeDesc = "tbb::parallel_for";
2778         tbb::parallel_for (aFunctor1.Begin(), aFunctor1.End(), aFunctor1);
2779         break;
2780     #else
2781         continue;
2782     #endif
2783       }
2784     }
2785     aTimer.Stop();
2786     std::cout << "  " << aModeDesc << ": "
2787               << aTimeSeq / aTimer.ElapsedTime() << "x " << (aTimer.ElapsedTime() < aTimeSeq ? "[boost]" : "[slow-down]") << "\n";
2788     aTimer.Show (std::cout);
2789
2790     for (int i = 0; i < aSize; ++i)
2791     {
2792       for (int j = 0; j < aSize; ++j)
2793       {
2794         if (aMatRes(i, j) != aMatResRef(i, j))
2795         {
2796           std::cerr << "Error: Parallel algorithm produced invalid result!\n";
2797           i = aSize;
2798           break;
2799         }
2800       }
2801     }
2802   }
2803   return 0;
2804 }
2805
2806 /*****************************************************************************/
2807
2808 #include <GeomAPI_IntSS.hxx>
2809 //=======================================================================
2810 //function : OCC25100
2811 //purpose  :
2812 //=======================================================================
2813 static Standard_Integer OCC25100 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv)
2814 {
2815   if (argc < 2)
2816   {
2817     di << "the method requires a shape name\n";
2818     return 1;
2819   }
2820
2821   TopoDS_Shape S = DBRep::Get(argv[1]);
2822   if ( S.IsNull() )
2823   {
2824     di << "Shape is empty\n";
2825     return 1;
2826   }
2827   
2828   TopExp_Explorer aFaceExp(S, TopAbs_FACE);
2829   const Handle(Geom_Surface)& aSurf = BRep_Tool::Surface(TopoDS::Face(aFaceExp.Current()));
2830
2831   GeomAPI_IntSS anIntersector(aSurf, aSurf, Precision::Confusion());
2832
2833   if (!anIntersector.IsDone())
2834   {
2835     di << "Error. Intersection is not done\n";
2836     return 1;
2837   }
2838
2839   di << "Test complete\n";
2840
2841   return 0;
2842 }
2843
2844 //=======================================================================
2845 //function : OCC25348
2846 //purpose  : 
2847 //=======================================================================
2848 static Standard_Integer OCC25348 (Draw_Interpretor& theDI,
2849                                  Standard_Integer  /*theArgNb*/,
2850                                  const char** /*theArgVec*/)
2851 {
2852   Handle(NCollection_IncAllocator) anAlloc1;
2853   NCollection_List<int> aList1(anAlloc1);
2854   for (int i=0; i < 10; i++)
2855   {
2856     Handle(NCollection_IncAllocator) anAlloc2;
2857     NCollection_List<int> aList2(anAlloc2);
2858     aList2.Append(i);
2859     aList1.Assign(aList2);
2860   }
2861   theDI << "Test complete\n";
2862   return 0;
2863 }
2864
2865 #include <IntCurvesFace_ShapeIntersector.hxx>
2866 #include <BRepBndLib.hxx>
2867 //=======================================================================
2868 //function : OCC25413
2869 //purpose  : 
2870 //=======================================================================
2871 static Standard_Integer OCC25413 (Draw_Interpretor& di, Standard_Integer narg , const char** a)
2872 {
2873   if (narg != 2) {
2874     di << "Usage: " << a[0] << " invalid number of arguments\n";
2875     return 1;
2876   }
2877   TopoDS_Shape aShape = DBRep::Get (a[1]);
2878
2879   IntCurvesFace_ShapeIntersector Inter;
2880   Inter.Load(aShape, Precision::Confusion());
2881
2882   Bnd_Box aBndBox;
2883   BRepBndLib::Add(aShape, aBndBox);
2884
2885   gp_Dir aDir(0., 1., 0.);
2886   const int N = 250;
2887   Standard_Real xMin = aBndBox.CornerMin().X();
2888   Standard_Real zMin = aBndBox.CornerMin().Z();
2889   Standard_Real xMax = aBndBox.CornerMax().X();
2890   Standard_Real zMax = aBndBox.CornerMax().Z();
2891   Standard_Real xStep = (xMax - xMin) / N;
2892   Standard_Real zStep = (zMax - zMin) / N;
2893
2894   for (Standard_Real x = xMin; x <= xMax; x += xStep)
2895     for (Standard_Real z = zMin; z <= zMax; z += zStep)
2896     {
2897       gp_Pnt aPoint(x, 0.0, z);
2898       gp_Lin aLine(aPoint, aDir);
2899       Inter.PerformNearest(aLine, -100., 100.);
2900     }
2901   return 0;
2902 }
2903
2904
2905 #include <BOPAlgo_PaveFiller.hxx>
2906 //
2907 #include <BRepAlgoAPI_BooleanOperation.hxx>
2908 #include <BRepAlgoAPI_Common.hxx>
2909 #include <BRepAlgoAPI_Fuse.hxx>
2910 #include <BRepAlgoAPI_Cut.hxx>
2911 #include <BRepAlgoAPI_Section.hxx>
2912 //
2913 #include <TopExp.hxx>
2914 #include <TopTools_MapOfShape.hxx>
2915 //=======================================================================
2916 //function : OCC25446
2917 //purpose  :
2918 //=======================================================================
2919 static Standard_Integer OCC25446 (Draw_Interpretor& theDI, 
2920                                   Standard_Integer argc, 
2921                                   const char ** argv)
2922 {
2923   if (argc != 5) {
2924     theDI << "Usage: OCC25446 res b1 b2 op\n";
2925     return 1;
2926   }
2927   //
2928   TopoDS_Shape aS1 = DBRep::Get(argv[2]);
2929   if (aS1.IsNull()) {
2930     theDI << argv[2] << " shape is NULL\n";
2931     return 1;
2932   }
2933   //
2934   TopoDS_Shape aS2 = DBRep::Get(argv[3]);
2935   if (aS2.IsNull()) {
2936     theDI << argv[3] << " shape is NULL\n";
2937     return 1;
2938   }
2939   //
2940   Standard_Integer iOp;
2941   BOPAlgo_Operation aOp;
2942   //
2943   iOp = Draw::Atoi(argv[4]);
2944   if (iOp < 0 || iOp > 4) {
2945     theDI << "Invalid operation type\n";
2946     return 1;
2947   }
2948   aOp = (BOPAlgo_Operation)iOp;
2949   //
2950   Standard_Integer iErr;
2951   TopTools_ListOfShape aLS;
2952   BOPAlgo_PaveFiller aPF;
2953   //
2954   aLS.Append(aS1);
2955   aLS.Append(aS2);
2956   aPF.SetArguments(aLS);
2957   //
2958   aPF.Perform();
2959   iErr = aPF.HasErrors();
2960   if (iErr) {
2961     theDI << "Intersection failed with error status: " << iErr << "\n";
2962     return 1;
2963   }
2964   //
2965   BRepAlgoAPI_BooleanOperation* pBuilder = NULL;
2966   // 
2967   switch (aOp) {
2968   case BOPAlgo_COMMON:
2969     pBuilder = new BRepAlgoAPI_Common(aS1, aS2, aPF);
2970     break;
2971   case BOPAlgo_FUSE:
2972     pBuilder = new BRepAlgoAPI_Fuse(aS1, aS2, aPF);
2973     break;
2974   case BOPAlgo_CUT:
2975     pBuilder = new BRepAlgoAPI_Cut (aS1, aS2, aPF);
2976     break;
2977   case BOPAlgo_CUT21:
2978     pBuilder = new BRepAlgoAPI_Cut(aS1, aS2, aPF, Standard_False);
2979     break;
2980   case BOPAlgo_SECTION:
2981     pBuilder = new BRepAlgoAPI_Section(aS1, aS2, aPF);
2982     break;
2983   default:
2984     break;
2985   }
2986   //
2987   iErr = pBuilder->HasErrors();
2988   if (!pBuilder->IsDone()) {
2989     theDI << "BOP failed with error status: " << iErr << "\n";
2990     return 1;
2991   }
2992   //
2993   const TopoDS_Shape& aRes = pBuilder->Shape();
2994   DBRep::Set(argv[1], aRes);
2995   //
2996   TopTools_MapOfShape aMapArgs, aMapShape;
2997   TopTools_MapIteratorOfMapOfShape aIt;
2998   Standard_Boolean bIsDeletedHist, bIsDeletedMap;
2999   TopAbs_ShapeEnum aType;
3000   //
3001   TopExp::MapShapes(aS1, aMapArgs);
3002   TopExp::MapShapes(aS2, aMapArgs);
3003   TopExp::MapShapes(aRes, aMapShape);
3004   //
3005   aIt.Initialize(aMapArgs);
3006   for (; aIt.More(); aIt.Next()) {
3007     const TopoDS_Shape& aS = aIt.Value();
3008     aType = aS.ShapeType();
3009     if (!(aType==TopAbs_EDGE || aType==TopAbs_FACE || 
3010           aType==TopAbs_VERTEX || aType==TopAbs_SOLID)) {
3011       continue;
3012     }
3013     //
3014     bIsDeletedHist = pBuilder->IsDeleted(aS);
3015     bIsDeletedMap = !aMapShape.Contains(aS) &&
3016       (pBuilder->Modified(aS).Extent() == 0);
3017     //
3018     if (bIsDeletedHist != bIsDeletedMap) {
3019       theDI << "Error. Wrong value of IsDeleted flag.\n";
3020       return 1;
3021     }
3022   }
3023   //
3024   theDI << "Test complete\n";
3025   return 0;
3026 }
3027
3028 //====================================================
3029 // Auxiliary functor class for the command OCC25545;
3030 // it gets access to a vertex with the given index and
3031 // checks that X coordinate of the point is equal to index;
3032 // if it is not so then a data race is reported.
3033 //====================================================
3034 struct OCC25545_Functor
3035 {
3036   OCC25545_Functor(const std::vector<TopoDS_Shape>& theShapeVec)
3037     : myShapeVec(&theShapeVec),
3038       myIsRaceDetected(0)
3039   {}
3040
3041   void operator()(size_t i) const
3042   {
3043     if (!myIsRaceDetected) {
3044       const TopoDS_Vertex& aV = TopoDS::Vertex (myShapeVec->at(i));
3045       gp_Pnt aP = BRep_Tool::Pnt (aV);
3046       if (aP.X () != static_cast<double> (i)) {
3047         Standard_Atomic_Increment(&myIsRaceDetected);
3048       }
3049     }
3050   }
3051
3052   const std::vector<TopoDS_Shape>* myShapeVec;
3053   mutable volatile int myIsRaceDetected;
3054 };
3055
3056 //=======================================================================
3057 //function : OCC25545
3058 //purpose  : Tests data race when concurrently accessing TopLoc_Location::Transformation()
3059 //=======================================================================
3060
3061 static Standard_Integer OCC25545 (Draw_Interpretor& di, 
3062                                   Standard_Integer, 
3063                                   const char **)
3064 {
3065   // Place vertices in a vector, giving the i-th vertex the
3066   // transformation that translates it on the vector (i,0,0) from the origin.
3067   Standard_Integer n = 1000;
3068   std::vector<TopoDS_Shape> aShapeVec (n);
3069   std::vector<TopLoc_Location> aLocVec (n);
3070   TopoDS_Shape aShape = BRepBuilderAPI_MakeVertex (gp::Origin ());
3071   aShapeVec[0] = aShape;
3072   for (Standard_Integer i = 1; i < n; ++i) {
3073     gp_Trsf aT;
3074     aT.SetTranslation (gp_Vec (1, 0, 0));
3075     aLocVec[i] = aLocVec[i - 1] * aT;
3076     aShapeVec[i] = aShape.Moved (aLocVec[i]);
3077   }
3078
3079   // Evaluator function will access vertices geometry
3080   // concurrently
3081   OCC25545_Functor aFunc(aShapeVec);
3082
3083   // concurrently process
3084   OSD_Parallel::For (0, n, aFunc);
3085
3086   QVERIFY (!aFunc.myIsRaceDetected);
3087   return 0;
3088 }
3089
3090 //=======================================================================
3091 //function : OCC25547
3092 //purpose  :
3093 //=======================================================================
3094 #include <BRepMesh_GeomTool.hxx>
3095 #include <BRepAdaptor_Curve.hxx>
3096 #include <Geom_TrimmedCurve.hxx>
3097 #include <BRepBuilderAPI_MakeFace.hxx>
3098 #include <BRepAdaptor_HSurface.hxx>
3099 #include <BRepAdaptor_Surface.hxx>
3100 static Standard_Integer OCC25547(
3101   Draw_Interpretor& theDI, 
3102   Standard_Integer  /*argc*/, 
3103   const char **     /*argv*/)
3104 {
3105   // The general aim of this test is to prevent linkage errors due to missed
3106   // Standard_EXPORT attribute for static methods.
3107
3108   // However, start checking the main functionality at first.
3109   const Standard_Real aFirstP = 0., aLastP = M_PI;
3110   Handle(Geom_Circle) aCircle = new Geom_Circle(gp_Ax2(gp::Origin(), gp::DZ()), 10);
3111   Handle(Geom_TrimmedCurve) aHalf = new Geom_TrimmedCurve(aCircle, aFirstP, aLastP);
3112   TopoDS_Edge aEdge = BRepBuilderAPI_MakeEdge(aHalf);
3113   BRepAdaptor_Curve aAdaptor(aEdge);
3114   BRepMesh_GeomTool aGeomTool(aAdaptor, aFirstP, aLastP, 0.1, 0.5);
3115
3116   if (aGeomTool.NbPoints() == 0)
3117   {
3118     theDI << "Error. BRepMesh_GeomTool failed to discretize an arc.\n";
3119     return 1;
3120   }
3121
3122   // Test static methods.
3123   TopoDS_Face aFace = BRepBuilderAPI_MakeFace(gp_Pln(gp::Origin(), gp::DZ()));
3124   BRepAdaptor_Surface aSurf(aFace);
3125   Handle(BRepAdaptor_HSurface) aHSurf = new BRepAdaptor_HSurface(aSurf);
3126
3127   gp_Pnt aPnt;
3128   gp_Dir aNormal;
3129   if (!BRepMesh_GeomTool::Normal(aHSurf, 10., 10., aPnt, aNormal))
3130   {
3131     theDI << "Error. BRepMesh_GeomTool failed to take a normal of surface.\n";
3132     return 1;
3133   }
3134
3135   gp_XY aRefPnts[4] = {
3136     gp_XY(-10., -10.), gp_XY(10., 10.), 
3137     gp_XY(-10., 10.), gp_XY(10., -10.)
3138   };
3139
3140   gp_Pnt2d aIntPnt;
3141   Standard_Real aParams[2];
3142   BRepMesh_GeomTool::IntFlag aIntFlag = BRepMesh_GeomTool::IntLinLin(
3143     aRefPnts[0], aRefPnts[1], aRefPnts[2], aRefPnts[3], 
3144     aIntPnt.ChangeCoord(), aParams);
3145
3146   Standard_Real aDiff = aIntPnt.Distance(gp::Origin2d());
3147   if (aIntFlag != BRepMesh_GeomTool::Cross || aDiff > Precision::PConfusion())
3148   {
3149     theDI << "Error. BRepMesh_GeomTool failed to intersect two lines.\n";
3150     return 1;
3151   }
3152
3153   aIntFlag = BRepMesh_GeomTool::IntSegSeg(
3154     aRefPnts[0], aRefPnts[1], aRefPnts[2], aRefPnts[3], 
3155     Standard_False, Standard_False, aIntPnt);
3156
3157   aDiff = aIntPnt.Distance(gp::Origin2d());
3158   if (aIntFlag != BRepMesh_GeomTool::Cross || aDiff > Precision::PConfusion())
3159   {
3160     theDI << "Error. BRepMesh_GeomTool failed to intersect two segments.\n";
3161     return 1;
3162   }
3163
3164
3165   theDI << "Test complete\n";
3166   return 0;
3167 }
3168
3169 static Standard_Integer OCC26139 (Draw_Interpretor& theDI,
3170                                   Standard_Integer  argc,
3171                                   const char **     argv)
3172 {
3173
3174   Handle(AIS_InteractiveContext) aCtx = ViewerTest::GetAISContext();
3175   if (aCtx.IsNull())
3176   {
3177     theDI << "Use 'vinit' command before " << argv[0] << "\n";
3178     return 1;
3179   }
3180
3181   Standard_Integer aBoxGridSize = 100;
3182   Standard_Integer aCompGridSize = 3;
3183   Standard_Real aBoxSize = 5.0;
3184
3185   if (argc > 1)
3186   {
3187     for (Standard_Integer anArgIdx = 1; anArgIdx < argc; ++anArgIdx)
3188     {
3189       TCollection_AsciiString anArg (argv[anArgIdx]);
3190       anArg.LowerCase();
3191       if (anArg == "-boxgrid")
3192       {
3193         aBoxGridSize = Draw::Atoi (argv[++anArgIdx]);
3194       }
3195       else if (anArg == "-compgrid")
3196       {
3197         aCompGridSize = Draw::Atoi (argv[++anArgIdx]);
3198       }
3199       else if (anArg == "-boxsize")
3200       {
3201         aBoxSize = Draw::Atof (argv[++anArgIdx]);
3202       }
3203     }
3204   }
3205
3206   NCollection_List<Handle(AIS_Shape)> aCompounds;
3207   for (Standard_Integer aCompGridX = 0; aCompGridX < aCompGridSize; ++aCompGridX)
3208   {
3209     for (Standard_Integer aCompGridY = 0; aCompGridY < aCompGridSize; ++aCompGridY)
3210     {
3211       BRep_Builder aBuilder;
3212       TopoDS_Compound aComp;
3213       aBuilder.MakeCompound (aComp);
3214       for (Standard_Integer aBoxGridX = 0; aBoxGridX < aBoxGridSize; ++aBoxGridX)
3215       {
3216         for (Standard_Integer aBoxGridY = 0; aBoxGridY < aBoxGridSize; ++aBoxGridY)
3217         {
3218           BRepPrimAPI_MakeBox aBox (gp_Pnt (aBoxGridX * aBoxSize, aBoxGridY * aBoxSize, 0.0),
3219                                     aBoxSize, aBoxSize, aBoxSize);
3220           aBuilder.Add (aComp, aBox.Shape());
3221         }
3222       }
3223       gp_Trsf aTrsf;
3224       aTrsf.SetTranslation (gp_Vec (aBoxGridSize * aBoxSize * aCompGridX,
3225                                     aBoxGridSize * aBoxSize * aCompGridY,
3226                                     0.0));
3227       TopLoc_Location aLoc (aTrsf);
3228       aComp.Located (aLoc);
3229       aCompounds.Append (new AIS_Shape (aComp));
3230     }
3231   }
3232
3233   OSD_Timer aTimer;
3234   for (NCollection_List<Handle(AIS_Shape)>::Iterator aCompIter (aCompounds); aCompIter.More(); aCompIter.Next())
3235   {
3236     aTimer.Start();
3237     aCtx->Display (aCompIter.Value(), Standard_False);
3238     aTimer.Stop();
3239     theDI << "Display time: " << aTimer.ElapsedTime() << "\n";
3240     aTimer.Reset();
3241   }
3242
3243   aTimer.Reset();
3244   aTimer.Start();
3245   for (NCollection_List<Handle(AIS_Shape)>::Iterator aCompIter (aCompounds); aCompIter.More(); aCompIter.Next())
3246   {
3247     aCtx->Remove (aCompIter.Value(), Standard_False);
3248   }
3249   aTimer.Stop();
3250   theDI << "Remove time: " << aTimer.ElapsedTime() << "\n";
3251
3252   return 0;
3253 }
3254
3255 #include <TColStd_DataMapIteratorOfDataMapOfIntegerInteger.hxx>
3256 #include <TColStd_DataMapOfIntegerInteger.hxx>
3257 #include <OSD.hxx>
3258 #include <ShapeFix_Wire.hxx>
3259 #include <ShapeExtend_Status.hxx>
3260 #ifdef _WIN32
3261 #define EXCEPTION ...
3262 #else
3263 #define EXCEPTION Standard_Failure
3264 #endif
3265
3266 static ShapeExtend_Status getStatusGap(const Handle(ShapeFix_Wire)&   theFix,
3267                                        const Standard_Boolean theIs3d)
3268 {
3269         for (Standard_Integer i=ShapeExtend_OK; i<=ShapeExtend_FAIL; i++)
3270         {
3271                 Standard_Boolean isFound;
3272                 if (theIs3d)
3273                         isFound = theFix->StatusGaps3d( (ShapeExtend_Status) i );
3274                 else
3275                         isFound = theFix->StatusGaps2d( (ShapeExtend_Status) i );
3276                 if (isFound) return ShapeExtend_Status(i);
3277         }
3278         return ShapeExtend_OK;
3279 }
3280
3281 //===================
3282 //function : OCC24881
3283 //purpose  : 
3284 //===================
3285 static Standard_Integer OCC24881 (Draw_Interpretor& di, Standard_Integer narg , const char** a)
3286 {
3287   if (narg < 2) {
3288     di<<"Usage: "<<a[0]<<" invalid number of arguments\n";
3289     return 1;
3290   }
3291 //    cout <<"FileName1: " << argv[1] <<endl;
3292
3293   TopoDS_Shape aShape = DBRep::Get (a[1]);
3294
3295     OSD::SetSignal();
3296     Handle(ShapeFix_Wire) aWireFix = new ShapeFix_Wire;
3297
3298     // map FixStatus - NbSuchStatuses
3299     TColStd_DataMapOfIntegerInteger aStatusNbDMap;
3300     Standard_Integer nbFixed=0, nbOk=0;
3301
3302 //Begin: STEP 7
3303     ShapeExtend_Status aStatus=ShapeExtend_OK;
3304     try {
3305         TopExp_Explorer aFaceExplorer(aShape, TopAbs_FACE);
3306         for (; aFaceExplorer.More(); aFaceExplorer.Next())
3307         {
3308                 TopoDS_Shape aFace = aFaceExplorer.Current();
3309                 // loop on wires
3310                 TopoDS_Iterator aWireItr(aFace);
3311                 for (; aWireItr.More(); aWireItr.Next() )
3312                 {
3313                         Standard_Boolean wasOk = Standard_False;
3314                         TopoDS_Wire aSrcWire = TopoDS::Wire(aWireItr.Value());
3315
3316                         aWireFix->Load (aSrcWire);
3317                         aWireFix->SetFace (TopoDS::Face(aFace));
3318                         aWireFix->FixReorder(); //correct order is a prerequisite
3319                         // fix 3d
3320                         if (!aWireFix->FixGaps3d())
3321                         {
3322                                 // not fixed, why?
3323                                 aStatus = getStatusGap(aWireFix, Standard_True);
3324                                 if (aStatus == ShapeExtend_OK)
3325                                         wasOk = Standard_True;
3326                                 else
3327                                 {
3328                                         // keep 3d fail status
3329                                         if (aStatusNbDMap.IsBound (aStatus))
3330                                                 aStatusNbDMap(aStatus)++;
3331                                         else
3332                                                 aStatusNbDMap.Bind(aStatus,1);
3333                                         continue;
3334                                 }
3335                         }
3336
3337                         // fix 2d
3338                         if (aWireFix->FixGaps2d())
3339                                 nbFixed++;
3340                         else
3341                         {
3342                                 aStatus = getStatusGap(aWireFix, Standard_False);
3343                                 if (aStatus == ShapeExtend_OK)
3344                                 {
3345                                         if (wasOk)
3346                                         {
3347                                                 nbOk++;
3348                                                 continue;
3349                                         }
3350                                         else
3351                                                 nbFixed++;
3352                                 }
3353                                 else
3354                                 {
3355                                         // keep 2d fail status
3356                                         Standard_Integer aStatus2d = aStatus + ShapeExtend_FAIL;
3357                                         if (aStatusNbDMap.IsBound (aStatus2d))
3358                                                 aStatusNbDMap(aStatus2d)++;
3359                                         else
3360                                                 aStatusNbDMap.Bind(aStatus2d,1);
3361                                         continue;
3362                                 }
3363                         }
3364                 }
3365         }
3366 //End: STEP 7
3367      } catch (EXCEPTION) {
3368        di << "Exception is raised = " <<aStatus << "\n";
3369        return 1;
3370
3371      }
3372 // report what is done
3373
3374         if (nbFixed)
3375         {
3376                 di <<"Fix_FillGaps_Fixed: nbFixed = "<<nbFixed <<"\n";
3377
3378         }    
3379         if (nbOk)
3380         {
3381                 di << "Fix_FillGaps_NothingToDo\n";
3382
3383         }
3384         TColStd_DataMapIteratorOfDataMapOfIntegerInteger aStatusItr(aStatusNbDMap);
3385         for (; aStatusItr.More(); aStatusItr.Next()) 
3386         {
3387                 switch ((ShapeExtend_Status) aStatusItr.Key()) 
3388                 {
3389                         // treat 3d status
3390                         case ShapeExtend_FAIL1:
3391                         di <<"Fix_FillGaps_3dNoCurveFail, nb failed = ";
3392                         break;
3393                         case ShapeExtend_FAIL2:
3394                         di <<"Fix_FillGaps_3dSomeGapsFail, nb failed = ";
3395                         break;
3396                         default:
3397                         // treat 2d status
3398                         switch ((ShapeExtend_Status) (aStatusItr.Key() - ShapeExtend_FAIL)) 
3399                         {
3400                                 case ShapeExtend_FAIL1:
3401                                 di <<"Fix_FillGaps_2dNoPCurveFail, nb failed = ";
3402                                 break;
3403                                 case ShapeExtend_FAIL2:
3404                                 di <<"Fix_FillGaps_2dSomeGapsFail, nb failed = ";
3405                                 break;
3406                                 default:
3407                                 break;
3408                         }
3409                 }
3410                 di <<aStatusItr.Value()<< "\n";
3411         }
3412         di << ("__________________________________") <<"\n";
3413
3414   return 0;
3415 }
3416
3417 //=======================================================================
3418 //function : OCC26284
3419 //purpose  :
3420 //=======================================================================
3421 static Standard_Integer OCC26284 (Draw_Interpretor& theDI, Standard_Integer theArgNb, const char** theArgVec)
3422 {
3423   if (theArgNb != 1)
3424   {
3425     std::cerr << "Error: wrong number of arguments! See usage:\n";
3426     theDI.PrintHelp (theArgVec[0]);
3427     return 1;
3428   }
3429
3430   Handle(AIS_InteractiveContext) anAISContext = ViewerTest::GetAISContext();
3431   if (anAISContext.IsNull())
3432   {
3433     std::cerr << "Error: no active view. Please call vinit.\n";
3434     return 1;
3435   }
3436
3437   BRepPrimAPI_MakeSphere aSphereBuilder (gp_Pnt (0.0, 0.0, 0.0), 1.0);
3438   Handle(AIS_Shape) aSphere = new AIS_Shape (aSphereBuilder.Shape());
3439   anAISContext->Display (aSphere, Standard_False);
3440   for (Standard_Integer aChildIdx = 0; aChildIdx < 5; ++aChildIdx)
3441   {
3442     BRepPrimAPI_MakeSphere aBuilder (gp_Pnt (1.0 + aChildIdx, 1.0 + aChildIdx, 1.0 + aChildIdx), 1.0);
3443     Handle(AIS_Shape) aChild = new AIS_Shape (aBuilder.Shape());
3444     aSphere->AddChild (aChild);
3445     anAISContext->Display (aChild, Standard_False);
3446   }
3447
3448   anAISContext->RecomputeSelectionOnly (aSphere);
3449   anAISContext->UpdateCurrentViewer();
3450
3451   return 0;
3452 }
3453
3454 #include <IntTools_Context.hxx>
3455 #include <GeomAPI_ProjectPointOnSurf.hxx>
3456
3457 //=======================================================================
3458 //function : xprojponf
3459 //purpose  : 
3460 //=======================================================================
3461 Standard_Integer xprojponf (Draw_Interpretor& di, 
3462                             Standard_Integer n, 
3463                             const char** a)
3464 {
3465   if (n!=3) {
3466     di<<" use xprojponf p f \n";
3467     return 0;
3468   }
3469   // 
3470   gp_Pnt aP, aPS;
3471   TopoDS_Shape aS;
3472   TopoDS_Face aF;
3473   Handle(IntTools_Context) aCtx;
3474   //
3475   DrawTrSurf::GetPoint(a[1], aP);
3476   aS=DBRep::Get(a[2]);
3477   //
3478   if (aS.IsNull()) {
3479     di<<" null shape is not allowed\n";
3480     return 0;
3481   }
3482   //
3483   if (aS.ShapeType()!=TopAbs_FACE) {
3484     di << a[2] << " not a face\n";
3485     return 0;
3486   }
3487   //
3488   aCtx=new IntTools_Context;
3489   //
3490   aF=TopoDS::Face(aS);
3491   GeomAPI_ProjectPointOnSurf& aPPS=aCtx->ProjPS(aF);
3492   //
3493   aPPS.Perform(aP);
3494   if (!aPPS.IsDone()) {
3495     di<<" projection failed\n";
3496     return 0;
3497   }
3498   //
3499   aPS=aPPS.NearestPoint();
3500   di<< " point px " << aPS.X() << " " << aPS.Y() << " " <<  aPS.Z() << "\n";
3501   //
3502   return 0;
3503 }
3504
3505 //=======================================================================
3506 //function : OCC25547
3507 //purpose  :
3508 //=======================================================================
3509 #include <BRepMesh_CircleTool.hxx>
3510 #include <SelectMgr_EntityOwner.hxx>
3511
3512 static Standard_Boolean inspect_point(const gp_XY&        thePoint,
3513                                       const gp_XY&        theCenter,
3514                                       const Standard_Real theRadius)
3515 {
3516   static Standard_Real aPrecision   = Precision::PConfusion();
3517   static Standard_Real aSqPrecision = aPrecision * aPrecision;
3518   const gp_XY aDistVec = thePoint - theCenter;
3519   if (aDistVec.SquareModulus() - (theRadius * theRadius) < aSqPrecision)
3520     return Standard_True;
3521   else
3522     return Standard_False;
3523 }
3524
3525 static Standard_Integer OCC24923(
3526   Draw_Interpretor& theDI, 
3527   Standard_Integer  argc, 
3528   const char **     argv)
3529 {
3530   srand(static_cast<unsigned int>(time(NULL)));
3531
3532   const Standard_Real    aMaxDeviation = (argc > 1) ? Draw::Atof(argv[1]) : 0.01;
3533   const Standard_Integer aPointsNb     = 10000000;
3534   const Standard_Real    aMinAngle     = 5 * M_PI / 180.;
3535   static Standard_Real   aSqPrecision  = Precision::PConfusion() * Precision::PConfusion();
3536
3537   Standard_Integer aFailedNb = 0;
3538   for (Standard_Integer i = 0; i < aPointsNb; ++i)
3539   {
3540     gp_XY p[3];
3541     for (Standard_Integer j = 0; j < 3; ++j)
3542       p[j].SetCoord(((Standard_Real)rand())/RAND_MAX, ((Standard_Real)rand())/RAND_MAX);
3543
3544     // Check that points do not compose degenerated triangle.
3545     gp_XY aVec1 = p[1] - p[0];
3546     gp_XY aVec2 = p[2] - p[0];
3547     if (aVec1.SquareModulus() > aSqPrecision && 
3548         aVec2.SquareModulus() > aSqPrecision &&
3549         (aVec1 ^ aVec2) > aMinAngle)
3550     {
3551       gp_XY aCenter;
3552       Standard_Real aRadius;
3553       if (BRepMesh_CircleTool::MakeCircle(p[0], p[1], p[2], aCenter, aRadius))
3554       {
3555         if (!inspect_point(p[0], aCenter, aRadius) || 
3556             !inspect_point(p[1], aCenter, aRadius) || 
3557             !inspect_point(p[2], aCenter, aRadius))
3558         {
3559          /* theDI << "Missed: " <<
3560             "p1=(" << p1.X() << ", " << p1.Y() << "), " <<
3561             "p2=(" << p2.X() << ", " << p2.Y() << "), " <<
3562             "p3=(" << p3.X() << ", " << p3.Y() << "), " <<
3563             "c=(" << aCenter.X() << ", " << aCenter.Y() << "), " <<
3564             "r=" << aRadius << "\n";*/
3565             
3566           ++aFailedNb;
3567         }
3568
3569         continue;
3570       }
3571     }
3572
3573     // Ensure that aPointsNb suitable for tests are generated
3574     --i;
3575   }
3576
3577   const Standard_Real aDeviation = 
3578     1. - (Standard_Real)(aPointsNb - aFailedNb) / (Standard_Real)aPointsNb;
3579
3580   theDI << "Number of incorrect cases: " << aFailedNb << " (Total " << aPointsNb << ")\n";
3581   if (aDeviation > aMaxDeviation)
3582   {
3583     theDI << "Failed. Number of incorrect results is too huge: " << 
3584       aDeviation * 100 << "% (Max " << aMaxDeviation * 100 << "%)\n";
3585     return 1;
3586   }
3587
3588   theDI << "Deviation of incorrect results is: " <<
3589     aDeviation * 100 << "% (Max " << aMaxDeviation * 100 << "%)\n";
3590   theDI << "Test completed\n";
3591   return 0;
3592 }
3593
3594 //=======================================================================
3595 //function : OCC25574
3596 //purpose  : check implementation of Euler angles in gp_Quaternion
3597 //=======================================================================
3598
3599 static Standard_Integer OCC25574 (Draw_Interpretor& theDI, Standard_Integer /*argc*/, const char** /*argv*/)
3600 {
3601   Standard_Boolean isTestOk = Standard_True;
3602
3603   // Check consistency of Get and Set operations for Euler angles
3604   gp_Quaternion aQuat;
3605   aQuat.Set(0.06766916507860499, 0.21848101129786085, 0.11994599260380681,0.9660744746954637);
3606   Standard_Real alpha,beta,gamma;
3607   gp_Mat aRinv = aQuat.GetMatrix().Inverted();
3608   gp_Mat aI;
3609   aI.SetIdentity();
3610   const char* names[] = { "Extrinsic_XYZ", "Extrinsic_XZY", "Extrinsic_YZX", "Extrinsic_YXZ", "Extrinsic_ZXY", "Extrinsic_ZYX", 
3611                           "Intrinsic_XYZ", "Intrinsic_XZY", "Intrinsic_YZX", "Intrinsic_YXZ", "Intrinsic_ZXY", "Intrinsic_ZYX", 
3612                           "Extrinsic_XYX", "Extrinsic_XZX", "Extrinsic_YZY", "Extrinsic_YXY", "Extrinsic_ZYZ", "Extrinsic_ZXZ",
3613                           "Intrinsic_XYX", "Intrinsic_XZX", "Intrinsic_YZY", "Intrinsic_YXY", "Intrinsic_ZXZ", "Intrinsic_ZYZ" };
3614   for (int i = gp_Extrinsic_XYZ; i <= gp_Intrinsic_ZYZ; i++)
3615   {
3616     aQuat.GetEulerAngles (gp_EulerSequence(i), alpha, beta, gamma);
3617
3618     gp_Quaternion aQuat2;
3619     aQuat2.SetEulerAngles (gp_EulerSequence(i), alpha, beta, gamma);
3620
3621     gp_Mat aR = aQuat2.GetMatrix();
3622     gp_Mat aDiff = aR * aRinv - aI;
3623     if (aDiff.Determinant() > 1e-5)
3624     {
3625       theDI << "Error: Euler angles conversion incorrect for sequence " << names[i - gp_Extrinsic_XYZ] << "\n";
3626       isTestOk = Standard_False;
3627     }
3628   }
3629
3630   // Check conversion between intrinsic and extrinsic rotations
3631   // Any extrinsic rotation is equivalent to an intrinsic rotation
3632   // by the same angles but with inverted order of elemental rotations, and vice versa
3633   // For instance:
3634   //    Extrinsic_XZY = Incrinsic_XZY
3635   //    R = X(A)Z(B)Y(G) --> R = Y(G)Z(B)X(A)
3636   alpha = 0.1517461713131;
3637   beta = 1.5162198410141;
3638   gamma = 1.9313156236541;
3639   Standard_Real alpha2, beta2, gamma2;
3640   gp_EulerSequence pairs[][2] = { {gp_Extrinsic_XYZ, gp_Intrinsic_ZYX},
3641                                   {gp_Extrinsic_XZY, gp_Intrinsic_YZX},
3642                                   {gp_Extrinsic_YZX, gp_Intrinsic_XZY},
3643                                   {gp_Extrinsic_YXZ, gp_Intrinsic_ZXY},
3644                                   {gp_Extrinsic_ZXY, gp_Intrinsic_YXZ},
3645                                   {gp_Extrinsic_ZYX, gp_Intrinsic_XYZ} };
3646   for (int i = 0; i < 6; i++)
3647   {
3648     aQuat.SetEulerAngles(pairs[i][0],  alpha,  beta,  gamma);
3649     aQuat.GetEulerAngles(pairs[i][1], gamma2, beta2, alpha2);
3650
3651     if (Abs(alpha - alpha2) > 1e-5 || Abs(beta - beta2) > 1e-5 || Abs(gamma - gamma2) > 1e-5)
3652     {
3653       theDI << "Error: intrinsic and extrinsic conversion incorrect for sequence " << names[i] << "\n";
3654       isTestOk = Standard_False;
3655     }
3656   }
3657
3658   // Check correspondence of enumeration and actual rotation it defines, 
3659   // by rotation by one axis and checking that it does not change a point on that axis
3660   for (int i = gp_Extrinsic_XYZ; i <= gp_Intrinsic_ZYZ; i++)
3661   {
3662     // Iterate over rotations R(A)R(B)R(G) for each Euler angle Alpha, Beta, Gamma
3663     // There are three ordered axes corresponding to three rotations.
3664     // Each rotation applyed with current angle around current axis.
3665     for (int j=0; j < 3; j++)
3666     {
3667       // note that current axis index is obtained by parsing of enumeration name!
3668       int anAxis = names[i - gp_Extrinsic_XYZ][10 + j] - 'X';
3669       Standard_ASSERT_RETURN (anAxis >=0 && anAxis <= 2, "Incorrect parsing of enumeration name", 1);
3670
3671       // Set 90 degrees to current Euler angle
3672       double anAngles[3] = {0., 0., 0.};
3673       anAngles[j] = 0.5 * M_PI;
3674
3675       gp_Quaternion q2;
3676       q2.SetEulerAngles (gp_EulerSequence(i), anAngles[0], anAngles[1], anAngles[2]);
3677
3678       // Set point on axis corresponding to current rotation
3679       // We will apply rotation around this axis
3680       gp_XYZ v (0., 0., 0.);
3681       v.SetCoord (anAxis + 1, 1.);
3682
3683       // Apply rotation to point
3684       gp_Trsf aT;
3685       aT.SetRotation (q2);
3686       gp_XYZ v2 = v;
3687       aT.Transforms (v2);
3688