| /* | |
| * Copyright 2013 Google Inc. | |
| * | |
| * Use of this source code is governed by a BSD-style license that can be | |
| * found in the LICENSE file. | |
| */ | |
| #ifndef SkPathOpsDebug_DEFINED | |
| #define SkPathOpsDebug_DEFINED | |
| #include "include/core/SkTypes.h" | |
| #include "include/pathops/SkPathOps.h" | |
| #include "include/private/SkTDArray.h" | |
| #include <cstddef> | |
| class SkOpAngle; | |
| class SkOpCoincidence; | |
| class SkOpContour; | |
| class SkOpContourHead; | |
| class SkOpPtT; | |
| class SkOpSegment; | |
| class SkOpSpan; | |
| class SkOpSpanBase; | |
| class SkPath; | |
| struct SkDConic; | |
| struct SkDCubic; | |
| struct SkDLine; | |
| struct SkDPoint; | |
| struct SkDQuad; | |
| // define this when running fuzz | |
| // #define SK_BUILD_FOR_FUZZER | |
| #ifdef SK_RELEASE | |
| #define FORCE_RELEASE 1 | |
| #else | |
| #define FORCE_RELEASE 1 // set force release to 1 for multiple thread -- no debugging | |
| #endif | |
| #define DEBUG_UNDER_DEVELOPMENT 0 | |
| #define ONE_OFF_DEBUG 0 | |
| #define ONE_OFF_DEBUG_MATHEMATICA 0 | |
| #if defined(SK_BUILD_FOR_WIN) || defined(SK_BUILD_FOR_ANDROID) | |
| #define SK_RAND(seed) rand() | |
| #else | |
| #define SK_RAND(seed) rand_r(&seed) | |
| #endif | |
| #define WIND_AS_STRING(x) char x##Str[12]; \ | |
| if (!SkPathOpsDebug::ValidWind(x)) strcpy(x##Str, "?"); \ | |
| else snprintf(x##Str, sizeof(x##Str), "%d", x) | |
| #if FORCE_RELEASE | |
| #define DEBUG_ACTIVE_OP 0 | |
| #define DEBUG_ACTIVE_SPANS 0 | |
| #define DEBUG_ADD_INTERSECTING_TS 0 | |
| #define DEBUG_ADD_T 0 | |
| #define DEBUG_ALIGNMENT 0 | |
| #define DEBUG_ANGLE 0 | |
| #define DEBUG_ASSEMBLE 0 | |
| #define DEBUG_COINCIDENCE 0 | |
| #define DEBUG_COINCIDENCE_DUMP 0 // accumulate and dump which algorithms fired | |
| #define DEBUG_COINCIDENCE_ORDER 0 // for well behaved curves, check if pairs match up in t-order | |
| #define DEBUG_COINCIDENCE_VERBOSE 0 // usually whether the next function generates coincidence | |
| #define DEBUG_CUBIC_BINARY_SEARCH 0 | |
| #define DEBUG_CUBIC_SPLIT 0 | |
| #define DEBUG_DUMP_SEGMENTS 0 | |
| #define DEBUG_DUMP_VERIFY 0 | |
| #define DEBUG_FLOW 0 | |
| #define DEBUG_LIMIT_WIND_SUM 0 | |
| #define DEBUG_MARK_DONE 0 | |
| #define DEBUG_PATH_CONSTRUCTION 0 | |
| #define DEBUG_PERP 0 | |
| #define DEBUG_SORT 0 | |
| #define DEBUG_T_SECT 0 | |
| #define DEBUG_T_SECT_DUMP 0 | |
| #define DEBUG_T_SECT_LOOP_COUNT 0 | |
| #define DEBUG_VALIDATE 0 | |
| #define DEBUG_WINDING 0 | |
| #define DEBUG_WINDING_AT_T 0 | |
| #else | |
| #define DEBUG_ACTIVE_OP 1 | |
| #define DEBUG_ACTIVE_SPANS 1 | |
| #define DEBUG_ADD_INTERSECTING_TS 1 | |
| #define DEBUG_ADD_T 1 | |
| #define DEBUG_ALIGNMENT 0 | |
| #define DEBUG_ANGLE 1 | |
| #define DEBUG_ASSEMBLE 1 | |
| #define DEBUG_COINCIDENCE 1 | |
| #define DEBUG_COINCIDENCE_DUMP 1 | |
| #define DEBUG_COINCIDENCE_ORDER 1 // tight arc quads may generate out-of-order coincidence spans | |
| #define DEBUG_COINCIDENCE_VERBOSE 1 | |
| #define DEBUG_CUBIC_BINARY_SEARCH 0 | |
| #define DEBUG_CUBIC_SPLIT 1 | |
| #define DEBUG_DUMP_VERIFY 1 | |
| #define DEBUG_DUMP_SEGMENTS 1 | |
| #define DEBUG_FLOW 1 | |
| #define DEBUG_LIMIT_WIND_SUM 15 | |
| #define DEBUG_MARK_DONE 1 | |
| #define DEBUG_PATH_CONSTRUCTION 1 | |
| #define DEBUG_PERP 1 | |
| #define DEBUG_SORT 1 | |
| #define DEBUG_T_SECT 0 // enabling may trigger validate asserts even though op does not fail | |
| #define DEBUG_T_SECT_DUMP 0 // Use 1 normally. Use 2 to number segments, 3 for script output | |
| #define DEBUG_T_SECT_LOOP_COUNT 0 | |
| #define DEBUG_VALIDATE 1 | |
| #define DEBUG_WINDING 1 | |
| #define DEBUG_WINDING_AT_T 1 | |
| #endif | |
| #ifdef SK_RELEASE | |
| #define SkDEBUGRELEASE(a, b) b | |
| #define SkDEBUGPARAMS(...) | |
| #else | |
| #define SkDEBUGRELEASE(a, b) a | |
| #define SkDEBUGPARAMS(...) , __VA_ARGS__ | |
| #endif | |
| #if DEBUG_VALIDATE == 0 | |
| #define PATH_OPS_DEBUG_VALIDATE_PARAMS(...) | |
| #else | |
| #define PATH_OPS_DEBUG_VALIDATE_PARAMS(...) , __VA_ARGS__ | |
| #endif | |
| #if DEBUG_T_SECT == 0 | |
| #define PATH_OPS_DEBUG_T_SECT_RELEASE(a, b) b | |
| #define PATH_OPS_DEBUG_T_SECT_PARAMS(...) | |
| #define PATH_OPS_DEBUG_T_SECT_CODE(...) | |
| #else | |
| #define PATH_OPS_DEBUG_T_SECT_RELEASE(a, b) a | |
| #define PATH_OPS_DEBUG_T_SECT_PARAMS(...) , __VA_ARGS__ | |
| #define PATH_OPS_DEBUG_T_SECT_CODE(...) __VA_ARGS__ | |
| #endif | |
| #if DEBUG_T_SECT_DUMP > 1 | |
| extern int gDumpTSectNum; | |
| #endif | |
| #if DEBUG_COINCIDENCE || DEBUG_COINCIDENCE_DUMP | |
| #define DEBUG_COIN 1 | |
| #else | |
| #define DEBUG_COIN 0 | |
| #endif | |
| #if DEBUG_COIN | |
| enum class SkOpPhase : char; | |
| #define DEBUG_COIN_DECLARE_ONLY_PARAMS() \ | |
| int lineNo, SkOpPhase phase, int iteration | |
| #define DEBUG_COIN_DECLARE_PARAMS() \ | |
| , DEBUG_COIN_DECLARE_ONLY_PARAMS() | |
| #define DEBUG_COIN_ONLY_PARAMS() \ | |
| __LINE__, SkOpPhase::kNoChange, 0 | |
| #define DEBUG_COIN_PARAMS() \ | |
| , DEBUG_COIN_ONLY_PARAMS() | |
| #define DEBUG_ITER_ONLY_PARAMS(iteration) \ | |
| __LINE__, SkOpPhase::kNoChange, iteration | |
| #define DEBUG_ITER_PARAMS(iteration) \ | |
| , DEBUG_ITER_ONLY_PARAMS(iteration) | |
| #define DEBUG_PHASE_ONLY_PARAMS(phase) \ | |
| __LINE__, SkOpPhase::phase, 0 | |
| #define DEBUG_PHASE_PARAMS(phase) \ | |
| , DEBUG_PHASE_ONLY_PARAMS(phase) | |
| #define DEBUG_SET_PHASE() \ | |
| this->globalState()->debugSetPhase(__func__, lineNo, phase, iteration) | |
| #define DEBUG_STATIC_SET_PHASE(obj) \ | |
| obj->globalState()->debugSetPhase(__func__, lineNo, phase, iteration) | |
| #elif DEBUG_VALIDATE | |
| #define DEBUG_COIN_DECLARE_ONLY_PARAMS() \ | |
| SkOpPhase phase | |
| #define DEBUG_COIN_DECLARE_PARAMS() \ | |
| , DEBUG_COIN_DECLARE_ONLY_PARAMS() | |
| #define DEBUG_COIN_ONLY_PARAMS() \ | |
| SkOpPhase::kNoChange | |
| #define DEBUG_COIN_PARAMS() \ | |
| , DEBUG_COIN_ONLY_PARAMS() | |
| #define DEBUG_ITER_ONLY_PARAMS(iteration) \ | |
| SkOpPhase::kNoChange | |
| #define DEBUG_ITER_PARAMS(iteration) \ | |
| , DEBUG_ITER_ONLY_PARAMS(iteration) | |
| #define DEBUG_PHASE_ONLY_PARAMS(phase) \ | |
| SkOpPhase::phase | |
| #define DEBUG_PHASE_PARAMS(phase) \ | |
| , DEBUG_PHASE_ONLY_PARAMS(phase) | |
| #define DEBUG_SET_PHASE() \ | |
| this->globalState()->debugSetPhase(phase) | |
| #define DEBUG_STATIC_SET_PHASE(obj) \ | |
| obj->globalState()->debugSetPhase(phase) | |
| #else | |
| #define DEBUG_COIN_DECLARE_ONLY_PARAMS() | |
| #define DEBUG_COIN_DECLARE_PARAMS() | |
| #define DEBUG_COIN_ONLY_PARAMS() | |
| #define DEBUG_COIN_PARAMS() | |
| #define DEBUG_ITER_ONLY_PARAMS(iteration) | |
| #define DEBUG_ITER_PARAMS(iteration) | |
| #define DEBUG_PHASE_ONLY_PARAMS(phase) | |
| #define DEBUG_PHASE_PARAMS(phase) | |
| #define DEBUG_SET_PHASE() | |
| #define DEBUG_STATIC_SET_PHASE(obj) | |
| #endif | |
| #define CUBIC_DEBUG_STR "{{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}}" | |
| #define CONIC_DEBUG_STR "{{{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}}, %1.9g}" | |
| #define QUAD_DEBUG_STR "{{{%1.9g,%1.9g}, {%1.9g,%1.9g}, {%1.9g,%1.9g}}}" | |
| #define LINE_DEBUG_STR "{{{%1.9g,%1.9g}, {%1.9g,%1.9g}}}" | |
| #define PT_DEBUG_STR "{{%1.9g,%1.9g}}" | |
| #define T_DEBUG_STR(t, n) #t "[" #n "]=%1.9g" | |
| #define TX_DEBUG_STR(t) #t "[%d]=%1.9g" | |
| #define CUBIC_DEBUG_DATA(c) c[0].fX, c[0].fY, c[1].fX, c[1].fY, c[2].fX, c[2].fY, c[3].fX, c[3].fY | |
| #define CONIC_DEBUG_DATA(c, w) c[0].fX, c[0].fY, c[1].fX, c[1].fY, c[2].fX, c[2].fY, w | |
| #define QUAD_DEBUG_DATA(q) q[0].fX, q[0].fY, q[1].fX, q[1].fY, q[2].fX, q[2].fY | |
| #define LINE_DEBUG_DATA(l) l[0].fX, l[0].fY, l[1].fX, l[1].fY | |
| #define PT_DEBUG_DATA(i, n) i.pt(n).asSkPoint().fX, i.pt(n).asSkPoint().fY | |
| #ifndef DEBUG_TEST | |
| #define DEBUG_TEST 0 | |
| #endif | |
| // Tests with extreme numbers may fail, but all other tests should never fail. | |
| #define FAIL_IF(cond) \ | |
| do { bool fail = (cond); SkOPASSERT(!fail); if (fail) return false; } while (false) | |
| #define FAIL_WITH_NULL_IF(cond) \ | |
| do { bool fail = (cond); SkOPASSERT(!fail); if (fail) return nullptr; } while (false) | |
| class SkPathOpsDebug { | |
| public: | |
| #if DEBUG_COIN | |
| struct GlitchLog; | |
| enum GlitchType { | |
| kUninitialized_Glitch, | |
| kAddCorruptCoin_Glitch, | |
| kAddExpandedCoin_Glitch, | |
| kAddExpandedFail_Glitch, | |
| kAddIfCollapsed_Glitch, | |
| kAddIfMissingCoin_Glitch, | |
| kAddMissingCoin_Glitch, | |
| kAddMissingExtend_Glitch, | |
| kAddOrOverlap_Glitch, | |
| kCollapsedCoin_Glitch, | |
| kCollapsedDone_Glitch, | |
| kCollapsedOppValue_Glitch, | |
| kCollapsedSpan_Glitch, | |
| kCollapsedWindValue_Glitch, | |
| kCorrectEnd_Glitch, | |
| kDeletedCoin_Glitch, | |
| kExpandCoin_Glitch, | |
| kFail_Glitch, | |
| kMarkCoinEnd_Glitch, | |
| kMarkCoinInsert_Glitch, | |
| kMarkCoinMissing_Glitch, | |
| kMarkCoinStart_Glitch, | |
| kMergeMatches_Glitch, | |
| kMissingCoin_Glitch, | |
| kMissingDone_Glitch, | |
| kMissingIntersection_Glitch, | |
| kMoveMultiple_Glitch, | |
| kMoveNearbyClearAll_Glitch, | |
| kMoveNearbyClearAll2_Glitch, | |
| kMoveNearbyMerge_Glitch, | |
| kMoveNearbyMergeFinal_Glitch, | |
| kMoveNearbyRelease_Glitch, | |
| kMoveNearbyReleaseFinal_Glitch, | |
| kReleasedSpan_Glitch, | |
| kReturnFalse_Glitch, | |
| kUnaligned_Glitch, | |
| kUnalignedHead_Glitch, | |
| kUnalignedTail_Glitch, | |
| }; | |
| struct CoinDictEntry { | |
| int fIteration; | |
| int fLineNumber; | |
| GlitchType fGlitchType; | |
| const char* fFunctionName; | |
| }; | |
| struct CoinDict { | |
| void add(const CoinDictEntry& key); | |
| void add(const CoinDict& dict); | |
| void dump(const char* str, bool visitCheck) const; | |
| SkTDArray<CoinDictEntry> fDict; | |
| }; | |
| static CoinDict gCoinSumChangedDict; | |
| static CoinDict gCoinSumVisitedDict; | |
| static CoinDict gCoinVistedDict; | |
| #endif | |
| #if defined(SK_DEBUG) || !FORCE_RELEASE | |
| static int gContourID; | |
| static int gSegmentID; | |
| #endif | |
| #if DEBUG_SORT | |
| static int gSortCountDefault; | |
| static int gSortCount; | |
| #endif | |
| #if DEBUG_ACTIVE_OP | |
| static const char* kPathOpStr[]; | |
| #endif | |
| static bool gRunFail; | |
| static bool gVeryVerbose; | |
| #if DEBUG_ACTIVE_SPANS | |
| static SkString gActiveSpans; | |
| #endif | |
| #if DEBUG_DUMP_VERIFY | |
| static bool gDumpOp; | |
| static bool gVerifyOp; | |
| #endif | |
| static const char* OpStr(SkPathOp ); | |
| static void MathematicaIze(char* str, size_t bufferSize); | |
| static bool ValidWind(int winding); | |
| static void WindingPrintf(int winding); | |
| static void ShowActiveSpans(SkOpContourHead* contourList); | |
| static void ShowOnePath(const SkPath& path, const char* name, bool includeDeclaration); | |
| static void ShowPath(const SkPath& one, const SkPath& two, SkPathOp op, const char* name); | |
| static bool ChaseContains(const SkTDArray<SkOpSpanBase*>& , const SkOpSpanBase* ); | |
| static void CheckHealth(class SkOpContourHead* contourList); | |
| #if DEBUG_COIN | |
| static void DumpCoinDict(); | |
| static void DumpGlitchType(GlitchType ); | |
| #endif | |
| }; | |
| // Visual Studio 2017 does not permit calling member functions from the Immediate Window. | |
| // Global functions work fine, however. Use globals rather than static members inside a class. | |
| const SkOpAngle* AngleAngle(const SkOpAngle*, int id); | |
| SkOpContour* AngleContour(SkOpAngle*, int id); | |
| const SkOpPtT* AnglePtT(const SkOpAngle*, int id); | |
| const SkOpSegment* AngleSegment(const SkOpAngle*, int id); | |
| const SkOpSpanBase* AngleSpan(const SkOpAngle*, int id); | |
| const SkOpAngle* ContourAngle(SkOpContour*, int id); | |
| SkOpContour* ContourContour(SkOpContour*, int id); | |
| const SkOpPtT* ContourPtT(SkOpContour*, int id); | |
| const SkOpSegment* ContourSegment(SkOpContour*, int id); | |
| const SkOpSpanBase* ContourSpan(SkOpContour*, int id); | |
| const SkOpAngle* CoincidenceAngle(SkOpCoincidence*, int id); | |
| SkOpContour* CoincidenceContour(SkOpCoincidence*, int id); | |
| const SkOpPtT* CoincidencePtT(SkOpCoincidence*, int id); | |
| const SkOpSegment* CoincidenceSegment(SkOpCoincidence*, int id); | |
| const SkOpSpanBase* CoincidenceSpan(SkOpCoincidence*, int id); | |
| const SkOpAngle* PtTAngle(const SkOpPtT*, int id); | |
| SkOpContour* PtTContour(SkOpPtT*, int id); | |
| const SkOpPtT* PtTPtT(const SkOpPtT*, int id); | |
| const SkOpSegment* PtTSegment(const SkOpPtT*, int id); | |
| const SkOpSpanBase* PtTSpan(const SkOpPtT*, int id); | |
| const SkOpAngle* SegmentAngle(const SkOpSegment*, int id); | |
| SkOpContour* SegmentContour(SkOpSegment*, int id); | |
| const SkOpPtT* SegmentPtT(const SkOpSegment*, int id); | |
| const SkOpSegment* SegmentSegment(const SkOpSegment*, int id); | |
| const SkOpSpanBase* SegmentSpan(const SkOpSegment*, int id); | |
| const SkOpAngle* SpanAngle(const SkOpSpanBase*, int id); | |
| SkOpContour* SpanContour(SkOpSpanBase*, int id); | |
| const SkOpPtT* SpanPtT(const SkOpSpanBase*, int id); | |
| const SkOpSegment* SpanSegment(const SkOpSpanBase*, int id); | |
| const SkOpSpanBase* SpanSpan(const SkOpSpanBase*, int id); | |
| #if DEBUG_DUMP_VERIFY | |
| void DumpOp(const SkPath& one, const SkPath& two, SkPathOp op, | |
| const char* testName); | |
| void DumpOp(FILE* file, const SkPath& one, const SkPath& two, SkPathOp op, | |
| const char* testName); | |
| void DumpSimplify(const SkPath& path, const char* testName); | |
| void DumpSimplify(FILE* file, const SkPath& path, const char* testName); | |
| void ReportOpFail(const SkPath& one, const SkPath& two, SkPathOp op); | |
| void ReportSimplifyFail(const SkPath& path); | |
| void VerifyOp(const SkPath& one, const SkPath& two, SkPathOp op, | |
| const SkPath& result); | |
| void VerifySimplify(const SkPath& path, const SkPath& result); | |
| #endif | |
| // global path dumps for msvs Visual Studio 17 to use from Immediate Window | |
| void Dump(const SkOpContour& ); | |
| void DumpAll(const SkOpContour& ); | |
| void DumpAngles(const SkOpContour& ); | |
| void DumpContours(const SkOpContour& ); | |
| void DumpContoursAll(const SkOpContour& ); | |
| void DumpContoursAngles(const SkOpContour& ); | |
| void DumpContoursPts(const SkOpContour& ); | |
| void DumpContoursPt(const SkOpContour& , int segmentID); | |
| void DumpContoursSegment(const SkOpContour& , int segmentID); | |
| void DumpContoursSpan(const SkOpContour& , int segmentID); | |
| void DumpContoursSpans(const SkOpContour& ); | |
| void DumpPt(const SkOpContour& , int ); | |
| void DumpPts(const SkOpContour& , const char* prefix = "seg"); | |
| void DumpSegment(const SkOpContour& , int ); | |
| void DumpSegments(const SkOpContour& , const char* prefix = "seg", SkPathOp op = (SkPathOp) -1); | |
| void DumpSpan(const SkOpContour& , int ); | |
| void DumpSpans(const SkOpContour& ); | |
| void Dump(const SkOpSegment& ); | |
| void DumpAll(const SkOpSegment& ); | |
| void DumpAngles(const SkOpSegment& ); | |
| void DumpCoin(const SkOpSegment& ); | |
| void DumpPts(const SkOpSegment& , const char* prefix = "seg"); | |
| void Dump(const SkOpPtT& ); | |
| void DumpAll(const SkOpPtT& ); | |
| void Dump(const SkOpSpanBase& ); | |
| void DumpCoin(const SkOpSpanBase& ); | |
| void DumpAll(const SkOpSpanBase& ); | |
| void DumpCoin(const SkOpSpan& ); | |
| bool DumpSpan(const SkOpSpan& ); | |
| void Dump(const SkDConic& ); | |
| void DumpID(const SkDConic& , int id); | |
| void Dump(const SkDCubic& ); | |
| void DumpID(const SkDCubic& , int id); | |
| void Dump(const SkDLine& ); | |
| void DumpID(const SkDLine& , int id); | |
| void Dump(const SkDQuad& ); | |
| void DumpID(const SkDQuad& , int id); | |
| void Dump(const SkDPoint& ); | |
| void Dump(const SkOpAngle& ); | |
| // generates tools/path_sorter.htm and path_visualizer.htm compatible data | |
| void DumpQ(const SkDQuad& quad1, const SkDQuad& quad2, int testNo); | |
| void DumpT(const SkDQuad& quad, double t); | |
| // global path dumps for msvs Visual Studio 17 to use from Immediate Window | |
| void Dump(const SkPath& path); | |
| void DumpHex(const SkPath& path); | |
| #endif |