1/*
2 * Copyright © 2007,2008,2009,2010 Red Hat, Inc.
3 * Copyright © 2010,2012 Google, Inc.
4 *
5 * This is part of HarfBuzz, a text shaping library.
6 *
7 * Permission is hereby granted, without written agreement and without
8 * license or royalty fees, to use, copy, modify, and distribute this
9 * software and its documentation for any purpose, provided that the
10 * above copyright notice and the following two paragraphs appear in
11 * all copies of this software.
12 *
13 * IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE TO ANY PARTY FOR
14 * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES
15 * ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN
16 * IF THE COPYRIGHT HOLDER HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH
17 * DAMAGE.
18 *
19 * THE COPYRIGHT HOLDER SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING,
20 * BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
21 * FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS
22 * ON AN "AS IS" BASIS, AND THE COPYRIGHT HOLDER HAS NO OBLIGATION TO
23 * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
24 *
25 * Red Hat Author(s): Behdad Esfahbod
26 * Google Author(s): Behdad Esfahbod
27 */
28
29#ifndef HB_OT_LAYOUT_GSUBGPOS_HH
30#define HB_OT_LAYOUT_GSUBGPOS_HH
31
32#include "hb.hh"
33#include "hb-buffer.hh"
34#include "hb-map.hh"
35#include "hb-set.hh"
36#include "hb-ot-map.hh"
37#include "hb-ot-layout-common.hh"
38#include "hb-ot-layout-gdef-table.hh"
39
40
41namespace OT {
42
43
44struct hb_intersects_context_t :
45 hb_dispatch_context_t<hb_intersects_context_t, bool, 0>
46{
47 const char *get_name () { return "INTERSECTS"; }
48 template <typename T>
49 return_t dispatch (const T &obj) { return obj.intersects (this->glyphs); }
50 static return_t default_return_value () { return false; }
51 bool stop_sublookup_iteration (return_t r) const { return r; }
52
53 const hb_set_t *glyphs;
54 unsigned int debug_depth;
55
56 hb_intersects_context_t (const hb_set_t *glyphs_) :
57 glyphs (glyphs_),
58 debug_depth (0) {}
59};
60
61struct hb_closure_context_t :
62 hb_dispatch_context_t<hb_closure_context_t, hb_void_t, 0>
63{
64 const char *get_name () { return "CLOSURE"; }
65 typedef return_t (*recurse_func_t) (hb_closure_context_t *c, unsigned int lookup_index);
66 template <typename T>
67 return_t dispatch (const T &obj) { obj.closure (this); return HB_VOID; }
68 static return_t default_return_value () { return HB_VOID; }
69 void recurse (unsigned int lookup_index)
70 {
71 if (unlikely (nesting_level_left == 0 || !recurse_func))
72 return;
73
74 nesting_level_left--;
75 recurse_func (this, lookup_index);
76 nesting_level_left++;
77 }
78
79 bool should_visit_lookup (unsigned int lookup_index)
80 {
81 if (is_lookup_done (lookup_index))
82 return false;
83 done_lookups->set (lookup_index, glyphs->get_population ());
84 return true;
85 }
86
87 bool is_lookup_done (unsigned int lookup_index)
88 {
89 /* Have we visited this lookup with the current set of glyphs? */
90 return done_lookups->get (lookup_index) == glyphs->get_population ();
91 }
92
93 hb_face_t *face;
94 hb_set_t *glyphs;
95 hb_set_t out[1];
96 recurse_func_t recurse_func;
97 unsigned int nesting_level_left;
98 unsigned int debug_depth;
99
100 hb_closure_context_t (hb_face_t *face_,
101 hb_set_t *glyphs_,
102 hb_map_t *done_lookups_,
103 unsigned int nesting_level_left_ = HB_MAX_NESTING_LEVEL) :
104 face (face_),
105 glyphs (glyphs_),
106 recurse_func (nullptr),
107 nesting_level_left (nesting_level_left_),
108 debug_depth (0),
109 done_lookups (done_lookups_) {}
110
111 ~hb_closure_context_t () { flush (); }
112
113 void set_recurse_func (recurse_func_t func) { recurse_func = func; }
114
115 void flush ()
116 {
117 hb_set_union (glyphs, out);
118 hb_set_clear (out);
119 }
120
121 private:
122 hb_map_t *done_lookups;
123};
124
125
126struct hb_would_apply_context_t :
127 hb_dispatch_context_t<hb_would_apply_context_t, bool, HB_DEBUG_WOULD_APPLY>
128{
129 const char *get_name () { return "WOULD_APPLY"; }
130 template <typename T>
131 return_t dispatch (const T &obj) { return obj.would_apply (this); }
132 static return_t default_return_value () { return false; }
133 bool stop_sublookup_iteration (return_t r) const { return r; }
134
135 hb_face_t *face;
136 const hb_codepoint_t *glyphs;
137 unsigned int len;
138 bool zero_context;
139 unsigned int debug_depth;
140
141 hb_would_apply_context_t (hb_face_t *face_,
142 const hb_codepoint_t *glyphs_,
143 unsigned int len_,
144 bool zero_context_) :
145 face (face_),
146 glyphs (glyphs_),
147 len (len_),
148 zero_context (zero_context_),
149 debug_depth (0) {}
150};
151
152
153struct hb_collect_glyphs_context_t :
154 hb_dispatch_context_t<hb_collect_glyphs_context_t, hb_void_t, 0>
155{
156 const char *get_name () { return "COLLECT_GLYPHS"; }
157 typedef return_t (*recurse_func_t) (hb_collect_glyphs_context_t *c, unsigned int lookup_index);
158 template <typename T>
159 return_t dispatch (const T &obj) { obj.collect_glyphs (this); return HB_VOID; }
160 static return_t default_return_value () { return HB_VOID; }
161 void recurse (unsigned int lookup_index)
162 {
163 if (unlikely (nesting_level_left == 0 || !recurse_func))
164 return;
165
166 /* Note that GPOS sets recurse_func to nullptr already, so it doesn't get
167 * past the previous check. For GSUB, we only want to collect the output
168 * glyphs in the recursion. If output is not requested, we can go home now.
169 *
170 * Note further, that the above is not exactly correct. A recursed lookup
171 * is allowed to match input that is not matched in the context, but that's
172 * not how most fonts are built. It's possible to relax that and recurse
173 * with all sets here if it proves to be an issue.
174 */
175
176 if (output == hb_set_get_empty ())
177 return;
178
179 /* Return if new lookup was recursed to before. */
180 if (recursed_lookups->has (lookup_index))
181 return;
182
183 hb_set_t *old_before = before;
184 hb_set_t *old_input = input;
185 hb_set_t *old_after = after;
186 before = input = after = hb_set_get_empty ();
187
188 nesting_level_left--;
189 recurse_func (this, lookup_index);
190 nesting_level_left++;
191
192 before = old_before;
193 input = old_input;
194 after = old_after;
195
196 recursed_lookups->add (lookup_index);
197 }
198
199 hb_face_t *face;
200 hb_set_t *before;
201 hb_set_t *input;
202 hb_set_t *after;
203 hb_set_t *output;
204 recurse_func_t recurse_func;
205 hb_set_t *recursed_lookups;
206 unsigned int nesting_level_left;
207 unsigned int debug_depth;
208
209 hb_collect_glyphs_context_t (hb_face_t *face_,
210 hb_set_t *glyphs_before, /* OUT. May be NULL */
211 hb_set_t *glyphs_input, /* OUT. May be NULL */
212 hb_set_t *glyphs_after, /* OUT. May be NULL */
213 hb_set_t *glyphs_output, /* OUT. May be NULL */
214 unsigned int nesting_level_left_ = HB_MAX_NESTING_LEVEL) :
215 face (face_),
216 before (glyphs_before ? glyphs_before : hb_set_get_empty ()),
217 input (glyphs_input ? glyphs_input : hb_set_get_empty ()),
218 after (glyphs_after ? glyphs_after : hb_set_get_empty ()),
219 output (glyphs_output ? glyphs_output : hb_set_get_empty ()),
220 recurse_func (nullptr),
221 recursed_lookups (hb_set_create ()),
222 nesting_level_left (nesting_level_left_),
223 debug_depth (0) {}
224 ~hb_collect_glyphs_context_t () { hb_set_destroy (recursed_lookups); }
225
226 void set_recurse_func (recurse_func_t func) { recurse_func = func; }
227};
228
229
230
231template <typename set_t>
232struct hb_add_coverage_context_t :
233 hb_dispatch_context_t<hb_add_coverage_context_t<set_t>, const Coverage &, HB_DEBUG_GET_COVERAGE>
234{
235 const char *get_name () { return "GET_COVERAGE"; }
236 typedef const Coverage &return_t;
237 template <typename T>
238 return_t dispatch (const T &obj) { return obj.get_coverage (); }
239 static return_t default_return_value () { return Null(Coverage); }
240 bool stop_sublookup_iteration (return_t r) const
241 {
242 r.add_coverage (set);
243 return false;
244 }
245
246 hb_add_coverage_context_t (set_t *set_) :
247 set (set_),
248 debug_depth (0) {}
249
250 set_t *set;
251 unsigned int debug_depth;
252};
253
254
255struct hb_ot_apply_context_t :
256 hb_dispatch_context_t<hb_ot_apply_context_t, bool, HB_DEBUG_APPLY>
257{
258 struct matcher_t
259 {
260 matcher_t () :
261 lookup_props (0),
262 ignore_zwnj (false),
263 ignore_zwj (false),
264 mask (-1),
265#define arg1(arg) (arg) /* Remove the macro to see why it's needed! */
266 syllable arg1(0),
267#undef arg1
268 match_func (nullptr),
269 match_data (nullptr) {}
270
271 typedef bool (*match_func_t) (hb_codepoint_t glyph_id, const HBUINT16 &value, const void *data);
272
273 void set_ignore_zwnj (bool ignore_zwnj_) { ignore_zwnj = ignore_zwnj_; }
274 void set_ignore_zwj (bool ignore_zwj_) { ignore_zwj = ignore_zwj_; }
275 void set_lookup_props (unsigned int lookup_props_) { lookup_props = lookup_props_; }
276 void set_mask (hb_mask_t mask_) { mask = mask_; }
277 void set_syllable (uint8_t syllable_) { syllable = syllable_; }
278 void set_match_func (match_func_t match_func_,
279 const void *match_data_)
280 { match_func = match_func_; match_data = match_data_; }
281
282 enum may_match_t {
283 MATCH_NO,
284 MATCH_YES,
285 MATCH_MAYBE
286 };
287
288 may_match_t may_match (const hb_glyph_info_t &info,
289 const HBUINT16 *glyph_data) const
290 {
291 if (!(info.mask & mask) ||
292 (syllable && syllable != info.syllable ()))
293 return MATCH_NO;
294
295 if (match_func)
296 return match_func (info.codepoint, *glyph_data, match_data) ? MATCH_YES : MATCH_NO;
297
298 return MATCH_MAYBE;
299 }
300
301 enum may_skip_t {
302 SKIP_NO,
303 SKIP_YES,
304 SKIP_MAYBE
305 };
306
307 may_skip_t may_skip (const hb_ot_apply_context_t *c,
308 const hb_glyph_info_t &info) const
309 {
310 if (!c->check_glyph_property (&info, lookup_props))
311 return SKIP_YES;
312
313 if (unlikely (_hb_glyph_info_is_default_ignorable_and_not_hidden (&info) &&
314 (ignore_zwnj || !_hb_glyph_info_is_zwnj (&info)) &&
315 (ignore_zwj || !_hb_glyph_info_is_zwj (&info))))
316 return SKIP_MAYBE;
317
318 return SKIP_NO;
319 }
320
321 protected:
322 unsigned int lookup_props;
323 bool ignore_zwnj;
324 bool ignore_zwj;
325 hb_mask_t mask;
326 uint8_t syllable;
327 match_func_t match_func;
328 const void *match_data;
329 };
330
331 struct skipping_iterator_t
332 {
333 void init (hb_ot_apply_context_t *c_, bool context_match = false)
334 {
335 c = c_;
336 match_glyph_data = nullptr;
337 matcher.set_match_func (nullptr, nullptr);
338 matcher.set_lookup_props (c->lookup_props);
339 /* Ignore ZWNJ if we are matching GPOS, or matching GSUB context and asked to. */
340 matcher.set_ignore_zwnj (c->table_index == 1 || (context_match && c->auto_zwnj));
341 /* Ignore ZWJ if we are matching context, or asked to. */
342 matcher.set_ignore_zwj (context_match || c->auto_zwj);
343 matcher.set_mask (context_match ? -1 : c->lookup_mask);
344 }
345 void set_lookup_props (unsigned int lookup_props)
346 {
347 matcher.set_lookup_props (lookup_props);
348 }
349 void set_match_func (matcher_t::match_func_t match_func_,
350 const void *match_data_,
351 const HBUINT16 glyph_data[])
352 {
353 matcher.set_match_func (match_func_, match_data_);
354 match_glyph_data = glyph_data;
355 }
356
357 void reset (unsigned int start_index_,
358 unsigned int num_items_)
359 {
360 idx = start_index_;
361 num_items = num_items_;
362 end = c->buffer->len;
363 matcher.set_syllable (start_index_ == c->buffer->idx ? c->buffer->cur().syllable () : 0);
364 }
365
366 void reject () { num_items++; match_glyph_data--; }
367
368 matcher_t::may_skip_t
369 may_skip (const hb_glyph_info_t &info) const
370 { return matcher.may_skip (c, info); }
371
372 bool next ()
373 {
374 assert (num_items > 0);
375 while (idx + num_items < end)
376 {
377 idx++;
378 const hb_glyph_info_t &info = c->buffer->info[idx];
379
380 matcher_t::may_skip_t skip = matcher.may_skip (c, info);
381 if (unlikely (skip == matcher_t::SKIP_YES))
382 continue;
383
384 matcher_t::may_match_t match = matcher.may_match (info, match_glyph_data);
385 if (match == matcher_t::MATCH_YES ||
386 (match == matcher_t::MATCH_MAYBE &&
387 skip == matcher_t::SKIP_NO))
388 {
389 num_items--;
390 match_glyph_data++;
391 return true;
392 }
393
394 if (skip == matcher_t::SKIP_NO)
395 return false;
396 }
397 return false;
398 }
399 bool prev ()
400 {
401 assert (num_items > 0);
402 while (idx > num_items - 1)
403 {
404 idx--;
405 const hb_glyph_info_t &info = c->buffer->out_info[idx];
406
407 matcher_t::may_skip_t skip = matcher.may_skip (c, info);
408 if (unlikely (skip == matcher_t::SKIP_YES))
409 continue;
410
411 matcher_t::may_match_t match = matcher.may_match (info, match_glyph_data);
412 if (match == matcher_t::MATCH_YES ||
413 (match == matcher_t::MATCH_MAYBE &&
414 skip == matcher_t::SKIP_NO))
415 {
416 num_items--;
417 match_glyph_data++;
418 return true;
419 }
420
421 if (skip == matcher_t::SKIP_NO)
422 return false;
423 }
424 return false;
425 }
426
427 unsigned int idx;
428 protected:
429 hb_ot_apply_context_t *c;
430 matcher_t matcher;
431 const HBUINT16 *match_glyph_data;
432
433 unsigned int num_items;
434 unsigned int end;
435 };
436
437
438 const char *get_name () { return "APPLY"; }
439 typedef return_t (*recurse_func_t) (hb_ot_apply_context_t *c, unsigned int lookup_index);
440 template <typename T>
441 return_t dispatch (const T &obj) { return obj.apply (this); }
442 static return_t default_return_value () { return false; }
443 bool stop_sublookup_iteration (return_t r) const { return r; }
444 return_t recurse (unsigned int sub_lookup_index)
445 {
446 if (unlikely (nesting_level_left == 0 || !recurse_func || buffer->max_ops-- <= 0))
447 return default_return_value ();
448
449 nesting_level_left--;
450 bool ret = recurse_func (this, sub_lookup_index);
451 nesting_level_left++;
452 return ret;
453 }
454
455 skipping_iterator_t iter_input, iter_context;
456
457 hb_font_t *font;
458 hb_face_t *face;
459 hb_buffer_t *buffer;
460 recurse_func_t recurse_func;
461 const GDEF &gdef;
462 const VariationStore &var_store;
463
464 hb_direction_t direction;
465 hb_mask_t lookup_mask;
466 unsigned int table_index; /* GSUB/GPOS */
467 unsigned int lookup_index;
468 unsigned int lookup_props;
469 unsigned int nesting_level_left;
470 unsigned int debug_depth;
471
472 bool has_glyph_classes;
473 bool auto_zwnj;
474 bool auto_zwj;
475 bool random;
476
477 uint32_t random_state;
478
479
480 hb_ot_apply_context_t (unsigned int table_index_,
481 hb_font_t *font_,
482 hb_buffer_t *buffer_) :
483 iter_input (), iter_context (),
484 font (font_), face (font->face), buffer (buffer_),
485 recurse_func (nullptr),
486 gdef (*face->table.GDEF->table),
487 var_store (gdef.get_var_store ()),
488 direction (buffer_->props.direction),
489 lookup_mask (1),
490 table_index (table_index_),
491 lookup_index ((unsigned int) -1),
492 lookup_props (0),
493 nesting_level_left (HB_MAX_NESTING_LEVEL),
494 debug_depth (0),
495 has_glyph_classes (gdef.has_glyph_classes ()),
496 auto_zwnj (true),
497 auto_zwj (true),
498 random (false),
499 random_state (1) { init_iters (); }
500
501 void init_iters ()
502 {
503 iter_input.init (this, false);
504 iter_context.init (this, true);
505 }
506
507 void set_lookup_mask (hb_mask_t mask) { lookup_mask = mask; init_iters (); }
508 void set_auto_zwj (bool auto_zwj_) { auto_zwj = auto_zwj_; init_iters (); }
509 void set_auto_zwnj (bool auto_zwnj_) { auto_zwnj = auto_zwnj_; init_iters (); }
510 void set_random (bool random_) { random = random_; }
511 void set_recurse_func (recurse_func_t func) { recurse_func = func; }
512 void set_lookup_index (unsigned int lookup_index_) { lookup_index = lookup_index_; }
513 void set_lookup_props (unsigned int lookup_props_) { lookup_props = lookup_props_; init_iters (); }
514
515 uint32_t random_number ()
516 {
517 /* http://www.cplusplus.com/reference/random/minstd_rand/ */
518 random_state = random_state * 48271 % 2147483647;
519 return random_state;
520 }
521
522 bool match_properties_mark (hb_codepoint_t glyph,
523 unsigned int glyph_props,
524 unsigned int match_props) const
525 {
526 /* If using mark filtering sets, the high short of
527 * match_props has the set index.
528 */
529 if (match_props & LookupFlag::UseMarkFilteringSet)
530 return gdef.mark_set_covers (match_props >> 16, glyph);
531
532 /* The second byte of match_props has the meaning
533 * "ignore marks of attachment type different than
534 * the attachment type specified."
535 */
536 if (match_props & LookupFlag::MarkAttachmentType)
537 return (match_props & LookupFlag::MarkAttachmentType) == (glyph_props & LookupFlag::MarkAttachmentType);
538
539 return true;
540 }
541
542 bool check_glyph_property (const hb_glyph_info_t *info,
543 unsigned int match_props) const
544 {
545 hb_codepoint_t glyph = info->codepoint;
546 unsigned int glyph_props = _hb_glyph_info_get_glyph_props (info);
547
548 /* Not covered, if, for example, glyph class is ligature and
549 * match_props includes LookupFlags::IgnoreLigatures
550 */
551 if (glyph_props & match_props & LookupFlag::IgnoreFlags)
552 return false;
553
554 if (unlikely (glyph_props & HB_OT_LAYOUT_GLYPH_PROPS_MARK))
555 return match_properties_mark (glyph, glyph_props, match_props);
556
557 return true;
558 }
559
560 void _set_glyph_props (hb_codepoint_t glyph_index,
561 unsigned int class_guess = 0,
562 bool ligature = false,
563 bool component = false) const
564 {
565 unsigned int add_in = _hb_glyph_info_get_glyph_props (&buffer->cur()) &
566 HB_OT_LAYOUT_GLYPH_PROPS_PRESERVE;
567 add_in |= HB_OT_LAYOUT_GLYPH_PROPS_SUBSTITUTED;
568 if (ligature)
569 {
570 add_in |= HB_OT_LAYOUT_GLYPH_PROPS_LIGATED;
571 /* In the only place that the MULTIPLIED bit is used, Uniscribe
572 * seems to only care about the "last" transformation between
573 * Ligature and Multiple substitutions. Ie. if you ligate, expand,
574 * and ligate again, it forgives the multiplication and acts as
575 * if only ligation happened. As such, clear MULTIPLIED bit.
576 */
577 add_in &= ~HB_OT_LAYOUT_GLYPH_PROPS_MULTIPLIED;
578 }
579 if (component)
580 add_in |= HB_OT_LAYOUT_GLYPH_PROPS_MULTIPLIED;
581 if (likely (has_glyph_classes))
582 _hb_glyph_info_set_glyph_props (&buffer->cur(), add_in | gdef.get_glyph_props (glyph_index));
583 else if (class_guess)
584 _hb_glyph_info_set_glyph_props (&buffer->cur(), add_in | class_guess);
585 }
586
587 void replace_glyph (hb_codepoint_t glyph_index) const
588 {
589 _set_glyph_props (glyph_index);
590 buffer->replace_glyph (glyph_index);
591 }
592 void replace_glyph_inplace (hb_codepoint_t glyph_index) const
593 {
594 _set_glyph_props (glyph_index);
595 buffer->cur().codepoint = glyph_index;
596 }
597 void replace_glyph_with_ligature (hb_codepoint_t glyph_index,
598 unsigned int class_guess) const
599 {
600 _set_glyph_props (glyph_index, class_guess, true);
601 buffer->replace_glyph (glyph_index);
602 }
603 void output_glyph_for_component (hb_codepoint_t glyph_index,
604 unsigned int class_guess) const
605 {
606 _set_glyph_props (glyph_index, class_guess, false, true);
607 buffer->output_glyph (glyph_index);
608 }
609};
610
611
612struct hb_get_subtables_context_t :
613 hb_dispatch_context_t<hb_get_subtables_context_t, hb_void_t, HB_DEBUG_APPLY>
614{
615 template <typename Type>
616 static bool apply_to (const void *obj, OT::hb_ot_apply_context_t *c)
617 {
618 const Type *typed_obj = (const Type *) obj;
619 return typed_obj->apply (c);
620 }
621
622 typedef bool (*hb_apply_func_t) (const void *obj, OT::hb_ot_apply_context_t *c);
623
624 struct hb_applicable_t
625 {
626 template <typename T>
627 void init (const T &obj_, hb_apply_func_t apply_func_)
628 {
629 obj = &obj_;
630 apply_func = apply_func_;
631 digest.init ();
632 obj_.get_coverage ().add_coverage (&digest);
633 }
634
635 bool apply (OT::hb_ot_apply_context_t *c) const
636 {
637 return digest.may_have (c->buffer->cur().codepoint) && apply_func (obj, c);
638 }
639
640 private:
641 const void *obj;
642 hb_apply_func_t apply_func;
643 hb_set_digest_t digest;
644 };
645
646 typedef hb_vector_t<hb_applicable_t> array_t;
647
648 /* Dispatch interface. */
649 const char *get_name () { return "GET_SUBTABLES"; }
650 template <typename T>
651 return_t dispatch (const T &obj)
652 {
653 hb_applicable_t *entry = array.push();
654 entry->init (obj, apply_to<T>);
655 return HB_VOID;
656 }
657 static return_t default_return_value () { return HB_VOID; }
658
659 hb_get_subtables_context_t (array_t &array_) :
660 array (array_),
661 debug_depth (0) {}
662
663 array_t &array;
664 unsigned int debug_depth;
665};
666
667
668
669
670typedef bool (*intersects_func_t) (const hb_set_t *glyphs, const HBUINT16 &value, const void *data);
671typedef void (*collect_glyphs_func_t) (hb_set_t *glyphs, const HBUINT16 &value, const void *data);
672typedef bool (*match_func_t) (hb_codepoint_t glyph_id, const HBUINT16 &value, const void *data);
673
674struct ContextClosureFuncs
675{
676 intersects_func_t intersects;
677};
678struct ContextCollectGlyphsFuncs
679{
680 collect_glyphs_func_t collect;
681};
682struct ContextApplyFuncs
683{
684 match_func_t match;
685};
686
687
688static inline bool intersects_glyph (const hb_set_t *glyphs, const HBUINT16 &value, const void *data HB_UNUSED)
689{
690 return glyphs->has (value);
691}
692static inline bool intersects_class (const hb_set_t *glyphs, const HBUINT16 &value, const void *data)
693{
694 const ClassDef &class_def = *reinterpret_cast<const ClassDef *>(data);
695 return class_def.intersects_class (glyphs, value);
696}
697static inline bool intersects_coverage (const hb_set_t *glyphs, const HBUINT16 &value, const void *data)
698{
699 const OffsetTo<Coverage> &coverage = (const OffsetTo<Coverage>&)value;
700 return (data+coverage).intersects (glyphs);
701}
702
703static inline bool intersects_array (const hb_set_t *glyphs,
704 unsigned int count,
705 const HBUINT16 values[],
706 intersects_func_t intersects_func,
707 const void *intersects_data)
708{
709 for (unsigned int i = 0; i < count; i++)
710 if (likely (!intersects_func (glyphs, values[i], intersects_data)))
711 return false;
712 return true;
713}
714
715
716static inline void collect_glyph (hb_set_t *glyphs, const HBUINT16 &value, const void *data HB_UNUSED)
717{
718 glyphs->add (value);
719}
720static inline void collect_class (hb_set_t *glyphs, const HBUINT16 &value, const void *data)
721{
722 const ClassDef &class_def = *reinterpret_cast<const ClassDef *>(data);
723 class_def.add_class (glyphs, value);
724}
725static inline void collect_coverage (hb_set_t *glyphs, const HBUINT16 &value, const void *data)
726{
727 const OffsetTo<Coverage> &coverage = (const OffsetTo<Coverage>&)value;
728 (data+coverage).add_coverage (glyphs);
729}
730static inline void collect_array (hb_collect_glyphs_context_t *c HB_UNUSED,
731 hb_set_t *glyphs,
732 unsigned int count,
733 const HBUINT16 values[],
734 collect_glyphs_func_t collect_func,
735 const void *collect_data)
736{
737 for (unsigned int i = 0; i < count; i++)
738 collect_func (glyphs, values[i], collect_data);
739}
740
741
742static inline bool match_glyph (hb_codepoint_t glyph_id, const HBUINT16 &value, const void *data HB_UNUSED)
743{
744 return glyph_id == value;
745}
746static inline bool match_class (hb_codepoint_t glyph_id, const HBUINT16 &value, const void *data)
747{
748 const ClassDef &class_def = *reinterpret_cast<const ClassDef *>(data);
749 return class_def.get_class (glyph_id) == value;
750}
751static inline bool match_coverage (hb_codepoint_t glyph_id, const HBUINT16 &value, const void *data)
752{
753 const OffsetTo<Coverage> &coverage = (const OffsetTo<Coverage>&)value;
754 return (data+coverage).get_coverage (glyph_id) != NOT_COVERED;
755}
756
757static inline bool would_match_input (hb_would_apply_context_t *c,
758 unsigned int count, /* Including the first glyph (not matched) */
759 const HBUINT16 input[], /* Array of input values--start with second glyph */
760 match_func_t match_func,
761 const void *match_data)
762{
763 if (count != c->len)
764 return false;
765
766 for (unsigned int i = 1; i < count; i++)
767 if (likely (!match_func (c->glyphs[i], input[i - 1], match_data)))
768 return false;
769
770 return true;
771}
772static inline bool match_input (hb_ot_apply_context_t *c,
773 unsigned int count, /* Including the first glyph (not matched) */
774 const HBUINT16 input[], /* Array of input values--start with second glyph */
775 match_func_t match_func,
776 const void *match_data,
777 unsigned int *end_offset,
778 unsigned int match_positions[HB_MAX_CONTEXT_LENGTH],
779 unsigned int *p_total_component_count = nullptr)
780{
781 TRACE_APPLY (nullptr);
782
783 if (unlikely (count > HB_MAX_CONTEXT_LENGTH)) return_trace (false);
784
785 hb_buffer_t *buffer = c->buffer;
786
787 hb_ot_apply_context_t::skipping_iterator_t &skippy_iter = c->iter_input;
788 skippy_iter.reset (buffer->idx, count - 1);
789 skippy_iter.set_match_func (match_func, match_data, input);
790
791 /*
792 * This is perhaps the trickiest part of OpenType... Remarks:
793 *
794 * - If all components of the ligature were marks, we call this a mark ligature.
795 *
796 * - If there is no GDEF, and the ligature is NOT a mark ligature, we categorize
797 * it as a ligature glyph.
798 *
799 * - Ligatures cannot be formed across glyphs attached to different components
800 * of previous ligatures. Eg. the sequence is LAM,SHADDA,LAM,FATHA,HEH, and
801 * LAM,LAM,HEH form a ligature, leaving SHADDA,FATHA next to eachother.
802 * However, it would be wrong to ligate that SHADDA,FATHA sequence.
803 * There are a couple of exceptions to this:
804 *
805 * o If a ligature tries ligating with marks that belong to it itself, go ahead,
806 * assuming that the font designer knows what they are doing (otherwise it can
807 * break Indic stuff when a matra wants to ligate with a conjunct,
808 *
809 * o If two marks want to ligate and they belong to different components of the
810 * same ligature glyph, and said ligature glyph is to be ignored according to
811 * mark-filtering rules, then allow.
812 * https://github.com/harfbuzz/harfbuzz/issues/545
813 */
814
815 unsigned int total_component_count = 0;
816 total_component_count += _hb_glyph_info_get_lig_num_comps (&buffer->cur());
817
818 unsigned int first_lig_id = _hb_glyph_info_get_lig_id (&buffer->cur());
819 unsigned int first_lig_comp = _hb_glyph_info_get_lig_comp (&buffer->cur());
820
821 enum {
822 LIGBASE_NOT_CHECKED,
823 LIGBASE_MAY_NOT_SKIP,
824 LIGBASE_MAY_SKIP
825 } ligbase = LIGBASE_NOT_CHECKED;
826
827 match_positions[0] = buffer->idx;
828 for (unsigned int i = 1; i < count; i++)
829 {
830 if (!skippy_iter.next ()) return_trace (false);
831
832 match_positions[i] = skippy_iter.idx;
833
834 unsigned int this_lig_id = _hb_glyph_info_get_lig_id (&buffer->info[skippy_iter.idx]);
835 unsigned int this_lig_comp = _hb_glyph_info_get_lig_comp (&buffer->info[skippy_iter.idx]);
836
837 if (first_lig_id && first_lig_comp)
838 {
839 /* If first component was attached to a previous ligature component,
840 * all subsequent components should be attached to the same ligature
841 * component, otherwise we shouldn't ligate them... */
842 if (first_lig_id != this_lig_id || first_lig_comp != this_lig_comp)
843 {
844 /* ...unless, we are attached to a base ligature and that base
845 * ligature is ignorable. */
846 if (ligbase == LIGBASE_NOT_CHECKED)
847 {
848 bool found = false;
849 const hb_glyph_info_t *out = buffer->out_info;
850 unsigned int j = buffer->out_len;
851 while (j && _hb_glyph_info_get_lig_id (&out[j - 1]) == first_lig_id)
852 {
853 if (_hb_glyph_info_get_lig_comp (&out[j - 1]) == 0)
854 {
855 j--;
856 found = true;
857 break;
858 }
859 j--;
860 }
861
862 if (found && skippy_iter.may_skip (out[j]) == hb_ot_apply_context_t::matcher_t::SKIP_YES)
863 ligbase = LIGBASE_MAY_SKIP;
864 else
865 ligbase = LIGBASE_MAY_NOT_SKIP;
866 }
867
868 if (ligbase == LIGBASE_MAY_NOT_SKIP)
869 return_trace (false);
870 }
871 }
872 else
873 {
874 /* If first component was NOT attached to a previous ligature component,
875 * all subsequent components should also NOT be attached to any ligature
876 * component, unless they are attached to the first component itself! */
877 if (this_lig_id && this_lig_comp && (this_lig_id != first_lig_id))
878 return_trace (false);
879 }
880
881 total_component_count += _hb_glyph_info_get_lig_num_comps (&buffer->info[skippy_iter.idx]);
882 }
883
884 *end_offset = skippy_iter.idx - buffer->idx + 1;
885
886 if (p_total_component_count)
887 *p_total_component_count = total_component_count;
888
889 return_trace (true);
890}
891static inline bool ligate_input (hb_ot_apply_context_t *c,
892 unsigned int count, /* Including the first glyph */
893 const unsigned int match_positions[HB_MAX_CONTEXT_LENGTH], /* Including the first glyph */
894 unsigned int match_length,
895 hb_codepoint_t lig_glyph,
896 unsigned int total_component_count)
897{
898 TRACE_APPLY (nullptr);
899
900 hb_buffer_t *buffer = c->buffer;
901
902 buffer->merge_clusters (buffer->idx, buffer->idx + match_length);
903
904 /* - If a base and one or more marks ligate, consider that as a base, NOT
905 * ligature, such that all following marks can still attach to it.
906 * https://github.com/harfbuzz/harfbuzz/issues/1109
907 *
908 * - If all components of the ligature were marks, we call this a mark ligature.
909 * If it *is* a mark ligature, we don't allocate a new ligature id, and leave
910 * the ligature to keep its old ligature id. This will allow it to attach to
911 * a base ligature in GPOS. Eg. if the sequence is: LAM,LAM,SHADDA,FATHA,HEH,
912 * and LAM,LAM,HEH for a ligature, they will leave SHADDA and FATHA with a
913 * ligature id and component value of 2. Then if SHADDA,FATHA form a ligature
914 * later, we don't want them to lose their ligature id/component, otherwise
915 * GPOS will fail to correctly position the mark ligature on top of the
916 * LAM,LAM,HEH ligature. See:
917 * https://bugzilla.gnome.org/show_bug.cgi?id=676343
918 *
919 * - If a ligature is formed of components that some of which are also ligatures
920 * themselves, and those ligature components had marks attached to *their*
921 * components, we have to attach the marks to the new ligature component
922 * positions! Now *that*'s tricky! And these marks may be following the
923 * last component of the whole sequence, so we should loop forward looking
924 * for them and update them.
925 *
926 * Eg. the sequence is LAM,LAM,SHADDA,FATHA,HEH, and the font first forms a
927 * 'calt' ligature of LAM,HEH, leaving the SHADDA and FATHA with a ligature
928 * id and component == 1. Now, during 'liga', the LAM and the LAM-HEH ligature
929 * form a LAM-LAM-HEH ligature. We need to reassign the SHADDA and FATHA to
930 * the new ligature with a component value of 2.
931 *
932 * This in fact happened to a font... See:
933 * https://bugzilla.gnome.org/show_bug.cgi?id=437633
934 */
935
936 bool is_base_ligature = _hb_glyph_info_is_base_glyph (&buffer->info[match_positions[0]]);
937 bool is_mark_ligature = _hb_glyph_info_is_mark (&buffer->info[match_positions[0]]);
938 for (unsigned int i = 1; i < count; i++)
939 if (!_hb_glyph_info_is_mark (&buffer->info[match_positions[i]]))
940 {
941 is_base_ligature = false;
942 is_mark_ligature = false;
943 break;
944 }
945 bool is_ligature = !is_base_ligature && !is_mark_ligature;
946
947 unsigned int klass = is_ligature ? HB_OT_LAYOUT_GLYPH_PROPS_LIGATURE : 0;
948 unsigned int lig_id = is_ligature ? _hb_allocate_lig_id (buffer) : 0;
949 unsigned int last_lig_id = _hb_glyph_info_get_lig_id (&buffer->cur());
950 unsigned int last_num_components = _hb_glyph_info_get_lig_num_comps (&buffer->cur());
951 unsigned int components_so_far = last_num_components;
952
953 if (is_ligature)
954 {
955 _hb_glyph_info_set_lig_props_for_ligature (&buffer->cur(), lig_id, total_component_count);
956 if (_hb_glyph_info_get_general_category (&buffer->cur()) == HB_UNICODE_GENERAL_CATEGORY_NON_SPACING_MARK)
957 {
958 _hb_glyph_info_set_general_category (&buffer->cur(), HB_UNICODE_GENERAL_CATEGORY_OTHER_LETTER);
959 }
960 }
961 c->replace_glyph_with_ligature (lig_glyph, klass);
962
963 for (unsigned int i = 1; i < count; i++)
964 {
965 while (buffer->idx < match_positions[i] && buffer->successful)
966 {
967 if (is_ligature)
968 {
969 unsigned int this_comp = _hb_glyph_info_get_lig_comp (&buffer->cur());
970 if (this_comp == 0)
971 this_comp = last_num_components;
972 unsigned int new_lig_comp = components_so_far - last_num_components +
973 MIN (this_comp, last_num_components);
974 _hb_glyph_info_set_lig_props_for_mark (&buffer->cur(), lig_id, new_lig_comp);
975 }
976 buffer->next_glyph ();
977 }
978
979 last_lig_id = _hb_glyph_info_get_lig_id (&buffer->cur());
980 last_num_components = _hb_glyph_info_get_lig_num_comps (&buffer->cur());
981 components_so_far += last_num_components;
982
983 /* Skip the base glyph */
984 buffer->idx++;
985 }
986
987 if (!is_mark_ligature && last_lig_id) {
988 /* Re-adjust components for any marks following. */
989 for (unsigned int i = buffer->idx; i < buffer->len; i++) {
990 if (last_lig_id == _hb_glyph_info_get_lig_id (&buffer->info[i])) {
991 unsigned int this_comp = _hb_glyph_info_get_lig_comp (&buffer->info[i]);
992 if (!this_comp)
993 break;
994 unsigned int new_lig_comp = components_so_far - last_num_components +
995 MIN (this_comp, last_num_components);
996 _hb_glyph_info_set_lig_props_for_mark (&buffer->info[i], lig_id, new_lig_comp);
997 } else
998 break;
999 }
1000 }
1001 return_trace (true);
1002}
1003
1004static inline bool match_backtrack (hb_ot_apply_context_t *c,
1005 unsigned int count,
1006 const HBUINT16 backtrack[],
1007 match_func_t match_func,
1008 const void *match_data,
1009 unsigned int *match_start)
1010{
1011 TRACE_APPLY (nullptr);
1012
1013 hb_ot_apply_context_t::skipping_iterator_t &skippy_iter = c->iter_context;
1014 skippy_iter.reset (c->buffer->backtrack_len (), count);
1015 skippy_iter.set_match_func (match_func, match_data, backtrack);
1016
1017 for (unsigned int i = 0; i < count; i++)
1018 if (!skippy_iter.prev ())
1019 return_trace (false);
1020
1021 *match_start = skippy_iter.idx;
1022
1023 return_trace (true);
1024}
1025
1026static inline bool match_lookahead (hb_ot_apply_context_t *c,
1027 unsigned int count,
1028 const HBUINT16 lookahead[],
1029 match_func_t match_func,
1030 const void *match_data,
1031 unsigned int offset,
1032 unsigned int *end_index)
1033{
1034 TRACE_APPLY (nullptr);
1035
1036 hb_ot_apply_context_t::skipping_iterator_t &skippy_iter = c->iter_context;
1037 skippy_iter.reset (c->buffer->idx + offset - 1, count);
1038 skippy_iter.set_match_func (match_func, match_data, lookahead);
1039
1040 for (unsigned int i = 0; i < count; i++)
1041 if (!skippy_iter.next ())
1042 return_trace (false);
1043
1044 *end_index = skippy_iter.idx + 1;
1045
1046 return_trace (true);
1047}
1048
1049
1050
1051struct LookupRecord
1052{
1053 bool sanitize (hb_sanitize_context_t *c) const
1054 {
1055 TRACE_SANITIZE (this);
1056 return_trace (c->check_struct (this));
1057 }
1058
1059 HBUINT16 sequenceIndex; /* Index into current glyph
1060 * sequence--first glyph = 0 */
1061 HBUINT16 lookupListIndex; /* Lookup to apply to that
1062 * position--zero--based */
1063 public:
1064 DEFINE_SIZE_STATIC (4);
1065};
1066
1067template <typename context_t>
1068static inline void recurse_lookups (context_t *c,
1069 unsigned int lookupCount,
1070 const LookupRecord lookupRecord[] /* Array of LookupRecords--in design order */)
1071{
1072 for (unsigned int i = 0; i < lookupCount; i++)
1073 c->recurse (lookupRecord[i].lookupListIndex);
1074}
1075
1076static inline bool apply_lookup (hb_ot_apply_context_t *c,
1077 unsigned int count, /* Including the first glyph */
1078 unsigned int match_positions[HB_MAX_CONTEXT_LENGTH], /* Including the first glyph */
1079 unsigned int lookupCount,
1080 const LookupRecord lookupRecord[], /* Array of LookupRecords--in design order */
1081 unsigned int match_length)
1082{
1083 TRACE_APPLY (nullptr);
1084
1085 hb_buffer_t *buffer = c->buffer;
1086 int end;
1087
1088 /* All positions are distance from beginning of *output* buffer.
1089 * Adjust. */
1090 {
1091 unsigned int bl = buffer->backtrack_len ();
1092 end = bl + match_length;
1093
1094 int delta = bl - buffer->idx;
1095 /* Convert positions to new indexing. */
1096 for (unsigned int j = 0; j < count; j++)
1097 match_positions[j] += delta;
1098 }
1099
1100 for (unsigned int i = 0; i < lookupCount && buffer->successful; i++)
1101 {
1102 unsigned int idx = lookupRecord[i].sequenceIndex;
1103 if (idx >= count)
1104 continue;
1105
1106 /* Don't recurse to ourself at same position.
1107 * Note that this test is too naive, it doesn't catch longer loops. */
1108 if (idx == 0 && lookupRecord[i].lookupListIndex == c->lookup_index)
1109 continue;
1110
1111 if (unlikely (!buffer->move_to (match_positions[idx])))
1112 break;
1113
1114 if (unlikely (buffer->max_ops <= 0))
1115 break;
1116
1117 unsigned int orig_len = buffer->backtrack_len () + buffer->lookahead_len ();
1118 if (!c->recurse (lookupRecord[i].lookupListIndex))
1119 continue;
1120
1121 unsigned int new_len = buffer->backtrack_len () + buffer->lookahead_len ();
1122 int delta = new_len - orig_len;
1123
1124 if (!delta)
1125 continue;
1126
1127 /* Recursed lookup changed buffer len. Adjust.
1128 *
1129 * TODO:
1130 *
1131 * Right now, if buffer length increased by n, we assume n new glyphs
1132 * were added right after the current position, and if buffer length
1133 * was decreased by n, we assume n match positions after the current
1134 * one where removed. The former (buffer length increased) case is
1135 * fine, but the decrease case can be improved in at least two ways,
1136 * both of which are significant:
1137 *
1138 * - If recursed-to lookup is MultipleSubst and buffer length
1139 * decreased, then it's current match position that was deleted,
1140 * NOT the one after it.
1141 *
1142 * - If buffer length was decreased by n, it does not necessarily
1143 * mean that n match positions where removed, as there might
1144 * have been marks and default-ignorables in the sequence. We
1145 * should instead drop match positions between current-position
1146 * and current-position + n instead.
1147 *
1148 * It should be possible to construct tests for both of these cases.
1149 */
1150
1151 end += delta;
1152 if (end <= int (match_positions[idx]))
1153 {
1154 /* End might end up being smaller than match_positions[idx] if the recursed
1155 * lookup ended up removing many items, more than we have had matched.
1156 * Just never rewind end back and get out of here.
1157 * https://bugs.chromium.org/p/chromium/issues/detail?id=659496 */
1158 end = match_positions[idx];
1159 /* There can't be any further changes. */
1160 break;
1161 }
1162
1163 unsigned int next = idx + 1; /* next now is the position after the recursed lookup. */
1164
1165 if (delta > 0)
1166 {
1167 if (unlikely (delta + count > HB_MAX_CONTEXT_LENGTH))
1168 break;
1169 }
1170 else
1171 {
1172 /* NOTE: delta is negative. */
1173 delta = MAX (delta, (int) next - (int) count);
1174 next -= delta;
1175 }
1176
1177 /* Shift! */
1178 memmove (match_positions + next + delta, match_positions + next,
1179 (count - next) * sizeof (match_positions[0]));
1180 next += delta;
1181 count += delta;
1182
1183 /* Fill in new entries. */
1184 for (unsigned int j = idx + 1; j < next; j++)
1185 match_positions[j] = match_positions[j - 1] + 1;
1186
1187 /* And fixup the rest. */
1188 for (; next < count; next++)
1189 match_positions[next] += delta;
1190 }
1191
1192 buffer->move_to (end);
1193
1194 return_trace (true);
1195}
1196
1197
1198
1199/* Contextual lookups */
1200
1201struct ContextClosureLookupContext
1202{
1203 ContextClosureFuncs funcs;
1204 const void *intersects_data;
1205};
1206
1207struct ContextCollectGlyphsLookupContext
1208{
1209 ContextCollectGlyphsFuncs funcs;
1210 const void *collect_data;
1211};
1212
1213struct ContextApplyLookupContext
1214{
1215 ContextApplyFuncs funcs;
1216 const void *match_data;
1217};
1218
1219static inline bool context_intersects (const hb_set_t *glyphs,
1220 unsigned int inputCount, /* Including the first glyph (not matched) */
1221 const HBUINT16 input[], /* Array of input values--start with second glyph */
1222 ContextClosureLookupContext &lookup_context)
1223{
1224 return intersects_array (glyphs,
1225 inputCount ? inputCount - 1 : 0, input,
1226 lookup_context.funcs.intersects, lookup_context.intersects_data);
1227}
1228
1229static inline void context_closure_lookup (hb_closure_context_t *c,
1230 unsigned int inputCount, /* Including the first glyph (not matched) */
1231 const HBUINT16 input[], /* Array of input values--start with second glyph */
1232 unsigned int lookupCount,
1233 const LookupRecord lookupRecord[],
1234 ContextClosureLookupContext &lookup_context)
1235{
1236 if (context_intersects (c->glyphs,
1237 inputCount, input,
1238 lookup_context))
1239 recurse_lookups (c,
1240 lookupCount, lookupRecord);
1241}
1242
1243static inline void context_collect_glyphs_lookup (hb_collect_glyphs_context_t *c,
1244 unsigned int inputCount, /* Including the first glyph (not matched) */
1245 const HBUINT16 input[], /* Array of input values--start with second glyph */
1246 unsigned int lookupCount,
1247 const LookupRecord lookupRecord[],
1248 ContextCollectGlyphsLookupContext &lookup_context)
1249{
1250 collect_array (c, c->input,
1251 inputCount ? inputCount - 1 : 0, input,
1252 lookup_context.funcs.collect, lookup_context.collect_data);
1253 recurse_lookups (c,
1254 lookupCount, lookupRecord);
1255}
1256
1257static inline bool context_would_apply_lookup (hb_would_apply_context_t *c,
1258 unsigned int inputCount, /* Including the first glyph (not matched) */
1259 const HBUINT16 input[], /* Array of input values--start with second glyph */
1260 unsigned int lookupCount HB_UNUSED,
1261 const LookupRecord lookupRecord[] HB_UNUSED,
1262 ContextApplyLookupContext &lookup_context)
1263{
1264 return would_match_input (c,
1265 inputCount, input,
1266 lookup_context.funcs.match, lookup_context.match_data);
1267}
1268static inline bool context_apply_lookup (hb_ot_apply_context_t *c,
1269 unsigned int inputCount, /* Including the first glyph (not matched) */
1270 const HBUINT16 input[], /* Array of input values--start with second glyph */
1271 unsigned int lookupCount,
1272 const LookupRecord lookupRecord[],
1273 ContextApplyLookupContext &lookup_context)
1274{
1275 unsigned int match_length = 0;
1276 unsigned int match_positions[HB_MAX_CONTEXT_LENGTH];
1277 return match_input (c,
1278 inputCount, input,
1279 lookup_context.funcs.match, lookup_context.match_data,
1280 &match_length, match_positions)
1281 && (c->buffer->unsafe_to_break (c->buffer->idx, c->buffer->idx + match_length),
1282 apply_lookup (c,
1283 inputCount, match_positions,
1284 lookupCount, lookupRecord,
1285 match_length));
1286}
1287
1288struct Rule
1289{
1290 bool intersects (const hb_set_t *glyphs, ContextClosureLookupContext &lookup_context) const
1291 {
1292 return context_intersects (glyphs,
1293 inputCount, inputZ.arrayZ,
1294 lookup_context);
1295 }
1296
1297 void closure (hb_closure_context_t *c, ContextClosureLookupContext &lookup_context) const
1298 {
1299 const UnsizedArrayOf<LookupRecord> &lookupRecord = StructAfter<UnsizedArrayOf<LookupRecord> >
1300 (inputZ.as_array ((inputCount ? inputCount - 1 : 0)));
1301 context_closure_lookup (c,
1302 inputCount, inputZ.arrayZ,
1303 lookupCount, lookupRecord.arrayZ,
1304 lookup_context);
1305 }
1306
1307 void collect_glyphs (hb_collect_glyphs_context_t *c,
1308 ContextCollectGlyphsLookupContext &lookup_context) const
1309 {
1310 const UnsizedArrayOf<LookupRecord> &lookupRecord = StructAfter<UnsizedArrayOf<LookupRecord> >
1311 (inputZ.as_array (inputCount ? inputCount - 1 : 0));
1312 context_collect_glyphs_lookup (c,
1313 inputCount, inputZ.arrayZ,
1314 lookupCount, lookupRecord.arrayZ,
1315 lookup_context);
1316 }
1317
1318 bool would_apply (hb_would_apply_context_t *c,
1319 ContextApplyLookupContext &lookup_context) const
1320 {
1321 TRACE_WOULD_APPLY (this);
1322 const UnsizedArrayOf<LookupRecord> &lookupRecord = StructAfter<UnsizedArrayOf<LookupRecord> >
1323 (inputZ.as_array (inputCount ? inputCount - 1 : 0));
1324 return_trace (context_would_apply_lookup (c, inputCount, inputZ.arrayZ, lookupCount, lookupRecord.arrayZ, lookup_context));
1325 }
1326
1327 bool apply (hb_ot_apply_context_t *c,
1328 ContextApplyLookupContext &lookup_context) const
1329 {
1330 TRACE_APPLY (this);
1331 const UnsizedArrayOf<LookupRecord> &lookupRecord = StructAfter<UnsizedArrayOf<LookupRecord> >
1332 (inputZ.as_array (inputCount ? inputCount - 1 : 0));
1333 return_trace (context_apply_lookup (c, inputCount, inputZ.arrayZ, lookupCount, lookupRecord.arrayZ, lookup_context));
1334 }
1335
1336 public:
1337 bool sanitize (hb_sanitize_context_t *c) const
1338 {
1339 TRACE_SANITIZE (this);
1340 return_trace (inputCount.sanitize (c) &&
1341 lookupCount.sanitize (c) &&
1342 c->check_range (inputZ.arrayZ,
1343 inputZ.item_size * (inputCount ? inputCount - 1 : 0) +
1344 LookupRecord::static_size * lookupCount));
1345 }
1346
1347 protected:
1348 HBUINT16 inputCount; /* Total number of glyphs in input
1349 * glyph sequence--includes the first
1350 * glyph */
1351 HBUINT16 lookupCount; /* Number of LookupRecords */
1352 UnsizedArrayOf<HBUINT16>
1353 inputZ; /* Array of match inputs--start with
1354 * second glyph */
1355/*UnsizedArrayOf<LookupRecord>
1356 lookupRecordX;*/ /* Array of LookupRecords--in
1357 * design order */
1358 public:
1359 DEFINE_SIZE_ARRAY (4, inputZ);
1360};
1361
1362struct RuleSet
1363{
1364 bool intersects (const hb_set_t *glyphs,
1365 ContextClosureLookupContext &lookup_context) const
1366 {
1367 unsigned int num_rules = rule.len;
1368 for (unsigned int i = 0; i < num_rules; i++)
1369 if ((this+rule[i]).intersects (glyphs, lookup_context))
1370 return true;
1371 return false;
1372 }
1373
1374 void closure (hb_closure_context_t *c,
1375 ContextClosureLookupContext &lookup_context) const
1376 {
1377 unsigned int num_rules = rule.len;
1378 for (unsigned int i = 0; i < num_rules; i++)
1379 (this+rule[i]).closure (c, lookup_context);
1380 }
1381
1382 void collect_glyphs (hb_collect_glyphs_context_t *c,
1383 ContextCollectGlyphsLookupContext &lookup_context) const
1384 {
1385 unsigned int num_rules = rule.len;
1386 for (unsigned int i = 0; i < num_rules; i++)
1387 (this+rule[i]).collect_glyphs (c, lookup_context);
1388 }
1389
1390 bool would_apply (hb_would_apply_context_t *c,
1391 ContextApplyLookupContext &lookup_context) const
1392 {
1393 TRACE_WOULD_APPLY (this);
1394 unsigned int num_rules = rule.len;
1395 for (unsigned int i = 0; i < num_rules; i++)
1396 {
1397 if ((this+rule[i]).would_apply (c, lookup_context))
1398 return_trace (true);
1399 }
1400 return_trace (false);
1401 }
1402
1403 bool apply (hb_ot_apply_context_t *c,
1404 ContextApplyLookupContext &lookup_context) const
1405 {
1406 TRACE_APPLY (this);
1407 unsigned int num_rules = rule.len;
1408 for (unsigned int i = 0; i < num_rules; i++)
1409 {
1410 if ((this+rule[i]).apply (c, lookup_context))
1411 return_trace (true);
1412 }
1413 return_trace (false);
1414 }
1415
1416 bool sanitize (hb_sanitize_context_t *c) const
1417 {
1418 TRACE_SANITIZE (this);
1419 return_trace (rule.sanitize (c, this));
1420 }
1421
1422 protected:
1423 OffsetArrayOf<Rule>
1424 rule; /* Array of Rule tables
1425 * ordered by preference */
1426 public:
1427 DEFINE_SIZE_ARRAY (2, rule);
1428};
1429
1430
1431struct ContextFormat1
1432{
1433 bool intersects (const hb_set_t *glyphs) const
1434 {
1435 struct ContextClosureLookupContext lookup_context = {
1436 {intersects_glyph},
1437 nullptr
1438 };
1439
1440 unsigned int count = ruleSet.len;
1441 for (Coverage::Iter iter (this+coverage); iter.more (); iter.next ())
1442 {
1443 if (unlikely (iter.get_coverage () >= count))
1444 break; /* Work around malicious fonts. https://github.com/harfbuzz/harfbuzz/issues/363 */
1445 if (glyphs->has (iter.get_glyph ()) &&
1446 (this+ruleSet[iter.get_coverage ()]).intersects (glyphs, lookup_context))
1447 return true;
1448 }
1449 return false;
1450 }
1451
1452 void closure (hb_closure_context_t *c) const
1453 {
1454 struct ContextClosureLookupContext lookup_context = {
1455 {intersects_glyph},
1456 nullptr
1457 };
1458
1459 unsigned int count = ruleSet.len;
1460 for (Coverage::Iter iter (this+coverage); iter.more (); iter.next ())
1461 {
1462 if (unlikely (iter.get_coverage () >= count))
1463 break; /* Work around malicious fonts. https://github.com/harfbuzz/harfbuzz/issues/363 */
1464 if (c->glyphs->has (iter.get_glyph ()))
1465 (this+ruleSet[iter.get_coverage ()]).closure (c, lookup_context);
1466 }
1467 }
1468
1469 void collect_glyphs (hb_collect_glyphs_context_t *c) const
1470 {
1471 (this+coverage).add_coverage (c->input);
1472
1473 struct ContextCollectGlyphsLookupContext lookup_context = {
1474 {collect_glyph},
1475 nullptr
1476 };
1477
1478 unsigned int count = ruleSet.len;
1479 for (unsigned int i = 0; i < count; i++)
1480 (this+ruleSet[i]).collect_glyphs (c, lookup_context);
1481 }
1482
1483 bool would_apply (hb_would_apply_context_t *c) const
1484 {
1485 TRACE_WOULD_APPLY (this);
1486
1487 const RuleSet &rule_set = this+ruleSet[(this+coverage).get_coverage (c->glyphs[0])];
1488 struct ContextApplyLookupContext lookup_context = {
1489 {match_glyph},
1490 nullptr
1491 };
1492 return_trace (rule_set.would_apply (c, lookup_context));
1493 }
1494
1495 const Coverage &get_coverage () const { return this+coverage; }
1496
1497 bool apply (hb_ot_apply_context_t *c) const
1498 {
1499 TRACE_APPLY (this);
1500 unsigned int index = (this+coverage).get_coverage (c->buffer->cur().codepoint);
1501 if (likely (index == NOT_COVERED))
1502 return_trace (false);
1503
1504 const RuleSet &rule_set = this+ruleSet[index];
1505 struct ContextApplyLookupContext lookup_context = {
1506 {match_glyph},
1507 nullptr
1508 };
1509 return_trace (rule_set.apply (c, lookup_context));
1510 }
1511
1512 bool subset (hb_subset_context_t *c) const
1513 {
1514 TRACE_SUBSET (this);
1515 // TODO(subset)
1516 return_trace (false);
1517 }
1518
1519 bool sanitize (hb_sanitize_context_t *c) const
1520 {
1521 TRACE_SANITIZE (this);
1522 return_trace (coverage.sanitize (c, this) && ruleSet.sanitize (c, this));
1523 }
1524
1525 protected:
1526 HBUINT16 format; /* Format identifier--format = 1 */
1527 OffsetTo<Coverage>
1528 coverage; /* Offset to Coverage table--from
1529 * beginning of table */
1530 OffsetArrayOf<RuleSet>
1531 ruleSet; /* Array of RuleSet tables
1532 * ordered by Coverage Index */
1533 public:
1534 DEFINE_SIZE_ARRAY (6, ruleSet);
1535};
1536
1537
1538struct ContextFormat2
1539{
1540 bool intersects (const hb_set_t *glyphs) const
1541 {
1542 if (!(this+coverage).intersects (glyphs))
1543 return false;
1544
1545 const ClassDef &class_def = this+classDef;
1546
1547 struct ContextClosureLookupContext lookup_context = {
1548 {intersects_class},
1549 &class_def
1550 };
1551
1552 unsigned int count = ruleSet.len;
1553 for (unsigned int i = 0; i < count; i++)
1554 if (class_def.intersects_class (glyphs, i) &&
1555 (this+ruleSet[i]).intersects (glyphs, lookup_context))
1556 return true;
1557
1558 return false;
1559 }
1560
1561 void closure (hb_closure_context_t *c) const
1562 {
1563 if (!(this+coverage).intersects (c->glyphs))
1564 return;
1565
1566 const ClassDef &class_def = this+classDef;
1567
1568 struct ContextClosureLookupContext lookup_context = {
1569 {intersects_class},
1570 &class_def
1571 };
1572
1573 unsigned int count = ruleSet.len;
1574 for (unsigned int i = 0; i < count; i++)
1575 if (class_def.intersects_class (c->glyphs, i)) {
1576 const RuleSet &rule_set = this+ruleSet[i];
1577 rule_set.closure (c, lookup_context);
1578 }
1579 }
1580
1581 void collect_glyphs (hb_collect_glyphs_context_t *c) const
1582 {
1583 (this+coverage).add_coverage (c->input);
1584
1585 const ClassDef &class_def = this+classDef;
1586 struct ContextCollectGlyphsLookupContext lookup_context = {
1587 {collect_class},
1588 &class_def
1589 };
1590
1591 unsigned int count = ruleSet.len;
1592 for (unsigned int i = 0; i < count; i++)
1593 (this+ruleSet[i]).collect_glyphs (c, lookup_context);
1594 }
1595
1596 bool would_apply (hb_would_apply_context_t *c) const
1597 {
1598 TRACE_WOULD_APPLY (this);
1599
1600 const ClassDef &class_def = this+classDef;
1601 unsigned int index = class_def.get_class (c->glyphs[0]);
1602 const RuleSet &rule_set = this+ruleSet[index];
1603 struct ContextApplyLookupContext lookup_context = {
1604 {match_class},
1605 &class_def
1606 };
1607 return_trace (rule_set.would_apply (c, lookup_context));
1608 }
1609
1610 const Coverage &get_coverage () const { return this+coverage; }
1611
1612 bool apply (hb_ot_apply_context_t *c) const
1613 {
1614 TRACE_APPLY (this);
1615 unsigned int index = (this+coverage).get_coverage (c->buffer->cur().codepoint);
1616 if (likely (index == NOT_COVERED)) return_trace (false);
1617
1618 const ClassDef &class_def = this+classDef;
1619 index = class_def.get_class (c->buffer->cur().codepoint);
1620 const RuleSet &rule_set = this+ruleSet[index];
1621 struct ContextApplyLookupContext lookup_context = {
1622 {match_class},
1623 &class_def
1624 };
1625 return_trace (rule_set.apply (c, lookup_context));
1626 }
1627
1628 bool subset (hb_subset_context_t *c) const
1629 {
1630 TRACE_SUBSET (this);
1631 // TODO(subset)
1632 return_trace (false);
1633 }
1634
1635 bool sanitize (hb_sanitize_context_t *c) const
1636 {
1637 TRACE_SANITIZE (this);
1638 return_trace (coverage.sanitize (c, this) && classDef.sanitize (c, this) && ruleSet.sanitize (c, this));
1639 }
1640
1641 protected:
1642 HBUINT16 format; /* Format identifier--format = 2 */
1643 OffsetTo<Coverage>
1644 coverage; /* Offset to Coverage table--from
1645 * beginning of table */
1646 OffsetTo<ClassDef>
1647 classDef; /* Offset to glyph ClassDef table--from
1648 * beginning of table */
1649 OffsetArrayOf<RuleSet>
1650 ruleSet; /* Array of RuleSet tables
1651 * ordered by class */
1652 public:
1653 DEFINE_SIZE_ARRAY (8, ruleSet);
1654};
1655
1656
1657struct ContextFormat3
1658{
1659 bool intersects (const hb_set_t *glyphs) const
1660 {
1661 if (!(this+coverageZ[0]).intersects (glyphs))
1662 return false;
1663
1664 struct ContextClosureLookupContext lookup_context = {
1665 {intersects_coverage},
1666 this
1667 };
1668 return context_intersects (glyphs,
1669 glyphCount, (const HBUINT16 *) (coverageZ.arrayZ + 1),
1670 lookup_context);
1671 }
1672
1673 void closure (hb_closure_context_t *c) const
1674 {
1675 if (!(this+coverageZ[0]).intersects (c->glyphs))
1676 return;
1677
1678 const LookupRecord *lookupRecord = &StructAfter<LookupRecord> (coverageZ.as_array (glyphCount));
1679 struct ContextClosureLookupContext lookup_context = {
1680 {intersects_coverage},
1681 this
1682 };
1683 context_closure_lookup (c,
1684 glyphCount, (const HBUINT16 *) (coverageZ.arrayZ + 1),
1685 lookupCount, lookupRecord,
1686 lookup_context);
1687 }
1688
1689 void collect_glyphs (hb_collect_glyphs_context_t *c) const
1690 {
1691 (this+coverageZ[0]).add_coverage (c->input);
1692
1693 const LookupRecord *lookupRecord = &StructAfter<LookupRecord> (coverageZ.as_array (glyphCount));
1694 struct ContextCollectGlyphsLookupContext lookup_context = {
1695 {collect_coverage},
1696 this
1697 };
1698
1699 context_collect_glyphs_lookup (c,
1700 glyphCount, (const HBUINT16 *) (coverageZ.arrayZ + 1),
1701 lookupCount, lookupRecord,
1702 lookup_context);
1703 }
1704
1705 bool would_apply (hb_would_apply_context_t *c) const
1706 {
1707 TRACE_WOULD_APPLY (this);
1708
1709 const LookupRecord *lookupRecord = &StructAfter<LookupRecord> (coverageZ.as_array (glyphCount));
1710 struct ContextApplyLookupContext lookup_context = {
1711 {match_coverage},
1712 this
1713 };
1714 return_trace (context_would_apply_lookup (c, glyphCount, (const HBUINT16 *) (coverageZ.arrayZ + 1), lookupCount, lookupRecord, lookup_context));
1715 }
1716
1717 const Coverage &get_coverage () const { return this+coverageZ[0]; }
1718
1719 bool apply (hb_ot_apply_context_t *c) const
1720 {
1721 TRACE_APPLY (this);
1722 unsigned int index = (this+coverageZ[0]).get_coverage (c->buffer->cur().codepoint);
1723 if (likely (index == NOT_COVERED)) return_trace (false);
1724
1725 const LookupRecord *lookupRecord = &StructAfter<LookupRecord> (coverageZ.as_array (glyphCount));
1726 struct ContextApplyLookupContext lookup_context = {
1727 {match_coverage},
1728 this
1729 };
1730 return_trace (context_apply_lookup (c, glyphCount, (const HBUINT16 *) (coverageZ.arrayZ + 1), lookupCount, lookupRecord, lookup_context));
1731 }
1732
1733 bool subset (hb_subset_context_t *c) const
1734 {
1735 TRACE_SUBSET (this);
1736 // TODO(subset)
1737 return_trace (false);
1738 }
1739
1740 bool sanitize (hb_sanitize_context_t *c) const
1741 {
1742 TRACE_SANITIZE (this);
1743 if (!c->check_struct (this)) return_trace (false);
1744 unsigned int count = glyphCount;
1745 if (!count) return_trace (false); /* We want to access coverageZ[0] freely. */
1746 if (!c->check_array (coverageZ.arrayZ, count)) return_trace (false);
1747 for (unsigned int i = 0; i < count; i++)
1748 if (!coverageZ[i].sanitize (c, this)) return_trace (false);
1749 const LookupRecord *lookupRecord = &StructAfter<LookupRecord> (coverageZ.as_array (glyphCount));
1750 return_trace (c->check_array (lookupRecord, lookupCount));
1751 }
1752
1753 protected:
1754 HBUINT16 format; /* Format identifier--format = 3 */
1755 HBUINT16 glyphCount; /* Number of glyphs in the input glyph
1756 * sequence */
1757 HBUINT16 lookupCount; /* Number of LookupRecords */
1758 UnsizedArrayOf<OffsetTo<Coverage> >
1759 coverageZ; /* Array of offsets to Coverage
1760 * table in glyph sequence order */
1761/*UnsizedArrayOf<LookupRecord>
1762 lookupRecordX;*/ /* Array of LookupRecords--in
1763 * design order */
1764 public:
1765 DEFINE_SIZE_ARRAY (6, coverageZ);
1766};
1767
1768struct Context
1769{
1770 template <typename context_t>
1771 typename context_t::return_t dispatch (context_t *c) const
1772 {
1773 TRACE_DISPATCH (this, u.format);
1774 if (unlikely (!c->may_dispatch (this, &u.format))) return_trace (c->no_dispatch_return_value ());
1775 switch (u.format) {
1776 case 1: return_trace (c->dispatch (u.format1));
1777 case 2: return_trace (c->dispatch (u.format2));
1778 case 3: return_trace (c->dispatch (u.format3));
1779 default:return_trace (c->default_return_value ());
1780 }
1781 }
1782
1783 protected:
1784 union {
1785 HBUINT16 format; /* Format identifier */
1786 ContextFormat1 format1;
1787 ContextFormat2 format2;
1788 ContextFormat3 format3;
1789 } u;
1790};
1791
1792
1793/* Chaining Contextual lookups */
1794
1795struct ChainContextClosureLookupContext
1796{
1797 ContextClosureFuncs funcs;
1798 const void *intersects_data[3];
1799};
1800
1801struct ChainContextCollectGlyphsLookupContext
1802{
1803 ContextCollectGlyphsFuncs funcs;
1804 const void *collect_data[3];
1805};
1806
1807struct ChainContextApplyLookupContext
1808{
1809 ContextApplyFuncs funcs;
1810 const void *match_data[3];
1811};
1812
1813static inline bool chain_context_intersects (const hb_set_t *glyphs,
1814 unsigned int backtrackCount,
1815 const HBUINT16 backtrack[],
1816 unsigned int inputCount, /* Including the first glyph (not matched) */
1817 const HBUINT16 input[], /* Array of input values--start with second glyph */
1818 unsigned int lookaheadCount,
1819 const HBUINT16 lookahead[],
1820 ChainContextClosureLookupContext &lookup_context)
1821{
1822 return intersects_array (glyphs,
1823 backtrackCount, backtrack,
1824 lookup_context.funcs.intersects, lookup_context.intersects_data[0])
1825 && intersects_array (glyphs,
1826 inputCount ? inputCount - 1 : 0, input,
1827 lookup_context.funcs.intersects, lookup_context.intersects_data[1])
1828 && intersects_array (glyphs,
1829 lookaheadCount, lookahead,
1830 lookup_context.funcs.intersects, lookup_context.intersects_data[2]);
1831}
1832
1833static inline void chain_context_closure_lookup (hb_closure_context_t *c,
1834 unsigned int backtrackCount,
1835 const HBUINT16 backtrack[],
1836 unsigned int inputCount, /* Including the first glyph (not matched) */
1837 const HBUINT16 input[], /* Array of input values--start with second glyph */
1838 unsigned int lookaheadCount,
1839 const HBUINT16 lookahead[],
1840 unsigned int lookupCount,
1841 const LookupRecord lookupRecord[],
1842 ChainContextClosureLookupContext &lookup_context)
1843{
1844 if (chain_context_intersects (c->glyphs,
1845 backtrackCount, backtrack,
1846 inputCount, input,
1847 lookaheadCount, lookahead,
1848 lookup_context))
1849 recurse_lookups (c,
1850 lookupCount, lookupRecord);
1851}
1852
1853static inline void chain_context_collect_glyphs_lookup (hb_collect_glyphs_context_t *c,
1854 unsigned int backtrackCount,
1855 const HBUINT16 backtrack[],
1856 unsigned int inputCount, /* Including the first glyph (not matched) */
1857 const HBUINT16 input[], /* Array of input values--start with second glyph */
1858 unsigned int lookaheadCount,
1859 const HBUINT16 lookahead[],
1860 unsigned int lookupCount,
1861 const LookupRecord lookupRecord[],
1862 ChainContextCollectGlyphsLookupContext &lookup_context)
1863{
1864 collect_array (c, c->before,
1865 backtrackCount, backtrack,
1866 lookup_context.funcs.collect, lookup_context.collect_data[0]);
1867 collect_array (c, c->input,
1868 inputCount ? inputCount - 1 : 0, input,
1869 lookup_context.funcs.collect, lookup_context.collect_data[1]);
1870 collect_array (c, c->after,
1871 lookaheadCount, lookahead,
1872 lookup_context.funcs.collect, lookup_context.collect_data[2]);
1873 recurse_lookups (c,
1874 lookupCount, lookupRecord);
1875}
1876
1877static inline bool chain_context_would_apply_lookup (hb_would_apply_context_t *c,
1878 unsigned int backtrackCount,
1879 const HBUINT16 backtrack[] HB_UNUSED,
1880 unsigned int inputCount, /* Including the first glyph (not matched) */
1881 const HBUINT16 input[], /* Array of input values--start with second glyph */
1882 unsigned int lookaheadCount,
1883 const HBUINT16 lookahead[] HB_UNUSED,
1884 unsigned int lookupCount HB_UNUSED,
1885 const LookupRecord lookupRecord[] HB_UNUSED,
1886 ChainContextApplyLookupContext &lookup_context)
1887{
1888 return (c->zero_context ? !backtrackCount && !lookaheadCount : true)
1889 && would_match_input (c,
1890 inputCount, input,
1891 lookup_context.funcs.match, lookup_context.match_data[1]);
1892}
1893
1894static inline bool chain_context_apply_lookup (hb_ot_apply_context_t *c,
1895 unsigned int backtrackCount,
1896 const HBUINT16 backtrack[],
1897 unsigned int inputCount, /* Including the first glyph (not matched) */
1898 const HBUINT16 input[], /* Array of input values--start with second glyph */
1899 unsigned int lookaheadCount,
1900 const HBUINT16 lookahead[],
1901 unsigned int lookupCount,
1902 const LookupRecord lookupRecord[],
1903 ChainContextApplyLookupContext &lookup_context)
1904{
1905 unsigned int start_index = 0, match_length = 0, end_index = 0;
1906 unsigned int match_positions[HB_MAX_CONTEXT_LENGTH];
1907 return match_input (c,
1908 inputCount, input,
1909 lookup_context.funcs.match, lookup_context.match_data[1],
1910 &match_length, match_positions)
1911 && match_backtrack (c,
1912 backtrackCount, backtrack,
1913 lookup_context.funcs.match, lookup_context.match_data[0],
1914 &start_index)
1915 && match_lookahead (c,
1916 lookaheadCount, lookahead,
1917 lookup_context.funcs.match, lookup_context.match_data[2],
1918 match_length, &end_index)
1919 && (c->buffer->unsafe_to_break_from_outbuffer (start_index, end_index),
1920 apply_lookup (c,
1921 inputCount, match_positions,
1922 lookupCount, lookupRecord,
1923 match_length));
1924}
1925
1926struct ChainRule
1927{
1928 bool intersects (const hb_set_t *glyphs, ChainContextClosureLookupContext &lookup_context) const
1929 {
1930 const HeadlessArrayOf<HBUINT16> &input = StructAfter<HeadlessArrayOf<HBUINT16> > (backtrack);
1931 const ArrayOf<HBUINT16> &lookahead = StructAfter<ArrayOf<HBUINT16> > (input);
1932 return chain_context_intersects (glyphs,
1933 backtrack.len, backtrack.arrayZ,
1934 input.lenP1, input.arrayZ,
1935 lookahead.len, lookahead.arrayZ,
1936 lookup_context);
1937 }
1938
1939 void closure (hb_closure_context_t *c,
1940 ChainContextClosureLookupContext &lookup_context) const
1941 {
1942 const HeadlessArrayOf<HBUINT16> &input = StructAfter<HeadlessArrayOf<HBUINT16> > (backtrack);
1943 const ArrayOf<HBUINT16> &lookahead = StructAfter<ArrayOf<HBUINT16> > (input);
1944 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
1945 chain_context_closure_lookup (c,
1946 backtrack.len, backtrack.arrayZ,
1947 input.lenP1, input.arrayZ,
1948 lookahead.len, lookahead.arrayZ,
1949 lookup.len, lookup.arrayZ,
1950 lookup_context);
1951 }
1952
1953 void collect_glyphs (hb_collect_glyphs_context_t *c,
1954 ChainContextCollectGlyphsLookupContext &lookup_context) const
1955 {
1956 const HeadlessArrayOf<HBUINT16> &input = StructAfter<HeadlessArrayOf<HBUINT16> > (backtrack);
1957 const ArrayOf<HBUINT16> &lookahead = StructAfter<ArrayOf<HBUINT16> > (input);
1958 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
1959 chain_context_collect_glyphs_lookup (c,
1960 backtrack.len, backtrack.arrayZ,
1961 input.lenP1, input.arrayZ,
1962 lookahead.len, lookahead.arrayZ,
1963 lookup.len, lookup.arrayZ,
1964 lookup_context);
1965 }
1966
1967 bool would_apply (hb_would_apply_context_t *c,
1968 ChainContextApplyLookupContext &lookup_context) const
1969 {
1970 TRACE_WOULD_APPLY (this);
1971 const HeadlessArrayOf<HBUINT16> &input = StructAfter<HeadlessArrayOf<HBUINT16> > (backtrack);
1972 const ArrayOf<HBUINT16> &lookahead = StructAfter<ArrayOf<HBUINT16> > (input);
1973 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
1974 return_trace (chain_context_would_apply_lookup (c,
1975 backtrack.len, backtrack.arrayZ,
1976 input.lenP1, input.arrayZ,
1977 lookahead.len, lookahead.arrayZ, lookup.len,
1978 lookup.arrayZ, lookup_context));
1979 }
1980
1981 bool apply (hb_ot_apply_context_t *c, ChainContextApplyLookupContext &lookup_context) const
1982 {
1983 TRACE_APPLY (this);
1984 const HeadlessArrayOf<HBUINT16> &input = StructAfter<HeadlessArrayOf<HBUINT16> > (backtrack);
1985 const ArrayOf<HBUINT16> &lookahead = StructAfter<ArrayOf<HBUINT16> > (input);
1986 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
1987 return_trace (chain_context_apply_lookup (c,
1988 backtrack.len, backtrack.arrayZ,
1989 input.lenP1, input.arrayZ,
1990 lookahead.len, lookahead.arrayZ, lookup.len,
1991 lookup.arrayZ, lookup_context));
1992 }
1993
1994 bool sanitize (hb_sanitize_context_t *c) const
1995 {
1996 TRACE_SANITIZE (this);
1997 if (!backtrack.sanitize (c)) return_trace (false);
1998 const HeadlessArrayOf<HBUINT16> &input = StructAfter<HeadlessArrayOf<HBUINT16> > (backtrack);
1999 if (!input.sanitize (c)) return_trace (false);
2000 const ArrayOf<HBUINT16> &lookahead = StructAfter<ArrayOf<HBUINT16> > (input);
2001 if (!lookahead.sanitize (c)) return_trace (false);
2002 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
2003 return_trace (lookup.sanitize (c));
2004 }
2005
2006 protected:
2007 ArrayOf<HBUINT16>
2008 backtrack; /* Array of backtracking values
2009 * (to be matched before the input
2010 * sequence) */
2011 HeadlessArrayOf<HBUINT16>
2012 inputX; /* Array of input values (start with
2013 * second glyph) */
2014 ArrayOf<HBUINT16>
2015 lookaheadX; /* Array of lookahead values's (to be
2016 * matched after the input sequence) */
2017 ArrayOf<LookupRecord>
2018 lookupX; /* Array of LookupRecords--in
2019 * design order) */
2020 public:
2021 DEFINE_SIZE_MIN (8);
2022};
2023
2024struct ChainRuleSet
2025{
2026 bool intersects (const hb_set_t *glyphs, ChainContextClosureLookupContext &lookup_context) const
2027 {
2028 unsigned int num_rules = rule.len;
2029 for (unsigned int i = 0; i < num_rules; i++)
2030 if ((this+rule[i]).intersects (glyphs, lookup_context))
2031 return true;
2032 return false;
2033 }
2034 void closure (hb_closure_context_t *c, ChainContextClosureLookupContext &lookup_context) const
2035 {
2036 unsigned int num_rules = rule.len;
2037 for (unsigned int i = 0; i < num_rules; i++)
2038 (this+rule[i]).closure (c, lookup_context);
2039 }
2040
2041 void collect_glyphs (hb_collect_glyphs_context_t *c, ChainContextCollectGlyphsLookupContext &lookup_context) const
2042 {
2043 unsigned int num_rules = rule.len;
2044 for (unsigned int i = 0; i < num_rules; i++)
2045 (this+rule[i]).collect_glyphs (c, lookup_context);
2046 }
2047
2048 bool would_apply (hb_would_apply_context_t *c, ChainContextApplyLookupContext &lookup_context) const
2049 {
2050 TRACE_WOULD_APPLY (this);
2051 unsigned int num_rules = rule.len;
2052 for (unsigned int i = 0; i < num_rules; i++)
2053 if ((this+rule[i]).would_apply (c, lookup_context))
2054 return_trace (true);
2055
2056 return_trace (false);
2057 }
2058
2059 bool apply (hb_ot_apply_context_t *c, ChainContextApplyLookupContext &lookup_context) const
2060 {
2061 TRACE_APPLY (this);
2062 unsigned int num_rules = rule.len;
2063 for (unsigned int i = 0; i < num_rules; i++)
2064 if ((this+rule[i]).apply (c, lookup_context))
2065 return_trace (true);
2066
2067 return_trace (false);
2068 }
2069
2070 bool sanitize (hb_sanitize_context_t *c) const
2071 {
2072 TRACE_SANITIZE (this);
2073 return_trace (rule.sanitize (c, this));
2074 }
2075
2076 protected:
2077 OffsetArrayOf<ChainRule>
2078 rule; /* Array of ChainRule tables
2079 * ordered by preference */
2080 public:
2081 DEFINE_SIZE_ARRAY (2, rule);
2082};
2083
2084struct ChainContextFormat1
2085{
2086 bool intersects (const hb_set_t *glyphs) const
2087 {
2088 struct ChainContextClosureLookupContext lookup_context = {
2089 {intersects_glyph},
2090 {nullptr, nullptr, nullptr}
2091 };
2092
2093 unsigned int count = ruleSet.len;
2094 for (Coverage::Iter iter (this+coverage); iter.more (); iter.next ())
2095 {
2096 if (unlikely (iter.get_coverage () >= count))
2097 break; /* Work around malicious fonts. https://github.com/harfbuzz/harfbuzz/issues/363 */
2098 if (glyphs->has (iter.get_glyph ()) &&
2099 (this+ruleSet[iter.get_coverage ()]).intersects (glyphs, lookup_context))
2100 return true;
2101 }
2102 return false;
2103 }
2104
2105 void closure (hb_closure_context_t *c) const
2106 {
2107 struct ChainContextClosureLookupContext lookup_context = {
2108 {intersects_glyph},
2109 {nullptr, nullptr, nullptr}
2110 };
2111
2112 unsigned int count = ruleSet.len;
2113 for (Coverage::Iter iter (this+coverage); iter.more (); iter.next ())
2114 {
2115 if (unlikely (iter.get_coverage () >= count))
2116 break; /* Work around malicious fonts. https://github.com/harfbuzz/harfbuzz/issues/363 */
2117 if (c->glyphs->has (iter.get_glyph ()))
2118 (this+ruleSet[iter.get_coverage ()]).closure (c, lookup_context);
2119 }
2120 }
2121
2122 void collect_glyphs (hb_collect_glyphs_context_t *c) const
2123 {
2124 (this+coverage).add_coverage (c->input);
2125
2126 struct ChainContextCollectGlyphsLookupContext lookup_context = {
2127 {collect_glyph},
2128 {nullptr, nullptr, nullptr}
2129 };
2130
2131 unsigned int count = ruleSet.len;
2132 for (unsigned int i = 0; i < count; i++)
2133 (this+ruleSet[i]).collect_glyphs (c, lookup_context);
2134 }
2135
2136 bool would_apply (hb_would_apply_context_t *c) const
2137 {
2138 TRACE_WOULD_APPLY (this);
2139
2140 const ChainRuleSet &rule_set = this+ruleSet[(this+coverage).get_coverage (c->glyphs[0])];
2141 struct ChainContextApplyLookupContext lookup_context = {
2142 {match_glyph},
2143 {nullptr, nullptr, nullptr}
2144 };
2145 return_trace (rule_set.would_apply (c, lookup_context));
2146 }
2147
2148 const Coverage &get_coverage () const { return this+coverage; }
2149
2150 bool apply (hb_ot_apply_context_t *c) const
2151 {
2152 TRACE_APPLY (this);
2153 unsigned int index = (this+coverage).get_coverage (c->buffer->cur().codepoint);
2154 if (likely (index == NOT_COVERED)) return_trace (false);
2155
2156 const ChainRuleSet &rule_set = this+ruleSet[index];
2157 struct ChainContextApplyLookupContext lookup_context = {
2158 {match_glyph},
2159 {nullptr, nullptr, nullptr}
2160 };
2161 return_trace (rule_set.apply (c, lookup_context));
2162 }
2163
2164 bool subset (hb_subset_context_t *c) const
2165 {
2166 TRACE_SUBSET (this);
2167 // TODO(subset)
2168 return_trace (false);
2169 }
2170
2171 bool sanitize (hb_sanitize_context_t *c) const
2172 {
2173 TRACE_SANITIZE (this);
2174 return_trace (coverage.sanitize (c, this) && ruleSet.sanitize (c, this));
2175 }
2176
2177 protected:
2178 HBUINT16 format; /* Format identifier--format = 1 */
2179 OffsetTo<Coverage>
2180 coverage; /* Offset to Coverage table--from
2181 * beginning of table */
2182 OffsetArrayOf<ChainRuleSet>
2183 ruleSet; /* Array of ChainRuleSet tables
2184 * ordered by Coverage Index */
2185 public:
2186 DEFINE_SIZE_ARRAY (6, ruleSet);
2187};
2188
2189struct ChainContextFormat2
2190{
2191 bool intersects (const hb_set_t *glyphs) const
2192 {
2193 if (!(this+coverage).intersects (glyphs))
2194 return false;
2195
2196 const ClassDef &backtrack_class_def = this+backtrackClassDef;
2197 const ClassDef &input_class_def = this+inputClassDef;
2198 const ClassDef &lookahead_class_def = this+lookaheadClassDef;
2199
2200 struct ChainContextClosureLookupContext lookup_context = {
2201 {intersects_class},
2202 {&backtrack_class_def,
2203 &input_class_def,
2204 &lookahead_class_def}
2205 };
2206
2207 unsigned int count = ruleSet.len;
2208 for (unsigned int i = 0; i < count; i++)
2209 if (input_class_def.intersects_class (glyphs, i) &&
2210 (this+ruleSet[i]).intersects (glyphs, lookup_context))
2211 return true;
2212
2213 return false;
2214 }
2215 void closure (hb_closure_context_t *c) const
2216 {
2217 if (!(this+coverage).intersects (c->glyphs))
2218 return;
2219
2220 const ClassDef &backtrack_class_def = this+backtrackClassDef;
2221 const ClassDef &input_class_def = this+inputClassDef;
2222 const ClassDef &lookahead_class_def = this+lookaheadClassDef;
2223
2224 struct ChainContextClosureLookupContext lookup_context = {
2225 {intersects_class},
2226 {&backtrack_class_def,
2227 &input_class_def,
2228 &lookahead_class_def}
2229 };
2230
2231 unsigned int count = ruleSet.len;
2232 for (unsigned int i = 0; i < count; i++)
2233 if (input_class_def.intersects_class (c->glyphs, i)) {
2234 const ChainRuleSet &rule_set = this+ruleSet[i];
2235 rule_set.closure (c, lookup_context);
2236 }
2237 }
2238
2239 void collect_glyphs (hb_collect_glyphs_context_t *c) const
2240 {
2241 (this+coverage).add_coverage (c->input);
2242
2243 const ClassDef &backtrack_class_def = this+backtrackClassDef;
2244 const ClassDef &input_class_def = this+inputClassDef;
2245 const ClassDef &lookahead_class_def = this+lookaheadClassDef;
2246
2247 struct ChainContextCollectGlyphsLookupContext lookup_context = {
2248 {collect_class},
2249 {&backtrack_class_def,
2250 &input_class_def,
2251 &lookahead_class_def}
2252 };
2253
2254 unsigned int count = ruleSet.len;
2255 for (unsigned int i = 0; i < count; i++)
2256 (this+ruleSet[i]).collect_glyphs (c, lookup_context);
2257 }
2258
2259 bool would_apply (hb_would_apply_context_t *c) const
2260 {
2261 TRACE_WOULD_APPLY (this);
2262
2263 const ClassDef &backtrack_class_def = this+backtrackClassDef;
2264 const ClassDef &input_class_def = this+inputClassDef;
2265 const ClassDef &lookahead_class_def = this+lookaheadClassDef;
2266
2267 unsigned int index = input_class_def.get_class (c->glyphs[0]);
2268 const ChainRuleSet &rule_set = this+ruleSet[index];
2269 struct ChainContextApplyLookupContext lookup_context = {
2270 {match_class},
2271 {&backtrack_class_def,
2272 &input_class_def,
2273 &lookahead_class_def}
2274 };
2275 return_trace (rule_set.would_apply (c, lookup_context));
2276 }
2277
2278 const Coverage &get_coverage () const { return this+coverage; }
2279
2280 bool apply (hb_ot_apply_context_t *c) const
2281 {
2282 TRACE_APPLY (this);
2283 unsigned int index = (this+coverage).get_coverage (c->buffer->cur().codepoint);
2284 if (likely (index == NOT_COVERED)) return_trace (false);
2285
2286 const ClassDef &backtrack_class_def = this+backtrackClassDef;
2287 const ClassDef &input_class_def = this+inputClassDef;
2288 const ClassDef &lookahead_class_def = this+lookaheadClassDef;
2289
2290 index = input_class_def.get_class (c->buffer->cur().codepoint);
2291 const ChainRuleSet &rule_set = this+ruleSet[index];
2292 struct ChainContextApplyLookupContext lookup_context = {
2293 {match_class},
2294 {&backtrack_class_def,
2295 &input_class_def,
2296 &lookahead_class_def}
2297 };
2298 return_trace (rule_set.apply (c, lookup_context));
2299 }
2300
2301 bool subset (hb_subset_context_t *c) const
2302 {
2303 TRACE_SUBSET (this);
2304 // TODO(subset)
2305 return_trace (false);
2306 }
2307
2308 bool sanitize (hb_sanitize_context_t *c) const
2309 {
2310 TRACE_SANITIZE (this);
2311 return_trace (coverage.sanitize (c, this) &&
2312 backtrackClassDef.sanitize (c, this) &&
2313 inputClassDef.sanitize (c, this) &&
2314 lookaheadClassDef.sanitize (c, this) &&
2315 ruleSet.sanitize (c, this));
2316 }
2317
2318 protected:
2319 HBUINT16 format; /* Format identifier--format = 2 */
2320 OffsetTo<Coverage>
2321 coverage; /* Offset to Coverage table--from
2322 * beginning of table */
2323 OffsetTo<ClassDef>
2324 backtrackClassDef; /* Offset to glyph ClassDef table
2325 * containing backtrack sequence
2326 * data--from beginning of table */
2327 OffsetTo<ClassDef>
2328 inputClassDef; /* Offset to glyph ClassDef
2329 * table containing input sequence
2330 * data--from beginning of table */
2331 OffsetTo<ClassDef>
2332 lookaheadClassDef; /* Offset to glyph ClassDef table
2333 * containing lookahead sequence
2334 * data--from beginning of table */
2335 OffsetArrayOf<ChainRuleSet>
2336 ruleSet; /* Array of ChainRuleSet tables
2337 * ordered by class */
2338 public:
2339 DEFINE_SIZE_ARRAY (12, ruleSet);
2340};
2341
2342struct ChainContextFormat3
2343{
2344 bool intersects (const hb_set_t *glyphs) const
2345 {
2346 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2347
2348 if (!(this+input[0]).intersects (glyphs))
2349 return false;
2350
2351 const OffsetArrayOf<Coverage> &lookahead = StructAfter<OffsetArrayOf<Coverage> > (input);
2352 struct ChainContextClosureLookupContext lookup_context = {
2353 {intersects_coverage},
2354 {this, this, this}
2355 };
2356 return chain_context_intersects (glyphs,
2357 backtrack.len, (const HBUINT16 *) backtrack.arrayZ,
2358 input.len, (const HBUINT16 *) input.arrayZ + 1,
2359 lookahead.len, (const HBUINT16 *) lookahead.arrayZ,
2360 lookup_context);
2361 }
2362
2363 void closure (hb_closure_context_t *c) const
2364 {
2365 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2366
2367 if (!(this+input[0]).intersects (c->glyphs))
2368 return;
2369
2370 const OffsetArrayOf<Coverage> &lookahead = StructAfter<OffsetArrayOf<Coverage> > (input);
2371 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
2372 struct ChainContextClosureLookupContext lookup_context = {
2373 {intersects_coverage},
2374 {this, this, this}
2375 };
2376 chain_context_closure_lookup (c,
2377 backtrack.len, (const HBUINT16 *) backtrack.arrayZ,
2378 input.len, (const HBUINT16 *) input.arrayZ + 1,
2379 lookahead.len, (const HBUINT16 *) lookahead.arrayZ,
2380 lookup.len, lookup.arrayZ,
2381 lookup_context);
2382 }
2383
2384 void collect_glyphs (hb_collect_glyphs_context_t *c) const
2385 {
2386 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2387
2388 (this+input[0]).add_coverage (c->input);
2389
2390 const OffsetArrayOf<Coverage> &lookahead = StructAfter<OffsetArrayOf<Coverage> > (input);
2391 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
2392 struct ChainContextCollectGlyphsLookupContext lookup_context = {
2393 {collect_coverage},
2394 {this, this, this}
2395 };
2396 chain_context_collect_glyphs_lookup (c,
2397 backtrack.len, (const HBUINT16 *) backtrack.arrayZ,
2398 input.len, (const HBUINT16 *) input.arrayZ + 1,
2399 lookahead.len, (const HBUINT16 *) lookahead.arrayZ,
2400 lookup.len, lookup.arrayZ,
2401 lookup_context);
2402 }
2403
2404 bool would_apply (hb_would_apply_context_t *c) const
2405 {
2406 TRACE_WOULD_APPLY (this);
2407
2408 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2409 const OffsetArrayOf<Coverage> &lookahead = StructAfter<OffsetArrayOf<Coverage> > (input);
2410 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
2411 struct ChainContextApplyLookupContext lookup_context = {
2412 {match_coverage},
2413 {this, this, this}
2414 };
2415 return_trace (chain_context_would_apply_lookup (c,
2416 backtrack.len, (const HBUINT16 *) backtrack.arrayZ,
2417 input.len, (const HBUINT16 *) input.arrayZ + 1,
2418 lookahead.len, (const HBUINT16 *) lookahead.arrayZ,
2419 lookup.len, lookup.arrayZ, lookup_context));
2420 }
2421
2422 const Coverage &get_coverage () const
2423 {
2424 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2425 return this+input[0];
2426 }
2427
2428 bool apply (hb_ot_apply_context_t *c) const
2429 {
2430 TRACE_APPLY (this);
2431 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2432
2433 unsigned int index = (this+input[0]).get_coverage (c->buffer->cur().codepoint);
2434 if (likely (index == NOT_COVERED)) return_trace (false);
2435
2436 const OffsetArrayOf<Coverage> &lookahead = StructAfter<OffsetArrayOf<Coverage> > (input);
2437 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
2438 struct ChainContextApplyLookupContext lookup_context = {
2439 {match_coverage},
2440 {this, this, this}
2441 };
2442 return_trace (chain_context_apply_lookup (c,
2443 backtrack.len, (const HBUINT16 *) backtrack.arrayZ,
2444 input.len, (const HBUINT16 *) input.arrayZ + 1,
2445 lookahead.len, (const HBUINT16 *) lookahead.arrayZ,
2446 lookup.len, lookup.arrayZ, lookup_context));
2447 }
2448
2449 bool subset (hb_subset_context_t *c) const
2450 {
2451 TRACE_SUBSET (this);
2452 // TODO(subset)
2453 return_trace (false);
2454 }
2455
2456 bool sanitize (hb_sanitize_context_t *c) const
2457 {
2458 TRACE_SANITIZE (this);
2459 if (!backtrack.sanitize (c, this)) return_trace (false);
2460 const OffsetArrayOf<Coverage> &input = StructAfter<OffsetArrayOf<Coverage> > (backtrack);
2461 if (!input.sanitize (c, this)) return_trace (false);
2462 if (!input.len) return_trace (false); /* To be consistent with Context. */
2463 const OffsetArrayOf<Coverage> &lookahead = StructAfter<OffsetArrayOf<Coverage> > (input);
2464 if (!lookahead.sanitize (c, this)) return_trace (false);
2465 const ArrayOf<LookupRecord> &lookup = StructAfter<ArrayOf<LookupRecord> > (lookahead);
2466 return_trace (lookup.sanitize (c));
2467 }
2468
2469 protected:
2470 HBUINT16 format; /* Format identifier--format = 3 */
2471 OffsetArrayOf<Coverage>
2472 backtrack; /* Array of coverage tables
2473 * in backtracking sequence, in glyph
2474 * sequence order */
2475 OffsetArrayOf<Coverage>
2476 inputX ; /* Array of coverage
2477 * tables in input sequence, in glyph
2478 * sequence order */
2479 OffsetArrayOf<Coverage>
2480 lookaheadX; /* Array of coverage tables
2481 * in lookahead sequence, in glyph
2482 * sequence order */
2483 ArrayOf<LookupRecord>
2484 lookupX; /* Array of LookupRecords--in
2485 * design order) */
2486 public:
2487 DEFINE_SIZE_MIN (10);
2488};
2489
2490struct ChainContext
2491{
2492 template <typename context_t>
2493 typename context_t::return_t dispatch (context_t *c) const
2494 {
2495 TRACE_DISPATCH (this, u.format);
2496 if (unlikely (!c->may_dispatch (this, &u.format))) return_trace (c->no_dispatch_return_value ());
2497 switch (u.format) {
2498 case 1: return_trace (c->dispatch (u.format1));
2499 case 2: return_trace (c->dispatch (u.format2));
2500 case 3: return_trace (c->dispatch (u.format3));
2501 default:return_trace (c->default_return_value ());
2502 }
2503 }
2504
2505 protected:
2506 union {
2507 HBUINT16 format; /* Format identifier */
2508 ChainContextFormat1 format1;
2509 ChainContextFormat2 format2;
2510 ChainContextFormat3 format3;
2511 } u;
2512};
2513
2514
2515template <typename T>
2516struct ExtensionFormat1
2517{
2518 unsigned int get_type () const { return extensionLookupType; }
2519
2520 template <typename X>
2521 const X& get_subtable () const
2522 {
2523 unsigned int offset = extensionOffset;
2524 if (unlikely (!offset)) return Null(typename T::SubTable);
2525 return StructAtOffset<typename T::SubTable> (this, offset);
2526 }
2527
2528 template <typename context_t>
2529 typename context_t::return_t dispatch (context_t *c) const
2530 {
2531 TRACE_DISPATCH (this, format);
2532 if (unlikely (!c->may_dispatch (this, this))) return_trace (c->no_dispatch_return_value ());
2533 return_trace (get_subtable<typename T::SubTable> ().dispatch (c, get_type ()));
2534 }
2535
2536 /* This is called from may_dispatch() above with hb_sanitize_context_t. */
2537 bool sanitize (hb_sanitize_context_t *c) const
2538 {
2539 TRACE_SANITIZE (this);
2540 return_trace (c->check_struct (this) &&
2541 extensionOffset != 0 &&
2542 extensionLookupType != T::SubTable::Extension);
2543 }
2544
2545 protected:
2546 HBUINT16 format; /* Format identifier. Set to 1. */
2547 HBUINT16 extensionLookupType; /* Lookup type of subtable referenced
2548 * by ExtensionOffset (i.e. the
2549 * extension subtable). */
2550 HBUINT32 extensionOffset; /* Offset to the extension subtable,
2551 * of lookup type subtable. */
2552 public:
2553 DEFINE_SIZE_STATIC (8);
2554};
2555
2556template <typename T>
2557struct Extension
2558{
2559 unsigned int get_type () const
2560 {
2561 switch (u.format) {
2562 case 1: return u.format1.get_type ();
2563 default:return 0;
2564 }
2565 }
2566 template <typename X>
2567 const X& get_subtable () const
2568 {
2569 switch (u.format) {
2570 case 1: return u.format1.template get_subtable<typename T::SubTable> ();
2571 default:return Null(typename T::SubTable);
2572 }
2573 }
2574
2575 template <typename context_t>
2576 typename context_t::return_t dispatch (context_t *c) const
2577 {
2578 TRACE_DISPATCH (this, u.format);
2579 if (unlikely (!c->may_dispatch (this, &u.format))) return_trace (c->no_dispatch_return_value ());
2580 switch (u.format) {
2581 case 1: return_trace (u.format1.dispatch (c));
2582 default:return_trace (c->default_return_value ());
2583 }
2584 }
2585
2586 protected:
2587 union {
2588 HBUINT16 format; /* Format identifier */
2589 ExtensionFormat1<T> format1;
2590 } u;
2591};
2592
2593
2594/*
2595 * GSUB/GPOS Common
2596 */
2597
2598struct hb_ot_layout_lookup_accelerator_t
2599{
2600 template <typename TLookup>
2601 void init (const TLookup &lookup)
2602 {
2603 digest.init ();
2604 lookup.add_coverage (&digest);
2605
2606 subtables.init ();
2607 OT::hb_get_subtables_context_t c_get_subtables (subtables);
2608 lookup.dispatch (&c_get_subtables);
2609 }
2610 void fini () { subtables.fini (); }
2611
2612 bool may_have (hb_codepoint_t g) const
2613 { return digest.may_have (g); }
2614
2615 bool apply (hb_ot_apply_context_t *c) const
2616 {
2617 for (unsigned int i = 0; i < subtables.length; i++)
2618 if (subtables[i].apply (c))
2619 return true;
2620 return false;
2621 }
2622
2623 private:
2624 hb_set_digest_t digest;
2625 hb_get_subtables_context_t::array_t subtables;
2626};
2627
2628struct GSUBGPOS
2629{
2630 bool has_data () const { return version.to_int (); }
2631 unsigned int get_script_count () const
2632 { return (this+scriptList).len; }
2633 const Tag& get_script_tag (unsigned int i) const
2634 { return (this+scriptList).get_tag (i); }
2635 unsigned int get_script_tags (unsigned int start_offset,
2636 unsigned int *script_count /* IN/OUT */,
2637 hb_tag_t *script_tags /* OUT */) const
2638 { return (this+scriptList).get_tags (start_offset, script_count, script_tags); }
2639 const Script& get_script (unsigned int i) const
2640 { return (this+scriptList)[i]; }
2641 bool find_script_index (hb_tag_t tag, unsigned int *index) const
2642 { return (this+scriptList).find_index (tag, index); }
2643
2644 unsigned int get_feature_count () const
2645 { return (this+featureList).len; }
2646 hb_tag_t get_feature_tag (unsigned int i) const
2647 { return i == Index::NOT_FOUND_INDEX ? HB_TAG_NONE : (this+featureList).get_tag (i); }
2648 unsigned int get_feature_tags (unsigned int start_offset,
2649 unsigned int *feature_count /* IN/OUT */,
2650 hb_tag_t *feature_tags /* OUT */) const
2651 { return (this+featureList).get_tags (start_offset, feature_count, feature_tags); }
2652 const Feature& get_feature (unsigned int i) const
2653 { return (this+featureList)[i]; }
2654 bool find_feature_index (hb_tag_t tag, unsigned int *index) const
2655 { return (this+featureList).find_index (tag, index); }
2656
2657 unsigned int get_lookup_count () const
2658 { return (this+lookupList).len; }
2659 const Lookup& get_lookup (unsigned int i) const
2660 { return (this+lookupList)[i]; }
2661
2662 bool find_variations_index (const int *coords, unsigned int num_coords,
2663 unsigned int *index) const
2664 { return (version.to_int () >= 0x00010001u ? this+featureVars : Null(FeatureVariations))
2665 .find_index (coords, num_coords, index); }
2666 const Feature& get_feature_variation (unsigned int feature_index,
2667 unsigned int variations_index) const
2668 {
2669 if (FeatureVariations::NOT_FOUND_INDEX != variations_index &&
2670 version.to_int () >= 0x00010001u)
2671 {
2672 const Feature *feature = (this+featureVars).find_substitute (variations_index,
2673 feature_index);
2674 if (feature)
2675 return *feature;
2676 }
2677 return get_feature (feature_index);
2678 }
2679
2680 template <typename TLookup>
2681 bool subset (hb_subset_context_t *c) const
2682 {
2683 TRACE_SUBSET (this);
2684 struct GSUBGPOS *out = c->serializer->embed (*this);
2685 if (unlikely (!out)) return_trace (false);
2686
2687 out->scriptList.serialize_subset (c, this+scriptList, out);
2688 out->featureList.serialize_subset (c, this+featureList, out);
2689
2690 typedef OffsetListOf<TLookup> TLookupList;
2691 /* TODO Use intersects() to count how many subtables survive? */
2692 CastR<OffsetTo<TLookupList> > (out->lookupList)
2693 .serialize_subset (c,
2694 this+CastR<const OffsetTo<TLookupList> > (lookupList),
2695 out);
2696
2697 if (version.to_int () >= 0x00010001u)
2698 out->featureVars.serialize_subset (c, this+featureVars, out);
2699
2700 return_trace (true);
2701 }
2702
2703 unsigned int get_size () const
2704 {
2705 return min_size +
2706 (version.to_int () >= 0x00010001u ? featureVars.static_size : 0);
2707 }
2708
2709 template <typename TLookup>
2710 bool sanitize (hb_sanitize_context_t *c) const
2711 {
2712 TRACE_SANITIZE (this);
2713 typedef OffsetListOf<TLookup> TLookupList;
2714 return_trace (version.sanitize (c) &&
2715 likely (version.major == 1) &&
2716 scriptList.sanitize (c, this) &&
2717 featureList.sanitize (c, this) &&
2718 CastR<OffsetTo<TLookupList> > (lookupList).sanitize (c, this) &&
2719 (version.to_int () < 0x00010001u || featureVars.sanitize (c, this)));
2720 }
2721
2722 template <typename T>
2723 struct accelerator_t
2724 {
2725 void init (hb_face_t *face)
2726 {
2727 this->table = hb_sanitize_context_t().reference_table<T> (face);
2728 if (unlikely (this->table->is_blacklisted (this->table.get_blob (), face)))
2729 {
2730 hb_blob_destroy (this->table.get_blob ());
2731 this->table = hb_blob_get_empty ();
2732 }
2733
2734 this->lookup_count = table->get_lookup_count ();
2735
2736 this->accels = (hb_ot_layout_lookup_accelerator_t *) calloc (this->lookup_count, sizeof (hb_ot_layout_lookup_accelerator_t));
2737 if (unlikely (!this->accels))
2738 this->lookup_count = 0;
2739
2740 for (unsigned int i = 0; i < this->lookup_count; i++)
2741 this->accels[i].init (table->get_lookup (i));
2742 }
2743
2744 void fini ()
2745 {
2746 for (unsigned int i = 0; i < this->lookup_count; i++)
2747 this->accels[i].fini ();
2748 free (this->accels);
2749 this->table.destroy ();
2750 }
2751
2752 hb_blob_ptr_t<T> table;
2753 unsigned int lookup_count;
2754 hb_ot_layout_lookup_accelerator_t *accels;
2755 };
2756
2757 protected:
2758 FixedVersion<>version; /* Version of the GSUB/GPOS table--initially set
2759 * to 0x00010000u */
2760 OffsetTo<ScriptList>
2761 scriptList; /* ScriptList table */
2762 OffsetTo<FeatureList>
2763 featureList; /* FeatureList table */
2764 OffsetTo<LookupList>
2765 lookupList; /* LookupList table */
2766 LOffsetTo<FeatureVariations>
2767 featureVars; /* Offset to Feature Variations
2768 table--from beginning of table
2769 * (may be NULL). Introduced
2770 * in version 0x00010001. */
2771 public:
2772 DEFINE_SIZE_MIN (10);
2773};
2774
2775
2776} /* namespace OT */
2777
2778
2779#endif /* HB_OT_LAYOUT_GSUBGPOS_HH */
2780