blob: 91fa21626fb4fac565e4db3ca564098a170c3318 [file] [log] [blame]
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -08001/*
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
Mark Salyzyn92dc3fc2014-03-12 13:12:44 -070019#include <inttypes.h>
Mathias Agopian72b0ffe2009-07-06 18:07:26 -070020#include <limits.h>
21
Mathias Agopian20f68782009-05-11 00:03:41 -070022#include <utils/Log.h>
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080023#include <utils/String8.h>
Mathias Agopian068d47f2012-09-11 18:56:23 -070024#include <utils/CallStack.h>
Mathias Agopian20f68782009-05-11 00:03:41 -070025
26#include <ui/Rect.h>
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080027#include <ui/Region.h>
Mathias Agopian20f68782009-05-11 00:03:41 -070028#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
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080040
41namespace android {
Mathias Agopian20f68782009-05-11 00:03:41 -070042// ----------------------------------------------------------------------------
43
44enum {
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};
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080050
Chris Craik3e010f32013-02-25 19:12:47 -080051enum {
52 direction_LTR,
53 direction_RTL
54};
55
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080056// ----------------------------------------------------------------------------
57
Mathias Agopian3ab68552012-08-31 14:31:40 -070058Region::Region() {
59 mStorage.add(Rect(0,0));
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080060}
61
62Region::Region(const Region& rhs)
Mathias Agopian3ab68552012-08-31 14:31:40 -070063 : mStorage(rhs.mStorage)
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080064{
Mathias Agopiand0b55c02011-03-16 23:18:07 -070065#if VALIDATE_REGIONS
66 validate(rhs, "rhs copy-ctor");
67#endif
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080068}
69
Mathias Agopian3ab68552012-08-31 14:31:40 -070070Region::Region(const Rect& rhs) {
71 mStorage.add(rhs);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -080072}
73
74Region::~Region()
75{
76}
77
Chris Craik3e010f32013-02-25 19:12:47 -080078/**
79 * Copy rects from the src vector into the dst vector, resolving vertical T-Junctions along the way
80 *
81 * First pass through, divideSpanRTL will be set because the 'previous span' (indexing into the dst
82 * vector) will be reversed. Each rectangle in the original list, starting from the bottom, will be
83 * compared with the span directly below, and subdivided as needed to resolve T-junctions.
84 *
85 * The resulting temporary vector will be a completely reversed copy of the original, without any
86 * bottom-up T-junctions.
87 *
88 * Second pass through, divideSpanRTL will be false since the previous span will index into the
89 * final, correctly ordered region buffer. Each rectangle will be compared with the span directly
90 * above it, and subdivided to resolve any remaining T-junctions.
91 */
92static void reverseRectsResolvingJunctions(const Rect* begin, const Rect* end,
93 Vector<Rect>& dst, int spanDirection) {
94 dst.clear();
95
96 const Rect* current = end - 1;
97 int lastTop = current->top;
98
99 // add first span immediately
100 do {
101 dst.add(*current);
102 current--;
103 } while (current->top == lastTop && current >= begin);
104
Dan Stozad3182402014-11-17 12:03:59 -0800105 int beginLastSpan = -1;
106 int endLastSpan = -1;
Chris Craik3e010f32013-02-25 19:12:47 -0800107 int top = -1;
108 int bottom = -1;
109
110 // for all other spans, split if a t-junction exists in the span directly above
111 while (current >= begin) {
112 if (current->top != (current + 1)->top) {
113 // new span
114 if ((spanDirection == direction_RTL && current->bottom != (current + 1)->top) ||
115 (spanDirection == direction_LTR && current->top != (current + 1)->bottom)) {
116 // previous span not directly adjacent, don't check for T junctions
117 beginLastSpan = INT_MAX;
118 } else {
119 beginLastSpan = endLastSpan + 1;
120 }
Dan Stozad3182402014-11-17 12:03:59 -0800121 endLastSpan = static_cast<int>(dst.size()) - 1;
Chris Craik3e010f32013-02-25 19:12:47 -0800122
123 top = current->top;
124 bottom = current->bottom;
125 }
126 int left = current->left;
127 int right = current->right;
128
Dan Stozad3182402014-11-17 12:03:59 -0800129 for (int prevIndex = beginLastSpan; prevIndex <= endLastSpan; prevIndex++) {
130 // prevIndex can't be -1 here because if endLastSpan is set to a
131 // value greater than -1 (allowing the loop to execute),
132 // beginLastSpan (and therefore prevIndex) will also be increased
133 const Rect* prev = &dst[static_cast<size_t>(prevIndex)];
134
Chris Craik3e010f32013-02-25 19:12:47 -0800135 if (spanDirection == direction_RTL) {
136 // iterating over previous span RTL, quit if it's too far left
137 if (prev->right <= left) break;
138
139 if (prev->right > left && prev->right < right) {
140 dst.add(Rect(prev->right, top, right, bottom));
141 right = prev->right;
142 }
143
144 if (prev->left > left && prev->left < right) {
145 dst.add(Rect(prev->left, top, right, bottom));
146 right = prev->left;
147 }
148
149 // if an entry in the previous span is too far right, nothing further left in the
150 // current span will need it
151 if (prev->left >= right) {
152 beginLastSpan = prevIndex;
153 }
154 } else {
155 // iterating over previous span LTR, quit if it's too far right
156 if (prev->left >= right) break;
157
158 if (prev->left > left && prev->left < right) {
159 dst.add(Rect(left, top, prev->left, bottom));
160 left = prev->left;
161 }
162
163 if (prev->right > left && prev->right < right) {
164 dst.add(Rect(left, top, prev->right, bottom));
165 left = prev->right;
166 }
167 // if an entry in the previous span is too far left, nothing further right in the
168 // current span will need it
169 if (prev->right <= left) {
170 beginLastSpan = prevIndex;
171 }
172 }
173 }
174
175 if (left < right) {
176 dst.add(Rect(left, top, right, bottom));
177 }
178
179 current--;
180 }
181}
182
183/**
184 * Creates a new region with the same data as the argument, but divides rectangles as necessary to
185 * remove T-Junctions
186 *
187 * Note: the output will not necessarily be a very efficient representation of the region, since it
188 * may be that a triangle-based approach would generate significantly simpler geometry
189 */
190Region Region::createTJunctionFreeRegion(const Region& r) {
191 if (r.isEmpty()) return r;
192 if (r.isRect()) return r;
193
194 Vector<Rect> reversed;
195 reverseRectsResolvingJunctions(r.begin(), r.end(), reversed, direction_RTL);
196
197 Region outputRegion;
198 reverseRectsResolvingJunctions(reversed.begin(), reversed.end(),
199 outputRegion.mStorage, direction_LTR);
200 outputRegion.mStorage.add(r.getBounds()); // to make region valid, mStorage must end with bounds
201
202#if VALIDATE_REGIONS
203 validate(outputRegion, "T-Junction free region");
204#endif
205
206 return outputRegion;
207}
208
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800209Region& Region::operator = (const Region& rhs)
210{
Mathias Agopian20f68782009-05-11 00:03:41 -0700211#if VALIDATE_REGIONS
Mathias Agopiand0b55c02011-03-16 23:18:07 -0700212 validate(*this, "this->operator=");
213 validate(rhs, "rhs.operator=");
Mathias Agopian20f68782009-05-11 00:03:41 -0700214#endif
Mathias Agopian20f68782009-05-11 00:03:41 -0700215 mStorage = rhs.mStorage;
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800216 return *this;
217}
218
Mathias Agopian9f961452009-06-29 18:46:37 -0700219Region& Region::makeBoundsSelf()
220{
Mathias Agopian3ab68552012-08-31 14:31:40 -0700221 if (mStorage.size() >= 2) {
222 const Rect bounds(getBounds());
223 mStorage.clear();
224 mStorage.add(bounds);
225 }
Mathias Agopian9f961452009-06-29 18:46:37 -0700226 return *this;
227}
228
Michael Wright1c284a92014-02-10 13:00:14 -0800229bool Region::contains(const Point& point) const {
230 return contains(point.x, point.y);
231}
232
233bool Region::contains(int x, int y) const {
234 const_iterator cur = begin();
235 const_iterator const tail = end();
236 while (cur != tail) {
237 if (y >= cur->top && y < cur->bottom && x >= cur->left && x < cur->right) {
238 return true;
239 }
240 cur++;
241 }
242 return false;
243}
244
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800245void Region::clear()
246{
Mathias Agopian20f68782009-05-11 00:03:41 -0700247 mStorage.clear();
Mathias Agopian3ab68552012-08-31 14:31:40 -0700248 mStorage.add(Rect(0,0));
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800249}
250
251void Region::set(const Rect& r)
252{
Mathias Agopian20f68782009-05-11 00:03:41 -0700253 mStorage.clear();
Mathias Agopian3ab68552012-08-31 14:31:40 -0700254 mStorage.add(r);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800255}
256
Dan Stozad3182402014-11-17 12:03:59 -0800257void Region::set(int32_t w, int32_t h)
Mathias Agopian0926f502009-05-04 14:17:04 -0700258{
Mathias Agopian20f68782009-05-11 00:03:41 -0700259 mStorage.clear();
Dan Stozad3182402014-11-17 12:03:59 -0800260 mStorage.add(Rect(w, h));
Mathias Agopian0926f502009-05-04 14:17:04 -0700261}
262
Bernhard Rosenkraenzerfe4966d2014-12-22 21:15:08 +0100263void Region::set(uint32_t w, uint32_t h)
264{
265 mStorage.clear();
266 mStorage.add(Rect(w, h));
267}
268
Mathias Agopian2ca79392013-04-02 18:30:32 -0700269bool Region::isTriviallyEqual(const Region& region) const {
270 return begin() == region.begin();
271}
272
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800273// ----------------------------------------------------------------------------
274
Mathias Agopian20f68782009-05-11 00:03:41 -0700275void Region::addRectUnchecked(int l, int t, int r, int b)
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800276{
Mathias Agopian3ab68552012-08-31 14:31:40 -0700277 Rect rect(l,t,r,b);
278 size_t where = mStorage.size() - 1;
279 mStorage.insertAt(rect, where, 1);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800280}
281
Mathias Agopian20f68782009-05-11 00:03:41 -0700282// ----------------------------------------------------------------------------
283
284Region& Region::orSelf(const Rect& r) {
285 return operationSelf(r, op_or);
286}
Romain Guyb8a2e982012-02-07 17:04:34 -0800287Region& Region::xorSelf(const Rect& r) {
288 return operationSelf(r, op_xor);
289}
Mathias Agopian20f68782009-05-11 00:03:41 -0700290Region& Region::andSelf(const Rect& r) {
291 return operationSelf(r, op_and);
292}
293Region& Region::subtractSelf(const Rect& r) {
294 return operationSelf(r, op_nand);
295}
296Region& Region::operationSelf(const Rect& r, int op) {
297 Region lhs(*this);
298 boolean_operation(op, *this, lhs, r);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800299 return *this;
300}
301
302// ----------------------------------------------------------------------------
303
304Region& Region::orSelf(const Region& rhs) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700305 return operationSelf(rhs, op_or);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800306}
Romain Guyb8a2e982012-02-07 17:04:34 -0800307Region& Region::xorSelf(const Region& rhs) {
308 return operationSelf(rhs, op_xor);
309}
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800310Region& Region::andSelf(const Region& rhs) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700311 return operationSelf(rhs, op_and);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800312}
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800313Region& Region::subtractSelf(const Region& rhs) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700314 return operationSelf(rhs, op_nand);
315}
316Region& Region::operationSelf(const Region& rhs, int op) {
317 Region lhs(*this);
318 boolean_operation(op, *this, lhs, rhs);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800319 return *this;
320}
321
322Region& Region::translateSelf(int x, int y) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700323 if (x|y) translate(*this, x, y);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800324 return *this;
325}
326
Mathias Agopian20f68782009-05-11 00:03:41 -0700327// ----------------------------------------------------------------------------
328
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700329const Region Region::merge(const Rect& rhs) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700330 return operation(rhs, op_or);
331}
Romain Guyb8a2e982012-02-07 17:04:34 -0800332const Region Region::mergeExclusive(const Rect& rhs) const {
333 return operation(rhs, op_xor);
334}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700335const Region Region::intersect(const Rect& rhs) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700336 return operation(rhs, op_and);
337}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700338const Region Region::subtract(const Rect& rhs) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700339 return operation(rhs, op_nand);
340}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700341const Region Region::operation(const Rect& rhs, int op) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700342 Region result;
343 boolean_operation(op, result, *this, rhs);
344 return result;
345}
346
347// ----------------------------------------------------------------------------
348
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700349const Region Region::merge(const Region& rhs) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700350 return operation(rhs, op_or);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800351}
Romain Guyb8a2e982012-02-07 17:04:34 -0800352const Region Region::mergeExclusive(const Region& rhs) const {
353 return operation(rhs, op_xor);
354}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700355const Region Region::intersect(const Region& rhs) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700356 return operation(rhs, op_and);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800357}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700358const Region Region::subtract(const Region& rhs) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700359 return operation(rhs, op_nand);
360}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700361const Region Region::operation(const Region& rhs, int op) const {
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800362 Region result;
Mathias Agopian20f68782009-05-11 00:03:41 -0700363 boolean_operation(op, result, *this, rhs);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800364 return result;
365}
366
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700367const Region Region::translate(int x, int y) const {
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800368 Region result;
Mathias Agopian20f68782009-05-11 00:03:41 -0700369 translate(result, *this, x, y);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800370 return result;
371}
372
373// ----------------------------------------------------------------------------
374
375Region& Region::orSelf(const Region& rhs, int dx, int dy) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700376 return operationSelf(rhs, dx, dy, op_or);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800377}
Romain Guyb8a2e982012-02-07 17:04:34 -0800378Region& Region::xorSelf(const Region& rhs, int dx, int dy) {
379 return operationSelf(rhs, dx, dy, op_xor);
380}
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800381Region& Region::andSelf(const Region& rhs, int dx, int dy) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700382 return operationSelf(rhs, dx, dy, op_and);
383}
384Region& Region::subtractSelf(const Region& rhs, int dx, int dy) {
385 return operationSelf(rhs, dx, dy, op_nand);
386}
387Region& Region::operationSelf(const Region& rhs, int dx, int dy, int op) {
388 Region lhs(*this);
389 boolean_operation(op, *this, lhs, rhs, dx, dy);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800390 return *this;
391}
392
Mathias Agopian20f68782009-05-11 00:03:41 -0700393// ----------------------------------------------------------------------------
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800394
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700395const Region Region::merge(const Region& rhs, int dx, int dy) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700396 return operation(rhs, dx, dy, op_or);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800397}
Romain Guyb8a2e982012-02-07 17:04:34 -0800398const Region Region::mergeExclusive(const Region& rhs, int dx, int dy) const {
399 return operation(rhs, dx, dy, op_xor);
400}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700401const Region Region::intersect(const Region& rhs, int dx, int dy) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700402 return operation(rhs, dx, dy, op_and);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800403}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700404const Region Region::subtract(const Region& rhs, int dx, int dy) const {
Mathias Agopian20f68782009-05-11 00:03:41 -0700405 return operation(rhs, dx, dy, op_nand);
406}
Mathias Agopianbed9dd12009-05-27 17:01:58 -0700407const Region Region::operation(const Region& rhs, int dx, int dy, int op) const {
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800408 Region result;
Mathias Agopian20f68782009-05-11 00:03:41 -0700409 boolean_operation(op, result, *this, rhs, dx, dy);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800410 return result;
411}
412
413// ----------------------------------------------------------------------------
414
Mathias Agopian20f68782009-05-11 00:03:41 -0700415// This is our region rasterizer, which merges rects and spans together
416// to obtain an optimal region.
Dan Stozad3182402014-11-17 12:03:59 -0800417class Region::rasterizer : public region_operator<Rect>::region_rasterizer
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800418{
Mathias Agopian3ab68552012-08-31 14:31:40 -0700419 Rect bounds;
Mathias Agopian20f68782009-05-11 00:03:41 -0700420 Vector<Rect>& storage;
421 Rect* head;
422 Rect* tail;
423 Vector<Rect> span;
424 Rect* cur;
425public:
Dan Stozad3182402014-11-17 12:03:59 -0800426 rasterizer(Region& reg)
Mathias Agopian3ab68552012-08-31 14:31:40 -0700427 : bounds(INT_MAX, 0, INT_MIN, 0), storage(reg.mStorage), head(), tail(), cur() {
Mathias Agopian20f68782009-05-11 00:03:41 -0700428 storage.clear();
429 }
430
Dan Stozad3182402014-11-17 12:03:59 -0800431 virtual ~rasterizer();
432
433 virtual void operator()(const Rect& rect);
434
Mathias Agopian20f68782009-05-11 00:03:41 -0700435private:
Dan Stozad3182402014-11-17 12:03:59 -0800436 template<typename T>
Mathias Agopian20f68782009-05-11 00:03:41 -0700437 static inline T min(T rhs, T lhs) { return rhs < lhs ? rhs : lhs; }
Dan Stozad3182402014-11-17 12:03:59 -0800438 template<typename T>
Mathias Agopian20f68782009-05-11 00:03:41 -0700439 static inline T max(T rhs, T lhs) { return rhs > lhs ? rhs : lhs; }
Dan Stozad3182402014-11-17 12:03:59 -0800440
441 void flushSpan();
Mathias Agopian20f68782009-05-11 00:03:41 -0700442};
443
Dan Stozad3182402014-11-17 12:03:59 -0800444Region::rasterizer::~rasterizer()
445{
446 if (span.size()) {
447 flushSpan();
448 }
449 if (storage.size()) {
450 bounds.top = storage.itemAt(0).top;
451 bounds.bottom = storage.top().bottom;
452 if (storage.size() == 1) {
453 storage.clear();
454 }
455 } else {
456 bounds.left = 0;
457 bounds.right = 0;
458 }
459 storage.add(bounds);
460}
461
462void Region::rasterizer::operator()(const Rect& rect)
463{
464 //ALOGD(">>> %3d, %3d, %3d, %3d",
465 // rect.left, rect.top, rect.right, rect.bottom);
466 if (span.size()) {
467 if (cur->top != rect.top) {
468 flushSpan();
469 } else if (cur->right == rect.left) {
470 cur->right = rect.right;
471 return;
472 }
473 }
474 span.add(rect);
475 cur = span.editArray() + (span.size() - 1);
476}
477
478void Region::rasterizer::flushSpan()
479{
480 bool merge = false;
481 if (tail-head == ssize_t(span.size())) {
482 Rect const* p = span.editArray();
483 Rect const* q = head;
484 if (p->top == q->bottom) {
485 merge = true;
486 while (q != tail) {
487 if ((p->left != q->left) || (p->right != q->right)) {
488 merge = false;
489 break;
490 }
491 p++, q++;
492 }
493 }
494 }
495 if (merge) {
496 const int bottom = span[0].bottom;
497 Rect* r = head;
498 while (r != tail) {
499 r->bottom = bottom;
500 r++;
501 }
502 } else {
503 bounds.left = min(span.itemAt(0).left, bounds.left);
504 bounds.right = max(span.top().right, bounds.right);
505 storage.appendVector(span);
506 tail = storage.editArray() + storage.size();
507 head = tail - span.size();
508 }
509 span.clear();
510}
511
Mathias Agopian068d47f2012-09-11 18:56:23 -0700512bool Region::validate(const Region& reg, const char* name, bool silent)
Mathias Agopian20f68782009-05-11 00:03:41 -0700513{
514 bool result = true;
515 const_iterator cur = reg.begin();
516 const_iterator const tail = reg.end();
Mathias Agopian068d47f2012-09-11 18:56:23 -0700517 const_iterator prev = cur;
Mathias Agopian20f68782009-05-11 00:03:41 -0700518 Rect b(*prev);
519 while (cur != tail) {
Mathias Agopian068d47f2012-09-11 18:56:23 -0700520 if (cur->isValid() == false) {
521 ALOGE_IF(!silent, "%s: region contains an invalid Rect", name);
522 result = false;
523 }
524 if (cur->right > region_operator<Rect>::max_value) {
525 ALOGE_IF(!silent, "%s: rect->right > max_value", name);
526 result = false;
527 }
528 if (cur->bottom > region_operator<Rect>::max_value) {
529 ALOGE_IF(!silent, "%s: rect->right > max_value", name);
530 result = false;
531 }
532 if (prev != cur) {
533 b.left = b.left < cur->left ? b.left : cur->left;
534 b.top = b.top < cur->top ? b.top : cur->top;
535 b.right = b.right > cur->right ? b.right : cur->right;
536 b.bottom = b.bottom > cur->bottom ? b.bottom : cur->bottom;
537 if ((*prev < *cur) == false) {
538 ALOGE_IF(!silent, "%s: region's Rects not sorted", name);
Mathias Agopian20f68782009-05-11 00:03:41 -0700539 result = false;
Mathias Agopian068d47f2012-09-11 18:56:23 -0700540 }
541 if (cur->top == prev->top) {
542 if (cur->bottom != prev->bottom) {
543 ALOGE_IF(!silent, "%s: invalid span %p", name, cur);
544 result = false;
545 } else if (cur->left < prev->right) {
546 ALOGE_IF(!silent,
547 "%s: spans overlap horizontally prev=%p, cur=%p",
548 name, prev, cur);
549 result = false;
550 }
551 } else if (cur->top < prev->bottom) {
552 ALOGE_IF(!silent,
553 "%s: spans overlap vertically prev=%p, cur=%p",
Mathias Agopian20f68782009-05-11 00:03:41 -0700554 name, prev, cur);
555 result = false;
556 }
Mathias Agopian068d47f2012-09-11 18:56:23 -0700557 prev = cur;
Mathias Agopian20f68782009-05-11 00:03:41 -0700558 }
Mathias Agopian20f68782009-05-11 00:03:41 -0700559 cur++;
560 }
561 if (b != reg.getBounds()) {
562 result = false;
Mathias Agopian068d47f2012-09-11 18:56:23 -0700563 ALOGE_IF(!silent,
564 "%s: invalid bounds [%d,%d,%d,%d] vs. [%d,%d,%d,%d]", name,
Mathias Agopian20f68782009-05-11 00:03:41 -0700565 b.left, b.top, b.right, b.bottom,
566 reg.getBounds().left, reg.getBounds().top,
567 reg.getBounds().right, reg.getBounds().bottom);
568 }
Mathias Agopian3ab68552012-08-31 14:31:40 -0700569 if (reg.mStorage.size() == 2) {
Mathias Agopian068d47f2012-09-11 18:56:23 -0700570 result = false;
571 ALOGE_IF(!silent, "%s: mStorage size is 2, which is never valid", name);
Mathias Agopian3ab68552012-08-31 14:31:40 -0700572 }
Mathias Agopian068d47f2012-09-11 18:56:23 -0700573 if (result == false && !silent) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700574 reg.dump(name);
Mathias Agopiancab25d62013-03-21 17:12:40 -0700575 CallStack stack(LOG_TAG);
Mathias Agopian20f68782009-05-11 00:03:41 -0700576 }
577 return result;
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800578}
579
Mathias Agopian20f68782009-05-11 00:03:41 -0700580void Region::boolean_operation(int op, Region& dst,
581 const Region& lhs,
582 const Region& rhs, int dx, int dy)
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800583{
Mathias Agopiand0b55c02011-03-16 23:18:07 -0700584#if VALIDATE_REGIONS
585 validate(lhs, "boolean_operation (before): lhs");
586 validate(rhs, "boolean_operation (before): rhs");
587 validate(dst, "boolean_operation (before): dst");
588#endif
589
Mathias Agopian20f68782009-05-11 00:03:41 -0700590 size_t lhs_count;
591 Rect const * const lhs_rects = lhs.getArray(&lhs_count);
592
593 size_t rhs_count;
594 Rect const * const rhs_rects = rhs.getArray(&rhs_count);
595
596 region_operator<Rect>::region lhs_region(lhs_rects, lhs_count);
597 region_operator<Rect>::region rhs_region(rhs_rects, rhs_count, dx, dy);
598 region_operator<Rect> operation(op, lhs_region, rhs_region);
599 { // scope for rasterizer (dtor has side effects)
600 rasterizer r(dst);
601 operation(r);
602 }
603
604#if VALIDATE_REGIONS
605 validate(lhs, "boolean_operation: lhs");
606 validate(rhs, "boolean_operation: rhs");
607 validate(dst, "boolean_operation: dst");
608#endif
609
610#if VALIDATE_WITH_CORECG
611 SkRegion sk_lhs;
612 SkRegion sk_rhs;
613 SkRegion sk_dst;
614
615 for (size_t i=0 ; i<lhs_count ; i++)
616 sk_lhs.op(
617 lhs_rects[i].left + dx,
618 lhs_rects[i].top + dy,
619 lhs_rects[i].right + dx,
620 lhs_rects[i].bottom + dy,
621 SkRegion::kUnion_Op);
622
623 for (size_t i=0 ; i<rhs_count ; i++)
624 sk_rhs.op(
625 rhs_rects[i].left + dx,
626 rhs_rects[i].top + dy,
627 rhs_rects[i].right + dx,
628 rhs_rects[i].bottom + dy,
629 SkRegion::kUnion_Op);
630
631 const char* name = "---";
632 SkRegion::Op sk_op;
633 switch (op) {
634 case op_or: sk_op = SkRegion::kUnion_Op; name="OR"; break;
Romain Guyb8a2e982012-02-07 17:04:34 -0800635 case op_xor: sk_op = SkRegion::kUnion_XOR; name="XOR"; break;
Mathias Agopian20f68782009-05-11 00:03:41 -0700636 case op_and: sk_op = SkRegion::kIntersect_Op; name="AND"; break;
637 case op_nand: sk_op = SkRegion::kDifference_Op; name="NAND"; break;
638 }
639 sk_dst.op(sk_lhs, sk_rhs, sk_op);
640
641 if (sk_dst.isEmpty() && dst.isEmpty())
642 return;
643
644 bool same = true;
645 Region::const_iterator head = dst.begin();
646 Region::const_iterator const tail = dst.end();
647 SkRegion::Iterator it(sk_dst);
648 while (!it.done()) {
649 if (head != tail) {
650 if (
651 head->left != it.rect().fLeft ||
652 head->top != it.rect().fTop ||
653 head->right != it.rect().fRight ||
654 head->bottom != it.rect().fBottom
655 ) {
656 same = false;
657 break;
658 }
659 } else {
660 same = false;
661 break;
662 }
663 head++;
664 it.next();
665 }
666
667 if (head != tail) {
668 same = false;
669 }
670
671 if(!same) {
Steve Block9d453682011-12-20 16:23:08 +0000672 ALOGD("---\nregion boolean %s failed", name);
Mathias Agopian20f68782009-05-11 00:03:41 -0700673 lhs.dump("lhs");
674 rhs.dump("rhs");
675 dst.dump("dst");
Steve Block9d453682011-12-20 16:23:08 +0000676 ALOGD("should be");
Mathias Agopian20f68782009-05-11 00:03:41 -0700677 SkRegion::Iterator it(sk_dst);
678 while (!it.done()) {
Steve Block9d453682011-12-20 16:23:08 +0000679 ALOGD(" [%3d, %3d, %3d, %3d]",
Mathias Agopian20f68782009-05-11 00:03:41 -0700680 it.rect().fLeft,
681 it.rect().fTop,
682 it.rect().fRight,
683 it.rect().fBottom);
684 it.next();
685 }
686 }
687#endif
688}
689
690void Region::boolean_operation(int op, Region& dst,
691 const Region& lhs,
692 const Rect& rhs, int dx, int dy)
693{
Mathias Agopian04504522011-09-19 16:12:08 -0700694 if (!rhs.isValid()) {
Steve Blocke6f43dd2012-01-06 19:20:56 +0000695 ALOGE("Region::boolean_operation(op=%d) invalid Rect={%d,%d,%d,%d}",
Mathias Agopian04504522011-09-19 16:12:08 -0700696 op, rhs.left, rhs.top, rhs.right, rhs.bottom);
Mathias Agopian0857c8f2011-09-26 15:58:20 -0700697 return;
Mathias Agopian04504522011-09-19 16:12:08 -0700698 }
699
Mathias Agopian20f68782009-05-11 00:03:41 -0700700#if VALIDATE_WITH_CORECG || VALIDATE_REGIONS
701 boolean_operation(op, dst, lhs, Region(rhs), dx, dy);
702#else
703 size_t lhs_count;
704 Rect const * const lhs_rects = lhs.getArray(&lhs_count);
705
706 region_operator<Rect>::region lhs_region(lhs_rects, lhs_count);
707 region_operator<Rect>::region rhs_region(&rhs, 1, dx, dy);
708 region_operator<Rect> operation(op, lhs_region, rhs_region);
709 { // scope for rasterizer (dtor has side effects)
710 rasterizer r(dst);
711 operation(r);
712 }
713
714#endif
715}
716
717void Region::boolean_operation(int op, Region& dst,
718 const Region& lhs, const Region& rhs)
719{
720 boolean_operation(op, dst, lhs, rhs, 0, 0);
721}
722
723void Region::boolean_operation(int op, Region& dst,
724 const Region& lhs, const Rect& rhs)
725{
726 boolean_operation(op, dst, lhs, rhs, 0, 0);
727}
728
729void Region::translate(Region& reg, int dx, int dy)
730{
Mathias Agopian4c0a1702012-08-31 12:45:33 -0700731 if ((dx || dy) && !reg.isEmpty()) {
Mathias Agopian20f68782009-05-11 00:03:41 -0700732#if VALIDATE_REGIONS
733 validate(reg, "translate (before)");
734#endif
Mathias Agopian20f68782009-05-11 00:03:41 -0700735 size_t count = reg.mStorage.size();
736 Rect* rects = reg.mStorage.editArray();
737 while (count) {
Mathias Agopian6c7f25a2013-05-09 20:37:10 -0700738 rects->offsetBy(dx, dy);
Mathias Agopian20f68782009-05-11 00:03:41 -0700739 rects++;
740 count--;
741 }
742#if VALIDATE_REGIONS
743 validate(reg, "translate (after)");
744#endif
745 }
746}
747
748void Region::translate(Region& dst, const Region& reg, int dx, int dy)
749{
750 dst = reg;
751 translate(dst, dx, dy);
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800752}
753
754// ----------------------------------------------------------------------------
755
Mathias Agopiane1424282013-07-29 21:24:40 -0700756size_t Region::getFlattenedSize() const {
Mathias Agopian3ab68552012-08-31 14:31:40 -0700757 return mStorage.size() * sizeof(Rect);
Mathias Agopian8683fca2012-08-12 19:37:16 -0700758}
759
Mathias Agopiane1424282013-07-29 21:24:40 -0700760status_t Region::flatten(void* buffer, size_t size) const {
Mathias Agopian068d47f2012-09-11 18:56:23 -0700761#if VALIDATE_REGIONS
762 validate(*this, "Region::flatten");
763#endif
Mathias Agopiane1424282013-07-29 21:24:40 -0700764 if (size < mStorage.size() * sizeof(Rect)) {
765 return NO_MEMORY;
766 }
Mathias Agopian8683fca2012-08-12 19:37:16 -0700767 Rect* rects = reinterpret_cast<Rect*>(buffer);
Mathias Agopian8683fca2012-08-12 19:37:16 -0700768 memcpy(rects, mStorage.array(), mStorage.size() * sizeof(Rect));
769 return NO_ERROR;
770}
771
772status_t Region::unflatten(void const* buffer, size_t size) {
Mathias Agopian068d47f2012-09-11 18:56:23 -0700773 Region result;
Mathias Agopian8683fca2012-08-12 19:37:16 -0700774 if (size >= sizeof(Rect)) {
775 Rect const* rects = reinterpret_cast<Rect const*>(buffer);
Mathias Agopian8683fca2012-08-12 19:37:16 -0700776 size_t count = size / sizeof(Rect);
777 if (count > 0) {
Mathias Agopian068d47f2012-09-11 18:56:23 -0700778 result.mStorage.clear();
779 ssize_t err = result.mStorage.insertAt(0, count);
Mathias Agopian8683fca2012-08-12 19:37:16 -0700780 if (err < 0) {
781 return status_t(err);
782 }
Mathias Agopian068d47f2012-09-11 18:56:23 -0700783 memcpy(result.mStorage.editArray(), rects, count*sizeof(Rect));
Mathias Agopianb6121422010-02-17 20:22:26 -0800784 }
Mathias Agopian20f68782009-05-11 00:03:41 -0700785 }
Mathias Agopian3ab68552012-08-31 14:31:40 -0700786#if VALIDATE_REGIONS
Mathias Agopian068d47f2012-09-11 18:56:23 -0700787 validate(result, "Region::unflatten");
Mathias Agopian3ab68552012-08-31 14:31:40 -0700788#endif
Mathias Agopian068d47f2012-09-11 18:56:23 -0700789
790 if (!result.validate(result, "Region::unflatten", true)) {
791 ALOGE("Region::unflatten() failed, invalid region");
792 return BAD_VALUE;
793 }
794 mStorage = result.mStorage;
Mathias Agopian8683fca2012-08-12 19:37:16 -0700795 return NO_ERROR;
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800796}
797
Mathias Agopian20f68782009-05-11 00:03:41 -0700798// ----------------------------------------------------------------------------
799
800Region::const_iterator Region::begin() const {
Mathias Agopian3ab68552012-08-31 14:31:40 -0700801 return mStorage.array();
Mathias Agopian20f68782009-05-11 00:03:41 -0700802}
803
804Region::const_iterator Region::end() const {
Mathias Agopian3ab68552012-08-31 14:31:40 -0700805 size_t numRects = isRect() ? 1 : mStorage.size() - 1;
806 return mStorage.array() + numRects;
Mathias Agopian20f68782009-05-11 00:03:41 -0700807}
808
809Rect const* Region::getArray(size_t* count) const {
Dan Stozad3182402014-11-17 12:03:59 -0800810 if (count) *count = static_cast<size_t>(end() - begin());
811 return begin();
Mathias Agopian20f68782009-05-11 00:03:41 -0700812}
813
Mathias Agopian2401ead2012-08-31 15:41:24 -0700814SharedBuffer const* Region::getSharedBuffer(size_t* count) const {
815 // We can get to the SharedBuffer of a Vector<Rect> because Rect has
816 // a trivial destructor.
817 SharedBuffer const* sb = SharedBuffer::bufferFromData(mStorage.array());
818 if (count) {
819 size_t numRects = isRect() ? 1 : mStorage.size() - 1;
820 count[0] = numRects;
821 }
822 sb->acquire();
823 return sb;
824}
825
Mathias Agopian20f68782009-05-11 00:03:41 -0700826// ----------------------------------------------------------------------------
827
Dan Stozad3182402014-11-17 12:03:59 -0800828void Region::dump(String8& out, const char* what, uint32_t /* flags */) const
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800829{
Mathias Agopian20f68782009-05-11 00:03:41 -0700830 const_iterator head = begin();
831 const_iterator const tail = end();
832
Dan Stozad3182402014-11-17 12:03:59 -0800833 out.appendFormat(" Region %s (this=%p, count=%" PRIdPTR ")\n",
834 what, this, tail - head);
Mathias Agopian20f68782009-05-11 00:03:41 -0700835 while (head != tail) {
Dan Stozad3182402014-11-17 12:03:59 -0800836 out.appendFormat(" [%3d, %3d, %3d, %3d]\n", head->left, head->top,
837 head->right, head->bottom);
838 ++head;
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800839 }
840}
841
Dan Stozad3182402014-11-17 12:03:59 -0800842void Region::dump(const char* what, uint32_t /* flags */) const
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800843{
Mathias Agopian20f68782009-05-11 00:03:41 -0700844 const_iterator head = begin();
845 const_iterator const tail = end();
Mark Salyzyn92dc3fc2014-03-12 13:12:44 -0700846 ALOGD(" Region %s (this=%p, count=%" PRIdPTR ")\n", what, this, tail-head);
Mathias Agopian20f68782009-05-11 00:03:41 -0700847 while (head != tail) {
Steve Block9d453682011-12-20 16:23:08 +0000848 ALOGD(" [%3d, %3d, %3d, %3d]\n",
Mathias Agopian20f68782009-05-11 00:03:41 -0700849 head->left, head->top, head->right, head->bottom);
850 head++;
The Android Open Source Projectedbf3b62009-03-03 19:31:44 -0800851 }
852}
853
854// ----------------------------------------------------------------------------
855
856}; // namespace android