OLD | NEW |
| (Empty) |
1 /* | |
2 * Copyright 2014 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 */ | |
7 #include "SkOpCoincidence.h" | |
8 #include "SkOpContour.h" | |
9 #include "SkOpSegment.h" | |
10 #include "SkPathWriter.h" | |
11 | |
12 bool SkOpPtT::alias() const { | |
13 return this->span()->ptT() != this; | |
14 } | |
15 | |
16 SkOpContour* SkOpPtT::contour() const { | |
17 return segment()->contour(); | |
18 } | |
19 | |
20 SkOpGlobalState* SkOpPtT::globalState() const { | |
21 return PATH_OPS_DEBUG_RELEASE(contour()->globalState(), NULL); | |
22 } | |
23 | |
24 void SkOpPtT::init(SkOpSpanBase* span, double t, const SkPoint& pt, bool duplica
te) { | |
25 fT = t; | |
26 fPt = pt; | |
27 fSpan = span; | |
28 fNext = this; | |
29 fDuplicatePt = duplicate; | |
30 fDeleted = false; | |
31 PATH_OPS_DEBUG_CODE(fID = ++span->globalState()->fPtTID); | |
32 } | |
33 | |
34 bool SkOpPtT::onEnd() const { | |
35 const SkOpSpanBase* span = this->span(); | |
36 if (span->ptT() != this) { | |
37 return false; | |
38 } | |
39 const SkOpSegment* segment = this->segment(); | |
40 return span == segment->head() || span == segment->tail(); | |
41 } | |
42 | |
43 SkOpPtT* SkOpPtT::remove() { | |
44 SkOpPtT* prev = this; | |
45 do { | |
46 SkOpPtT* next = prev->fNext; | |
47 if (next == this) { | |
48 prev->removeNext(this); | |
49 fDeleted = true; | |
50 return prev; | |
51 } | |
52 prev = next; | |
53 } while (prev != this); | |
54 SkASSERT(0); | |
55 return NULL; | |
56 } | |
57 | |
58 void SkOpPtT::removeNext(SkOpPtT* kept) { | |
59 SkASSERT(this->fNext); | |
60 SkOpPtT* next = this->fNext; | |
61 this->fNext = next->fNext; | |
62 SkOpSpanBase* span = next->span(); | |
63 next->setDeleted(); | |
64 if (span->ptT() == next) { | |
65 span->upCast()->detach(kept); | |
66 } | |
67 } | |
68 | |
69 const SkOpSegment* SkOpPtT::segment() const { | |
70 return span()->segment(); | |
71 } | |
72 | |
73 SkOpSegment* SkOpPtT::segment() { | |
74 return span()->segment(); | |
75 } | |
76 | |
77 // find the starting or ending span with an existing loop of angles | |
78 // OPTIMIZE? remove the spans pointing to windValue==0 here or earlier? | |
79 // FIXME? assert that only one other span has a valid windValue or oppValue | |
80 void SkOpSpanBase::addSimpleAngle(bool checkFrom, SkChunkAlloc* allocator) { | |
81 SkOpAngle* angle; | |
82 if (checkFrom) { | |
83 SkASSERT(this->final()); | |
84 if (this->fromAngle()) { | |
85 SkASSERT(this->fromAngle()->loopCount() == 2); | |
86 return; | |
87 } | |
88 angle = this->segment()->addEndSpan(allocator); | |
89 } else { | |
90 SkASSERT(this->t() == 0); | |
91 SkOpSpan* span = this->upCast(); | |
92 if (span->toAngle()) { | |
93 SkASSERT(span->toAngle()->loopCount() == 2); | |
94 SkASSERT(!span->fromAngle()); | |
95 span->setFromAngle(span->toAngle()->next()); | |
96 return; | |
97 } | |
98 angle = this->segment()->addStartSpan(allocator); | |
99 } | |
100 SkOpPtT* ptT = this->ptT(); | |
101 SkOpSpanBase* oSpanBase; | |
102 SkOpSpan* oSpan; | |
103 SkOpSegment* other; | |
104 do { | |
105 ptT = ptT->next(); | |
106 oSpanBase = ptT->span(); | |
107 oSpan = oSpanBase->upCastable(); | |
108 other = oSpanBase->segment(); | |
109 if (oSpan && oSpan->windValue()) { | |
110 break; | |
111 } | |
112 if (oSpanBase->t() == 0) { | |
113 continue; | |
114 } | |
115 SkOpSpan* oFromSpan = oSpanBase->prev(); | |
116 SkASSERT(oFromSpan->t() < 1); | |
117 if (oFromSpan->windValue()) { | |
118 break; | |
119 } | |
120 } while (ptT != this->ptT()); | |
121 SkOpAngle* oAngle; | |
122 if (checkFrom) { | |
123 oAngle = other->addStartSpan(allocator); | |
124 SkASSERT(oSpan && !oSpan->final()); | |
125 SkASSERT(oAngle == oSpan->toAngle()); | |
126 } else { | |
127 oAngle = other->addEndSpan(allocator); | |
128 SkASSERT(oAngle == oSpanBase->fromAngle()); | |
129 } | |
130 angle->insert(oAngle); | |
131 } | |
132 | |
133 void SkOpSpanBase::align() { | |
134 if (this->fAligned) { | |
135 return; | |
136 } | |
137 SkASSERT(!zero_or_one(this->fPtT.fT)); | |
138 SkASSERT(this->fPtT.next()); | |
139 // if a linked pt/t pair has a t of zero or one, use it as the base for alig
nment | |
140 SkOpPtT* ptT = &this->fPtT, * stopPtT = ptT; | |
141 while ((ptT = ptT->next()) != stopPtT) { | |
142 if (zero_or_one(ptT->fT)) { | |
143 SkOpSegment* segment = ptT->segment(); | |
144 SkASSERT(this->segment() != segment); | |
145 SkASSERT(segment->head()->ptT() == ptT || segment->tail()->ptT() ==
ptT); | |
146 if (ptT->fT) { | |
147 segment->tail()->alignEnd(1, segment->lastPt()); | |
148 } else { | |
149 segment->head()->alignEnd(0, segment->pts()[0]); | |
150 } | |
151 return; | |
152 } | |
153 } | |
154 alignInner(); | |
155 this->fAligned = true; | |
156 } | |
157 | |
158 | |
159 // FIXME: delete spans that collapse | |
160 // delete segments that collapse | |
161 // delete contours that collapse | |
162 void SkOpSpanBase::alignEnd(double t, const SkPoint& pt) { | |
163 SkASSERT(zero_or_one(t)); | |
164 SkOpSegment* segment = this->segment(); | |
165 SkASSERT(t ? segment->lastPt() == pt : segment->pts()[0] == pt); | |
166 alignInner(); | |
167 *segment->writablePt(!!t) = pt; | |
168 SkOpPtT* ptT = &this->fPtT; | |
169 SkASSERT(t == ptT->fT); | |
170 SkASSERT(pt == ptT->fPt); | |
171 SkOpPtT* test = ptT, * stopPtT = ptT; | |
172 while ((test = test->next()) != stopPtT) { | |
173 SkOpSegment* other = test->segment(); | |
174 if (other == this->segment()) { | |
175 continue; | |
176 } | |
177 if (!zero_or_one(test->fT)) { | |
178 continue; | |
179 } | |
180 *other->writablePt(!!test->fT) = pt; | |
181 } | |
182 this->fAligned = true; | |
183 } | |
184 | |
185 void SkOpSpanBase::alignInner() { | |
186 // force the spans to share points and t values | |
187 SkOpPtT* ptT = &this->fPtT, * stopPtT = ptT; | |
188 const SkPoint& pt = ptT->fPt; | |
189 do { | |
190 ptT->fPt = pt; | |
191 const SkOpSpanBase* span = ptT->span(); | |
192 SkOpPtT* test = ptT; | |
193 do { | |
194 SkOpPtT* prev = test; | |
195 if ((test = test->next()) == stopPtT) { | |
196 break; | |
197 } | |
198 if (span == test->span() && !span->segment()->ptsDisjoint(*ptT, *tes
t)) { | |
199 // omit aliases that alignment makes redundant | |
200 if ((!ptT->alias() || test->alias()) && (ptT->onEnd() || !test->
onEnd())) { | |
201 SkASSERT(test->alias()); | |
202 prev->removeNext(ptT); | |
203 test = prev; | |
204 } else { | |
205 SkASSERT(ptT->alias()); | |
206 stopPtT = ptT = ptT->remove(); | |
207 break; | |
208 } | |
209 } | |
210 } while (true); | |
211 } while ((ptT = ptT->next()) != stopPtT); | |
212 } | |
213 | |
214 bool SkOpSpanBase::contains(const SkOpSpanBase* span) const { | |
215 const SkOpPtT* start = &fPtT; | |
216 const SkOpPtT* check = &span->fPtT; | |
217 SkASSERT(start != check); | |
218 const SkOpPtT* walk = start; | |
219 while ((walk = walk->next()) != start) { | |
220 if (walk == check) { | |
221 return true; | |
222 } | |
223 } | |
224 return false; | |
225 } | |
226 | |
227 bool SkOpSpanBase::containsCoinEnd(const SkOpSegment* segment) const { | |
228 SkASSERT(this->segment() != segment); | |
229 const SkOpSpanBase* next = this; | |
230 while ((next = next->fCoinEnd) != this) { | |
231 if (next->segment() == segment) { | |
232 return true; | |
233 } | |
234 } | |
235 return false; | |
236 } | |
237 | |
238 SkOpContour* SkOpSpanBase::contour() const { | |
239 return segment()->contour(); | |
240 } | |
241 | |
242 SkOpGlobalState* SkOpSpanBase::globalState() const { | |
243 return PATH_OPS_DEBUG_RELEASE(contour()->globalState(), NULL); | |
244 } | |
245 | |
246 void SkOpSpanBase::initBase(SkOpSegment* segment, SkOpSpan* prev, double t, cons
t SkPoint& pt) { | |
247 fSegment = segment; | |
248 fPtT.init(this, t, pt, false); | |
249 fCoinEnd = this; | |
250 fFromAngle = NULL; | |
251 fPrev = prev; | |
252 fAligned = true; | |
253 fChased = false; | |
254 PATH_OPS_DEBUG_CODE(fCount = 1); | |
255 PATH_OPS_DEBUG_CODE(fID = ++globalState()->fSpanID); | |
256 } | |
257 | |
258 // this pair of spans share a common t value or point; merge them and eliminate
duplicates | |
259 // this does not compute the best t or pt value; this merely moves all data into
a single list | |
260 void SkOpSpanBase::merge(SkOpSpan* span) { | |
261 SkOpPtT* spanPtT = span->ptT(); | |
262 SkASSERT(this->t() != spanPtT->fT); | |
263 SkASSERT(!zero_or_one(spanPtT->fT)); | |
264 span->detach(this->ptT()); | |
265 SkOpPtT* remainder = spanPtT->next(); | |
266 ptT()->insert(spanPtT); | |
267 while (remainder != spanPtT) { | |
268 SkOpPtT* next = remainder->next(); | |
269 SkOpPtT* compare = spanPtT->next(); | |
270 while (compare != spanPtT) { | |
271 SkOpPtT* nextC = compare->next(); | |
272 if (nextC->span() == remainder->span() && nextC->fT == remainder->fT
) { | |
273 goto tryNextRemainder; | |
274 } | |
275 compare = nextC; | |
276 } | |
277 spanPtT->insert(remainder); | |
278 tryNextRemainder: | |
279 remainder = next; | |
280 } | |
281 } | |
282 | |
283 void SkOpSpanBase::mergeBaseAttributes(SkOpSpanBase* span) { | |
284 SkASSERT(!span->fChased); | |
285 SkASSERT(!span->fFromAngle); | |
286 if (this->upCastable() && span->upCastable()) { | |
287 this->upCast()->mergeAttributes(span->upCast()); | |
288 } | |
289 } | |
290 | |
291 void SkOpSpan::applyCoincidence(SkOpSpan* opp) { | |
292 SkASSERT(!final()); | |
293 SkASSERT(0); // incomplete | |
294 } | |
295 | |
296 bool SkOpSpan::containsCoincidence(const SkOpSegment* segment) const { | |
297 SkASSERT(this->segment() != segment); | |
298 const SkOpSpan* next = this; | |
299 while ((next = next->fCoincident) != this) { | |
300 if (next->segment() == segment) { | |
301 return true; | |
302 } | |
303 } | |
304 return false; | |
305 } | |
306 | |
307 void SkOpSpan::detach(SkOpPtT* kept) { | |
308 SkASSERT(!final()); | |
309 SkOpSpan* prev = this->prev(); | |
310 SkASSERT(prev); | |
311 SkOpSpanBase* next = this->next(); | |
312 SkASSERT(next); | |
313 prev->setNext(next); | |
314 next->setPrev(prev); | |
315 this->segment()->detach(this); | |
316 if (this->coincident()) { | |
317 this->globalState()->fCoincidence->fixUp(this->ptT(), kept); | |
318 } | |
319 this->ptT()->setDeleted(); | |
320 } | |
321 | |
322 void SkOpSpan::init(SkOpSegment* segment, SkOpSpan* prev, double t, const SkPoin
t& pt) { | |
323 SkASSERT(t != 1); | |
324 initBase(segment, prev, t, pt); | |
325 fCoincident = this; | |
326 fToAngle = NULL; | |
327 fWindSum = fOppSum = SK_MinS32; | |
328 fWindValue = 1; | |
329 fOppValue = 0; | |
330 fChased = fDone = false; | |
331 segment->bumpCount(); | |
332 } | |
333 | |
334 void SkOpSpan::mergeAttributes(SkOpSpan* span) { | |
335 SkASSERT(!span->fToAngle); | |
336 if (span->fCoincident) { | |
337 this->insertCoincidence(span); | |
338 } | |
339 } | |
340 | |
341 void SkOpCoincidence::add(SkOpPtT* coinPtTStart, SkOpPtT* coinPtTEnd, SkOpPtT* o
ppPtTStart, | |
342 SkOpPtT* oppPtTEnd, bool flipped, SkChunkAlloc* allocator) { | |
343 SkCoincidentSpans* coinRec = SkOpTAllocator<SkCoincidentSpans>::Allocate(all
ocator); | |
344 SkOpSpanBase* coinEnd = coinPtTEnd->span(); | |
345 SkOpSpanBase* oppEnd = oppPtTEnd->span(); | |
346 SkOpSpan* coinStart = coinPtTStart->span()->upCast(); | |
347 SkASSERT(coinStart == coinStart->starter(coinEnd)); | |
348 SkOpSpan* oppStart = (flipped ? oppPtTEnd : oppPtTStart)->span()->upCast(); | |
349 SkASSERT(oppStart == oppStart->starter(oppEnd)); | |
350 coinStart->insertCoincidence(oppStart); | |
351 coinEnd->insertCoinEnd(oppEnd); | |
352 coinRec->fNext = this->fHead; | |
353 coinRec->fCoinPtTStart = coinPtTStart; | |
354 coinRec->fCoinPtTEnd = coinPtTEnd; | |
355 coinRec->fOppPtTStart = oppPtTStart; | |
356 coinRec->fOppPtTEnd = oppPtTEnd; | |
357 coinRec->fFlipped = flipped; | |
358 this->fHead = coinRec; | |
359 } | |
360 | |
361 bool SkOpCoincidence::contains(SkOpPtT* coinPtTStart, SkOpPtT* coinPtTEnd, SkOpP
tT* oppPtTStart, | |
362 SkOpPtT* oppPtTEnd, bool flipped) { | |
363 SkCoincidentSpans* coin = fHead; | |
364 if (!coin) { | |
365 return false; | |
366 } | |
367 do { | |
368 if (coin->fCoinPtTStart == coinPtTStart && coin->fCoinPtTEnd == coinPtT
End | |
369 && coin->fOppPtTStart == oppPtTStart && coin->fOppPtTEnd == oppP
tTEnd | |
370 && coin->fFlipped == flipped) { | |
371 return true; | |
372 } | |
373 } while ((coin = coin->fNext)); | |
374 return false; | |
375 } | |
376 | |
377 // walk span sets in parallel, moving winding from one to the other | |
378 void SkOpCoincidence::apply() { | |
379 SkCoincidentSpans* coin = fHead; | |
380 if (!coin) { | |
381 return; | |
382 } | |
383 do { | |
384 SkOpSpanBase* end = coin->fCoinPtTEnd->span(); | |
385 SkOpSpan* start = coin->fCoinPtTStart->span()->upCast(); | |
386 SkASSERT(start == start->starter(end)); | |
387 bool flipped = coin->fFlipped; | |
388 SkOpSpanBase* oEnd = (flipped ? coin->fOppPtTStart : coin->fOppPtTEnd)->
span(); | |
389 SkOpSpan* oStart = (flipped ? coin->fOppPtTEnd : coin->fOppPtTStart)->sp
an()->upCast(); | |
390 SkASSERT(oStart == oStart->starter(oEnd)); | |
391 SkOpSegment* segment = start->segment(); | |
392 SkOpSegment* oSegment = oStart->segment(); | |
393 bool operandSwap = segment->operand() != oSegment->operand(); | |
394 if (flipped) { | |
395 do { | |
396 SkOpSpanBase* oNext = oStart->next(); | |
397 if (oNext == oEnd) { | |
398 break; | |
399 } | |
400 oStart = oNext->upCast(); | |
401 } while (true); | |
402 } | |
403 bool isXor = segment->isXor(); | |
404 bool oppXor = oSegment->isXor(); | |
405 do { | |
406 int windValue = start->windValue(); | |
407 int oWindValue = oStart->windValue(); | |
408 int oppValue = start->oppValue(); | |
409 int oOppValue = oStart->oppValue(); | |
410 // winding values are added or subtracted depending on direction and
wind type | |
411 // same or opposite values are summed depending on the operand value | |
412 if (windValue >= oWindValue) { | |
413 if (operandSwap) { | |
414 SkTSwap(oWindValue, oOppValue); | |
415 } | |
416 if (flipped) { | |
417 windValue -= oWindValue; | |
418 oppValue -= oOppValue; | |
419 } else { | |
420 windValue += oWindValue; | |
421 oppValue += oOppValue; | |
422 } | |
423 if (isXor) { | |
424 windValue &= 1; | |
425 } | |
426 if (oppXor) { | |
427 oppValue &= 1; | |
428 } | |
429 oWindValue = oOppValue = 0; | |
430 } else { | |
431 if (operandSwap) { | |
432 SkTSwap(windValue, oppValue); | |
433 } | |
434 if (flipped) { | |
435 oWindValue -= windValue; | |
436 oOppValue -= oppValue; | |
437 } else { | |
438 oWindValue += windValue; | |
439 oOppValue += oppValue; | |
440 } | |
441 if (isXor) { | |
442 oOppValue &= 1; | |
443 } | |
444 if (oppXor) { | |
445 oWindValue &= 1; | |
446 } | |
447 windValue = oppValue = 0; | |
448 } | |
449 start->setWindValue(windValue); | |
450 start->setOppValue(oppValue); | |
451 oStart->setWindValue(oWindValue); | |
452 oStart->setOppValue(oOppValue); | |
453 if (!windValue && !oppValue) { | |
454 segment->markDone(start); | |
455 } | |
456 if (!oWindValue && !oOppValue) { | |
457 oSegment->markDone(oStart); | |
458 } | |
459 SkOpSpanBase* next = start->next(); | |
460 SkOpSpanBase* oNext = flipped ? oStart->prev() : oStart->next(); | |
461 if (next == end) { | |
462 break; | |
463 } | |
464 start = next->upCast(); | |
465 oStart = oNext->upCast(); | |
466 } while (true); | |
467 } while ((coin = coin->fNext)); | |
468 } | |
469 | |
470 void SkOpCoincidence::mark() { | |
471 SkCoincidentSpans* coin = fHead; | |
472 if (!coin) { | |
473 return; | |
474 } | |
475 do { | |
476 SkOpSpanBase* end = coin->fCoinPtTEnd->span(); | |
477 SkOpSpanBase* oldEnd = end; | |
478 SkOpSpan* start = coin->fCoinPtTStart->span()->starter(&end); | |
479 SkOpSpanBase* oEnd = coin->fOppPtTEnd->span(); | |
480 SkOpSpanBase* oOldEnd = oEnd; | |
481 SkOpSpanBase* oStart = coin->fOppPtTStart->span()->starter(&oEnd); | |
482 bool flipped = (end == oldEnd) != (oEnd == oOldEnd); | |
483 if (flipped) { | |
484 SkTSwap(oStart, oEnd); | |
485 } | |
486 SkOpSpanBase* next = start; | |
487 SkOpSpanBase* oNext = oStart; | |
488 do { | |
489 next = next->upCast()->next(); | |
490 oNext = flipped ? oNext->prev() : oNext->upCast()->next(); | |
491 if (next == end) { | |
492 SkASSERT(oNext == oEnd); | |
493 break; | |
494 } | |
495 if (!next->containsCoinEnd(oNext)) { | |
496 next->insertCoinEnd(oNext); | |
497 } | |
498 SkOpSpan* nextSpan = next->upCast(); | |
499 SkOpSpan* oNextSpan = oNext->upCast(); | |
500 if (!nextSpan->containsCoincidence(oNextSpan)) { | |
501 nextSpan->insertCoincidence(oNextSpan); | |
502 } | |
503 } while (true); | |
504 } while ((coin = coin->fNext)); | |
505 } | |
OLD | NEW |