Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1)

Side by Side Diff: src/record/SkRecordPattern.h

Issue 331573004: Add EXPERIMENTAL_beginRecording() for SkRecord-based recording. (Closed) Base URL: https://skia.googlesource.com/skia.git@master
Patch Set: put back Created 6 years, 6 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « src/record/SkRecordOpts.cpp ('k') | src/record/SkRecorder.h » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
1 #ifndef SkRecordPattern_DEFINED
2 #define SkRecordPattern_DEFINED
3
4 #include "SkTLogic.h"
5
6 namespace SkRecords {
7
8 // First, some matchers. These match a single command in the SkRecord,
9 // and may hang onto some data from it. If so, you can get the data by calling .get().
10
11 // Matches a command of type T, and stores that command.
12 template <typename T>
13 class Is {
14 public:
15 Is() : fPtr(NULL) {}
16
17 typedef T type;
18 type* get() { return fPtr; }
19
20 bool operator()(T* ptr) {
21 fPtr = ptr;
22 return true;
23 }
24
25 template <typename U>
26 bool operator()(U*) {
27 fPtr = NULL;
28 return false;
29 }
30
31 private:
32 type* fPtr;
33 };
34
35 // Matches any command that draws, and stores its paint.
36 class IsDraw {
37 SK_CREATE_MEMBER_DETECTOR(paint);
38 public:
39 IsDraw() : fPaint(NULL) {}
40
41 typedef SkPaint type;
42 type* get() { return fPaint; }
43
44 template <typename T>
45 SK_WHEN(HasMember_paint<T>, bool) operator()(T* draw) {
46 fPaint = AsPtr(draw->paint);
47 return true;
48 }
49
50 template <typename T>
51 SK_WHEN(!HasMember_paint<T>, bool) operator()(T*) {
52 fPaint = NULL;
53 return false;
54 }
55
56 // SaveLayer has an SkPaint named paint, but it's not a draw.
57 bool operator()(SaveLayer*) {
58 fPaint = NULL;
59 return false;
60 }
61
62 private:
63 // Abstracts away whether the paint is always part of the command or optiona l.
64 template <typename T> static T* AsPtr(SkRecords::Optional<T>& x) { return x; }
65 template <typename T> static T* AsPtr(T& x) { return &x; }
66
67 type* fPaint;
68 };
69
70 // Matches if Matcher doesn't. Stores nothing.
71 template <typename Matcher>
72 struct Not {
73 template <typename T>
74 bool operator()(T* ptr) { return !Matcher()(ptr); }
75 };
76
77 // Matches if either of A or B does. Stores nothing.
78 template <typename A, typename B>
79 struct Or {
80 template <typename T>
81 bool operator()(T* ptr) { return A()(ptr) || B()(ptr); }
82 };
83
84 // Matches if any of A, B or C does. Stores nothing.
85 template <typename A, typename B, typename C>
86 struct Or3 : Or<A, Or<B, C> > {};
87
88 // Star is a special matcher that greedily matches Matcher 0 or more times. Sto res nothing.
89 template <typename Matcher>
90 struct Star {
91 template <typename T>
92 bool operator()(T* ptr) { return Matcher()(ptr); }
93 };
94
95 // Cons builds a list of Matchers.
96 // It first matches Matcher (something from above), then Pattern (another Cons o r Nil).
97 //
98 // This is the main entry point to pattern matching, and so provides a couple of extra API bits:
99 // - search scans through the record to look for matches;
100 // - first, second, and third return the data stored by their respective matche rs in the pattern.
101 //
102 // These Cons build lists analogously to Lisp's "cons". See Pattern# for the "l ist" equivalent.
103 template <typename Matcher, typename Pattern>
104 class Cons {
105 public:
106 // If this pattern matches the SkRecord starting at i,
107 // return the index just past the end of the pattern, otherwise return 0.
108 SK_ALWAYS_INLINE unsigned match(SkRecord* record, unsigned i) {
109 i = this->matchHead(&fHead, record, i);
110 return i == 0 ? 0 : fTail.match(record, i);
111 }
112
113 // Starting from *end, walk through the SkRecord to find the first span matc hing this pattern.
114 // If there is no such span, return false. If there is, return true and set [*begin, *end).
115 SK_ALWAYS_INLINE bool search(SkRecord* record, unsigned* begin, unsigned* en d) {
116 for (*begin = *end; *begin < record->count(); ++(*begin)) {
117 *end = this->match(record, *begin);
118 if (*end != 0) {
119 return true;
120 }
121 }
122 return false;
123 }
124
125 // Once either match or search has succeeded, access the stored data of the first, second,
126 // or third matcher in this pattern. Add as needed for longer patterns.
127 // T is checked statically at compile time; no casting is involved. It's ju st an API wart.
128 template <typename T> T* first() { return fHead.get(); }
129 template <typename T> T* second() { return fTail.fHead.get(); }
130 template <typename T> T* third() { return fTail.fTail.fHead.get(); }
131
132 private:
133 // If head isn't a Star, try to match at i once.
134 template <typename T>
135 unsigned matchHead(T*, SkRecord* record, unsigned i) {
136 if (i < record->count()) {
137 if (record->mutate<bool>(i, fHead)) {
138 return i+1;
139 }
140 }
141 return 0;
142 }
143
144 // If head is a Star, walk i until it doesn't match.
145 template <typename T>
146 unsigned matchHead(Star<T>*, SkRecord* record, unsigned i) {
147 while (i < record->count()) {
148 if (!record->mutate<bool>(i, fHead)) {
149 return i;
150 }
151 i++;
152 }
153 return 0;
154 }
155
156 Matcher fHead;
157 Pattern fTail;
158
159 // All Cons are friends with each other. This lets first, second, and third work.
160 template <typename, typename> friend class Cons;
161 };
162
163 // Nil is the end of every pattern Cons chain.
164 struct Nil {
165 // Bottoms out recursion down the fTail chain. Just return whatever i the f ront decided on.
166 unsigned match(SkRecord*, unsigned i) { return i; }
167 };
168
169 // These Pattern# types are syntax sugar over Cons and Nil, just to help elimina te some of the
170 // template noise. Use these if you can. Feel free to add more for longer patt erns.
171 // All types A, B, C, ... are Matchers.
172 template <typename A>
173 struct Pattern1 : Cons<A, Nil> {};
174
175 template <typename A, typename B>
176 struct Pattern2 : Cons<A, Pattern1<B> > {};
177
178 template <typename A, typename B, typename C>
179 struct Pattern3 : Cons<A, Pattern2<B, C> > {};
180
181 } // namespace SkRecords
182
183 #endif//SkRecordPattern_DEFINED
OLDNEW
« no previous file with comments | « src/record/SkRecordOpts.cpp ('k') | src/record/SkRecorder.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698