1 /*
2 * Copyright (C) 2007 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17 #define LOG_TAG "Region"
18
19 #include <inttypes.h>
20 #include <limits.h>
21
22 #include <utils/Log.h>
23 #include <utils/String8.h>
24 #include <utils/CallStack.h>
25
26 #include <ui/Rect.h>
27 #include <ui/Region.h>
28 #include <ui/Point.h>
29
30 #include <private/ui/RegionHelper.h>
31
32 // ----------------------------------------------------------------------------
33 #define VALIDATE_REGIONS (false)
34 #define VALIDATE_WITH_CORECG (false)
35 // ----------------------------------------------------------------------------
36
37 #if VALIDATE_WITH_CORECG
38 #include <core/SkRegion.h>
39 #endif
40
41 namespace android {
42 // ----------------------------------------------------------------------------
43
44 enum {
45 op_nand = region_operator<Rect>::op_nand,
46 op_and = region_operator<Rect>::op_and,
47 op_or = region_operator<Rect>::op_or,
48 op_xor = region_operator<Rect>::op_xor
49 };
50
51 enum {
52 direction_LTR,
53 direction_RTL
54 };
55
56 const Region Region::INVALID_REGION(Rect::INVALID_RECT);
57
58 // ----------------------------------------------------------------------------
59
Region()60 Region::Region() {
61 mStorage.add(Rect(0,0));
62 }
63
Region(const Region & rhs)64 Region::Region(const Region& rhs)
65 : mStorage(rhs.mStorage)
66 {
67 #if VALIDATE_REGIONS
68 validate(rhs, "rhs copy-ctor");
69 #endif
70 }
71
Region(const Rect & rhs)72 Region::Region(const Rect& rhs) {
73 mStorage.add(rhs);
74 }
75
~Region()76 Region::~Region()
77 {
78 }
79
80 /**
81 * Copy rects from the src vector into the dst vector, resolving vertical T-Junctions along the way
82 *
83 * First pass through, divideSpanRTL will be set because the 'previous span' (indexing into the dst
84 * vector) will be reversed. Each rectangle in the original list, starting from the bottom, will be
85 * compared with the span directly below, and subdivided as needed to resolve T-junctions.
86 *
87 * The resulting temporary vector will be a completely reversed copy of the original, without any
88 * bottom-up T-junctions.
89 *
90 * Second pass through, divideSpanRTL will be false since the previous span will index into the
91 * final, correctly ordered region buffer. Each rectangle will be compared with the span directly
92 * above it, and subdivided to resolve any remaining T-junctions.
93 */
reverseRectsResolvingJunctions(const Rect * begin,const Rect * end,Vector<Rect> & dst,int spanDirection)94 static void reverseRectsResolvingJunctions(const Rect* begin, const Rect* end,
95 Vector<Rect>& dst, int spanDirection) {
96 dst.clear();
97
98 const Rect* current = end - 1;
99 int lastTop = current->top;
100
101 // add first span immediately
102 do {
103 dst.add(*current);
104 current--;
105 } while (current->top == lastTop && current >= begin);
106
107 int beginLastSpan = -1;
108 int endLastSpan = -1;
109 int top = -1;
110 int bottom = -1;
111
112 // for all other spans, split if a t-junction exists in the span directly above
113 while (current >= begin) {
114 if (current->top != (current + 1)->top) {
115 // new span
116 if ((spanDirection == direction_RTL && current->bottom != (current + 1)->top) ||
117 (spanDirection == direction_LTR && current->top != (current + 1)->bottom)) {
118 // previous span not directly adjacent, don't check for T junctions
119 beginLastSpan = INT_MAX;
120 } else {
121 beginLastSpan = endLastSpan + 1;
122 }
123 endLastSpan = static_cast<int>(dst.size()) - 1;
124
125 top = current->top;
126 bottom = current->bottom;
127 }
128 int left = current->left;
129 int right = current->right;
130
131 for (int prevIndex = beginLastSpan; prevIndex <= endLastSpan; prevIndex++) {
132 // prevIndex can't be -1 here because if endLastSpan is set to a
133 // value greater than -1 (allowing the loop to execute),
134 // beginLastSpan (and therefore prevIndex) will also be increased
135 const Rect prev = dst[static_cast<size_t>(prevIndex)];
136 if (spanDirection == direction_RTL) {
137 // iterating over previous span RTL, quit if it's too far left
138 if (prev.right <= left) break;
139
140 if (prev.right > left && prev.right < right) {
141 dst.add(Rect(prev.right, top, right, bottom));
142 right = prev.right;
143 }
144
145 if (prev.left > left && prev.left < right) {
146 dst.add(Rect(prev.left, top, right, bottom));
147 right = prev.left;
148 }
149
150 // if an entry in the previous span is too far right, nothing further left in the
151 // current span will need it
152 if (prev.left >= right) {
153 beginLastSpan = prevIndex;
154 }
155 } else {
156 // iterating over previous span LTR, quit if it's too far right
157 if (prev.left >= right) break;
158
159 if (prev.left > left && prev.left < right) {
160 dst.add(Rect(left, top, prev.left, bottom));
161 left = prev.left;
162 }
163
164 if (prev.right > left && prev.right < right) {
165 dst.add(Rect(left, top, prev.right, bottom));
166 left = prev.right;
167 }
168 // if an entry in the previous span is too far left, nothing further right in the
169 // current span will need it
170 if (prev.right <= left) {
171 beginLastSpan = prevIndex;
172 }
173 }
174 }
175
176 if (left < right) {
177 dst.add(Rect(left, top, right, bottom));
178 }
179
180 current--;
181 }
182 }
183
184 /**
185 * Creates a new region with the same data as the argument, but divides rectangles as necessary to
186 * remove T-Junctions
187 *
188 * Note: the output will not necessarily be a very efficient representation of the region, since it
189 * may be that a triangle-based approach would generate significantly simpler geometry
190 */
createTJunctionFreeRegion(const Region & r)191 Region Region::createTJunctionFreeRegion(const Region& r) {
192 if (r.isEmpty()) return r;
193 if (r.isRect()) return r;
194
195 Vector<Rect> reversed;
196 reverseRectsResolvingJunctions(r.begin(), r.end(), reversed, direction_RTL);
197
198 Region outputRegion;
199 reverseRectsResolvingJunctions(reversed.begin(), reversed.end(),
200 outputRegion.mStorage, direction_LTR);
201 outputRegion.mStorage.add(r.getBounds()); // to make region valid, mStorage must end with bounds
202
203 #if VALIDATE_REGIONS
204 validate(outputRegion, "T-Junction free region");
205 #endif
206
207 return outputRegion;
208 }
209
operator =(const Region & rhs)210 Region& Region::operator = (const Region& rhs)
211 {
212 #if VALIDATE_REGIONS
213 validate(*this, "this->operator=");
214 validate(rhs, "rhs.operator=");
215 #endif
216 mStorage = rhs.mStorage;
217 return *this;
218 }
219
makeBoundsSelf()220 Region& Region::makeBoundsSelf()
221 {
222 if (mStorage.size() >= 2) {
223 const Rect bounds(getBounds());
224 mStorage.clear();
225 mStorage.add(bounds);
226 }
227 return *this;
228 }
229
contains(const Point & point) const230 bool Region::contains(const Point& point) const {
231 return contains(point.x, point.y);
232 }
233
contains(int x,int y) const234 bool Region::contains(int x, int y) const {
235 const_iterator cur = begin();
236 const_iterator const tail = end();
237 while (cur != tail) {
238 if (y >= cur->top && y < cur->bottom && x >= cur->left && x < cur->right) {
239 return true;
240 }
241 cur++;
242 }
243 return false;
244 }
245
clear()246 void Region::clear()
247 {
248 mStorage.clear();
249 mStorage.add(Rect(0,0));
250 }
251
set(const Rect & r)252 void Region::set(const Rect& r)
253 {
254 mStorage.clear();
255 mStorage.add(r);
256 }
257
set(int32_t w,int32_t h)258 void Region::set(int32_t w, int32_t h)
259 {
260 mStorage.clear();
261 mStorage.add(Rect(w, h));
262 }
263
set(uint32_t w,uint32_t h)264 void Region::set(uint32_t w, uint32_t h)
265 {
266 mStorage.clear();
267 mStorage.add(Rect(w, h));
268 }
269
isTriviallyEqual(const Region & region) const270 bool Region::isTriviallyEqual(const Region& region) const {
271 return begin() == region.begin();
272 }
273
274 // ----------------------------------------------------------------------------
275
addRectUnchecked(int l,int t,int r,int b)276 void Region::addRectUnchecked(int l, int t, int r, int b)
277 {
278 Rect rect(l,t,r,b);
279 size_t where = mStorage.size() - 1;
280 mStorage.insertAt(rect, where, 1);
281 }
282
283 // ----------------------------------------------------------------------------
284
orSelf(const Rect & r)285 Region& Region::orSelf(const Rect& r) {
286 return operationSelf(r, op_or);
287 }
xorSelf(const Rect & r)288 Region& Region::xorSelf(const Rect& r) {
289 return operationSelf(r, op_xor);
290 }
andSelf(const Rect & r)291 Region& Region::andSelf(const Rect& r) {
292 return operationSelf(r, op_and);
293 }
subtractSelf(const Rect & r)294 Region& Region::subtractSelf(const Rect& r) {
295 return operationSelf(r, op_nand);
296 }
operationSelf(const Rect & r,uint32_t op)297 Region& Region::operationSelf(const Rect& r, uint32_t op) {
298 Region lhs(*this);
299 boolean_operation(op, *this, lhs, r);
300 return *this;
301 }
302
303 // ----------------------------------------------------------------------------
304
orSelf(const Region & rhs)305 Region& Region::orSelf(const Region& rhs) {
306 return operationSelf(rhs, op_or);
307 }
xorSelf(const Region & rhs)308 Region& Region::xorSelf(const Region& rhs) {
309 return operationSelf(rhs, op_xor);
310 }
andSelf(const Region & rhs)311 Region& Region::andSelf(const Region& rhs) {
312 return operationSelf(rhs, op_and);
313 }
subtractSelf(const Region & rhs)314 Region& Region::subtractSelf(const Region& rhs) {
315 return operationSelf(rhs, op_nand);
316 }
operationSelf(const Region & rhs,uint32_t op)317 Region& Region::operationSelf(const Region& rhs, uint32_t op) {
318 Region lhs(*this);
319 boolean_operation(op, *this, lhs, rhs);
320 return *this;
321 }
322
translateSelf(int x,int y)323 Region& Region::translateSelf(int x, int y) {
324 if (x|y) translate(*this, x, y);
325 return *this;
326 }
327
328 // ----------------------------------------------------------------------------
329
merge(const Rect & rhs) const330 const Region Region::merge(const Rect& rhs) const {
331 return operation(rhs, op_or);
332 }
mergeExclusive(const Rect & rhs) const333 const Region Region::mergeExclusive(const Rect& rhs) const {
334 return operation(rhs, op_xor);
335 }
intersect(const Rect & rhs) const336 const Region Region::intersect(const Rect& rhs) const {
337 return operation(rhs, op_and);
338 }
subtract(const Rect & rhs) const339 const Region Region::subtract(const Rect& rhs) const {
340 return operation(rhs, op_nand);
341 }
operation(const Rect & rhs,uint32_t op) const342 const Region Region::operation(const Rect& rhs, uint32_t op) const {
343 Region result;
344 boolean_operation(op, result, *this, rhs);
345 return result;
346 }
347
348 // ----------------------------------------------------------------------------
349
merge(const Region & rhs) const350 const Region Region::merge(const Region& rhs) const {
351 return operation(rhs, op_or);
352 }
mergeExclusive(const Region & rhs) const353 const Region Region::mergeExclusive(const Region& rhs) const {
354 return operation(rhs, op_xor);
355 }
intersect(const Region & rhs) const356 const Region Region::intersect(const Region& rhs) const {
357 return operation(rhs, op_and);
358 }
subtract(const Region & rhs) const359 const Region Region::subtract(const Region& rhs) const {
360 return operation(rhs, op_nand);
361 }
operation(const Region & rhs,uint32_t op) const362 const Region Region::operation(const Region& rhs, uint32_t op) const {
363 Region result;
364 boolean_operation(op, result, *this, rhs);
365 return result;
366 }
367
translate(int x,int y) const368 const Region Region::translate(int x, int y) const {
369 Region result;
370 translate(result, *this, x, y);
371 return result;
372 }
373
374 // ----------------------------------------------------------------------------
375
orSelf(const Region & rhs,int dx,int dy)376 Region& Region::orSelf(const Region& rhs, int dx, int dy) {
377 return operationSelf(rhs, dx, dy, op_or);
378 }
xorSelf(const Region & rhs,int dx,int dy)379 Region& Region::xorSelf(const Region& rhs, int dx, int dy) {
380 return operationSelf(rhs, dx, dy, op_xor);
381 }
andSelf(const Region & rhs,int dx,int dy)382 Region& Region::andSelf(const Region& rhs, int dx, int dy) {
383 return operationSelf(rhs, dx, dy, op_and);
384 }
subtractSelf(const Region & rhs,int dx,int dy)385 Region& Region::subtractSelf(const Region& rhs, int dx, int dy) {
386 return operationSelf(rhs, dx, dy, op_nand);
387 }
operationSelf(const Region & rhs,int dx,int dy,uint32_t op)388 Region& Region::operationSelf(const Region& rhs, int dx, int dy, uint32_t op) {
389 Region lhs(*this);
390 boolean_operation(op, *this, lhs, rhs, dx, dy);
391 return *this;
392 }
393
394 // ----------------------------------------------------------------------------
395
merge(const Region & rhs,int dx,int dy) const396 const Region Region::merge(const Region& rhs, int dx, int dy) const {
397 return operation(rhs, dx, dy, op_or);
398 }
mergeExclusive(const Region & rhs,int dx,int dy) const399 const Region Region::mergeExclusive(const Region& rhs, int dx, int dy) const {
400 return operation(rhs, dx, dy, op_xor);
401 }
intersect(const Region & rhs,int dx,int dy) const402 const Region Region::intersect(const Region& rhs, int dx, int dy) const {
403 return operation(rhs, dx, dy, op_and);
404 }
subtract(const Region & rhs,int dx,int dy) const405 const Region Region::subtract(const Region& rhs, int dx, int dy) const {
406 return operation(rhs, dx, dy, op_nand);
407 }
operation(const Region & rhs,int dx,int dy,uint32_t op) const408 const Region Region::operation(const Region& rhs, int dx, int dy, uint32_t op) const {
409 Region result;
410 boolean_operation(op, result, *this, rhs, dx, dy);
411 return result;
412 }
413
414 // ----------------------------------------------------------------------------
415
416 // This is our region rasterizer, which merges rects and spans together
417 // to obtain an optimal region.
418 class Region::rasterizer : public region_operator<Rect>::region_rasterizer
419 {
420 Rect bounds;
421 Vector<Rect>& storage;
422 Rect* head;
423 Rect* tail;
424 Vector<Rect> span;
425 Rect* cur;
426 public:
rasterizer(Region & reg)427 explicit rasterizer(Region& reg)
428 : bounds(INT_MAX, 0, INT_MIN, 0), storage(reg.mStorage), head(), tail(), cur() {
429 storage.clear();
430 }
431
432 virtual ~rasterizer();
433
434 virtual void operator()(const Rect& rect);
435
436 private:
437 template<typename T>
min(T rhs,T lhs)438 static inline T min(T rhs, T lhs) { return rhs < lhs ? rhs : lhs; }
439 template<typename T>
max(T rhs,T lhs)440 static inline T max(T rhs, T lhs) { return rhs > lhs ? rhs : lhs; }
441
442 void flushSpan();
443 };
444
~rasterizer()445 Region::rasterizer::~rasterizer()
446 {
447 if (span.size()) {
448 flushSpan();
449 }
450 if (storage.size()) {
451 bounds.top = storage.itemAt(0).top;
452 bounds.bottom = storage.top().bottom;
453 if (storage.size() == 1) {
454 storage.clear();
455 }
456 } else {
457 bounds.left = 0;
458 bounds.right = 0;
459 }
460 storage.add(bounds);
461 }
462
operator ()(const Rect & rect)463 void Region::rasterizer::operator()(const Rect& rect)
464 {
465 //ALOGD(">>> %3d, %3d, %3d, %3d",
466 // rect.left, rect.top, rect.right, rect.bottom);
467 if (span.size()) {
468 if (cur->top != rect.top) {
469 flushSpan();
470 } else if (cur->right == rect.left) {
471 cur->right = rect.right;
472 return;
473 }
474 }
475 span.add(rect);
476 cur = span.editArray() + (span.size() - 1);
477 }
478
flushSpan()479 void Region::rasterizer::flushSpan()
480 {
481 bool merge = false;
482 if (tail-head == ssize_t(span.size())) {
483 Rect const* p = span.editArray();
484 Rect const* q = head;
485 if (p->top == q->bottom) {
486 merge = true;
487 while (q != tail) {
488 if ((p->left != q->left) || (p->right != q->right)) {
489 merge = false;
490 break;
491 }
492 p++;
493 q++;
494 }
495 }
496 }
497 if (merge) {
498 const int bottom = span[0].bottom;
499 Rect* r = head;
500 while (r != tail) {
501 r->bottom = bottom;
502 r++;
503 }
504 } else {
505 bounds.left = min(span.itemAt(0).left, bounds.left);
506 bounds.right = max(span.top().right, bounds.right);
507 storage.appendVector(span);
508 tail = storage.editArray() + storage.size();
509 head = tail - span.size();
510 }
511 span.clear();
512 }
513
validate(const Region & reg,const char * name,bool silent)514 bool Region::validate(const Region& reg, const char* name, bool silent)
515 {
516 bool result = true;
517 const_iterator cur = reg.begin();
518 const_iterator const tail = reg.end();
519 const_iterator prev = cur;
520 Rect b(*prev);
521 while (cur != tail) {
522 if (cur->isValid() == false) {
523 // We allow this particular flavor of invalid Rect, since it is used
524 // as a signal value in various parts of the system
525 if (*cur != Rect::INVALID_RECT) {
526 ALOGE_IF(!silent, "%s: region contains an invalid Rect", name);
527 result = false;
528 }
529 }
530 if (cur->right > region_operator<Rect>::max_value) {
531 ALOGE_IF(!silent, "%s: rect->right > max_value", name);
532 result = false;
533 }
534 if (cur->bottom > region_operator<Rect>::max_value) {
535 ALOGE_IF(!silent, "%s: rect->right > max_value", name);
536 result = false;
537 }
538 if (prev != cur) {
539 b.left = b.left < cur->left ? b.left : cur->left;
540 b.top = b.top < cur->top ? b.top : cur->top;
541 b.right = b.right > cur->right ? b.right : cur->right;
542 b.bottom = b.bottom > cur->bottom ? b.bottom : cur->bottom;
543 if ((*prev < *cur) == false) {
544 ALOGE_IF(!silent, "%s: region's Rects not sorted", name);
545 result = false;
546 }
547 if (cur->top == prev->top) {
548 if (cur->bottom != prev->bottom) {
549 ALOGE_IF(!silent, "%s: invalid span %p", name, cur);
550 result = false;
551 } else if (cur->left < prev->right) {
552 ALOGE_IF(!silent,
553 "%s: spans overlap horizontally prev=%p, cur=%p",
554 name, prev, cur);
555 result = false;
556 }
557 } else if (cur->top < prev->bottom) {
558 ALOGE_IF(!silent,
559 "%s: spans overlap vertically prev=%p, cur=%p",
560 name, prev, cur);
561 result = false;
562 }
563 prev = cur;
564 }
565 cur++;
566 }
567 if (b != reg.getBounds()) {
568 result = false;
569 ALOGE_IF(!silent,
570 "%s: invalid bounds [%d,%d,%d,%d] vs. [%d,%d,%d,%d]", name,
571 b.left, b.top, b.right, b.bottom,
572 reg.getBounds().left, reg.getBounds().top,
573 reg.getBounds().right, reg.getBounds().bottom);
574 }
575 if (reg.mStorage.size() == 2) {
576 result = false;
577 ALOGE_IF(!silent, "%s: mStorage size is 2, which is never valid", name);
578 }
579 if (result == false && !silent) {
580 reg.dump(name);
581 CallStack stack(LOG_TAG);
582 }
583 return result;
584 }
585
boolean_operation(uint32_t op,Region & dst,const Region & lhs,const Region & rhs,int dx,int dy)586 void Region::boolean_operation(uint32_t op, Region& dst,
587 const Region& lhs,
588 const Region& rhs, int dx, int dy)
589 {
590 #if VALIDATE_REGIONS
591 validate(lhs, "boolean_operation (before): lhs");
592 validate(rhs, "boolean_operation (before): rhs");
593 validate(dst, "boolean_operation (before): dst");
594 #endif
595
596 size_t lhs_count;
597 Rect const * const lhs_rects = lhs.getArray(&lhs_count);
598
599 size_t rhs_count;
600 Rect const * const rhs_rects = rhs.getArray(&rhs_count);
601
602 region_operator<Rect>::region lhs_region(lhs_rects, lhs_count);
603 region_operator<Rect>::region rhs_region(rhs_rects, rhs_count, dx, dy);
604 region_operator<Rect> operation(op, lhs_region, rhs_region);
605 { // scope for rasterizer (dtor has side effects)
606 rasterizer r(dst);
607 operation(r);
608 }
609
610 #if VALIDATE_REGIONS
611 validate(lhs, "boolean_operation: lhs");
612 validate(rhs, "boolean_operation: rhs");
613 validate(dst, "boolean_operation: dst");
614 #endif
615
616 #if VALIDATE_WITH_CORECG
617 SkRegion sk_lhs;
618 SkRegion sk_rhs;
619 SkRegion sk_dst;
620
621 for (size_t i=0 ; i<lhs_count ; i++)
622 sk_lhs.op(
623 lhs_rects[i].left + dx,
624 lhs_rects[i].top + dy,
625 lhs_rects[i].right + dx,
626 lhs_rects[i].bottom + dy,
627 SkRegion::kUnion_Op);
628
629 for (size_t i=0 ; i<rhs_count ; i++)
630 sk_rhs.op(
631 rhs_rects[i].left + dx,
632 rhs_rects[i].top + dy,
633 rhs_rects[i].right + dx,
634 rhs_rects[i].bottom + dy,
635 SkRegion::kUnion_Op);
636
637 const char* name = "---";
638 SkRegion::Op sk_op;
639 switch (op) {
640 case op_or: sk_op = SkRegion::kUnion_Op; name="OR"; break;
641 case op_xor: sk_op = SkRegion::kUnion_XOR; name="XOR"; break;
642 case op_and: sk_op = SkRegion::kIntersect_Op; name="AND"; break;
643 case op_nand: sk_op = SkRegion::kDifference_Op; name="NAND"; break;
644 }
645 sk_dst.op(sk_lhs, sk_rhs, sk_op);
646
647 if (sk_dst.isEmpty() && dst.isEmpty())
648 return;
649
650 bool same = true;
651 Region::const_iterator head = dst.begin();
652 Region::const_iterator const tail = dst.end();
653 SkRegion::Iterator it(sk_dst);
654 while (!it.done()) {
655 if (head != tail) {
656 if (
657 head->left != it.rect().fLeft ||
658 head->top != it.rect().fTop ||
659 head->right != it.rect().fRight ||
660 head->bottom != it.rect().fBottom
661 ) {
662 same = false;
663 break;
664 }
665 } else {
666 same = false;
667 break;
668 }
669 head++;
670 it.next();
671 }
672
673 if (head != tail) {
674 same = false;
675 }
676
677 if(!same) {
678 ALOGD("---\nregion boolean %s failed", name);
679 lhs.dump("lhs");
680 rhs.dump("rhs");
681 dst.dump("dst");
682 ALOGD("should be");
683 SkRegion::Iterator it(sk_dst);
684 while (!it.done()) {
685 ALOGD(" [%3d, %3d, %3d, %3d]",
686 it.rect().fLeft,
687 it.rect().fTop,
688 it.rect().fRight,
689 it.rect().fBottom);
690 it.next();
691 }
692 }
693 #endif
694 }
695
boolean_operation(uint32_t op,Region & dst,const Region & lhs,const Rect & rhs,int dx,int dy)696 void Region::boolean_operation(uint32_t op, Region& dst,
697 const Region& lhs,
698 const Rect& rhs, int dx, int dy)
699 {
700 // We allow this particular flavor of invalid Rect, since it is used as a
701 // signal value in various parts of the system
702 if (!rhs.isValid() && rhs != Rect::INVALID_RECT) {
703 ALOGE("Region::boolean_operation(op=%d) invalid Rect={%d,%d,%d,%d}",
704 op, rhs.left, rhs.top, rhs.right, rhs.bottom);
705 return;
706 }
707
708 #if VALIDATE_WITH_CORECG || VALIDATE_REGIONS
709 boolean_operation(op, dst, lhs, Region(rhs), dx, dy);
710 #else
711 size_t lhs_count;
712 Rect const * const lhs_rects = lhs.getArray(&lhs_count);
713
714 region_operator<Rect>::region lhs_region(lhs_rects, lhs_count);
715 region_operator<Rect>::region rhs_region(&rhs, 1, dx, dy);
716 region_operator<Rect> operation(op, lhs_region, rhs_region);
717 { // scope for rasterizer (dtor has side effects)
718 rasterizer r(dst);
719 operation(r);
720 }
721
722 #endif
723 }
724
boolean_operation(uint32_t op,Region & dst,const Region & lhs,const Region & rhs)725 void Region::boolean_operation(uint32_t op, Region& dst,
726 const Region& lhs, const Region& rhs)
727 {
728 boolean_operation(op, dst, lhs, rhs, 0, 0);
729 }
730
boolean_operation(uint32_t op,Region & dst,const Region & lhs,const Rect & rhs)731 void Region::boolean_operation(uint32_t op, Region& dst,
732 const Region& lhs, const Rect& rhs)
733 {
734 boolean_operation(op, dst, lhs, rhs, 0, 0);
735 }
736
translate(Region & reg,int dx,int dy)737 void Region::translate(Region& reg, int dx, int dy)
738 {
739 if ((dx || dy) && !reg.isEmpty()) {
740 #if VALIDATE_REGIONS
741 validate(reg, "translate (before)");
742 #endif
743 size_t count = reg.mStorage.size();
744 Rect* rects = reg.mStorage.editArray();
745 while (count) {
746 rects->offsetBy(dx, dy);
747 rects++;
748 count--;
749 }
750 #if VALIDATE_REGIONS
751 validate(reg, "translate (after)");
752 #endif
753 }
754 }
755
translate(Region & dst,const Region & reg,int dx,int dy)756 void Region::translate(Region& dst, const Region& reg, int dx, int dy)
757 {
758 dst = reg;
759 translate(dst, dx, dy);
760 }
761
762 // ----------------------------------------------------------------------------
763
getFlattenedSize() const764 size_t Region::getFlattenedSize() const {
765 return sizeof(uint32_t) + mStorage.size() * sizeof(Rect);
766 }
767
flatten(void * buffer,size_t size) const768 status_t Region::flatten(void* buffer, size_t size) const {
769 #if VALIDATE_REGIONS
770 validate(*this, "Region::flatten");
771 #endif
772 if (size < getFlattenedSize()) {
773 return NO_MEMORY;
774 }
775 // Cast to uint32_t since the size of a size_t can vary between 32- and
776 // 64-bit processes
777 FlattenableUtils::write(buffer, size, static_cast<uint32_t>(mStorage.size()));
778 for (auto rect : mStorage) {
779 status_t result = rect.flatten(buffer, size);
780 if (result != NO_ERROR) {
781 return result;
782 }
783 FlattenableUtils::advance(buffer, size, sizeof(rect));
784 }
785 return NO_ERROR;
786 }
787
unflatten(void const * buffer,size_t size)788 status_t Region::unflatten(void const* buffer, size_t size) {
789 if (size < sizeof(uint32_t)) {
790 return NO_MEMORY;
791 }
792
793 uint32_t numRects = 0;
794 FlattenableUtils::read(buffer, size, numRects);
795 if (size < numRects * sizeof(Rect)) {
796 return NO_MEMORY;
797 }
798
799 if (numRects > (UINT32_MAX / sizeof(Rect))) {
800 android_errorWriteWithInfoLog(0x534e4554, "29983260", -1, NULL, 0);
801 return NO_MEMORY;
802 }
803
804 Region result;
805 result.mStorage.clear();
806 for (size_t r = 0; r < numRects; ++r) {
807 Rect rect(Rect::EMPTY_RECT);
808 status_t status = rect.unflatten(buffer, size);
809 if (status != NO_ERROR) {
810 return status;
811 }
812 FlattenableUtils::advance(buffer, size, sizeof(rect));
813 result.mStorage.push_back(rect);
814 }
815
816 #if VALIDATE_REGIONS
817 validate(result, "Region::unflatten");
818 #endif
819
820 if (!result.validate(result, "Region::unflatten", true)) {
821 ALOGE("Region::unflatten() failed, invalid region");
822 return BAD_VALUE;
823 }
824 mStorage = result.mStorage;
825 return NO_ERROR;
826 }
827
828 // ----------------------------------------------------------------------------
829
begin() const830 Region::const_iterator Region::begin() const {
831 return mStorage.array();
832 }
833
end() const834 Region::const_iterator Region::end() const {
835 size_t numRects = isRect() ? 1 : mStorage.size() - 1;
836 return mStorage.array() + numRects;
837 }
838
getArray(size_t * count) const839 Rect const* Region::getArray(size_t* count) const {
840 if (count) *count = static_cast<size_t>(end() - begin());
841 return begin();
842 }
843
844 // ----------------------------------------------------------------------------
845
dump(String8 & out,const char * what,uint32_t) const846 void Region::dump(String8& out, const char* what, uint32_t /* flags */) const
847 {
848 const_iterator head = begin();
849 const_iterator const tail = end();
850
851 out.appendFormat(" Region %s (this=%p, count=%" PRIdPTR ")\n",
852 what, this, tail - head);
853 while (head != tail) {
854 out.appendFormat(" [%3d, %3d, %3d, %3d]\n", head->left, head->top,
855 head->right, head->bottom);
856 ++head;
857 }
858 }
859
dump(const char * what,uint32_t) const860 void Region::dump(const char* what, uint32_t /* flags */) const
861 {
862 const_iterator head = begin();
863 const_iterator const tail = end();
864 ALOGD(" Region %s (this=%p, count=%" PRIdPTR ")\n", what, this, tail-head);
865 while (head != tail) {
866 ALOGD(" [%3d, %3d, %3d, %3d]\n",
867 head->left, head->top, head->right, head->bottom);
868 head++;
869 }
870 }
871
872 // ----------------------------------------------------------------------------
873
874 }; // namespace android
875