caryclark@google.com | 9e49fb6 | 2012-08-27 14:11:33 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2012 Google Inc. |
| 3 | * |
| 4 | * Use of this source code is governed by a BSD-style license that can be |
| 5 | * found in the LICENSE file. |
| 6 | */ |
caryclark@google.com | c682590 | 2012-02-03 22:07:47 +0000 | [diff] [blame] | 7 | #include "CurveIntersection.h" |
caryclark@google.com | 8dcf114 | 2012-07-02 20:27:02 +0000 | [diff] [blame] | 8 | #include "CurveUtilities.h" |
caryclark@google.com | 27accef | 2012-01-25 18:57:23 +0000 | [diff] [blame] | 9 | #include "Intersection_Tests.h" |
| 10 | #include "Intersections.h" |
| 11 | #include "QuadraticIntersection_TestData.h" |
| 12 | #include "TestUtilities.h" |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 13 | #include "SkTypes.h" |
caryclark@google.com | 27accef | 2012-01-25 18:57:23 +0000 | [diff] [blame] | 14 | |
| 15 | const int firstQuadIntersectionTest = 9; |
| 16 | |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 17 | static void standardTestCases() { |
caryclark@google.com | 27accef | 2012-01-25 18:57:23 +0000 | [diff] [blame] | 18 | for (size_t index = firstQuadIntersectionTest; index < quadraticTests_count; ++index) { |
| 19 | const Quadratic& quad1 = quadraticTests[index][0]; |
| 20 | const Quadratic& quad2 = quadraticTests[index][1]; |
| 21 | Quadratic reduce1, reduce2; |
| 22 | int order1 = reduceOrder(quad1, reduce1); |
| 23 | int order2 = reduceOrder(quad2, reduce2); |
| 24 | if (order1 < 3) { |
| 25 | printf("[%d] quad1 order=%d\n", (int) index, order1); |
| 26 | } |
| 27 | if (order2 < 3) { |
| 28 | printf("[%d] quad2 order=%d\n", (int) index, order2); |
| 29 | } |
| 30 | if (order1 == 3 && order2 == 3) { |
caryclark@google.com | 235f56a | 2012-09-14 14:19:30 +0000 | [diff] [blame] | 31 | Intersections intersections, intersections2; |
caryclark@google.com | c682590 | 2012-02-03 22:07:47 +0000 | [diff] [blame] | 32 | intersect(reduce1, reduce2, intersections); |
caryclark@google.com | 235f56a | 2012-09-14 14:19:30 +0000 | [diff] [blame] | 33 | intersect2(reduce1, reduce2, intersections2); |
| 34 | SkASSERT(intersections.used() == intersections2.used()); |
caryclark@google.com | 27accef | 2012-01-25 18:57:23 +0000 | [diff] [blame] | 35 | if (intersections.intersected()) { |
| 36 | for (int pt = 0; pt < intersections.used(); ++pt) { |
| 37 | double tt1 = intersections.fT[0][pt]; |
| 38 | double tx1, ty1; |
| 39 | xy_at_t(quad1, tt1, tx1, ty1); |
| 40 | double tt2 = intersections.fT[1][pt]; |
| 41 | double tx2, ty2; |
| 42 | xy_at_t(quad2, tt2, tx2, ty2); |
| 43 | if (!approximately_equal(tx1, tx2)) { |
| 44 | printf("%s [%d,%d] x!= t1=%g (%g,%g) t2=%g (%g,%g)\n", |
| 45 | __FUNCTION__, (int)index, pt, tt1, tx1, ty1, tt2, tx2, ty2); |
| 46 | } |
| 47 | if (!approximately_equal(ty1, ty2)) { |
| 48 | printf("%s [%d,%d] y!= t1=%g (%g,%g) t2=%g (%g,%g)\n", |
| 49 | __FUNCTION__, (int)index, pt, tt1, tx1, ty1, tt2, tx2, ty2); |
| 50 | } |
caryclark@google.com | 235f56a | 2012-09-14 14:19:30 +0000 | [diff] [blame] | 51 | tt1 = intersections2.fT[0][pt]; |
| 52 | SkASSERT(approximately_equal(intersections.fT[0][pt], tt1)); |
| 53 | tt2 = intersections2.fT[1][pt]; |
| 54 | SkASSERT(approximately_equal(intersections.fT[1][pt], tt2)); |
caryclark@google.com | 27accef | 2012-01-25 18:57:23 +0000 | [diff] [blame] | 55 | } |
| 56 | } |
| 57 | } |
| 58 | } |
| 59 | } |
| 60 | |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 61 | static const Quadratic testSet[] = { |
caryclark@google.com | e7bd5f4 | 2012-12-13 19:47:53 +0000 | [diff] [blame] | 62 | {{0, 0}, {1, 0}, {0, 3}}, |
| 63 | {{1, 0}, {0, 1}, {1, 1}}, |
caryclark@google.com | 0b7da43 | 2012-10-31 19:00:20 +0000 | [diff] [blame] | 64 | {{369.848602,145.680267}, {382.360413,121.298294}, {406.207703,121.298294}}, |
| 65 | {{369.961151,137.980698}, {383.970093,121.298294}, {406.213287,121.298294}}, |
| 66 | {{353.2948,194.351074}, {353.2948,173.767563}, {364.167572,160.819855}}, |
| 67 | {{360.416077,166.795715}, {370.126831,147.872162}, {388.635406,147.872162}}, |
| 68 | {{406.236359,121.254936}, {409.445679,121.254936}, {412.975952,121.789818}}, |
| 69 | {{406.235992,121.254936}, {425.705902,121.254936}, {439.71994,137.087616}}, |
caryclark@google.com | a461ff0 | 2012-10-11 12:54:23 +0000 | [diff] [blame] | 70 | |
| 71 | {{369.8543701171875, 145.66734313964844}, {382.36788940429688, 121.28203582763672}, {406.21844482421875, 121.28203582763672}}, |
| 72 | {{369.96469116210938, 137.96672058105469}, {383.97555541992188, 121.28203582763672}, {406.2218017578125, 121.28203582763672}}, |
| 73 | |
| 74 | {{369.850525, 145.675964}, {382.362915, 121.29287}, {406.211273, 121.29287}}, |
| 75 | {{369.962311, 137.976044}, {383.971893, 121.29287}, {406.216125, 121.29287}}, |
| 76 | |
caryclark@google.com | 6aea33f | 2012-10-09 14:11:58 +0000 | [diff] [blame] | 77 | {{400.121704, 149.468719}, {391.949493, 161.037186}, {391.949493, 181.202423}}, |
| 78 | {{391.946747, 181.839218}, {391.946747, 155.62442}, {406.115479, 138.855438}}, |
| 79 | {{360.048828125, 229.2578125}, {360.048828125, 224.4140625}, {362.607421875, 221.3671875}}, |
| 80 | {{362.607421875, 221.3671875}, {365.166015625, 218.3203125}, {369.228515625, 218.3203125}}, |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 81 | {{8, 8}, {10, 10}, {8, -10}}, |
| 82 | {{8, 8}, {12, 12}, {14, 4}}, |
| 83 | {{8, 8}, {9, 9}, {10, 8}} |
| 84 | }; |
| 85 | |
| 86 | const size_t testSetCount = sizeof(testSet) / sizeof(testSet[0]); |
| 87 | |
| 88 | static void oneOffTest() { |
caryclark@google.com | f25edfe | 2012-06-01 18:20:10 +0000 | [diff] [blame] | 89 | for (size_t outer = 0; outer < testSetCount - 1; ++outer) { |
| 90 | for (size_t inner = outer + 1; inner < testSetCount; ++inner) { |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 91 | const Quadratic& quad1 = testSet[outer]; |
| 92 | const Quadratic& quad2 = testSet[inner]; |
caryclark@google.com | 6aea33f | 2012-10-09 14:11:58 +0000 | [diff] [blame] | 93 | double tt1, tt2; |
caryclark@google.com | 235f56a | 2012-09-14 14:19:30 +0000 | [diff] [blame] | 94 | Intersections intersections2; |
| 95 | intersect2(quad1, quad2, intersections2); |
caryclark@google.com | 6aea33f | 2012-10-09 14:11:58 +0000 | [diff] [blame] | 96 | for (int pt = 0; pt < intersections2.used(); ++pt) { |
| 97 | tt1 = intersections2.fT[0][pt]; |
| 98 | double tx1, ty1; |
| 99 | xy_at_t(quad1, tt1, tx1, ty1); |
| 100 | int pt2 = intersections2.fFlip ? intersections2.used() - pt - 1 : pt; |
| 101 | tt2 = intersections2.fT[1][pt2]; |
| 102 | double tx2, ty2; |
| 103 | xy_at_t(quad2, tt2, tx2, ty2); |
| 104 | if (!approximately_equal(tx1, tx2)) { |
| 105 | SkDebugf("%s [%d,%d] x!= t1=%g (%g,%g) t2=%g (%g,%g)\n", |
| 106 | __FUNCTION__, (int)index, pt, tt1, tx1, ty1, tt2, tx2, ty2); |
| 107 | SkASSERT(0); |
| 108 | } |
| 109 | if (!approximately_equal(ty1, ty2)) { |
| 110 | SkDebugf("%s [%d,%d] y!= t1=%g (%g,%g) t2=%g (%g,%g)\n", |
| 111 | __FUNCTION__, (int)index, pt, tt1, tx1, ty1, tt2, tx2, ty2); |
| 112 | SkASSERT(0); |
| 113 | } |
| 114 | SkDebugf("%s [%d][%d] t1=%1.9g (%1.9g, %1.9g) t2=%1.9g\n", __FUNCTION__, |
| 115 | outer, inner, tt1, tx1, tx2, tt2); |
| 116 | } |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 117 | } |
| 118 | } |
| 119 | } |
| 120 | |
caryclark@google.com | 32546db | 2012-08-31 20:55:07 +0000 | [diff] [blame] | 121 | static const Quadratic coincidentTestSet[] = { |
caryclark@google.com | a461ff0 | 2012-10-11 12:54:23 +0000 | [diff] [blame] | 122 | {{369.850525, 145.675964}, {382.362915, 121.29287}, {406.211273, 121.29287}}, |
| 123 | {{369.850525, 145.675964}, {382.362915, 121.29287}, {406.211273, 121.29287}}, |
caryclark@google.com | 32546db | 2012-08-31 20:55:07 +0000 | [diff] [blame] | 124 | {{8, 8}, {10, 10}, {8, -10}}, |
| 125 | {{8, -10}, {10, 10}, {8, 8}}, |
| 126 | }; |
| 127 | |
| 128 | const size_t coincidentTestSetCount = sizeof(coincidentTestSet) / sizeof(coincidentTestSet[0]); |
| 129 | |
| 130 | static void coincidentTest() { |
| 131 | for (size_t testIndex = 0; testIndex < coincidentTestSetCount - 1; testIndex += 2) { |
| 132 | const Quadratic& quad1 = coincidentTestSet[testIndex]; |
| 133 | const Quadratic& quad2 = coincidentTestSet[testIndex + 1]; |
caryclark@google.com | a461ff0 | 2012-10-11 12:54:23 +0000 | [diff] [blame] | 134 | Intersections intersections2; |
caryclark@google.com | 235f56a | 2012-09-14 14:19:30 +0000 | [diff] [blame] | 135 | intersect2(quad1, quad2, intersections2); |
| 136 | SkASSERT(intersections2.coincidentUsed() == 2); |
caryclark@google.com | a461ff0 | 2012-10-11 12:54:23 +0000 | [diff] [blame] | 137 | for (int pt = 0; pt < intersections2.coincidentUsed(); ++pt) { |
| 138 | double tt1 = intersections2.fT[0][pt]; |
| 139 | double tt2 = intersections2.fT[1][pt]; |
caryclark@google.com | 0b7da43 | 2012-10-31 19:00:20 +0000 | [diff] [blame] | 140 | SkASSERT(approximately_equal(1, tt1) || approximately_zero(tt1)); |
| 141 | SkASSERT(approximately_equal(1, tt2) || approximately_zero(tt2)); |
caryclark@google.com | 235f56a | 2012-09-14 14:19:30 +0000 | [diff] [blame] | 142 | } |
caryclark@google.com | 32546db | 2012-08-31 20:55:07 +0000 | [diff] [blame] | 143 | } |
| 144 | } |
| 145 | |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 146 | void QuadraticIntersection_Test() { |
| 147 | oneOffTest(); |
caryclark@google.com | 6aea33f | 2012-10-09 14:11:58 +0000 | [diff] [blame] | 148 | coincidentTest(); |
caryclark@google.com | b45a1b4 | 2012-05-18 20:50:33 +0000 | [diff] [blame] | 149 | standardTestCases(); |
caryclark@google.com | a3f05fa | 2012-06-01 17:44:28 +0000 | [diff] [blame] | 150 | } |