X-Git-Url: http://git.dev.opencascade.org/gitweb/?p=occt.git;a=blobdiff_plain;f=src%2FQABugs%2FQABugs_19.cxx;h=67f8d9e24683b5ee2109068d5ab0265500f28b25;hp=aa405adad2ed2e7b05d1419cdce83191c4a20529;hb=ee6bb37b7f764056aca6429eb27302ba1969417a;hpb=c764e804ba546d881f931c23e6667b351ee7dccf diff --git a/src/QABugs/QABugs_19.cxx b/src/QABugs/QABugs_19.cxx index aa405adad2..67f8d9e246 100755 --- a/src/QABugs/QABugs_19.cxx +++ b/src/QABugs/QABugs_19.cxx @@ -19,6 +19,7 @@ #include #include #include +#include #include #include #include @@ -48,6 +49,7 @@ #include #include #include +#include #include @@ -157,7 +159,6 @@ static Standard_Integer OCC23237 (Draw_Interpretor& di, Standard_Integer /*argc* #ifdef HAVE_TBB -#include #include #include @@ -1800,6 +1801,47 @@ static Standard_Integer OCC23951 (Draw_Interpretor& di, Standard_Integer argc, c } +//======================================================================= +//function : OCC23950 +//purpose : +//======================================================================= +static Standard_Integer OCC23950 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv) +{ + if (argc != 2) { + di << "Usage : " << argv[0] << " step_file\n"; + return 1; + } + + Handle(TDocStd_Document) aDoc = new TDocStd_Document ("dummy"); + TopoDS_Shape s6 = BRepBuilderAPI_MakeVertex (gp_Pnt (75, 0, 0)); + gp_Trsf t0; + TopLoc_Location location0 (t0); + + TDF_Label lab1 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape (); + XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->SetShape (lab1, s6); + TDataStd_Name::Set(lab1, "Point1"); + + TDF_Label labelA0 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->NewShape (); + TDataStd_Name::Set(labelA0, "ASSEMBLY"); + + TDF_Label component01 = XCAFDoc_DocumentTool::ShapeTool (aDoc->Main ())->AddComponent (labelA0, lab1, location0); + + Quantity_Color yellow(1,1,0, Quantity_TOC_RGB); + XCAFDoc_DocumentTool::ColorTool (labelA0)->SetColor (component01, yellow, XCAFDoc_ColorGen); + XCAFDoc_DocumentTool::ColorTool (labelA0)->SetVisibility (component01, 0); + + STEPControl_StepModelType mode = STEPControl_AsIs; + STEPCAFControl_Writer writer; + if (! writer.Transfer (aDoc, mode)) + { + di << "The document cannot be translated or gives no result" << "\n"; + return 1; + } + + writer.Write (argv[1]); + return 0; +} + //======================================================================= //function : OCC24622 //purpose : The command tests sourcing Image_PixMap to AIS_TexturedShape @@ -2255,6 +2297,12 @@ static Standard_Integer OCC24834 (Draw_Interpretor& di, Standard_Integer n, cons return 1; } + int i = sizeof (char*); + if (i > 4) { + std::cout << "64-bit architecture is not supported.\n"; + return 0; + } + NCollection_List aList; const Standard_Integer aSmallBlockSize = 40; const Standard_Integer aLargeBlockSize = 1500000; @@ -2352,7 +2400,880 @@ static Standard_Integer OCC24889 (Draw_Interpretor& theDI, return 0; } +#include +#include +//======================================================================= +//function : OCC25004 +//purpose : Check extremaCC on Branin function. +//======================================================================= +// Function is: +// f(u,v) = a*(v - b*u^2 + c*u-r)^2+s(1-t)*cos(u)+s +// Standard borders are: +// -5 <= u <= 10 +// 0 <= v <= 15 +class BraninFunction : public math_MultipleVarFunctionWithHessian +{ +public: + BraninFunction() + { + a = 1.0; + b = 5.1 / (4.0 * M_PI * M_PI); + c = 5.0 / M_PI; + r = 6.0; + s = 10.0; + t = 1.0 / (8.0 * M_PI); + } + virtual Standard_Integer NbVariables() const + { + return 2; + } + virtual Standard_Boolean Value(const math_Vector& X,Standard_Real& F) + { + Standard_Real u = X(1); + Standard_Real v = X(2); + + Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function. + Standard_Real aLnPt = s * (1 - t) * cos(u); // Linear part of funcrtion. + F = a * aSqPt * aSqPt + aLnPt + s; + return Standard_True; + } + virtual Standard_Boolean Gradient(const math_Vector& X,math_Vector& G) + { + Standard_Real u = X(1); + Standard_Real v = X(2); + + Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function. + G(1) = 2 * a * aSqPt * (c - 2 * b * u) - s * (1 - t) * sin(u); + G(2) = 2 * a * aSqPt; + + return Standard_True; + } + virtual Standard_Boolean Values(const math_Vector& X,Standard_Real& F,math_Vector& G) + { + Value(X,F); + Gradient(X,G); + + return Standard_True; + } + virtual Standard_Boolean Values(const math_Vector& X,Standard_Real& F,math_Vector& G,math_Matrix& H) + { + Value(X,F); + Gradient(X,G); + + Standard_Real u = X(1); + Standard_Real v = X(2); + + Standard_Real aSqPt = (v - b * u * u + c * u - r); // Square Part of function. + Standard_Real aTmpPt = c - 2 * b *u; // Tmp part. + H(1,1) = 2 * a * aTmpPt * aTmpPt - 4 * a * b * aSqPt - s * (1 - t) * cos(u); + H(1,2) = 2 * a * aTmpPt; + H(2,1) = H(1,2); + H(2,2) = 2 * a; + + return Standard_True; + } + +private: + // Standard parameters. + Standard_Real a, b, c, r, s, t; +}; + +static Standard_Integer OCC25004 (Draw_Interpretor& theDI, + Standard_Integer /*theNArg*/, + const char** /*theArgs*/) +{ + math_MultipleVarFunction* aFunc = new BraninFunction(); + + math_Vector aLower(1,2), aUpper(1,2); + aLower(1) = -5; + aLower(2) = 0; + aUpper(1) = 10; + aUpper(2) = 15; + + Standard_Integer aGridOrder = 16; + math_Vector aFuncValues(1, aGridOrder * aGridOrder); + + Standard_Real aLipConst = 0; + math_Vector aCurrPnt1(1, 2), aCurrPnt2(1, 2); + + // Get Lipshitz constant estimation on regular grid. + Standard_Integer i, j, idx = 1; + for(i = 1; i <= aGridOrder; i++) + { + for(j = 1; j <= aGridOrder; j++) + { + aCurrPnt1(1) = aLower(1) + (aUpper(1) - aLower(1)) * (i - 1) / (aGridOrder - 1.0); + aCurrPnt1(2) = aLower(2) + (aUpper(2) - aLower(2)) * (j - 1) / (aGridOrder - 1.0); + + aFunc->Value(aCurrPnt1, aFuncValues(idx)); + idx++; + } + } + + Standard_Integer k, l; + Standard_Integer idx1, idx2; + for(i = 1; i <= aGridOrder; i++) + for(j = 1; j <= aGridOrder; j++) + for(k = 1; k <= aGridOrder; k++) + for(l = 1; l <= aGridOrder; l++) + { + if (i == k && j == l) + continue; + + aCurrPnt1(1) = aLower(1) + (aUpper(1) - aLower(1)) * (i - 1) / (aGridOrder - 1.0); + aCurrPnt1(2) = aLower(2) + (aUpper(2) - aLower(2)) * (j - 1) / (aGridOrder - 1.0); + idx1 = (i - 1) * aGridOrder + j; + + aCurrPnt2(1) = aLower(1) + (aUpper(1) - aLower(1)) * (k - 1) / (aGridOrder - 1.0); + aCurrPnt2(2) = aLower(2) + (aUpper(2) - aLower(2)) * (l - 1) / (aGridOrder - 1.0); + idx2 = (k - 1) * aGridOrder + l; + + aCurrPnt1.Add(-aCurrPnt2); + Standard_Real dist = aCurrPnt1.Norm(); + + Standard_Real C = Abs(aFuncValues(idx1) - aFuncValues(idx2)) / dist; + if (C > aLipConst) + aLipConst = C; + } + + math_GlobOptMin aFinder(aFunc, aLower, aUpper, aLipConst); + aFinder.Perform(); + //(-pi , 12.275), (pi , 2.275), (9.42478, 2.475) + + Standard_Real anExtValue = aFinder.GetF(); + theDI << "F = " << anExtValue << "\n"; + + Standard_Integer aNbExt = aFinder.NbExtrema(); + theDI << "NbExtrema = " << aNbExt << "\n"; + + return 0; +} + +#include +#include +#include +#include + +#define THE_QATEST_DOC_FORMAT "My Proprietary Format" + +#define QA_CHECK(theDesc, theExpr, theValue) \ +{\ + const bool isTrue = !!(theExpr); \ + std::cout << theDesc << (isTrue ? " TRUE " : " FALSE ") << (isTrue == theValue ? " is OK\n" : " is FAIL\n"); \ +} + +class Test_TDocStd_Application : public TDocStd_Application +{ +public: + + static void initGlobalPluginMap (const TCollection_AsciiString& thePlugin, + const TCollection_AsciiString& theSaver, + const TCollection_AsciiString& theLoader) + { + const Handle(Resource_Manager)& aManager = Plugin::AdditionalPluginMap(); + aManager->SetResource ((theSaver + ".Location").ToCString(), thePlugin.ToCString()); + aManager->SetResource ((theLoader + ".Location").ToCString(), thePlugin.ToCString()); + } + + Test_TDocStd_Application (const TCollection_AsciiString& thePlugin, + const TCollection_AsciiString& theSaver, + const TCollection_AsciiString& theLoader) + { + initGlobalPluginMap (thePlugin, theSaver, theLoader); + + // explicitly initialize resource manager + myResources = new Resource_Manager (""); + myResources->SetResource ("xml.FileFormat", THE_QATEST_DOC_FORMAT); + myResources->SetResource (THE_QATEST_DOC_FORMAT ".Description", "Test XML Document"); + myResources->SetResource (THE_QATEST_DOC_FORMAT ".FileExtension", "xml"); + myResources->SetResource (THE_QATEST_DOC_FORMAT ".StoragePlugin", theSaver.ToCString()); + myResources->SetResource (THE_QATEST_DOC_FORMAT ".RetrievalPlugin", theLoader.ToCString()); + } + + virtual Standard_CString ResourcesName() { return ""; } + virtual void Formats (TColStd_SequenceOfExtendedString& theFormats) { theFormats.Clear(); } +}; + +//======================================================================= +//function : OCC24925 +//purpose : +//======================================================================= +static Standard_Integer OCC24925 (Draw_Interpretor& theDI, + Standard_Integer theArgNb, + const char** theArgVec) +{ + if (theArgNb != 2 + && theArgNb != 5) + { + std::cout << "Error: wrong syntax! See usage:\n"; + theDI.PrintHelp (theArgVec[0]); + return 1; + } + + Standard_Integer anArgIter = 1; + TCollection_ExtendedString aFileName = theArgVec[anArgIter++]; + TCollection_AsciiString aPlugin = "TKXml"; + TCollection_AsciiString aSaver = "03a56820-8269-11d5-aab2-0050044b1af1"; // XmlStorageDriver in XmlDrivers.cxx + TCollection_AsciiString aLoader = "03a56822-8269-11d5-aab2-0050044b1af1"; // XmlRetrievalDriver in XmlDrivers.cxx + if (anArgIter < theArgNb) + { + aPlugin = theArgVec[anArgIter++]; + aSaver = theArgVec[anArgIter++]; + aLoader = theArgVec[anArgIter++]; + } + + PCDM_StoreStatus aSStatus = PCDM_SS_Failure; + PCDM_ReaderStatus aRStatus = PCDM_RS_OpenError; + + Handle(TDocStd_Application) anApp = new Test_TDocStd_Application (aPlugin, aSaver, aLoader); + { + Handle(TDocStd_Document) aDoc; + anApp->NewDocument (THE_QATEST_DOC_FORMAT, aDoc); + TDF_Label aLab = aDoc->Main(); + TDataStd_Integer::Set (aLab, 0); + TDataStd_Name::Set (aLab, "QABugs_19.cxx"); + + aSStatus = anApp->SaveAs (aDoc, aFileName); + anApp->Close (aDoc); + } + QA_CHECK ("SaveAs()", aSStatus == PCDM_SS_OK, true); + + { + Handle(TDocStd_Document) aDoc; + aRStatus = anApp->Open (aFileName, aDoc); + anApp->Close (aDoc); + } + QA_CHECK ("Open() ", aRStatus == PCDM_RS_OK, true); + return 0; +} + +//======================================================================= +//function : OCC25043 +//purpose : +//======================================================================= +#include +static Standard_Integer OCC25043 (Draw_Interpretor& theDI, + Standard_Integer theArgNb, + const char** theArgVec) +{ + if (theArgNb != 2) { + theDI << "Usage: " << theArgVec[0] << " shape\n"; + return 1; + } + + TopoDS_Shape aShape = DBRep::Get(theArgVec[1]); + if (aShape.IsNull()) + { + theDI << theArgVec[1] << " shape is NULL\n"; + return 1; + } + + BRepAlgoAPI_Check anAlgoApiCheck(aShape, Standard_True, Standard_True); + + if (!anAlgoApiCheck.IsValid()) + { + BOPAlgo_ListIteratorOfListOfCheckResult anCheckIter(anAlgoApiCheck.Result()); + for (; anCheckIter.More(); anCheckIter.Next()) + { + const BOPAlgo_CheckResult& aCurCheckRes = anCheckIter.Value(); + const BOPCol_ListOfShape& aCurFaultyShapes = aCurCheckRes.GetFaultyShapes1(); + BOPCol_ListIteratorOfListOfShape aFaultyIter(aCurFaultyShapes); + for (; aFaultyIter.More(); aFaultyIter.Next()) + { + const TopoDS_Shape& aFaultyShape = aFaultyIter.Value(); + + Standard_Boolean anIsFaultyShapeFound = Standard_False; + TopExp_Explorer anExp(aShape, aFaultyShape.ShapeType()); + for (; anExp.More() && !anIsFaultyShapeFound; anExp.Next()) + { + if (anExp.Current().IsEqual(aFaultyShape)) + anIsFaultyShapeFound = Standard_True; + } + + if (!anIsFaultyShapeFound) + { + theDI << "Error. Faulty Shape is NOT found in source shape.\n"; + return 0; + } + else + { + theDI << "Info. Faulty shape if found in source shape\n"; + } + } + } + } + else + { + theDI << "Error. Problems are not detected. Test is not performed."; + } + + return 0; +} + +//======================================================================= +//function : OCC24606 +//purpose : +//======================================================================= +static Standard_Integer OCC24606 (Draw_Interpretor& theDI, + Standard_Integer theArgNb, + const char** theArgVec) +{ + if (theArgNb > 1) + { + std::cerr << "Error: incorrect number of arguments.\n"; + theDI << "Usage : " << theArgVec[0] << "\n"; + return 1; + } + + Handle(V3d_View) aView = ViewerTest::CurrentView(); + if (aView.IsNull()) + { + std::cerr << "Errro: no active view, please call 'vinit'.\n"; + return 1; + } + + aView->DepthFitAll(); + aView->FitAll(); + + return 0; +} + +//======================================================================= +//function : OCC23010 +//purpose : +//======================================================================= +#include + +class mOcafApplication : public TDocStd_Application +{ + void Formats(TColStd_SequenceOfExtendedString& Formats) + { + Formats.Append(TCollection_ExtendedString("mOcafApplication")); + } + Standard_CString ResourcesName() + { + return Standard_CString("Resources"); + } +}; + +static Standard_Integer OCC23010 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv) +{ + if (argc != 2) { + di << "Usage: " << argv[0] << " invalid number of arguments" << "\n"; + return 1; + } + std::string fileName=argv[1]; + mOcafApplication *mCasApp = new mOcafApplication(); + Handle(TDocStd_Document) doc; + mCasApp->NewDocument("MDTV-XCAF", doc); + STEPCAFControl_Reader stepReader; + IFSelect_ReturnStatus status = stepReader.ReadFile (fileName.c_str()); + if (status != IFSelect_RetDone) + return false; + stepReader.SetColorMode(Standard_True); + stepReader.SetLayerMode(Standard_True); + stepReader.SetNameMode(Standard_True); + stepReader.Transfer(doc); // ERROR HERE!!! + delete mCasApp; + return 0; +} + +//======================================================================= +//function : OCC25202 +//purpose : +//======================================================================= +#include +static Standard_Integer OCC25202 ( Draw_Interpretor& theDI, + Standard_Integer theArgN, + const char** theArgVal) +{ + // 0 1 2 3 4 5 6 + //reshape res shape numF1 face1 numF2 face2 + if(theArgN < 7) + { + theDI << "Use: reshape res shape numF1 face1 numF2 face2\n"; + return 1; + } + + TopoDS_Shape aShape = DBRep::Get(theArgVal[2]); + const Standard_Integer aNumOfRE1 = Draw::Atoi(theArgVal[3]), + aNumOfRE2 = Draw::Atoi(theArgVal[5]); + TopoDS_Face aShapeForRepl1 = TopoDS::Face(DBRep::Get(theArgVal[4])), + aShapeForRepl2 = TopoDS::Face(DBRep::Get(theArgVal[6])); + + if(aShape.IsNull()) + { + theDI << theArgVal[2] << " is null shape\n"; + return 1; + } + + if(aShapeForRepl1.IsNull()) + { + theDI << theArgVal[4] << " is not a replaced type\n"; + return 1; + } + + if(aShapeForRepl2.IsNull()) + { + theDI << theArgVal[6] << " is not a replaced type\n"; + return 1; + } + + + TopoDS_Shape aReplacedShape; + ShapeBuild_ReShape aReshape; + + //////////////////// explode (begin) + TopTools_MapOfShape M; + M.Add(aShape); + Standard_Integer aNbShapes = 0; + for (TopExp_Explorer ex(aShape,TopAbs_FACE); ex.More(); ex.Next()) + { + const TopoDS_Shape& Sx = ex.Current(); + Standard_Boolean added = M.Add(Sx); + if (added) + { + aNbShapes++; + if(aNbShapes == aNumOfRE1) + { + aReplacedShape = Sx; + + aReshape.Replace(aReplacedShape, aShapeForRepl1); + } + + if(aNbShapes == aNumOfRE2) + { + aReplacedShape = Sx; + + aReshape.Replace(aReplacedShape, aShapeForRepl2); + } + } + } + //////////////////// explode (end) + + if(aReplacedShape.IsNull()) + { + theDI << "There is not any shape for replacing.\n"; + } + + DBRep::Set (theArgVal[1],aReshape.Apply (aShape,TopAbs_WIRE,2)); + + return 0; +} + +#include +//======================================================================= +//function : OCC7570 +//purpose : +//======================================================================= +static Standard_Integer OCC7570 (Draw_Interpretor& di, Standard_Integer n, const char** a) +{ + if (n != 2) { + di<<"Usage: "< +//======================================================================= +//function : OCC25340 +//purpose : +//======================================================================= +static Standard_Integer OCC25340 (Draw_Interpretor& /*theDI*/, + Standard_Integer /*theArgNb*/, + const char** /*theArgVec*/) +{ + Handle(AIS_InteractiveContext) aCtx = ViewerTest::GetAISContext(); + if (aCtx.IsNull()) + { + std::cerr << "Error: No opened viewer!\n"; + return 1; + } + Handle(AIS_TypeFilter) aFilter = new AIS_TypeFilter (AIS_KOI_Shape); + aCtx->AddFilter (aFilter); + return 0; +} + +/*****************************************************************************/ + +#include +//======================================================================= +//function : OCC25100 +//purpose : +//======================================================================= +static Standard_Integer OCC25100 (Draw_Interpretor& di, Standard_Integer argc, const char ** argv) +{ + if (argc < 2) + { + di << "the method requires a shape name\n"; + return 1; + } + TopoDS_Shape S = DBRep::Get(argv[1]); + if ( S.IsNull() ) + { + di << "Shape is empty" << "\n"; + return 1; + } + + TopExp_Explorer aFaceExp(S, TopAbs_FACE); + const Handle(Geom_Surface)& aSurf = BRep_Tool::Surface(TopoDS::Face(aFaceExp.Current())); + + GeomAPI_IntSS anIntersector(aSurf, aSurf, Precision::Confusion()); + + if (!anIntersector.IsDone()) + { + di << "Error. Intersection is not done\n"; + return 1; + } + + di << "Test complete\n"; + + return 0; +} + +//======================================================================= +//function : OCC25348 +//purpose : +//======================================================================= +static Standard_Integer OCC25348 (Draw_Interpretor& theDI, + Standard_Integer /*theArgNb*/, + const char** /*theArgVec*/) +{ + Handle(NCollection_IncAllocator) anAlloc1; + NCollection_List aList1(anAlloc1); + for (int i=0; i < 10; i++) + { + Handle(NCollection_IncAllocator) anAlloc2; + NCollection_List aList2(anAlloc2); + aList2.Append(i); + aList1.Assign(aList2); + } + theDI << "Test complete\n"; + return 0; +} + +#include +#include +//======================================================================= +//function : OCC25413 +//purpose : +//======================================================================= +static Standard_Integer OCC25413 (Draw_Interpretor& di, Standard_Integer narg , const char** a) +{ + if (narg != 2) { + di << "Usage: " << a[0] << " invalid number of arguments" << "\n"; + return 1; + } + TopoDS_Shape aShape = DBRep::Get (a[1]); + + IntCurvesFace_ShapeIntersector Inter; + Inter.Load(aShape, Precision::Confusion()); + + Bnd_Box aBndBox; + BRepBndLib::Add(aShape, aBndBox); + + gp_Dir aDir(0., 1., 0.); + const int N = 250; + Standard_Real xMin = aBndBox.CornerMin().X(); + Standard_Real zMin = aBndBox.CornerMin().Z(); + Standard_Real xMax = aBndBox.CornerMax().X(); + Standard_Real zMax = aBndBox.CornerMax().Z(); + Standard_Real xStep = (xMax - xMin) / N; + Standard_Real zStep = (zMax - zMin) / N; + + for (Standard_Real x = xMin; x <= xMax; x += xStep) + for (Standard_Real z = zMin; z <= zMax; z += zStep) + { + gp_Pnt aPoint(x, 0.0, z); + gp_Lin aLine(aPoint, aDir); + Inter.PerformNearest(aLine, -100., 100.); + } + return 0; +} + + +#include +// +#include +#include +#include +#include +#include +// +#include +// +#include +#include +//======================================================================= +//function : OCC25446 +//purpose : +//======================================================================= +static Standard_Integer OCC25446 (Draw_Interpretor& theDI, + Standard_Integer argc, + const char ** argv) +{ + if (argc != 5) { + theDI << "Usage: OCC25446 res b1 b2 op\n"; + return 1; + } + // + TopoDS_Shape aS1 = DBRep::Get(argv[2]); + if (aS1.IsNull()) { + theDI << argv[2] << " shape is NULL\n"; + return 1; + } + // + TopoDS_Shape aS2 = DBRep::Get(argv[3]); + if (aS2.IsNull()) { + theDI << argv[3] << " shape is NULL\n"; + return 1; + } + // + Standard_Integer iOp; + BOPAlgo_Operation aOp; + // + iOp = Draw::Atoi(argv[4]); + if (iOp < 0 || iOp > 4) { + theDI << "Invalid operation type\n"; + return 1; + } + aOp = (BOPAlgo_Operation)iOp; + // + Standard_Integer iErr; + BOPCol_ListOfShape aLS; + BOPAlgo_PaveFiller aPF; + // + aLS.Append(aS1); + aLS.Append(aS2); + aPF.SetArguments(aLS); + // + aPF.Perform(); + iErr = aPF.ErrorStatus(); + if (iErr) { + theDI << "Intersection failed with error status: " << iErr << "\n"; + return 1; + } + // + BRepAlgoAPI_BooleanOperation* pBuilder = NULL; + // + switch (aOp) { + case BOPAlgo_COMMON: + pBuilder = new BRepAlgoAPI_Common(aS1, aS2, aPF); + break; + case BOPAlgo_FUSE: + pBuilder = new BRepAlgoAPI_Fuse(aS1, aS2, aPF); + break; + case BOPAlgo_CUT: + pBuilder = new BRepAlgoAPI_Cut (aS1, aS2, aPF); + break; + case BOPAlgo_CUT21: + pBuilder = new BRepAlgoAPI_Cut(aS1, aS2, aPF, Standard_False); + break; + case BOPAlgo_SECTION: + pBuilder = new BRepAlgoAPI_Section(aS1, aS2, aPF); + break; + default: + break; + } + // + iErr = pBuilder->ErrorStatus(); + if (!pBuilder->IsDone()) { + theDI << "BOP failed with error status: " << iErr << "\n"; + return 1; + } + // + const TopoDS_Shape& aRes = pBuilder->Shape(); + DBRep::Set(argv[1], aRes); + // + BOPCol_MapOfShape aMapArgs, aMapShape; + BOPCol_MapIteratorOfMapOfShape aIt; + Standard_Boolean bIsDeletedHist, bIsDeletedMap; + TopAbs_ShapeEnum aType; + // + BOPTools::MapShapes(aS1, aMapArgs); + BOPTools::MapShapes(aS2, aMapArgs); + BOPTools::MapShapes(aRes, aMapShape); + // + aIt.Initialize(aMapArgs); + for (; aIt.More(); aIt.Next()) { + const TopoDS_Shape& aS = aIt.Value(); + aType = aS.ShapeType(); + if (!(aType==TopAbs_EDGE || aType==TopAbs_FACE || + aType==TopAbs_VERTEX || aType==TopAbs_SOLID)) { + continue; + } + // + bIsDeletedHist = pBuilder->IsDeleted(aS); + bIsDeletedMap = !aMapShape.Contains(aS) && + (pBuilder->Modified(aS).Extent() == 0); + // + if (bIsDeletedHist != bIsDeletedMap) { + theDI << "Error. Wrong value of IsDeleted flag.\n"; + return 1; + } + } + // + theDI << "Test complete\n"; + return 0; +} + +//==================================================== +// Auxiliary functor class for the command OCC25545; +// it gets access to a vertex with the given index and +// checks that X coordinate of the point is equal to index; +// if it is not so then a data race is reported. +//==================================================== +struct OCC25545_Functor +{ + OCC25545_Functor(const std::vector& theShapeVec) + : myShapeVec(&theShapeVec), + myIsRaceDetected(0) + {} + + void operator()(size_t i) const + { + if (!myIsRaceDetected) { + const TopoDS_Vertex& aV = TopoDS::Vertex (myShapeVec->at(i)); + gp_Pnt aP = BRep_Tool::Pnt (aV); + if (aP.X () != static_cast (i)) { + Standard_Atomic_Increment(&myIsRaceDetected); + } + } + } + + const std::vector* myShapeVec; + mutable volatile int myIsRaceDetected; +}; + +//======================================================================= +//function : OCC25545 +//purpose : Tests data race when concurrently accessing TopLoc_Location::Transformation() +//======================================================================= +#ifdef HAVE_TBB +static Standard_Integer OCC25545 (Draw_Interpretor& di, + Standard_Integer, + const char **) +{ + // Place vertices in a vector, giving the i-th vertex the + // transformation that translates it on the vector (i,0,0) from the origin. + size_t n = 1000; + std::vector aShapeVec (n); + std::vector aLocVec (n); + TopoDS_Shape aShape = BRepBuilderAPI_MakeVertex (gp::Origin ()); + aShapeVec[0] = aShape; + for (size_t i = 1; i < n; ++i) { + gp_Trsf aT; + aT.SetTranslation (gp_Vec (1, 0, 0)); + aLocVec[i] = aLocVec[i - 1] * aT; + aShapeVec[i] = aShape.Moved (aLocVec[i]); + } + + // Evaluator function will access vertices geometry + // concurrently + OCC25545_Functor aFunc(aShapeVec); + + //concurrently process + tbb::parallel_for (size_t (0), n, aFunc, tbb::simple_partitioner ()); + QVERIFY (!aFunc.myIsRaceDetected); + return 0; +} +#else +static Standard_Integer OCC25545 (Draw_Interpretor&, + Standard_Integer, + const char **argv) +{ + cout << "Test skipped: command " << argv[0] << " requires TBB library" << endl; + return 0; +} +#endif + +//======================================================================= +//function : OCC25547 +//purpose : +//======================================================================= +#include +#include +#include +#include +#include +#include +static Standard_Integer OCC25547( + Draw_Interpretor& theDI, + Standard_Integer /*argc*/, + const char ** /*argv*/) +{ + // The general aim of this test is to prevent linkage errors due to missed + // Standard_EXPORT attribute for static methods. + + // However, start checking the main functionality at first. + const Standard_Real aFirstP = 0., aLastP = M_PI; + Handle(Geom_Circle) aCircle = new Geom_Circle(gp_Ax2(gp::Origin(), gp::DZ()), 10); + Handle(Geom_TrimmedCurve) aHalf = new Geom_TrimmedCurve(aCircle, aFirstP, aLastP); + TopoDS_Edge aEdge = BRepBuilderAPI_MakeEdge(aHalf); + BRepAdaptor_Curve aAdaptor(aEdge); + BRepMesh_GeomTool aGeomTool(aAdaptor, aFirstP, aLastP, 0.1, 0.5); + + if (aGeomTool.NbPoints() == 0) + { + theDI << "Error. BRepMesh_GeomTool failed to discretize an arc.\n"; + return 1; + } + + // Test static methods. + TopoDS_Face aFace = BRepBuilderAPI_MakeFace(gp_Pln(gp::Origin(), gp::DZ())); + BRepAdaptor_Surface aSurf(aFace); + Handle(BRepAdaptor_HSurface) aHSurf = new BRepAdaptor_HSurface(aSurf); + + gp_Pnt aPnt; + gp_Dir aNormal; + if (!BRepMesh_GeomTool::Normal(aHSurf, 10., 10., aPnt, aNormal)) + { + theDI << "Error. BRepMesh_GeomTool failed to take a normal of surface.\n"; + return 1; + } + + gp_XY aRefPnts[4] = { + gp_XY(-10., -10.), gp_XY(10., 10.), + gp_XY(-10., 10.), gp_XY(10., -10.) + }; + + gp_Pnt2d aIntPnt; + Standard_Real aParams[2]; + BRepMesh_GeomTool::IntFlag aIntFlag = BRepMesh_GeomTool::IntLinLin( + aRefPnts[0], aRefPnts[1], aRefPnts[2], aRefPnts[3], + aIntPnt.ChangeCoord(), aParams); + + Standard_Real aDiff = aIntPnt.Distance(gp::Origin2d()); + if (aIntFlag != BRepMesh_GeomTool::Cross || aDiff > Precision::PConfusion()) + { + theDI << "Error. BRepMesh_GeomTool failed to intersect two lines.\n"; + return 1; + } + + aIntFlag = BRepMesh_GeomTool::IntSegSeg( + aRefPnts[0], aRefPnts[1], aRefPnts[2], aRefPnts[3], + Standard_False, Standard_False, aIntPnt); + + aDiff = aIntPnt.Distance(gp::Origin2d()); + if (aIntFlag != BRepMesh_GeomTool::Cross || aDiff > Precision::PConfusion()) + { + theDI << "Error. BRepMesh_GeomTool failed to intersect two segments.\n"; + return 1; + } + + + theDI << "Test complete\n"; + return 0; +} void QABugs::Commands_19(Draw_Interpretor& theCommands) { const char *group = "QABugs"; @@ -2399,5 +3320,26 @@ void QABugs::Commands_19(Draw_Interpretor& theCommands) { theCommands.Add ("OCC23951", "OCC23951", __FILE__, OCC23951, group); theCommands.Add ("OCC24931", "OCC24931", __FILE__, OCC24931, group); theCommands.Add ("OCC24945", "OCC24945", __FILE__, OCC24945, group); + theCommands.Add ("OCC23950", "OCC23950 step_file", __FILE__, OCC23950, group); + theCommands.Add ("OCC25004", "OCC25004", __FILE__, OCC25004, group); + theCommands.Add ("OCC24925", + "OCC24925 filename [pluginLib=TKXml storageGuid retrievalGuid]" + "\nOCAF persistence without setting environment variables", + __FILE__, OCC24925, group); + theCommands.Add ("OCC23010", "OCC23010 STEP_file", __FILE__, OCC23010, group); + theCommands.Add ("OCC25043", "OCC25043 shape", __FILE__, OCC25043, group); + theCommands.Add ("OCC24606", "OCC24606 : Tests ::FitAll for V3d view ('vfit' is for NIS view)", __FILE__, OCC24606, group); + theCommands.Add ("OCC25202", "OCC25202 res shape numF1 face1 numF2 face2", __FILE__, OCC25202, group); + theCommands.Add ("OCC7570", "OCC7570 shape", __FILE__, OCC7570, group); + theCommands.Add ("OCC25100", "OCC25100 shape", __FILE__, OCC25100, group); + theCommands.Add ("OCC25340", "OCC25340", __FILE__, OCC25340, group); + theCommands.Add ("OCC25348", "OCC25348", __FILE__, OCC25348, group); + theCommands.Add ("OCC25413", "OCC25413 shape", __FILE__, OCC25413, group); + theCommands.Add ("OCC25446", "OCC25446 res b1 b2 op", __FILE__, OCC25446, group); + theCommands.Add ("OCC25545", + "no args; tests data race when concurrently accessing \n" + "\t\tTopLoc_Location::Transformation()", + __FILE__, OCC25545, group); + theCommands.Add ("OCC25547", "OCC25547", __FILE__, OCC25547, group); return; }