1 /*
2 * Copyright © 2007,2008,2009 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_COMMON_HH
30 #define HB_OT_LAYOUT_COMMON_HH
31
32 #include "hb.hh"
33 #include "hb-ot-layout.hh"
34 #include "hb-open-type.hh"
35 #include "hb-set.hh"
36 #include "hb-bimap.hh"
37
38
39 #ifndef HB_MAX_NESTING_LEVEL
40 #define HB_MAX_NESTING_LEVEL 6
41 #endif
42 #ifndef HB_MAX_CONTEXT_LENGTH
43 #define HB_MAX_CONTEXT_LENGTH 64
44 #endif
45 #ifndef HB_CLOSURE_MAX_STAGES
46 /*
47 * The maximum number of times a lookup can be applied during shaping.
48 * Used to limit the number of iterations of the closure algorithm.
49 * This must be larger than the number of times add_pause() is
50 * called in a collect_features call of any shaper.
51 */
52 #define HB_CLOSURE_MAX_STAGES 32
53 #endif
54
55 #ifndef HB_MAX_SCRIPTS
56 #define HB_MAX_SCRIPTS 500
57 #endif
58
59 #ifndef HB_MAX_LANGSYS
60 #define HB_MAX_LANGSYS 2000
61 #endif
62
63 #ifndef HB_MAX_FEATURES
64 #define HB_MAX_FEATURES 750
65 #endif
66
67 #ifndef HB_MAX_FEATURE_INDICES
68 #define HB_MAX_FEATURE_INDICES 1500
69 #endif
70
71 #ifndef HB_MAX_LOOKUP_VISIT_COUNT
72 #define HB_MAX_LOOKUP_VISIT_COUNT 35000
73 #endif
74
75
76 namespace OT {
77
78
79 #define NOT_COVERED ((unsigned int) -1)
80
81
82 template<typename Iterator>
83 static inline void Coverage_serialize (hb_serialize_context_t *c,
84 Iterator it);
85
86 template<typename Iterator>
87 static inline void ClassDef_serialize (hb_serialize_context_t *c,
88 Iterator it);
89
90 static void ClassDef_remap_and_serialize (hb_serialize_context_t *c,
91 const hb_map_t &gid_klass_map,
92 hb_sorted_vector_t<HBGlyphID16> &glyphs,
93 const hb_set_t &klasses,
94 bool use_class_zero,
95 hb_map_t *klass_map /*INOUT*/);
96
97
98 struct hb_prune_langsys_context_t
99 {
hb_prune_langsys_context_tOT::hb_prune_langsys_context_t100 hb_prune_langsys_context_t (const void *table_,
101 hb_hashmap_t<unsigned, hb_set_t *> *script_langsys_map_,
102 const hb_map_t *duplicate_feature_map_,
103 hb_set_t *new_collected_feature_indexes_)
104 :table (table_),
105 script_langsys_map (script_langsys_map_),
106 duplicate_feature_map (duplicate_feature_map_),
107 new_feature_indexes (new_collected_feature_indexes_),
108 script_count (0),langsys_count (0) {}
109
visitedScriptOT::hb_prune_langsys_context_t110 bool visitedScript (const void *s)
111 {
112 if (script_count++ > HB_MAX_SCRIPTS)
113 return true;
114
115 return visited (s, visited_script);
116 }
117
visitedLangsysOT::hb_prune_langsys_context_t118 bool visitedLangsys (const void *l)
119 {
120 if (langsys_count++ > HB_MAX_LANGSYS)
121 return true;
122
123 return visited (l, visited_langsys);
124 }
125
126 private:
127 template <typename T>
visitedOT::hb_prune_langsys_context_t128 bool visited (const T *p, hb_set_t &visited_set)
129 {
130 hb_codepoint_t delta = (hb_codepoint_t) ((uintptr_t) p - (uintptr_t) table);
131 if (visited_set.in_error () || visited_set.has (delta))
132 return true;
133
134 visited_set.add (delta);
135 return false;
136 }
137
138 public:
139 const void *table;
140 hb_hashmap_t<unsigned, hb_set_t *> *script_langsys_map;
141 const hb_map_t *duplicate_feature_map;
142 hb_set_t *new_feature_indexes;
143
144 private:
145 hb_set_t visited_script;
146 hb_set_t visited_langsys;
147 unsigned script_count;
148 unsigned langsys_count;
149 };
150
151 struct hb_subset_layout_context_t :
152 hb_dispatch_context_t<hb_subset_layout_context_t, hb_empty_t, HB_DEBUG_SUBSET>
153 {
get_nameOT::hb_subset_layout_context_t154 const char *get_name () { return "SUBSET_LAYOUT"; }
default_return_valueOT::hb_subset_layout_context_t155 static return_t default_return_value () { return hb_empty_t (); }
156
visitScriptOT::hb_subset_layout_context_t157 bool visitScript ()
158 {
159 return script_count++ < HB_MAX_SCRIPTS;
160 }
161
visitLangSysOT::hb_subset_layout_context_t162 bool visitLangSys ()
163 {
164 return langsys_count++ < HB_MAX_LANGSYS;
165 }
166
visitFeatureIndexOT::hb_subset_layout_context_t167 bool visitFeatureIndex (int count)
168 {
169 feature_index_count += count;
170 return feature_index_count < HB_MAX_FEATURE_INDICES;
171 }
172
visitLookupIndexOT::hb_subset_layout_context_t173 bool visitLookupIndex()
174 {
175 lookup_index_count++;
176 return lookup_index_count < HB_MAX_LOOKUP_VISIT_COUNT;
177 }
178
179 hb_subset_context_t *subset_context;
180 const hb_tag_t table_tag;
181 const hb_map_t *lookup_index_map;
182 const hb_hashmap_t<unsigned, hb_set_t *> *script_langsys_map;
183 const hb_map_t *feature_index_map;
184 unsigned cur_script_index;
185
hb_subset_layout_context_tOT::hb_subset_layout_context_t186 hb_subset_layout_context_t (hb_subset_context_t *c_,
187 hb_tag_t tag_,
188 hb_map_t *lookup_map_,
189 hb_hashmap_t<unsigned, hb_set_t *> *script_langsys_map_,
190 hb_map_t *feature_index_map_) :
191 subset_context (c_),
192 table_tag (tag_),
193 lookup_index_map (lookup_map_),
194 script_langsys_map (script_langsys_map_),
195 feature_index_map (feature_index_map_),
196 cur_script_index (0xFFFFu),
197 script_count (0),
198 langsys_count (0),
199 feature_index_count (0),
200 lookup_index_count (0)
201 {}
202
203 private:
204 unsigned script_count;
205 unsigned langsys_count;
206 unsigned feature_index_count;
207 unsigned lookup_index_count;
208 };
209
210 struct hb_collect_variation_indices_context_t :
211 hb_dispatch_context_t<hb_collect_variation_indices_context_t>
212 {
213 template <typename T>
dispatchOT::hb_collect_variation_indices_context_t214 return_t dispatch (const T &obj) { obj.collect_variation_indices (this); return hb_empty_t (); }
default_return_valueOT::hb_collect_variation_indices_context_t215 static return_t default_return_value () { return hb_empty_t (); }
216
217 hb_set_t *layout_variation_indices;
218 const hb_set_t *glyph_set;
219 const hb_map_t *gpos_lookups;
220
hb_collect_variation_indices_context_tOT::hb_collect_variation_indices_context_t221 hb_collect_variation_indices_context_t (hb_set_t *layout_variation_indices_,
222 const hb_set_t *glyph_set_,
223 const hb_map_t *gpos_lookups_) :
224 layout_variation_indices (layout_variation_indices_),
225 glyph_set (glyph_set_),
226 gpos_lookups (gpos_lookups_) {}
227 };
228
229 template<typename OutputArray>
230 struct subset_offset_array_t
231 {
subset_offset_array_tOT::subset_offset_array_t232 subset_offset_array_t (hb_subset_context_t *subset_context_,
233 OutputArray& out_,
234 const void *base_) : subset_context (subset_context_),
235 out (out_), base (base_) {}
236
237 template <typename T>
operator ()OT::subset_offset_array_t238 bool operator () (T&& offset)
239 {
240 auto snap = subset_context->serializer->snapshot ();
241 auto *o = out.serialize_append (subset_context->serializer);
242 if (unlikely (!o)) return false;
243 bool ret = o->serialize_subset (subset_context, offset, base);
244 if (!ret)
245 {
246 out.pop ();
247 subset_context->serializer->revert (snap);
248 }
249 return ret;
250 }
251
252 private:
253 hb_subset_context_t *subset_context;
254 OutputArray &out;
255 const void *base;
256 };
257
258
259 template<typename OutputArray, typename Arg>
260 struct subset_offset_array_arg_t
261 {
subset_offset_array_arg_tOT::subset_offset_array_arg_t262 subset_offset_array_arg_t (hb_subset_context_t *subset_context_,
263 OutputArray& out_,
264 const void *base_,
265 Arg &&arg_) : subset_context (subset_context_), out (out_),
266 base (base_), arg (arg_) {}
267
268 template <typename T>
operator ()OT::subset_offset_array_arg_t269 bool operator () (T&& offset)
270 {
271 auto snap = subset_context->serializer->snapshot ();
272 auto *o = out.serialize_append (subset_context->serializer);
273 if (unlikely (!o)) return false;
274 bool ret = o->serialize_subset (subset_context, offset, base, arg);
275 if (!ret)
276 {
277 out.pop ();
278 subset_context->serializer->revert (snap);
279 }
280 return ret;
281 }
282
283 private:
284 hb_subset_context_t *subset_context;
285 OutputArray &out;
286 const void *base;
287 Arg &&arg;
288 };
289
290 /*
291 * Helper to subset an array of offsets. Subsets the thing pointed to by each offset
292 * and discards the offset in the array if the subset operation results in an empty
293 * thing.
294 */
295 struct
296 {
297 template<typename OutputArray>
298 subset_offset_array_t<OutputArray>
operator ()OT::__anone0829f5e0108299 operator () (hb_subset_context_t *subset_context, OutputArray& out,
300 const void *base) const
301 { return subset_offset_array_t<OutputArray> (subset_context, out, base); }
302
303 /* Variant with one extra argument passed to serialize_subset */
304 template<typename OutputArray, typename Arg>
305 subset_offset_array_arg_t<OutputArray, Arg>
operator ()OT::__anone0829f5e0108306 operator () (hb_subset_context_t *subset_context, OutputArray& out,
307 const void *base, Arg &&arg) const
308 { return subset_offset_array_arg_t<OutputArray, Arg> (subset_context, out, base, arg); }
309 }
310 HB_FUNCOBJ (subset_offset_array);
311
312 template<typename OutputArray>
313 struct subset_record_array_t
314 {
subset_record_array_tOT::subset_record_array_t315 subset_record_array_t (hb_subset_layout_context_t *c_, OutputArray* out_,
316 const void *base_) : subset_layout_context (c_),
317 out (out_), base (base_) {}
318
319 template <typename T>
320 void
operator ()OT::subset_record_array_t321 operator () (T&& record)
322 {
323 auto snap = subset_layout_context->subset_context->serializer->snapshot ();
324 bool ret = record.subset (subset_layout_context, base);
325 if (!ret) subset_layout_context->subset_context->serializer->revert (snap);
326 else out->len++;
327 }
328
329 private:
330 hb_subset_layout_context_t *subset_layout_context;
331 OutputArray *out;
332 const void *base;
333 };
334
335 /*
336 * Helper to subset a RecordList/record array. Subsets each Record in the array and
337 * discards the record if the subset operation returns false.
338 */
339 struct
340 {
341 template<typename OutputArray>
342 subset_record_array_t<OutputArray>
operator ()OT::__anone0829f5e0208343 operator () (hb_subset_layout_context_t *c, OutputArray* out,
344 const void *base) const
345 { return subset_record_array_t<OutputArray> (c, out, base); }
346 }
347 HB_FUNCOBJ (subset_record_array);
348
349
350 template<typename OutputArray>
351 struct serialize_math_record_array_t
352 {
serialize_math_record_array_tOT::serialize_math_record_array_t353 serialize_math_record_array_t (hb_serialize_context_t *serialize_context_,
354 OutputArray& out_,
355 const void *base_) : serialize_context (serialize_context_),
356 out (out_), base (base_) {}
357
358 template <typename T>
operator ()OT::serialize_math_record_array_t359 bool operator () (T&& record)
360 {
361 if (!serialize_context->copy (record, base)) return false;
362 out.len++;
363 return true;
364 }
365
366 private:
367 hb_serialize_context_t *serialize_context;
368 OutputArray &out;
369 const void *base;
370 };
371
372 /*
373 * Helper to serialize an array of MATH records.
374 */
375 struct
376 {
377 template<typename OutputArray>
378 serialize_math_record_array_t<OutputArray>
operator ()OT::__anone0829f5e0308379 operator () (hb_serialize_context_t *serialize_context, OutputArray& out,
380 const void *base) const
381 { return serialize_math_record_array_t<OutputArray> (serialize_context, out, base); }
382
383 }
384 HB_FUNCOBJ (serialize_math_record_array);
385
386 /*
387 *
388 * OpenType Layout Common Table Formats
389 *
390 */
391
392
393 /*
394 * Script, ScriptList, LangSys, Feature, FeatureList, Lookup, LookupList
395 */
396
397 struct Record_sanitize_closure_t {
398 hb_tag_t tag;
399 const void *list_base;
400 };
401
402 template <typename Type>
403 struct Record
404 {
cmpOT::Record405 int cmp (hb_tag_t a) const { return tag.cmp (a); }
406
subsetOT::Record407 bool subset (hb_subset_layout_context_t *c, const void *base) const
408 {
409 TRACE_SUBSET (this);
410 auto *out = c->subset_context->serializer->embed (this);
411 if (unlikely (!out)) return_trace (false);
412 bool ret = out->offset.serialize_subset (c->subset_context, offset, base, c, &tag);
413 return_trace (ret);
414 }
415
sanitizeOT::Record416 bool sanitize (hb_sanitize_context_t *c, const void *base) const
417 {
418 TRACE_SANITIZE (this);
419 const Record_sanitize_closure_t closure = {tag, base};
420 return_trace (c->check_struct (this) && offset.sanitize (c, base, &closure));
421 }
422
423 Tag tag; /* 4-byte Tag identifier */
424 Offset16To<Type>
425 offset; /* Offset from beginning of object holding
426 * the Record */
427 public:
428 DEFINE_SIZE_STATIC (6);
429 };
430
431 template <typename Type>
432 struct RecordArrayOf : SortedArray16Of<Record<Type>>
433 {
get_offsetOT::RecordArrayOf434 const Offset16To<Type>& get_offset (unsigned int i) const
435 { return (*this)[i].offset; }
get_offsetOT::RecordArrayOf436 Offset16To<Type>& get_offset (unsigned int i)
437 { return (*this)[i].offset; }
get_tagOT::RecordArrayOf438 const Tag& get_tag (unsigned int i) const
439 { return (*this)[i].tag; }
get_tagsOT::RecordArrayOf440 unsigned int get_tags (unsigned int start_offset,
441 unsigned int *record_count /* IN/OUT */,
442 hb_tag_t *record_tags /* OUT */) const
443 {
444 if (record_count)
445 {
446 + this->sub_array (start_offset, record_count)
447 | hb_map (&Record<Type>::tag)
448 | hb_sink (hb_array (record_tags, *record_count))
449 ;
450 }
451 return this->len;
452 }
find_indexOT::RecordArrayOf453 bool find_index (hb_tag_t tag, unsigned int *index) const
454 {
455 return this->bfind (tag, index, HB_NOT_FOUND_STORE, Index::NOT_FOUND_INDEX);
456 }
457 };
458
459 template <typename Type>
460 struct RecordListOf : RecordArrayOf<Type>
461 {
operator []OT::RecordListOf462 const Type& operator [] (unsigned int i) const
463 { return this+this->get_offset (i); }
464
subsetOT::RecordListOf465 bool subset (hb_subset_context_t *c,
466 hb_subset_layout_context_t *l) const
467 {
468 TRACE_SUBSET (this);
469 auto *out = c->serializer->start_embed (*this);
470 if (unlikely (!c->serializer->extend_min (out))) return_trace (false);
471
472 + this->iter ()
473 | hb_apply (subset_record_array (l, out, this))
474 ;
475 return_trace (true);
476 }
477
sanitizeOT::RecordListOf478 bool sanitize (hb_sanitize_context_t *c) const
479 {
480 TRACE_SANITIZE (this);
481 return_trace (RecordArrayOf<Type>::sanitize (c, this));
482 }
483 };
484
485 struct Feature;
486
487 struct RecordListOfFeature : RecordListOf<Feature>
488 {
subsetOT::RecordListOfFeature489 bool subset (hb_subset_context_t *c,
490 hb_subset_layout_context_t *l) const
491 {
492 TRACE_SUBSET (this);
493 auto *out = c->serializer->start_embed (*this);
494 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
495
496 unsigned count = this->len;
497 + hb_zip (*this, hb_range (count))
498 | hb_filter (l->feature_index_map, hb_second)
499 | hb_map (hb_first)
500 | hb_apply (subset_record_array (l, out, this))
501 ;
502 return_trace (true);
503 }
504 };
505
506 struct Script;
507 struct RecordListOfScript : RecordListOf<Script>
508 {
subsetOT::RecordListOfScript509 bool subset (hb_subset_context_t *c,
510 hb_subset_layout_context_t *l) const
511 {
512 TRACE_SUBSET (this);
513 auto *out = c->serializer->start_embed (*this);
514 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
515
516 unsigned count = this->len;
517 for (auto _ : + hb_zip (*this, hb_range (count)))
518 {
519 auto snap = c->serializer->snapshot ();
520 l->cur_script_index = _.second;
521 bool ret = _.first.subset (l, this);
522 if (!ret) c->serializer->revert (snap);
523 else out->len++;
524 }
525
526 return_trace (true);
527 }
528 };
529
530 struct RangeRecord
531 {
cmpOT::RangeRecord532 int cmp (hb_codepoint_t g) const
533 { return g < first ? -1 : g <= last ? 0 : +1; }
534
sanitizeOT::RangeRecord535 bool sanitize (hb_sanitize_context_t *c) const
536 {
537 TRACE_SANITIZE (this);
538 return_trace (c->check_struct (this));
539 }
540
intersectsOT::RangeRecord541 bool intersects (const hb_set_t *glyphs) const
542 { return glyphs->intersects (first, last); }
543
544 template <typename set_t>
collect_coverageOT::RangeRecord545 bool collect_coverage (set_t *glyphs) const
546 { return glyphs->add_range (first, last); }
547
548 HBGlyphID16 first; /* First GlyphID in the range */
549 HBGlyphID16 last; /* Last GlyphID in the range */
550 HBUINT16 value; /* Value */
551 public:
552 DEFINE_SIZE_STATIC (6);
553 };
554 DECLARE_NULL_NAMESPACE_BYTES (OT, RangeRecord);
555
556
557 struct IndexArray : Array16Of<Index>
558 {
intersectsOT::IndexArray559 bool intersects (const hb_map_t *indexes) const
560 { return hb_any (*this, indexes); }
561
562 template <typename Iterator,
563 hb_requires (hb_is_iterator (Iterator))>
serializeOT::IndexArray564 void serialize (hb_serialize_context_t *c,
565 hb_subset_layout_context_t *l,
566 Iterator it)
567 {
568 if (!it) return;
569 if (unlikely (!c->extend_min ((*this)))) return;
570
571 for (const auto _ : it)
572 {
573 if (!l->visitLookupIndex()) break;
574
575 Index i;
576 i = _;
577 c->copy (i);
578 this->len++;
579 }
580 }
581
get_indexesOT::IndexArray582 unsigned int get_indexes (unsigned int start_offset,
583 unsigned int *_count /* IN/OUT */,
584 unsigned int *_indexes /* OUT */) const
585 {
586 if (_count)
587 {
588 + this->sub_array (start_offset, _count)
589 | hb_sink (hb_array (_indexes, *_count))
590 ;
591 }
592 return this->len;
593 }
594
add_indexes_toOT::IndexArray595 void add_indexes_to (hb_set_t* output /* OUT */) const
596 {
597 output->add_array (as_array ());
598 }
599 };
600
601
602 struct LangSys
603 {
get_feature_countOT::LangSys604 unsigned int get_feature_count () const
605 { return featureIndex.len; }
get_feature_indexOT::LangSys606 hb_tag_t get_feature_index (unsigned int i) const
607 { return featureIndex[i]; }
get_feature_indexesOT::LangSys608 unsigned int get_feature_indexes (unsigned int start_offset,
609 unsigned int *feature_count /* IN/OUT */,
610 unsigned int *feature_indexes /* OUT */) const
611 { return featureIndex.get_indexes (start_offset, feature_count, feature_indexes); }
add_feature_indexes_toOT::LangSys612 void add_feature_indexes_to (hb_set_t *feature_indexes) const
613 { featureIndex.add_indexes_to (feature_indexes); }
614
has_required_featureOT::LangSys615 bool has_required_feature () const { return reqFeatureIndex != 0xFFFFu; }
get_required_feature_indexOT::LangSys616 unsigned int get_required_feature_index () const
617 {
618 if (reqFeatureIndex == 0xFFFFu)
619 return Index::NOT_FOUND_INDEX;
620 return reqFeatureIndex;
621 }
622
copyOT::LangSys623 LangSys* copy (hb_serialize_context_t *c) const
624 {
625 TRACE_SERIALIZE (this);
626 return_trace (c->embed (*this));
627 }
628
compareOT::LangSys629 bool compare (const LangSys& o, const hb_map_t *feature_index_map) const
630 {
631 if (reqFeatureIndex != o.reqFeatureIndex)
632 return false;
633
634 auto iter =
635 + hb_iter (featureIndex)
636 | hb_filter (feature_index_map)
637 | hb_map (feature_index_map)
638 ;
639
640 auto o_iter =
641 + hb_iter (o.featureIndex)
642 | hb_filter (feature_index_map)
643 | hb_map (feature_index_map)
644 ;
645
646 if (iter.len () != o_iter.len ())
647 return false;
648
649 for (const auto _ : + hb_zip (iter, o_iter))
650 if (_.first != _.second) return false;
651
652 return true;
653 }
654
collect_featuresOT::LangSys655 void collect_features (hb_prune_langsys_context_t *c) const
656 {
657 if (!has_required_feature () && !get_feature_count ()) return;
658 if (has_required_feature () &&
659 c->duplicate_feature_map->has (reqFeatureIndex))
660 c->new_feature_indexes->add (get_required_feature_index ());
661
662 + hb_iter (featureIndex)
663 | hb_filter (c->duplicate_feature_map)
664 | hb_sink (c->new_feature_indexes)
665 ;
666 }
667
subsetOT::LangSys668 bool subset (hb_subset_context_t *c,
669 hb_subset_layout_context_t *l,
670 const Tag *tag = nullptr) const
671 {
672 TRACE_SUBSET (this);
673 auto *out = c->serializer->start_embed (*this);
674 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
675
676 out->reqFeatureIndex = l->feature_index_map->has (reqFeatureIndex) ? l->feature_index_map->get (reqFeatureIndex) : 0xFFFFu;
677
678 if (!l->visitFeatureIndex (featureIndex.len))
679 return_trace (false);
680
681 auto it =
682 + hb_iter (featureIndex)
683 | hb_filter (l->feature_index_map)
684 | hb_map (l->feature_index_map)
685 ;
686
687 bool ret = bool (it);
688 out->featureIndex.serialize (c->serializer, l, it);
689 return_trace (ret);
690 }
691
sanitizeOT::LangSys692 bool sanitize (hb_sanitize_context_t *c,
693 const Record_sanitize_closure_t * = nullptr) const
694 {
695 TRACE_SANITIZE (this);
696 return_trace (c->check_struct (this) && featureIndex.sanitize (c));
697 }
698
699 Offset16 lookupOrderZ; /* = Null (reserved for an offset to a
700 * reordering table) */
701 HBUINT16 reqFeatureIndex;/* Index of a feature required for this
702 * language system--if no required features
703 * = 0xFFFFu */
704 IndexArray featureIndex; /* Array of indices into the FeatureList */
705 public:
706 DEFINE_SIZE_ARRAY_SIZED (6, featureIndex);
707 };
708 DECLARE_NULL_NAMESPACE_BYTES (OT, LangSys);
709
710 struct Script
711 {
get_lang_sys_countOT::Script712 unsigned int get_lang_sys_count () const
713 { return langSys.len; }
get_lang_sys_tagOT::Script714 const Tag& get_lang_sys_tag (unsigned int i) const
715 { return langSys.get_tag (i); }
get_lang_sys_tagsOT::Script716 unsigned int get_lang_sys_tags (unsigned int start_offset,
717 unsigned int *lang_sys_count /* IN/OUT */,
718 hb_tag_t *lang_sys_tags /* OUT */) const
719 { return langSys.get_tags (start_offset, lang_sys_count, lang_sys_tags); }
get_lang_sysOT::Script720 const LangSys& get_lang_sys (unsigned int i) const
721 {
722 if (i == Index::NOT_FOUND_INDEX) return get_default_lang_sys ();
723 return this+langSys[i].offset;
724 }
find_lang_sys_indexOT::Script725 bool find_lang_sys_index (hb_tag_t tag, unsigned int *index) const
726 { return langSys.find_index (tag, index); }
727
has_default_lang_sysOT::Script728 bool has_default_lang_sys () const { return defaultLangSys != 0; }
get_default_lang_sysOT::Script729 const LangSys& get_default_lang_sys () const { return this+defaultLangSys; }
730
prune_langsysOT::Script731 void prune_langsys (hb_prune_langsys_context_t *c,
732 unsigned script_index) const
733 {
734 if (!has_default_lang_sys () && !get_lang_sys_count ()) return;
735 if (c->visitedScript (this)) return;
736
737 if (!c->script_langsys_map->has (script_index))
738 {
739 hb_set_t* empty_set = hb_set_create ();
740 if (unlikely (!c->script_langsys_map->set (script_index, empty_set)))
741 {
742 hb_set_destroy (empty_set);
743 return;
744 }
745 }
746
747 unsigned langsys_count = get_lang_sys_count ();
748 if (has_default_lang_sys ())
749 {
750 //only collect features from non-redundant langsys
751 const LangSys& d = get_default_lang_sys ();
752 if (!c->visitedLangsys (&d)) {
753 d.collect_features (c);
754 }
755
756 for (auto _ : + hb_zip (langSys, hb_range (langsys_count)))
757 {
758
759 const LangSys& l = this+_.first.offset;
760 if (c->visitedLangsys (&l)) continue;
761 if (l.compare (d, c->duplicate_feature_map)) continue;
762
763 l.collect_features (c);
764 c->script_langsys_map->get (script_index)->add (_.second);
765 }
766 }
767 else
768 {
769 for (auto _ : + hb_zip (langSys, hb_range (langsys_count)))
770 {
771 const LangSys& l = this+_.first.offset;
772 if (c->visitedLangsys (&l)) continue;
773 l.collect_features (c);
774 c->script_langsys_map->get (script_index)->add (_.second);
775 }
776 }
777 }
778
subsetOT::Script779 bool subset (hb_subset_context_t *c,
780 hb_subset_layout_context_t *l,
781 const Tag *tag) const
782 {
783 TRACE_SUBSET (this);
784 if (!l->visitScript ()) return_trace (false);
785
786 auto *out = c->serializer->start_embed (*this);
787 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
788
789 bool defaultLang = false;
790 if (has_default_lang_sys ())
791 {
792 c->serializer->push ();
793 const LangSys& ls = this+defaultLangSys;
794 bool ret = ls.subset (c, l);
795 if (!ret && tag && *tag != HB_TAG ('D', 'F', 'L', 'T'))
796 {
797 c->serializer->pop_discard ();
798 out->defaultLangSys = 0;
799 }
800 else
801 {
802 c->serializer->add_link (out->defaultLangSys, c->serializer->pop_pack ());
803 defaultLang = true;
804 }
805 }
806
807 const hb_set_t *active_langsys = l->script_langsys_map->get (l->cur_script_index);
808 if (active_langsys)
809 {
810 unsigned count = langSys.len;
811 + hb_zip (langSys, hb_range (count))
812 | hb_filter (active_langsys, hb_second)
813 | hb_map (hb_first)
814 | hb_filter ([=] (const Record<LangSys>& record) {return l->visitLangSys (); })
815 | hb_apply (subset_record_array (l, &(out->langSys), this))
816 ;
817 }
818
819 return_trace (bool (out->langSys.len) || defaultLang || l->table_tag == HB_OT_TAG_GSUB);
820 }
821
sanitizeOT::Script822 bool sanitize (hb_sanitize_context_t *c,
823 const Record_sanitize_closure_t * = nullptr) const
824 {
825 TRACE_SANITIZE (this);
826 return_trace (defaultLangSys.sanitize (c, this) && langSys.sanitize (c, this));
827 }
828
829 protected:
830 Offset16To<LangSys>
831 defaultLangSys; /* Offset to DefaultLangSys table--from
832 * beginning of Script table--may be Null */
833 RecordArrayOf<LangSys>
834 langSys; /* Array of LangSysRecords--listed
835 * alphabetically by LangSysTag */
836 public:
837 DEFINE_SIZE_ARRAY_SIZED (4, langSys);
838 };
839
840 typedef RecordListOfScript ScriptList;
841
842
843 /* https://docs.microsoft.com/en-us/typography/opentype/spec/features_pt#size */
844 struct FeatureParamsSize
845 {
sanitizeOT::FeatureParamsSize846 bool sanitize (hb_sanitize_context_t *c) const
847 {
848 TRACE_SANITIZE (this);
849 if (unlikely (!c->check_struct (this))) return_trace (false);
850
851 /* This subtable has some "history", if you will. Some earlier versions of
852 * Adobe tools calculated the offset of the FeatureParams subtable from the
853 * beginning of the FeatureList table! Now, that is dealt with in the
854 * Feature implementation. But we still need to be able to tell junk from
855 * real data. Note: We don't check that the nameID actually exists.
856 *
857 * Read Roberts wrote on 9/15/06 on opentype-list@indx.co.uk :
858 *
859 * Yes, it is correct that a new version of the AFDKO (version 2.0) will be
860 * coming out soon, and that the makeotf program will build a font with a
861 * 'size' feature that is correct by the specification.
862 *
863 * The specification for this feature tag is in the "OpenType Layout Tag
864 * Registry". You can see a copy of this at:
865 * https://docs.microsoft.com/en-us/typography/opentype/spec/features_pt#tag-size
866 *
867 * Here is one set of rules to determine if the 'size' feature is built
868 * correctly, or as by the older versions of MakeOTF. You may be able to do
869 * better.
870 *
871 * Assume that the offset to the size feature is according to specification,
872 * and make the following value checks. If it fails, assume the size
873 * feature is calculated as versions of MakeOTF before the AFDKO 2.0 built it.
874 * If this fails, reject the 'size' feature. The older makeOTF's calculated the
875 * offset from the beginning of the FeatureList table, rather than from the
876 * beginning of the 'size' Feature table.
877 *
878 * If "design size" == 0:
879 * fails check
880 *
881 * Else if ("subfamily identifier" == 0 and
882 * "range start" == 0 and
883 * "range end" == 0 and
884 * "range start" == 0 and
885 * "menu name ID" == 0)
886 * passes check: this is the format used when there is a design size
887 * specified, but there is no recommended size range.
888 *
889 * Else if ("design size" < "range start" or
890 * "design size" > "range end" or
891 * "range end" <= "range start" or
892 * "menu name ID" < 256 or
893 * "menu name ID" > 32767 or
894 * menu name ID is not a name ID which is actually in the name table)
895 * fails test
896 * Else
897 * passes test.
898 */
899
900 if (!designSize)
901 return_trace (false);
902 else if (subfamilyID == 0 &&
903 subfamilyNameID == 0 &&
904 rangeStart == 0 &&
905 rangeEnd == 0)
906 return_trace (true);
907 else if (designSize < rangeStart ||
908 designSize > rangeEnd ||
909 subfamilyNameID < 256 ||
910 subfamilyNameID > 32767)
911 return_trace (false);
912 else
913 return_trace (true);
914 }
915
subsetOT::FeatureParamsSize916 bool subset (hb_subset_context_t *c) const
917 {
918 TRACE_SUBSET (this);
919 return_trace ((bool) c->serializer->embed (*this));
920 }
921
922 HBUINT16 designSize; /* Represents the design size in 720/inch
923 * units (decipoints). The design size entry
924 * must be non-zero. When there is a design
925 * size but no recommended size range, the
926 * rest of the array will consist of zeros. */
927 HBUINT16 subfamilyID; /* Has no independent meaning, but serves
928 * as an identifier that associates fonts
929 * in a subfamily. All fonts which share a
930 * Preferred or Font Family name and which
931 * differ only by size range shall have the
932 * same subfamily value, and no fonts which
933 * differ in weight or style shall have the
934 * same subfamily value. If this value is
935 * zero, the remaining fields in the array
936 * will be ignored. */
937 NameID subfamilyNameID;/* If the preceding value is non-zero, this
938 * value must be set in the range 256 - 32767
939 * (inclusive). It records the value of a
940 * field in the name table, which must
941 * contain English-language strings encoded
942 * in Windows Unicode and Macintosh Roman,
943 * and may contain additional strings
944 * localized to other scripts and languages.
945 * Each of these strings is the name an
946 * application should use, in combination
947 * with the family name, to represent the
948 * subfamily in a menu. Applications will
949 * choose the appropriate version based on
950 * their selection criteria. */
951 HBUINT16 rangeStart; /* Large end of the recommended usage range
952 * (inclusive), stored in 720/inch units
953 * (decipoints). */
954 HBUINT16 rangeEnd; /* Small end of the recommended usage range
955 (exclusive), stored in 720/inch units
956 * (decipoints). */
957 public:
958 DEFINE_SIZE_STATIC (10);
959 };
960
961 /* https://docs.microsoft.com/en-us/typography/opentype/spec/features_pt#ssxx */
962 struct FeatureParamsStylisticSet
963 {
sanitizeOT::FeatureParamsStylisticSet964 bool sanitize (hb_sanitize_context_t *c) const
965 {
966 TRACE_SANITIZE (this);
967 /* Right now minorVersion is at zero. Which means, any table supports
968 * the uiNameID field. */
969 return_trace (c->check_struct (this));
970 }
971
subsetOT::FeatureParamsStylisticSet972 bool subset (hb_subset_context_t *c) const
973 {
974 TRACE_SUBSET (this);
975 return_trace ((bool) c->serializer->embed (*this));
976 }
977
978 HBUINT16 version; /* (set to 0): This corresponds to a “minor”
979 * version number. Additional data may be
980 * added to the end of this Feature Parameters
981 * table in the future. */
982
983 NameID uiNameID; /* The 'name' table name ID that specifies a
984 * string (or strings, for multiple languages)
985 * for a user-interface label for this
986 * feature. The values of uiLabelNameId and
987 * sampleTextNameId are expected to be in the
988 * font-specific name ID range (256-32767),
989 * though that is not a requirement in this
990 * Feature Parameters specification. The
991 * user-interface label for the feature can
992 * be provided in multiple languages. An
993 * English string should be included as a
994 * fallback. The string should be kept to a
995 * minimal length to fit comfortably with
996 * different application interfaces. */
997 public:
998 DEFINE_SIZE_STATIC (4);
999 };
1000
1001 /* https://docs.microsoft.com/en-us/typography/opentype/spec/features_ae#cv01-cv99 */
1002 struct FeatureParamsCharacterVariants
1003 {
1004 unsigned
get_charactersOT::FeatureParamsCharacterVariants1005 get_characters (unsigned start_offset, unsigned *char_count, hb_codepoint_t *chars) const
1006 {
1007 if (char_count)
1008 {
1009 + characters.sub_array (start_offset, char_count)
1010 | hb_sink (hb_array (chars, *char_count))
1011 ;
1012 }
1013 return characters.len;
1014 }
1015
get_sizeOT::FeatureParamsCharacterVariants1016 unsigned get_size () const
1017 { return min_size + characters.len * HBUINT24::static_size; }
1018
subsetOT::FeatureParamsCharacterVariants1019 bool subset (hb_subset_context_t *c) const
1020 {
1021 TRACE_SUBSET (this);
1022 return_trace ((bool) c->serializer->embed (*this));
1023 }
1024
sanitizeOT::FeatureParamsCharacterVariants1025 bool sanitize (hb_sanitize_context_t *c) const
1026 {
1027 TRACE_SANITIZE (this);
1028 return_trace (c->check_struct (this) &&
1029 characters.sanitize (c));
1030 }
1031
1032 HBUINT16 format; /* Format number is set to 0. */
1033 NameID featUILableNameID; /* The ‘name’ table name ID that
1034 * specifies a string (or strings,
1035 * for multiple languages) for a
1036 * user-interface label for this
1037 * feature. (May be NULL.) */
1038 NameID featUITooltipTextNameID;/* The ‘name’ table name ID that
1039 * specifies a string (or strings,
1040 * for multiple languages) that an
1041 * application can use for tooltip
1042 * text for this feature. (May be
1043 * nullptr.) */
1044 NameID sampleTextNameID; /* The ‘name’ table name ID that
1045 * specifies sample text that
1046 * illustrates the effect of this
1047 * feature. (May be NULL.) */
1048 HBUINT16 numNamedParameters; /* Number of named parameters. (May
1049 * be zero.) */
1050 NameID firstParamUILabelNameID;/* The first ‘name’ table name ID
1051 * used to specify strings for
1052 * user-interface labels for the
1053 * feature parameters. (Must be zero
1054 * if numParameters is zero.) */
1055 Array16Of<HBUINT24>
1056 characters; /* Array of the Unicode Scalar Value
1057 * of the characters for which this
1058 * feature provides glyph variants.
1059 * (May be zero.) */
1060 public:
1061 DEFINE_SIZE_ARRAY (14, characters);
1062 };
1063
1064 struct FeatureParams
1065 {
sanitizeOT::FeatureParams1066 bool sanitize (hb_sanitize_context_t *c, hb_tag_t tag) const
1067 {
1068 #ifdef HB_NO_LAYOUT_FEATURE_PARAMS
1069 return true;
1070 #endif
1071 TRACE_SANITIZE (this);
1072 if (tag == HB_TAG ('s','i','z','e'))
1073 return_trace (u.size.sanitize (c));
1074 if ((tag & 0xFFFF0000u) == HB_TAG ('s','s','\0','\0')) /* ssXX */
1075 return_trace (u.stylisticSet.sanitize (c));
1076 if ((tag & 0xFFFF0000u) == HB_TAG ('c','v','\0','\0')) /* cvXX */
1077 return_trace (u.characterVariants.sanitize (c));
1078 return_trace (true);
1079 }
1080
subsetOT::FeatureParams1081 bool subset (hb_subset_context_t *c, const Tag* tag) const
1082 {
1083 TRACE_SUBSET (this);
1084 if (!tag) return_trace (false);
1085 if (*tag == HB_TAG ('s','i','z','e'))
1086 return_trace (u.size.subset (c));
1087 if ((*tag & 0xFFFF0000u) == HB_TAG ('s','s','\0','\0')) /* ssXX */
1088 return_trace (u.stylisticSet.subset (c));
1089 if ((*tag & 0xFFFF0000u) == HB_TAG ('c','v','\0','\0')) /* cvXX */
1090 return_trace (u.characterVariants.subset (c));
1091 return_trace (false);
1092 }
1093
1094 #ifndef HB_NO_LAYOUT_FEATURE_PARAMS
get_size_paramsOT::FeatureParams1095 const FeatureParamsSize& get_size_params (hb_tag_t tag) const
1096 {
1097 if (tag == HB_TAG ('s','i','z','e'))
1098 return u.size;
1099 return Null (FeatureParamsSize);
1100 }
get_stylistic_set_paramsOT::FeatureParams1101 const FeatureParamsStylisticSet& get_stylistic_set_params (hb_tag_t tag) const
1102 {
1103 if ((tag & 0xFFFF0000u) == HB_TAG ('s','s','\0','\0')) /* ssXX */
1104 return u.stylisticSet;
1105 return Null (FeatureParamsStylisticSet);
1106 }
get_character_variants_paramsOT::FeatureParams1107 const FeatureParamsCharacterVariants& get_character_variants_params (hb_tag_t tag) const
1108 {
1109 if ((tag & 0xFFFF0000u) == HB_TAG ('c','v','\0','\0')) /* cvXX */
1110 return u.characterVariants;
1111 return Null (FeatureParamsCharacterVariants);
1112 }
1113 #endif
1114
1115 private:
1116 union {
1117 FeatureParamsSize size;
1118 FeatureParamsStylisticSet stylisticSet;
1119 FeatureParamsCharacterVariants characterVariants;
1120 } u;
1121 public:
1122 DEFINE_SIZE_MIN (0);
1123 };
1124
1125 struct Feature
1126 {
get_lookup_countOT::Feature1127 unsigned int get_lookup_count () const
1128 { return lookupIndex.len; }
get_lookup_indexOT::Feature1129 hb_tag_t get_lookup_index (unsigned int i) const
1130 { return lookupIndex[i]; }
get_lookup_indexesOT::Feature1131 unsigned int get_lookup_indexes (unsigned int start_index,
1132 unsigned int *lookup_count /* IN/OUT */,
1133 unsigned int *lookup_tags /* OUT */) const
1134 { return lookupIndex.get_indexes (start_index, lookup_count, lookup_tags); }
add_lookup_indexes_toOT::Feature1135 void add_lookup_indexes_to (hb_set_t *lookup_indexes) const
1136 { lookupIndex.add_indexes_to (lookup_indexes); }
1137
get_feature_paramsOT::Feature1138 const FeatureParams &get_feature_params () const
1139 { return this+featureParams; }
1140
intersects_lookup_indexesOT::Feature1141 bool intersects_lookup_indexes (const hb_map_t *lookup_indexes) const
1142 { return lookupIndex.intersects (lookup_indexes); }
1143
subsetOT::Feature1144 bool subset (hb_subset_context_t *c,
1145 hb_subset_layout_context_t *l,
1146 const Tag *tag = nullptr) const
1147 {
1148 TRACE_SUBSET (this);
1149 auto *out = c->serializer->start_embed (*this);
1150 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
1151
1152 out->featureParams.serialize_subset (c, featureParams, this, tag);
1153
1154 auto it =
1155 + hb_iter (lookupIndex)
1156 | hb_filter (l->lookup_index_map)
1157 | hb_map (l->lookup_index_map)
1158 ;
1159
1160 out->lookupIndex.serialize (c->serializer, l, it);
1161 // The decision to keep or drop this feature is already made before we get here
1162 // so always retain it.
1163 return_trace (true);
1164 }
1165
sanitizeOT::Feature1166 bool sanitize (hb_sanitize_context_t *c,
1167 const Record_sanitize_closure_t *closure = nullptr) const
1168 {
1169 TRACE_SANITIZE (this);
1170 if (unlikely (!(c->check_struct (this) && lookupIndex.sanitize (c))))
1171 return_trace (false);
1172
1173 /* Some earlier versions of Adobe tools calculated the offset of the
1174 * FeatureParams subtable from the beginning of the FeatureList table!
1175 *
1176 * If sanitizing "failed" for the FeatureParams subtable, try it with the
1177 * alternative location. We would know sanitize "failed" if old value
1178 * of the offset was non-zero, but it's zeroed now.
1179 *
1180 * Only do this for the 'size' feature, since at the time of the faulty
1181 * Adobe tools, only the 'size' feature had FeatureParams defined.
1182 */
1183
1184 if (likely (featureParams.is_null ()))
1185 return_trace (true);
1186
1187 unsigned int orig_offset = featureParams;
1188 if (unlikely (!featureParams.sanitize (c, this, closure ? closure->tag : HB_TAG_NONE)))
1189 return_trace (false);
1190
1191 if (featureParams == 0 && closure &&
1192 closure->tag == HB_TAG ('s','i','z','e') &&
1193 closure->list_base && closure->list_base < this)
1194 {
1195 unsigned int new_offset_int = orig_offset -
1196 (((char *) this) - ((char *) closure->list_base));
1197
1198 Offset16To<FeatureParams> new_offset;
1199 /* Check that it would not overflow. */
1200 new_offset = new_offset_int;
1201 if (new_offset == new_offset_int &&
1202 c->try_set (&featureParams, new_offset_int) &&
1203 !featureParams.sanitize (c, this, closure ? closure->tag : HB_TAG_NONE))
1204 return_trace (false);
1205 }
1206
1207 return_trace (true);
1208 }
1209
1210 Offset16To<FeatureParams>
1211 featureParams; /* Offset to Feature Parameters table (if one
1212 * has been defined for the feature), relative
1213 * to the beginning of the Feature Table; = Null
1214 * if not required */
1215 IndexArray lookupIndex; /* Array of LookupList indices */
1216 public:
1217 DEFINE_SIZE_ARRAY_SIZED (4, lookupIndex);
1218 };
1219
1220 typedef RecordListOf<Feature> FeatureList;
1221
1222
1223 struct LookupFlag : HBUINT16
1224 {
1225 enum Flags {
1226 RightToLeft = 0x0001u,
1227 IgnoreBaseGlyphs = 0x0002u,
1228 IgnoreLigatures = 0x0004u,
1229 IgnoreMarks = 0x0008u,
1230 IgnoreFlags = 0x000Eu,
1231 UseMarkFilteringSet = 0x0010u,
1232 Reserved = 0x00E0u,
1233 MarkAttachmentType = 0xFF00u
1234 };
1235 public:
1236 DEFINE_SIZE_STATIC (2);
1237 };
1238
1239 } /* namespace OT */
1240 /* This has to be outside the namespace. */
1241 HB_MARK_AS_FLAG_T (OT::LookupFlag::Flags);
1242 namespace OT {
1243
1244 struct Lookup
1245 {
get_subtable_countOT::Lookup1246 unsigned int get_subtable_count () const { return subTable.len; }
1247
1248 template <typename TSubTable>
get_subtablesOT::Lookup1249 const Array16OfOffset16To<TSubTable>& get_subtables () const
1250 { return reinterpret_cast<const Array16OfOffset16To<TSubTable> &> (subTable); }
1251 template <typename TSubTable>
get_subtablesOT::Lookup1252 Array16OfOffset16To<TSubTable>& get_subtables ()
1253 { return reinterpret_cast<Array16OfOffset16To<TSubTable> &> (subTable); }
1254
1255 template <typename TSubTable>
get_subtableOT::Lookup1256 const TSubTable& get_subtable (unsigned int i) const
1257 { return this+get_subtables<TSubTable> ()[i]; }
1258 template <typename TSubTable>
get_subtableOT::Lookup1259 TSubTable& get_subtable (unsigned int i)
1260 { return this+get_subtables<TSubTable> ()[i]; }
1261
get_sizeOT::Lookup1262 unsigned int get_size () const
1263 {
1264 const HBUINT16 &markFilteringSet = StructAfter<const HBUINT16> (subTable);
1265 if (lookupFlag & LookupFlag::UseMarkFilteringSet)
1266 return (const char *) &StructAfter<const char> (markFilteringSet) - (const char *) this;
1267 return (const char *) &markFilteringSet - (const char *) this;
1268 }
1269
get_typeOT::Lookup1270 unsigned int get_type () const { return lookupType; }
1271
1272 /* lookup_props is a 32-bit integer where the lower 16-bit is LookupFlag and
1273 * higher 16-bit is mark-filtering-set if the lookup uses one.
1274 * Not to be confused with glyph_props which is very similar. */
get_propsOT::Lookup1275 uint32_t get_props () const
1276 {
1277 unsigned int flag = lookupFlag;
1278 if (unlikely (flag & LookupFlag::UseMarkFilteringSet))
1279 {
1280 const HBUINT16 &markFilteringSet = StructAfter<HBUINT16> (subTable);
1281 flag += (markFilteringSet << 16);
1282 }
1283 return flag;
1284 }
1285
1286 template <typename TSubTable, typename context_t, typename ...Ts>
dispatchOT::Lookup1287 typename context_t::return_t dispatch (context_t *c, Ts&&... ds) const
1288 {
1289 unsigned int lookup_type = get_type ();
1290 TRACE_DISPATCH (this, lookup_type);
1291 unsigned int count = get_subtable_count ();
1292 for (unsigned int i = 0; i < count; i++) {
1293 typename context_t::return_t r = get_subtable<TSubTable> (i).dispatch (c, lookup_type, std::forward<Ts> (ds)...);
1294 if (c->stop_sublookup_iteration (r))
1295 return_trace (r);
1296 }
1297 return_trace (c->default_return_value ());
1298 }
1299
serializeOT::Lookup1300 bool serialize (hb_serialize_context_t *c,
1301 unsigned int lookup_type,
1302 uint32_t lookup_props,
1303 unsigned int num_subtables)
1304 {
1305 TRACE_SERIALIZE (this);
1306 if (unlikely (!c->extend_min (this))) return_trace (false);
1307 lookupType = lookup_type;
1308 lookupFlag = lookup_props & 0xFFFFu;
1309 if (unlikely (!subTable.serialize (c, num_subtables))) return_trace (false);
1310 if (lookupFlag & LookupFlag::UseMarkFilteringSet)
1311 {
1312 if (unlikely (!c->extend (this))) return_trace (false);
1313 HBUINT16 &markFilteringSet = StructAfter<HBUINT16> (subTable);
1314 markFilteringSet = lookup_props >> 16;
1315 }
1316 return_trace (true);
1317 }
1318
1319 template <typename TSubTable>
subsetOT::Lookup1320 bool subset (hb_subset_context_t *c) const
1321 {
1322 TRACE_SUBSET (this);
1323 auto *out = c->serializer->start_embed (*this);
1324 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
1325 out->lookupType = lookupType;
1326 out->lookupFlag = lookupFlag;
1327
1328 const hb_set_t *glyphset = c->plan->glyphset_gsub ();
1329 unsigned int lookup_type = get_type ();
1330 + hb_iter (get_subtables <TSubTable> ())
1331 | hb_filter ([this, glyphset, lookup_type] (const Offset16To<TSubTable> &_) { return (this+_).intersects (glyphset, lookup_type); })
1332 | hb_apply (subset_offset_array (c, out->get_subtables<TSubTable> (), this, lookup_type))
1333 ;
1334
1335 if (lookupFlag & LookupFlag::UseMarkFilteringSet)
1336 {
1337 if (unlikely (!c->serializer->extend (out))) return_trace (false);
1338 const HBUINT16 &markFilteringSet = StructAfter<HBUINT16> (subTable);
1339 HBUINT16 &outMarkFilteringSet = StructAfter<HBUINT16> (out->subTable);
1340 outMarkFilteringSet = markFilteringSet;
1341 }
1342
1343 return_trace (out->subTable.len);
1344 }
1345
1346 template <typename TSubTable>
sanitizeOT::Lookup1347 bool sanitize (hb_sanitize_context_t *c) const
1348 {
1349 TRACE_SANITIZE (this);
1350 if (!(c->check_struct (this) && subTable.sanitize (c))) return_trace (false);
1351
1352 unsigned subtables = get_subtable_count ();
1353 if (unlikely (!c->visit_subtables (subtables))) return_trace (false);
1354
1355 if (lookupFlag & LookupFlag::UseMarkFilteringSet)
1356 {
1357 const HBUINT16 &markFilteringSet = StructAfter<HBUINT16> (subTable);
1358 if (!markFilteringSet.sanitize (c)) return_trace (false);
1359 }
1360
1361 if (unlikely (!get_subtables<TSubTable> ().sanitize (c, this, get_type ())))
1362 return_trace (false);
1363
1364 if (unlikely (get_type () == TSubTable::Extension && subtables && !c->get_edit_count ()))
1365 {
1366 /* The spec says all subtables of an Extension lookup should
1367 * have the same type, which shall not be the Extension type
1368 * itself (but we already checked for that).
1369 * This is specially important if one has a reverse type!
1370 *
1371 * We only do this if sanitizer edit_count is zero. Otherwise,
1372 * some of the subtables might have become insane after they
1373 * were sanity-checked by the edits of subsequent subtables.
1374 * https://bugs.chromium.org/p/chromium/issues/detail?id=960331
1375 */
1376 unsigned int type = get_subtable<TSubTable> (0).u.extension.get_type ();
1377 for (unsigned int i = 1; i < subtables; i++)
1378 if (get_subtable<TSubTable> (i).u.extension.get_type () != type)
1379 return_trace (false);
1380 }
1381 return_trace (true);
1382 }
1383
1384 private:
1385 HBUINT16 lookupType; /* Different enumerations for GSUB and GPOS */
1386 HBUINT16 lookupFlag; /* Lookup qualifiers */
1387 Array16Of<Offset16>
1388 subTable; /* Array of SubTables */
1389 /*HBUINT16 markFilteringSetX[HB_VAR_ARRAY];*//* Index (base 0) into GDEF mark glyph sets
1390 * structure. This field is only present if bit
1391 * UseMarkFilteringSet of lookup flags is set. */
1392 public:
1393 DEFINE_SIZE_ARRAY (6, subTable);
1394 };
1395
1396 typedef List16OfOffset16To<Lookup> LookupList;
1397
1398 template <typename TLookup>
1399 struct LookupOffsetList : List16OfOffset16To<TLookup>
1400 {
subsetOT::LookupOffsetList1401 bool subset (hb_subset_context_t *c,
1402 hb_subset_layout_context_t *l) const
1403 {
1404 TRACE_SUBSET (this);
1405 auto *out = c->serializer->start_embed (this);
1406 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
1407
1408 unsigned count = this->len;
1409 + hb_zip (*this, hb_range (count))
1410 | hb_filter (l->lookup_index_map, hb_second)
1411 | hb_map (hb_first)
1412 | hb_apply (subset_offset_array (c, *out, this))
1413 ;
1414 return_trace (true);
1415 }
1416
sanitizeOT::LookupOffsetList1417 bool sanitize (hb_sanitize_context_t *c) const
1418 {
1419 TRACE_SANITIZE (this);
1420 return_trace (List16OfOffset16To<TLookup>::sanitize (c, this));
1421 }
1422 };
1423
1424
1425 /*
1426 * Coverage Table
1427 */
1428
1429 struct CoverageFormat1
1430 {
1431 friend struct Coverage;
1432
1433 private:
get_coverageOT::CoverageFormat11434 unsigned int get_coverage (hb_codepoint_t glyph_id) const
1435 {
1436 unsigned int i;
1437 glyphArray.bfind (glyph_id, &i, HB_NOT_FOUND_STORE, NOT_COVERED);
1438 return i;
1439 }
1440
1441 template <typename Iterator,
1442 hb_requires (hb_is_sorted_source_of (Iterator, hb_codepoint_t))>
serializeOT::CoverageFormat11443 bool serialize (hb_serialize_context_t *c, Iterator glyphs)
1444 {
1445 TRACE_SERIALIZE (this);
1446 return_trace (glyphArray.serialize (c, glyphs));
1447 }
1448
sanitizeOT::CoverageFormat11449 bool sanitize (hb_sanitize_context_t *c) const
1450 {
1451 TRACE_SANITIZE (this);
1452 return_trace (glyphArray.sanitize (c));
1453 }
1454
intersectsOT::CoverageFormat11455 bool intersects (const hb_set_t *glyphs) const
1456 {
1457 /* TODO Speed up, using hb_set_next() and bsearch()? */
1458 for (const auto& g : glyphArray.as_array ())
1459 if (glyphs->has (g))
1460 return true;
1461 return false;
1462 }
intersects_coverageOT::CoverageFormat11463 bool intersects_coverage (const hb_set_t *glyphs, unsigned int index) const
1464 { return glyphs->has (glyphArray[index]); }
1465
intersected_coverage_glyphsOT::CoverageFormat11466 void intersected_coverage_glyphs (const hb_set_t *glyphs, hb_set_t *intersect_glyphs) const
1467 {
1468 unsigned count = glyphArray.len;
1469 for (unsigned i = 0; i < count; i++)
1470 if (glyphs->has (glyphArray[i]))
1471 intersect_glyphs->add (glyphArray[i]);
1472 }
1473
1474 template <typename set_t>
collect_coverageOT::CoverageFormat11475 bool collect_coverage (set_t *glyphs) const
1476 { return glyphs->add_sorted_array (glyphArray.as_array ()); }
1477
1478 public:
1479 /* Older compilers need this to be public. */
1480 struct iter_t
1481 {
initOT::CoverageFormat1::iter_t1482 void init (const struct CoverageFormat1 &c_) { c = &c_; i = 0; }
finiOT::CoverageFormat1::iter_t1483 void fini () {}
moreOT::CoverageFormat1::iter_t1484 bool more () const { return i < c->glyphArray.len; }
nextOT::CoverageFormat1::iter_t1485 void next () { i++; }
get_glyphOT::CoverageFormat1::iter_t1486 hb_codepoint_t get_glyph () const { return c->glyphArray[i]; }
operator !=OT::CoverageFormat1::iter_t1487 bool operator != (const iter_t& o) const
1488 { return i != o.i || c != o.c; }
1489
1490 private:
1491 const struct CoverageFormat1 *c;
1492 unsigned int i;
1493 };
1494 private:
1495
1496 protected:
1497 HBUINT16 coverageFormat; /* Format identifier--format = 1 */
1498 SortedArray16Of<HBGlyphID16>
1499 glyphArray; /* Array of GlyphIDs--in numerical order */
1500 public:
1501 DEFINE_SIZE_ARRAY (4, glyphArray);
1502 };
1503
1504 struct CoverageFormat2
1505 {
1506 friend struct Coverage;
1507
1508 private:
get_coverageOT::CoverageFormat21509 unsigned int get_coverage (hb_codepoint_t glyph_id) const
1510 {
1511 const RangeRecord &range = rangeRecord.bsearch (glyph_id);
1512 return likely (range.first <= range.last)
1513 ? (unsigned int) range.value + (glyph_id - range.first)
1514 : NOT_COVERED;
1515 }
1516
1517 template <typename Iterator,
1518 hb_requires (hb_is_sorted_source_of (Iterator, hb_codepoint_t))>
serializeOT::CoverageFormat21519 bool serialize (hb_serialize_context_t *c, Iterator glyphs)
1520 {
1521 TRACE_SERIALIZE (this);
1522 if (unlikely (!c->extend_min (this))) return_trace (false);
1523
1524 if (unlikely (!glyphs))
1525 {
1526 rangeRecord.len = 0;
1527 return_trace (true);
1528 }
1529
1530 /* TODO(iter) Write more efficiently? */
1531
1532 unsigned num_ranges = 0;
1533 hb_codepoint_t last = (hb_codepoint_t) -2;
1534 for (auto g: glyphs)
1535 {
1536 if (last + 1 != g)
1537 num_ranges++;
1538 last = g;
1539 }
1540
1541 if (unlikely (!rangeRecord.serialize (c, num_ranges))) return_trace (false);
1542
1543 unsigned count = 0;
1544 unsigned range = (unsigned) -1;
1545 last = (hb_codepoint_t) -2;
1546 for (auto g: glyphs)
1547 {
1548 if (last + 1 != g)
1549 {
1550 range++;
1551 rangeRecord[range].first = g;
1552 rangeRecord[range].value = count;
1553 }
1554 rangeRecord[range].last = g;
1555 last = g;
1556 count++;
1557 }
1558
1559 return_trace (true);
1560 }
1561
sanitizeOT::CoverageFormat21562 bool sanitize (hb_sanitize_context_t *c) const
1563 {
1564 TRACE_SANITIZE (this);
1565 return_trace (rangeRecord.sanitize (c));
1566 }
1567
intersectsOT::CoverageFormat21568 bool intersects (const hb_set_t *glyphs) const
1569 {
1570 /* TODO Speed up, using hb_set_next() and bsearch()? */
1571 /* TODO(iter) Rewrite as dagger. */
1572 for (const auto& range : rangeRecord.as_array ())
1573 if (range.intersects (glyphs))
1574 return true;
1575 return false;
1576 }
intersects_coverageOT::CoverageFormat21577 bool intersects_coverage (const hb_set_t *glyphs, unsigned int index) const
1578 {
1579 /* TODO(iter) Rewrite as dagger. */
1580 for (const auto& range : rangeRecord.as_array ())
1581 {
1582 if (range.value <= index &&
1583 index < (unsigned int) range.value + (range.last - range.first) &&
1584 range.intersects (glyphs))
1585 return true;
1586 else if (index < range.value)
1587 return false;
1588 }
1589 return false;
1590 }
1591
intersected_coverage_glyphsOT::CoverageFormat21592 void intersected_coverage_glyphs (const hb_set_t *glyphs, hb_set_t *intersect_glyphs) const
1593 {
1594 for (const auto& range : rangeRecord.as_array ())
1595 {
1596 if (!range.intersects (glyphs)) continue;
1597 for (hb_codepoint_t g = range.first; g <= range.last; g++)
1598 if (glyphs->has (g)) intersect_glyphs->add (g);
1599 }
1600 }
1601
1602 template <typename set_t>
collect_coverageOT::CoverageFormat21603 bool collect_coverage (set_t *glyphs) const
1604 {
1605 unsigned int count = rangeRecord.len;
1606 for (unsigned int i = 0; i < count; i++)
1607 if (unlikely (!rangeRecord[i].collect_coverage (glyphs)))
1608 return false;
1609 return true;
1610 }
1611
1612 public:
1613 /* Older compilers need this to be public. */
1614 struct iter_t
1615 {
initOT::CoverageFormat2::iter_t1616 void init (const CoverageFormat2 &c_)
1617 {
1618 c = &c_;
1619 coverage = 0;
1620 i = 0;
1621 j = c->rangeRecord.len ? c->rangeRecord[0].first : 0;
1622 if (unlikely (c->rangeRecord[0].first > c->rangeRecord[0].last))
1623 {
1624 /* Broken table. Skip. */
1625 i = c->rangeRecord.len;
1626 }
1627 }
finiOT::CoverageFormat2::iter_t1628 void fini () {}
moreOT::CoverageFormat2::iter_t1629 bool more () const { return i < c->rangeRecord.len; }
nextOT::CoverageFormat2::iter_t1630 void next ()
1631 {
1632 if (j >= c->rangeRecord[i].last)
1633 {
1634 i++;
1635 if (more ())
1636 {
1637 unsigned int old = coverage;
1638 j = c->rangeRecord[i].first;
1639 coverage = c->rangeRecord[i].value;
1640 if (unlikely (coverage != old + 1))
1641 {
1642 /* Broken table. Skip. Important to avoid DoS.
1643 * Also, our callers depend on coverage being
1644 * consecutive and monotonically increasing,
1645 * ie. iota(). */
1646 i = c->rangeRecord.len;
1647 return;
1648 }
1649 }
1650 return;
1651 }
1652 coverage++;
1653 j++;
1654 }
get_glyphOT::CoverageFormat2::iter_t1655 hb_codepoint_t get_glyph () const { return j; }
operator !=OT::CoverageFormat2::iter_t1656 bool operator != (const iter_t& o) const
1657 { return i != o.i || j != o.j || c != o.c; }
1658
1659 private:
1660 const struct CoverageFormat2 *c;
1661 unsigned int i, coverage;
1662 hb_codepoint_t j;
1663 };
1664 private:
1665
1666 protected:
1667 HBUINT16 coverageFormat; /* Format identifier--format = 2 */
1668 SortedArray16Of<RangeRecord>
1669 rangeRecord; /* Array of glyph ranges--ordered by
1670 * Start GlyphID. rangeCount entries
1671 * long */
1672 public:
1673 DEFINE_SIZE_ARRAY (4, rangeRecord);
1674 };
1675
1676 struct Coverage
1677 {
1678 /* Has interface. */
1679 static constexpr unsigned SENTINEL = NOT_COVERED;
1680 typedef unsigned int value_t;
operator []OT::Coverage1681 value_t operator [] (hb_codepoint_t k) const { return get (k); }
hasOT::Coverage1682 bool has (hb_codepoint_t k) const { return (*this)[k] != SENTINEL; }
1683 /* Predicate. */
operator ()OT::Coverage1684 bool operator () (hb_codepoint_t k) const { return has (k); }
1685
getOT::Coverage1686 unsigned int get (hb_codepoint_t k) const { return get_coverage (k); }
get_coverageOT::Coverage1687 unsigned int get_coverage (hb_codepoint_t glyph_id) const
1688 {
1689 switch (u.format) {
1690 case 1: return u.format1.get_coverage (glyph_id);
1691 case 2: return u.format2.get_coverage (glyph_id);
1692 default:return NOT_COVERED;
1693 }
1694 }
1695
1696 template <typename Iterator,
1697 hb_requires (hb_is_sorted_source_of (Iterator, hb_codepoint_t))>
serializeOT::Coverage1698 bool serialize (hb_serialize_context_t *c, Iterator glyphs)
1699 {
1700 TRACE_SERIALIZE (this);
1701 if (unlikely (!c->extend_min (this))) return_trace (false);
1702
1703 unsigned count = 0;
1704 unsigned num_ranges = 0;
1705 hb_codepoint_t last = (hb_codepoint_t) -2;
1706 for (auto g: glyphs)
1707 {
1708 if (last + 1 != g)
1709 num_ranges++;
1710 last = g;
1711 count++;
1712 }
1713 u.format = count <= num_ranges * 3 ? 1 : 2;
1714
1715 switch (u.format)
1716 {
1717 case 1: return_trace (u.format1.serialize (c, glyphs));
1718 case 2: return_trace (u.format2.serialize (c, glyphs));
1719 default:return_trace (false);
1720 }
1721 }
1722
subsetOT::Coverage1723 bool subset (hb_subset_context_t *c) const
1724 {
1725 TRACE_SUBSET (this);
1726 const hb_set_t &glyphset = *c->plan->glyphset_gsub ();
1727 const hb_map_t &glyph_map = *c->plan->glyph_map;
1728
1729 auto it =
1730 + iter ()
1731 | hb_filter (glyphset)
1732 | hb_map_retains_sorting (glyph_map)
1733 ;
1734
1735 bool ret = bool (it);
1736 Coverage_serialize (c->serializer, it);
1737 return_trace (ret);
1738 }
1739
sanitizeOT::Coverage1740 bool sanitize (hb_sanitize_context_t *c) const
1741 {
1742 TRACE_SANITIZE (this);
1743 if (!u.format.sanitize (c)) return_trace (false);
1744 switch (u.format)
1745 {
1746 case 1: return_trace (u.format1.sanitize (c));
1747 case 2: return_trace (u.format2.sanitize (c));
1748 default:return_trace (true);
1749 }
1750 }
1751
intersectsOT::Coverage1752 bool intersects (const hb_set_t *glyphs) const
1753 {
1754 switch (u.format)
1755 {
1756 case 1: return u.format1.intersects (glyphs);
1757 case 2: return u.format2.intersects (glyphs);
1758 default:return false;
1759 }
1760 }
intersects_coverageOT::Coverage1761 bool intersects_coverage (const hb_set_t *glyphs, unsigned int index) const
1762 {
1763 switch (u.format)
1764 {
1765 case 1: return u.format1.intersects_coverage (glyphs, index);
1766 case 2: return u.format2.intersects_coverage (glyphs, index);
1767 default:return false;
1768 }
1769 }
1770
1771 /* Might return false if array looks unsorted.
1772 * Used for faster rejection of corrupt data. */
1773 template <typename set_t>
collect_coverageOT::Coverage1774 bool collect_coverage (set_t *glyphs) const
1775 {
1776 switch (u.format)
1777 {
1778 case 1: return u.format1.collect_coverage (glyphs);
1779 case 2: return u.format2.collect_coverage (glyphs);
1780 default:return false;
1781 }
1782 }
1783
intersected_coverage_glyphsOT::Coverage1784 void intersected_coverage_glyphs (const hb_set_t *glyphs, hb_set_t *intersect_glyphs) const
1785 {
1786 switch (u.format)
1787 {
1788 case 1: return u.format1.intersected_coverage_glyphs (glyphs, intersect_glyphs);
1789 case 2: return u.format2.intersected_coverage_glyphs (glyphs, intersect_glyphs);
1790 default:return ;
1791 }
1792 }
1793
1794 struct iter_t : hb_iter_with_fallback_t<iter_t, hb_codepoint_t>
1795 {
1796 static constexpr bool is_sorted_iterator = true;
iter_tOT::Coverage::iter_t1797 iter_t (const Coverage &c_ = Null (Coverage))
1798 {
1799 memset (this, 0, sizeof (*this));
1800 format = c_.u.format;
1801 switch (format)
1802 {
1803 case 1: u.format1.init (c_.u.format1); return;
1804 case 2: u.format2.init (c_.u.format2); return;
1805 default: return;
1806 }
1807 }
__more__OT::Coverage::iter_t1808 bool __more__ () const
1809 {
1810 switch (format)
1811 {
1812 case 1: return u.format1.more ();
1813 case 2: return u.format2.more ();
1814 default:return false;
1815 }
1816 }
__next__OT::Coverage::iter_t1817 void __next__ ()
1818 {
1819 switch (format)
1820 {
1821 case 1: u.format1.next (); break;
1822 case 2: u.format2.next (); break;
1823 default: break;
1824 }
1825 }
1826 typedef hb_codepoint_t __item_t__;
__item__OT::Coverage::iter_t1827 __item_t__ __item__ () const { return get_glyph (); }
1828
get_glyphOT::Coverage::iter_t1829 hb_codepoint_t get_glyph () const
1830 {
1831 switch (format)
1832 {
1833 case 1: return u.format1.get_glyph ();
1834 case 2: return u.format2.get_glyph ();
1835 default:return 0;
1836 }
1837 }
operator !=OT::Coverage::iter_t1838 bool operator != (const iter_t& o) const
1839 {
1840 if (format != o.format) return true;
1841 switch (format)
1842 {
1843 case 1: return u.format1 != o.u.format1;
1844 case 2: return u.format2 != o.u.format2;
1845 default:return false;
1846 }
1847 }
1848
1849 private:
1850 unsigned int format;
1851 union {
1852 CoverageFormat2::iter_t format2; /* Put this one first since it's larger; helps shut up compiler. */
1853 CoverageFormat1::iter_t format1;
1854 } u;
1855 };
iterOT::Coverage1856 iter_t iter () const { return iter_t (*this); }
1857
1858 protected:
1859 union {
1860 HBUINT16 format; /* Format identifier */
1861 CoverageFormat1 format1;
1862 CoverageFormat2 format2;
1863 } u;
1864 public:
1865 DEFINE_SIZE_UNION (2, format);
1866 };
1867
1868 template<typename Iterator>
1869 static inline void
Coverage_serialize(hb_serialize_context_t * c,Iterator it)1870 Coverage_serialize (hb_serialize_context_t *c,
1871 Iterator it)
1872 { c->start_embed<Coverage> ()->serialize (c, it); }
1873
ClassDef_remap_and_serialize(hb_serialize_context_t * c,const hb_map_t & gid_klass_map,hb_sorted_vector_t<HBGlyphID16> & glyphs,const hb_set_t & klasses,bool use_class_zero,hb_map_t * klass_map)1874 static void ClassDef_remap_and_serialize (hb_serialize_context_t *c,
1875 const hb_map_t &gid_klass_map,
1876 hb_sorted_vector_t<HBGlyphID16> &glyphs,
1877 const hb_set_t &klasses,
1878 bool use_class_zero,
1879 hb_map_t *klass_map /*INOUT*/)
1880 {
1881 if (!klass_map)
1882 {
1883 ClassDef_serialize (c, hb_zip (glyphs.iter (), + glyphs.iter ()
1884 | hb_map (gid_klass_map)));
1885 return;
1886 }
1887
1888 /* any glyph not assigned a class value falls into Class zero (0),
1889 * if any glyph assigned to class 0, remapping must start with 0->0*/
1890 if (!use_class_zero)
1891 klass_map->set (0, 0);
1892
1893 unsigned idx = klass_map->has (0) ? 1 : 0;
1894 for (const unsigned k: klasses.iter ())
1895 {
1896 if (klass_map->has (k)) continue;
1897 klass_map->set (k, idx);
1898 idx++;
1899 }
1900
1901 auto it =
1902 + glyphs.iter ()
1903 | hb_map_retains_sorting ([&] (const HBGlyphID16& gid) -> hb_pair_t<hb_codepoint_t, unsigned>
1904 {
1905 unsigned new_klass = klass_map->get (gid_klass_map[gid]);
1906 return hb_pair ((hb_codepoint_t)gid, new_klass);
1907 })
1908 ;
1909
1910 c->propagate_error (glyphs, klasses);
1911 ClassDef_serialize (c, it);
1912 }
1913
1914 /*
1915 * Class Definition Table
1916 */
1917
1918 struct ClassDefFormat1
1919 {
1920 friend struct ClassDef;
1921
1922 private:
get_classOT::ClassDefFormat11923 unsigned int get_class (hb_codepoint_t glyph_id) const
1924 {
1925 return classValue[(unsigned int) (glyph_id - startGlyph)];
1926 }
1927
1928 template<typename Iterator,
1929 hb_requires (hb_is_iterator (Iterator))>
serializeOT::ClassDefFormat11930 bool serialize (hb_serialize_context_t *c,
1931 Iterator it)
1932 {
1933 TRACE_SERIALIZE (this);
1934 if (unlikely (!c->extend_min (this))) return_trace (false);
1935
1936 if (unlikely (!it))
1937 {
1938 classFormat = 1;
1939 startGlyph = 0;
1940 classValue.len = 0;
1941 return_trace (true);
1942 }
1943
1944 hb_codepoint_t glyph_min = (*it).first;
1945 hb_codepoint_t glyph_max = + it
1946 | hb_map (hb_first)
1947 | hb_reduce (hb_max, 0u);
1948 unsigned glyph_count = glyph_max - glyph_min + 1;
1949
1950 startGlyph = glyph_min;
1951 if (unlikely (!classValue.serialize (c, glyph_count))) return_trace (false);
1952 for (const hb_pair_t<hb_codepoint_t, unsigned> gid_klass_pair : + it)
1953 {
1954 unsigned idx = gid_klass_pair.first - glyph_min;
1955 classValue[idx] = gid_klass_pair.second;
1956 }
1957 return_trace (true);
1958 }
1959
subsetOT::ClassDefFormat11960 bool subset (hb_subset_context_t *c,
1961 hb_map_t *klass_map = nullptr /*OUT*/,
1962 bool keep_empty_table = true,
1963 bool use_class_zero = true,
1964 const Coverage* glyph_filter = nullptr) const
1965 {
1966 TRACE_SUBSET (this);
1967 const hb_set_t &glyphset = *c->plan->glyphset_gsub ();
1968 const hb_map_t &glyph_map = *c->plan->glyph_map;
1969
1970 hb_sorted_vector_t<HBGlyphID16> glyphs;
1971 hb_set_t orig_klasses;
1972 hb_map_t gid_org_klass_map;
1973
1974 hb_codepoint_t start = startGlyph;
1975 hb_codepoint_t end = start + classValue.len;
1976
1977 for (const hb_codepoint_t gid : + hb_range (start, end)
1978 | hb_filter (glyphset))
1979 {
1980 if (glyph_filter && !glyph_filter->has(gid)) continue;
1981
1982 unsigned klass = classValue[gid - start];
1983 if (!klass) continue;
1984
1985 glyphs.push (glyph_map[gid]);
1986 gid_org_klass_map.set (glyph_map[gid], klass);
1987 orig_klasses.add (klass);
1988 }
1989
1990 unsigned glyph_count = glyph_filter
1991 ? hb_len (hb_iter (glyphset) | hb_filter (glyph_filter))
1992 : glyphset.get_population ();
1993 use_class_zero = use_class_zero && glyph_count <= gid_org_klass_map.get_population ();
1994 ClassDef_remap_and_serialize (c->serializer, gid_org_klass_map,
1995 glyphs, orig_klasses, use_class_zero, klass_map);
1996 return_trace (keep_empty_table || (bool) glyphs);
1997 }
1998
sanitizeOT::ClassDefFormat11999 bool sanitize (hb_sanitize_context_t *c) const
2000 {
2001 TRACE_SANITIZE (this);
2002 return_trace (c->check_struct (this) && classValue.sanitize (c));
2003 }
2004
2005 template <typename set_t>
collect_coverageOT::ClassDefFormat12006 bool collect_coverage (set_t *glyphs) const
2007 {
2008 unsigned int start = 0;
2009 unsigned int count = classValue.len;
2010 for (unsigned int i = 0; i < count; i++)
2011 {
2012 if (classValue[i])
2013 continue;
2014
2015 if (start != i)
2016 if (unlikely (!glyphs->add_range (startGlyph + start, startGlyph + i)))
2017 return false;
2018
2019 start = i + 1;
2020 }
2021 if (start != count)
2022 if (unlikely (!glyphs->add_range (startGlyph + start, startGlyph + count)))
2023 return false;
2024
2025 return true;
2026 }
2027
2028 template <typename set_t>
collect_classOT::ClassDefFormat12029 bool collect_class (set_t *glyphs, unsigned klass) const
2030 {
2031 unsigned int count = classValue.len;
2032 for (unsigned int i = 0; i < count; i++)
2033 if (classValue[i] == klass) glyphs->add (startGlyph + i);
2034 return true;
2035 }
2036
intersectsOT::ClassDefFormat12037 bool intersects (const hb_set_t *glyphs) const
2038 {
2039 /* TODO Speed up, using hb_set_next()? */
2040 hb_codepoint_t start = startGlyph;
2041 hb_codepoint_t end = startGlyph + classValue.len;
2042 for (hb_codepoint_t iter = startGlyph - 1;
2043 hb_set_next (glyphs, &iter) && iter < end;)
2044 if (classValue[iter - start]) return true;
2045 return false;
2046 }
intersects_classOT::ClassDefFormat12047 bool intersects_class (const hb_set_t *glyphs, uint16_t klass) const
2048 {
2049 unsigned int count = classValue.len;
2050 if (klass == 0)
2051 {
2052 /* Match if there's any glyph that is not listed! */
2053 hb_codepoint_t g = HB_SET_VALUE_INVALID;
2054 if (!hb_set_next (glyphs, &g)) return false;
2055 if (g < startGlyph) return true;
2056 g = startGlyph + count - 1;
2057 if (hb_set_next (glyphs, &g)) return true;
2058 /* Fall through. */
2059 }
2060 /* TODO Speed up, using set overlap first? */
2061 /* TODO(iter) Rewrite as dagger. */
2062 HBUINT16 k {klass};
2063 const HBUINT16 *arr = classValue.arrayZ;
2064 for (unsigned int i = 0; i < count; i++)
2065 if (arr[i] == k && glyphs->has (startGlyph + i))
2066 return true;
2067 return false;
2068 }
2069
intersected_class_glyphsOT::ClassDefFormat12070 void intersected_class_glyphs (const hb_set_t *glyphs, unsigned klass, hb_set_t *intersect_glyphs) const
2071 {
2072 unsigned count = classValue.len;
2073 if (klass == 0)
2074 {
2075 hb_codepoint_t endGlyph = startGlyph + count -1;
2076 for (hb_codepoint_t g : glyphs->iter ())
2077 if (g < startGlyph || g > endGlyph)
2078 intersect_glyphs->add (g);
2079
2080 return;
2081 }
2082
2083 for (unsigned i = 0; i < count; i++)
2084 if (classValue[i] == klass && glyphs->has (startGlyph + i))
2085 intersect_glyphs->add (startGlyph + i);
2086 }
2087
intersected_classesOT::ClassDefFormat12088 void intersected_classes (const hb_set_t *glyphs, hb_set_t *intersect_classes) const
2089 {
2090 if (glyphs->is_empty ()) return;
2091 hb_codepoint_t end_glyph = startGlyph + classValue.len - 1;
2092 if (glyphs->get_min () < startGlyph ||
2093 glyphs->get_max () > end_glyph)
2094 intersect_classes->add (0);
2095
2096 for (const auto& _ : + hb_enumerate (classValue))
2097 {
2098 hb_codepoint_t g = startGlyph + _.first;
2099 if (glyphs->has (g))
2100 intersect_classes->add (_.second);
2101 }
2102 }
2103
2104 protected:
2105 HBUINT16 classFormat; /* Format identifier--format = 1 */
2106 HBGlyphID16 startGlyph; /* First GlyphID of the classValueArray */
2107 Array16Of<HBUINT16>
2108 classValue; /* Array of Class Values--one per GlyphID */
2109 public:
2110 DEFINE_SIZE_ARRAY (6, classValue);
2111 };
2112
2113 struct ClassDefFormat2
2114 {
2115 friend struct ClassDef;
2116
2117 private:
get_classOT::ClassDefFormat22118 unsigned int get_class (hb_codepoint_t glyph_id) const
2119 {
2120 return rangeRecord.bsearch (glyph_id).value;
2121 }
2122
2123 template<typename Iterator,
2124 hb_requires (hb_is_iterator (Iterator))>
serializeOT::ClassDefFormat22125 bool serialize (hb_serialize_context_t *c,
2126 Iterator it)
2127 {
2128 TRACE_SERIALIZE (this);
2129 if (unlikely (!c->extend_min (this))) return_trace (false);
2130
2131 if (unlikely (!it))
2132 {
2133 classFormat = 2;
2134 rangeRecord.len = 0;
2135 return_trace (true);
2136 }
2137
2138 unsigned num_ranges = 1;
2139 hb_codepoint_t prev_gid = (*it).first;
2140 unsigned prev_klass = (*it).second;
2141
2142 RangeRecord range_rec;
2143 range_rec.first = prev_gid;
2144 range_rec.last = prev_gid;
2145 range_rec.value = prev_klass;
2146
2147 RangeRecord *record = c->copy (range_rec);
2148 if (unlikely (!record)) return_trace (false);
2149
2150 for (const auto gid_klass_pair : + (++it))
2151 {
2152 hb_codepoint_t cur_gid = gid_klass_pair.first;
2153 unsigned cur_klass = gid_klass_pair.second;
2154
2155 if (cur_gid != prev_gid + 1 ||
2156 cur_klass != prev_klass)
2157 {
2158 if (unlikely (!record)) break;
2159 record->last = prev_gid;
2160 num_ranges++;
2161
2162 range_rec.first = cur_gid;
2163 range_rec.last = cur_gid;
2164 range_rec.value = cur_klass;
2165
2166 record = c->copy (range_rec);
2167 }
2168
2169 prev_klass = cur_klass;
2170 prev_gid = cur_gid;
2171 }
2172
2173 if (likely (record)) record->last = prev_gid;
2174 rangeRecord.len = num_ranges;
2175 return_trace (true);
2176 }
2177
subsetOT::ClassDefFormat22178 bool subset (hb_subset_context_t *c,
2179 hb_map_t *klass_map = nullptr /*OUT*/,
2180 bool keep_empty_table = true,
2181 bool use_class_zero = true,
2182 const Coverage* glyph_filter = nullptr) const
2183 {
2184 TRACE_SUBSET (this);
2185 const hb_set_t &glyphset = *c->plan->glyphset_gsub ();
2186 const hb_map_t &glyph_map = *c->plan->glyph_map;
2187
2188 hb_sorted_vector_t<HBGlyphID16> glyphs;
2189 hb_set_t orig_klasses;
2190 hb_map_t gid_org_klass_map;
2191
2192 unsigned count = rangeRecord.len;
2193 for (unsigned i = 0; i < count; i++)
2194 {
2195 unsigned klass = rangeRecord[i].value;
2196 if (!klass) continue;
2197 hb_codepoint_t start = rangeRecord[i].first;
2198 hb_codepoint_t end = rangeRecord[i].last + 1;
2199 for (hb_codepoint_t g = start; g < end; g++)
2200 {
2201 if (!glyphset.has (g)) continue;
2202 if (glyph_filter && !glyph_filter->has (g)) continue;
2203 glyphs.push (glyph_map[g]);
2204 gid_org_klass_map.set (glyph_map[g], klass);
2205 orig_klasses.add (klass);
2206 }
2207 }
2208
2209 unsigned glyph_count = glyph_filter
2210 ? hb_len (hb_iter (glyphset) | hb_filter (glyph_filter))
2211 : glyphset.get_population ();
2212 use_class_zero = use_class_zero && glyph_count <= gid_org_klass_map.get_population ();
2213 ClassDef_remap_and_serialize (c->serializer, gid_org_klass_map,
2214 glyphs, orig_klasses, use_class_zero, klass_map);
2215 return_trace (keep_empty_table || (bool) glyphs);
2216 }
2217
sanitizeOT::ClassDefFormat22218 bool sanitize (hb_sanitize_context_t *c) const
2219 {
2220 TRACE_SANITIZE (this);
2221 return_trace (rangeRecord.sanitize (c));
2222 }
2223
2224 template <typename set_t>
collect_coverageOT::ClassDefFormat22225 bool collect_coverage (set_t *glyphs) const
2226 {
2227 unsigned int count = rangeRecord.len;
2228 for (unsigned int i = 0; i < count; i++)
2229 if (rangeRecord[i].value)
2230 if (unlikely (!rangeRecord[i].collect_coverage (glyphs)))
2231 return false;
2232 return true;
2233 }
2234
2235 template <typename set_t>
collect_classOT::ClassDefFormat22236 bool collect_class (set_t *glyphs, unsigned int klass) const
2237 {
2238 unsigned int count = rangeRecord.len;
2239 for (unsigned int i = 0; i < count; i++)
2240 {
2241 if (rangeRecord[i].value == klass)
2242 if (unlikely (!rangeRecord[i].collect_coverage (glyphs)))
2243 return false;
2244 }
2245 return true;
2246 }
2247
intersectsOT::ClassDefFormat22248 bool intersects (const hb_set_t *glyphs) const
2249 {
2250 /* TODO Speed up, using hb_set_next() and bsearch()? */
2251 unsigned int count = rangeRecord.len;
2252 for (unsigned int i = 0; i < count; i++)
2253 {
2254 const auto& range = rangeRecord[i];
2255 if (range.intersects (glyphs) && range.value)
2256 return true;
2257 }
2258 return false;
2259 }
intersects_classOT::ClassDefFormat22260 bool intersects_class (const hb_set_t *glyphs, uint16_t klass) const
2261 {
2262 unsigned int count = rangeRecord.len;
2263 if (klass == 0)
2264 {
2265 /* Match if there's any glyph that is not listed! */
2266 hb_codepoint_t g = HB_SET_VALUE_INVALID;
2267 for (unsigned int i = 0; i < count; i++)
2268 {
2269 if (!hb_set_next (glyphs, &g))
2270 break;
2271 if (g < rangeRecord[i].first)
2272 return true;
2273 g = rangeRecord[i].last;
2274 }
2275 if (g != HB_SET_VALUE_INVALID && hb_set_next (glyphs, &g))
2276 return true;
2277 /* Fall through. */
2278 }
2279 /* TODO Speed up, using set overlap first? */
2280 /* TODO(iter) Rewrite as dagger. */
2281 HBUINT16 k {klass};
2282 const RangeRecord *arr = rangeRecord.arrayZ;
2283 for (unsigned int i = 0; i < count; i++)
2284 if (arr[i].value == k && arr[i].intersects (glyphs))
2285 return true;
2286 return false;
2287 }
2288
intersected_class_glyphsOT::ClassDefFormat22289 void intersected_class_glyphs (const hb_set_t *glyphs, unsigned klass, hb_set_t *intersect_glyphs) const
2290 {
2291 unsigned count = rangeRecord.len;
2292 if (klass == 0)
2293 {
2294 hb_codepoint_t g = HB_SET_VALUE_INVALID;
2295 for (unsigned int i = 0; i < count; i++)
2296 {
2297 if (!hb_set_next (glyphs, &g))
2298 break;
2299 while (g != HB_SET_VALUE_INVALID && g < rangeRecord[i].first)
2300 {
2301 intersect_glyphs->add (g);
2302 hb_set_next (glyphs, &g);
2303 }
2304 g = rangeRecord[i].last;
2305 }
2306 while (g != HB_SET_VALUE_INVALID && hb_set_next (glyphs, &g))
2307 intersect_glyphs->add (g);
2308
2309 return;
2310 }
2311
2312 hb_codepoint_t g = HB_SET_VALUE_INVALID;
2313 for (unsigned int i = 0; i < count; i++)
2314 {
2315 if (rangeRecord[i].value != klass) continue;
2316
2317 if (g != HB_SET_VALUE_INVALID)
2318 {
2319 if (g >= rangeRecord[i].first &&
2320 g <= rangeRecord[i].last)
2321 intersect_glyphs->add (g);
2322 if (g > rangeRecord[i].last)
2323 continue;
2324 }
2325
2326 g = rangeRecord[i].first - 1;
2327 while (hb_set_next (glyphs, &g))
2328 {
2329 if (g >= rangeRecord[i].first && g <= rangeRecord[i].last)
2330 intersect_glyphs->add (g);
2331 else if (g > rangeRecord[i].last)
2332 break;
2333 }
2334 }
2335 }
2336
intersected_classesOT::ClassDefFormat22337 void intersected_classes (const hb_set_t *glyphs, hb_set_t *intersect_classes) const
2338 {
2339 if (glyphs->is_empty ()) return;
2340
2341 unsigned count = rangeRecord.len;
2342 hb_codepoint_t g = HB_SET_VALUE_INVALID;
2343 for (unsigned int i = 0; i < count; i++)
2344 {
2345 if (!hb_set_next (glyphs, &g))
2346 break;
2347 if (g < rangeRecord[i].first)
2348 {
2349 intersect_classes->add (0);
2350 break;
2351 }
2352 g = rangeRecord[i].last;
2353 }
2354 if (g != HB_SET_VALUE_INVALID && hb_set_next (glyphs, &g))
2355 intersect_classes->add (0);
2356
2357 for (const RangeRecord& record : rangeRecord.iter ())
2358 if (record.intersects (glyphs))
2359 intersect_classes->add (record.value);
2360 }
2361
2362 protected:
2363 HBUINT16 classFormat; /* Format identifier--format = 2 */
2364 SortedArray16Of<RangeRecord>
2365 rangeRecord; /* Array of glyph ranges--ordered by
2366 * Start GlyphID */
2367 public:
2368 DEFINE_SIZE_ARRAY (4, rangeRecord);
2369 };
2370
2371 struct ClassDef
2372 {
2373 /* Has interface. */
2374 static constexpr unsigned SENTINEL = 0;
2375 typedef unsigned int value_t;
operator []OT::ClassDef2376 value_t operator [] (hb_codepoint_t k) const { return get (k); }
hasOT::ClassDef2377 bool has (hb_codepoint_t k) const { return (*this)[k] != SENTINEL; }
2378 /* Projection. */
operator ()OT::ClassDef2379 hb_codepoint_t operator () (hb_codepoint_t k) const { return get (k); }
2380
getOT::ClassDef2381 unsigned int get (hb_codepoint_t k) const { return get_class (k); }
get_classOT::ClassDef2382 unsigned int get_class (hb_codepoint_t glyph_id) const
2383 {
2384 switch (u.format) {
2385 case 1: return u.format1.get_class (glyph_id);
2386 case 2: return u.format2.get_class (glyph_id);
2387 default:return 0;
2388 }
2389 }
2390
2391 template<typename Iterator,
2392 hb_requires (hb_is_iterator (Iterator))>
serializeOT::ClassDef2393 bool serialize (hb_serialize_context_t *c, Iterator it_with_class_zero)
2394 {
2395 TRACE_SERIALIZE (this);
2396 if (unlikely (!c->extend_min (this))) return_trace (false);
2397
2398 auto it = + it_with_class_zero | hb_filter (hb_second);
2399
2400 unsigned format = 2;
2401 if (likely (it))
2402 {
2403 hb_codepoint_t glyph_min = (*it).first;
2404 hb_codepoint_t glyph_max = glyph_min;
2405
2406 unsigned num_glyphs = 0;
2407 unsigned num_ranges = 1;
2408 hb_codepoint_t prev_gid = glyph_min;
2409 unsigned prev_klass = (*it).second;
2410
2411 for (const auto gid_klass_pair : it)
2412 {
2413 hb_codepoint_t cur_gid = gid_klass_pair.first;
2414 unsigned cur_klass = gid_klass_pair.second;
2415 num_glyphs++;
2416 if (cur_gid == glyph_min) continue;
2417 if (cur_gid > glyph_max) glyph_max = cur_gid;
2418 if (cur_gid != prev_gid + 1 ||
2419 cur_klass != prev_klass)
2420 num_ranges++;
2421
2422 prev_gid = cur_gid;
2423 prev_klass = cur_klass;
2424 }
2425
2426 if (num_glyphs && 1 + (glyph_max - glyph_min + 1) <= num_ranges * 3)
2427 format = 1;
2428 }
2429 u.format = format;
2430
2431 switch (u.format)
2432 {
2433 case 1: return_trace (u.format1.serialize (c, it));
2434 case 2: return_trace (u.format2.serialize (c, it));
2435 default:return_trace (false);
2436 }
2437 }
2438
subsetOT::ClassDef2439 bool subset (hb_subset_context_t *c,
2440 hb_map_t *klass_map = nullptr /*OUT*/,
2441 bool keep_empty_table = true,
2442 bool use_class_zero = true,
2443 const Coverage* glyph_filter = nullptr) const
2444 {
2445 TRACE_SUBSET (this);
2446 switch (u.format) {
2447 case 1: return_trace (u.format1.subset (c, klass_map, keep_empty_table, use_class_zero, glyph_filter));
2448 case 2: return_trace (u.format2.subset (c, klass_map, keep_empty_table, use_class_zero, glyph_filter));
2449 default:return_trace (false);
2450 }
2451 }
2452
sanitizeOT::ClassDef2453 bool sanitize (hb_sanitize_context_t *c) const
2454 {
2455 TRACE_SANITIZE (this);
2456 if (!u.format.sanitize (c)) return_trace (false);
2457 switch (u.format) {
2458 case 1: return_trace (u.format1.sanitize (c));
2459 case 2: return_trace (u.format2.sanitize (c));
2460 default:return_trace (true);
2461 }
2462 }
2463
2464 /* Might return false if array looks unsorted.
2465 * Used for faster rejection of corrupt data. */
2466 template <typename set_t>
collect_coverageOT::ClassDef2467 bool collect_coverage (set_t *glyphs) const
2468 {
2469 switch (u.format) {
2470 case 1: return u.format1.collect_coverage (glyphs);
2471 case 2: return u.format2.collect_coverage (glyphs);
2472 default:return false;
2473 }
2474 }
2475
2476 /* Might return false if array looks unsorted.
2477 * Used for faster rejection of corrupt data. */
2478 template <typename set_t>
collect_classOT::ClassDef2479 bool collect_class (set_t *glyphs, unsigned int klass) const
2480 {
2481 switch (u.format) {
2482 case 1: return u.format1.collect_class (glyphs, klass);
2483 case 2: return u.format2.collect_class (glyphs, klass);
2484 default:return false;
2485 }
2486 }
2487
intersectsOT::ClassDef2488 bool intersects (const hb_set_t *glyphs) const
2489 {
2490 switch (u.format) {
2491 case 1: return u.format1.intersects (glyphs);
2492 case 2: return u.format2.intersects (glyphs);
2493 default:return false;
2494 }
2495 }
intersects_classOT::ClassDef2496 bool intersects_class (const hb_set_t *glyphs, unsigned int klass) const
2497 {
2498 switch (u.format) {
2499 case 1: return u.format1.intersects_class (glyphs, klass);
2500 case 2: return u.format2.intersects_class (glyphs, klass);
2501 default:return false;
2502 }
2503 }
2504
intersected_class_glyphsOT::ClassDef2505 void intersected_class_glyphs (const hb_set_t *glyphs, unsigned klass, hb_set_t *intersect_glyphs) const
2506 {
2507 switch (u.format) {
2508 case 1: return u.format1.intersected_class_glyphs (glyphs, klass, intersect_glyphs);
2509 case 2: return u.format2.intersected_class_glyphs (glyphs, klass, intersect_glyphs);
2510 default:return;
2511 }
2512 }
2513
intersected_classesOT::ClassDef2514 void intersected_classes (const hb_set_t *glyphs, hb_set_t *intersect_classes) const
2515 {
2516 switch (u.format) {
2517 case 1: return u.format1.intersected_classes (glyphs, intersect_classes);
2518 case 2: return u.format2.intersected_classes (glyphs, intersect_classes);
2519 default:return;
2520 }
2521 }
2522
2523
2524 protected:
2525 union {
2526 HBUINT16 format; /* Format identifier */
2527 ClassDefFormat1 format1;
2528 ClassDefFormat2 format2;
2529 } u;
2530 public:
2531 DEFINE_SIZE_UNION (2, format);
2532 };
2533
2534 template<typename Iterator>
ClassDef_serialize(hb_serialize_context_t * c,Iterator it)2535 static inline void ClassDef_serialize (hb_serialize_context_t *c,
2536 Iterator it)
2537 { c->start_embed<ClassDef> ()->serialize (c, it); }
2538
2539
2540 /*
2541 * Item Variation Store
2542 */
2543
2544 struct VarRegionAxis
2545 {
evaluateOT::VarRegionAxis2546 float evaluate (int coord) const
2547 {
2548 int start = startCoord, peak = peakCoord, end = endCoord;
2549
2550 /* TODO Move these to sanitize(). */
2551 if (unlikely (start > peak || peak > end))
2552 return 1.;
2553 if (unlikely (start < 0 && end > 0 && peak != 0))
2554 return 1.;
2555
2556 if (peak == 0 || coord == peak)
2557 return 1.;
2558
2559 if (coord <= start || end <= coord)
2560 return 0.;
2561
2562 /* Interpolate */
2563 if (coord < peak)
2564 return float (coord - start) / (peak - start);
2565 else
2566 return float (end - coord) / (end - peak);
2567 }
2568
sanitizeOT::VarRegionAxis2569 bool sanitize (hb_sanitize_context_t *c) const
2570 {
2571 TRACE_SANITIZE (this);
2572 return_trace (c->check_struct (this));
2573 /* TODO Handle invalid start/peak/end configs, so we don't
2574 * have to do that at runtime. */
2575 }
2576
2577 public:
2578 F2DOT14 startCoord;
2579 F2DOT14 peakCoord;
2580 F2DOT14 endCoord;
2581 public:
2582 DEFINE_SIZE_STATIC (6);
2583 };
2584
2585 struct VarRegionList
2586 {
evaluateOT::VarRegionList2587 float evaluate (unsigned int region_index,
2588 const int *coords, unsigned int coord_len) const
2589 {
2590 if (unlikely (region_index >= regionCount))
2591 return 0.;
2592
2593 const VarRegionAxis *axes = axesZ.arrayZ + (region_index * axisCount);
2594
2595 float v = 1.;
2596 unsigned int count = axisCount;
2597 for (unsigned int i = 0; i < count; i++)
2598 {
2599 int coord = i < coord_len ? coords[i] : 0;
2600 float factor = axes[i].evaluate (coord);
2601 if (factor == 0.f)
2602 return 0.;
2603 v *= factor;
2604 }
2605 return v;
2606 }
2607
sanitizeOT::VarRegionList2608 bool sanitize (hb_sanitize_context_t *c) const
2609 {
2610 TRACE_SANITIZE (this);
2611 return_trace (c->check_struct (this) && axesZ.sanitize (c, axisCount * regionCount));
2612 }
2613
serializeOT::VarRegionList2614 bool serialize (hb_serialize_context_t *c, const VarRegionList *src, const hb_bimap_t ®ion_map)
2615 {
2616 TRACE_SERIALIZE (this);
2617 if (unlikely (!c->extend_min (this))) return_trace (false);
2618 axisCount = src->axisCount;
2619 regionCount = region_map.get_population ();
2620 if (unlikely (hb_unsigned_mul_overflows (axisCount * regionCount,
2621 VarRegionAxis::static_size))) return_trace (false);
2622 if (unlikely (!c->extend (this))) return_trace (false);
2623 unsigned int region_count = src->regionCount;
2624 for (unsigned int r = 0; r < regionCount; r++)
2625 {
2626 unsigned int backward = region_map.backward (r);
2627 if (backward >= region_count) return_trace (false);
2628 memcpy (&axesZ[axisCount * r], &src->axesZ[axisCount * backward], VarRegionAxis::static_size * axisCount);
2629 }
2630
2631 return_trace (true);
2632 }
2633
get_sizeOT::VarRegionList2634 unsigned int get_size () const { return min_size + VarRegionAxis::static_size * axisCount * regionCount; }
2635
2636 public:
2637 HBUINT16 axisCount;
2638 HBUINT15 regionCount;
2639 protected:
2640 UnsizedArrayOf<VarRegionAxis>
2641 axesZ;
2642 public:
2643 DEFINE_SIZE_ARRAY (4, axesZ);
2644 };
2645
2646 struct VarData
2647 {
get_region_index_countOT::VarData2648 unsigned int get_region_index_count () const
2649 { return regionIndices.len; }
2650
get_row_sizeOT::VarData2651 unsigned int get_row_size () const
2652 { return shortCount + regionIndices.len; }
2653
get_sizeOT::VarData2654 unsigned int get_size () const
2655 { return min_size
2656 - regionIndices.min_size + regionIndices.get_size ()
2657 + itemCount * get_row_size ();
2658 }
2659
get_deltaOT::VarData2660 float get_delta (unsigned int inner,
2661 const int *coords, unsigned int coord_count,
2662 const VarRegionList ®ions) const
2663 {
2664 if (unlikely (inner >= itemCount))
2665 return 0.;
2666
2667 unsigned int count = regionIndices.len;
2668 unsigned int scount = shortCount;
2669
2670 const HBUINT8 *bytes = get_delta_bytes ();
2671 const HBUINT8 *row = bytes + inner * (scount + count);
2672
2673 float delta = 0.;
2674 unsigned int i = 0;
2675
2676 const HBINT16 *scursor = reinterpret_cast<const HBINT16 *> (row);
2677 for (; i < scount; i++)
2678 {
2679 float scalar = regions.evaluate (regionIndices.arrayZ[i], coords, coord_count);
2680 delta += scalar * *scursor++;
2681 }
2682 const HBINT8 *bcursor = reinterpret_cast<const HBINT8 *> (scursor);
2683 for (; i < count; i++)
2684 {
2685 float scalar = regions.evaluate (regionIndices.arrayZ[i], coords, coord_count);
2686 delta += scalar * *bcursor++;
2687 }
2688
2689 return delta;
2690 }
2691
get_region_scalarsOT::VarData2692 void get_region_scalars (const int *coords, unsigned int coord_count,
2693 const VarRegionList ®ions,
2694 float *scalars /*OUT */,
2695 unsigned int num_scalars) const
2696 {
2697 unsigned count = hb_min (num_scalars, regionIndices.len);
2698 for (unsigned int i = 0; i < count; i++)
2699 scalars[i] = regions.evaluate (regionIndices.arrayZ[i], coords, coord_count);
2700 for (unsigned int i = count; i < num_scalars; i++)
2701 scalars[i] = 0.f;
2702 }
2703
sanitizeOT::VarData2704 bool sanitize (hb_sanitize_context_t *c) const
2705 {
2706 TRACE_SANITIZE (this);
2707 return_trace (c->check_struct (this) &&
2708 regionIndices.sanitize (c) &&
2709 shortCount <= regionIndices.len &&
2710 c->check_range (get_delta_bytes (),
2711 itemCount,
2712 get_row_size ()));
2713 }
2714
serializeOT::VarData2715 bool serialize (hb_serialize_context_t *c,
2716 const VarData *src,
2717 const hb_inc_bimap_t &inner_map,
2718 const hb_bimap_t ®ion_map)
2719 {
2720 TRACE_SERIALIZE (this);
2721 if (unlikely (!c->extend_min (this))) return_trace (false);
2722 itemCount = inner_map.get_next_value ();
2723
2724 /* Optimize short count */
2725 unsigned short ri_count = src->regionIndices.len;
2726 enum delta_size_t { kZero=0, kByte, kShort };
2727 hb_vector_t<delta_size_t> delta_sz;
2728 hb_vector_t<unsigned int> ri_map; /* maps old index to new index */
2729 delta_sz.resize (ri_count);
2730 ri_map.resize (ri_count);
2731 unsigned int new_short_count = 0;
2732 unsigned int r;
2733 for (r = 0; r < ri_count; r++)
2734 {
2735 delta_sz[r] = kZero;
2736 for (unsigned int i = 0; i < inner_map.get_next_value (); i++)
2737 {
2738 unsigned int old = inner_map.backward (i);
2739 int16_t delta = src->get_item_delta (old, r);
2740 if (delta < -128 || 127 < delta)
2741 {
2742 delta_sz[r] = kShort;
2743 new_short_count++;
2744 break;
2745 }
2746 else if (delta != 0)
2747 delta_sz[r] = kByte;
2748 }
2749 }
2750 unsigned int short_index = 0;
2751 unsigned int byte_index = new_short_count;
2752 unsigned int new_ri_count = 0;
2753 for (r = 0; r < ri_count; r++)
2754 if (delta_sz[r])
2755 {
2756 ri_map[r] = (delta_sz[r] == kShort)? short_index++ : byte_index++;
2757 new_ri_count++;
2758 }
2759
2760 shortCount = new_short_count;
2761 regionIndices.len = new_ri_count;
2762
2763 if (unlikely (!c->extend (this))) return_trace (false);
2764
2765 for (r = 0; r < ri_count; r++)
2766 if (delta_sz[r]) regionIndices[ri_map[r]] = region_map[src->regionIndices[r]];
2767
2768 for (unsigned int i = 0; i < itemCount; i++)
2769 {
2770 unsigned int old = inner_map.backward (i);
2771 for (unsigned int r = 0; r < ri_count; r++)
2772 if (delta_sz[r]) set_item_delta (i, ri_map[r], src->get_item_delta (old, r));
2773 }
2774
2775 return_trace (true);
2776 }
2777
collect_region_refsOT::VarData2778 void collect_region_refs (hb_set_t ®ion_indices, const hb_inc_bimap_t &inner_map) const
2779 {
2780 for (unsigned int r = 0; r < regionIndices.len; r++)
2781 {
2782 unsigned int region = regionIndices[r];
2783 if (region_indices.has (region)) continue;
2784 for (unsigned int i = 0; i < inner_map.get_next_value (); i++)
2785 if (get_item_delta (inner_map.backward (i), r) != 0)
2786 {
2787 region_indices.add (region);
2788 break;
2789 }
2790 }
2791 }
2792
2793 protected:
get_delta_bytesOT::VarData2794 const HBUINT8 *get_delta_bytes () const
2795 { return &StructAfter<HBUINT8> (regionIndices); }
2796
get_delta_bytesOT::VarData2797 HBUINT8 *get_delta_bytes ()
2798 { return &StructAfter<HBUINT8> (regionIndices); }
2799
get_item_deltaOT::VarData2800 int16_t get_item_delta (unsigned int item, unsigned int region) const
2801 {
2802 if ( item >= itemCount || unlikely (region >= regionIndices.len)) return 0;
2803 const HBINT8 *p = (const HBINT8 *)get_delta_bytes () + item * get_row_size ();
2804 if (region < shortCount)
2805 return ((const HBINT16 *)p)[region];
2806 else
2807 return (p + HBINT16::static_size * shortCount)[region - shortCount];
2808 }
2809
set_item_deltaOT::VarData2810 void set_item_delta (unsigned int item, unsigned int region, int16_t delta)
2811 {
2812 HBINT8 *p = (HBINT8 *)get_delta_bytes () + item * get_row_size ();
2813 if (region < shortCount)
2814 ((HBINT16 *)p)[region] = delta;
2815 else
2816 (p + HBINT16::static_size * shortCount)[region - shortCount] = delta;
2817 }
2818
2819 protected:
2820 HBUINT16 itemCount;
2821 HBUINT16 shortCount;
2822 Array16Of<HBUINT16> regionIndices;
2823 /*UnsizedArrayOf<HBUINT8>bytesX;*/
2824 public:
2825 DEFINE_SIZE_ARRAY (6, regionIndices);
2826 };
2827
2828 struct VariationStore
2829 {
2830 private:
get_deltaOT::VariationStore2831 float get_delta (unsigned int outer, unsigned int inner,
2832 const int *coords, unsigned int coord_count) const
2833 {
2834 #ifdef HB_NO_VAR
2835 return 0.f;
2836 #endif
2837
2838 if (unlikely (outer >= dataSets.len))
2839 return 0.f;
2840
2841 return (this+dataSets[outer]).get_delta (inner,
2842 coords, coord_count,
2843 this+regions);
2844 }
2845
2846 public:
get_deltaOT::VariationStore2847 float get_delta (unsigned int index,
2848 const int *coords, unsigned int coord_count) const
2849 {
2850 unsigned int outer = index >> 16;
2851 unsigned int inner = index & 0xFFFF;
2852 return get_delta (outer, inner, coords, coord_count);
2853 }
2854
sanitizeOT::VariationStore2855 bool sanitize (hb_sanitize_context_t *c) const
2856 {
2857 #ifdef HB_NO_VAR
2858 return true;
2859 #endif
2860
2861 TRACE_SANITIZE (this);
2862 return_trace (c->check_struct (this) &&
2863 format == 1 &&
2864 regions.sanitize (c, this) &&
2865 dataSets.sanitize (c, this));
2866 }
2867
serializeOT::VariationStore2868 bool serialize (hb_serialize_context_t *c,
2869 const VariationStore *src,
2870 const hb_array_t <hb_inc_bimap_t> &inner_maps)
2871 {
2872 TRACE_SERIALIZE (this);
2873 if (unlikely (!c->extend_min (this))) return_trace (false);
2874
2875 unsigned int set_count = 0;
2876 for (unsigned int i = 0; i < inner_maps.length; i++)
2877 if (inner_maps[i].get_population ())
2878 set_count++;
2879
2880 format = 1;
2881
2882 const auto &src_regions = src+src->regions;
2883
2884 hb_set_t region_indices;
2885 for (unsigned int i = 0; i < inner_maps.length; i++)
2886 (src+src->dataSets[i]).collect_region_refs (region_indices, inner_maps[i]);
2887
2888 if (region_indices.in_error ())
2889 return_trace (false);
2890
2891 region_indices.del_range ((src_regions).regionCount, hb_set_t::INVALID);
2892
2893 /* TODO use constructor when our data-structures support that. */
2894 hb_inc_bimap_t region_map;
2895 + hb_iter (region_indices)
2896 | hb_apply ([®ion_map] (unsigned _) { region_map.add(_); })
2897 ;
2898 if (region_map.in_error())
2899 return_trace (false);
2900
2901 if (unlikely (!regions.serialize_serialize (c, &src_regions, region_map)))
2902 return_trace (false);
2903
2904 dataSets.len = set_count;
2905 if (unlikely (!c->extend (dataSets))) return_trace (false);
2906
2907 /* TODO: The following code could be simplified when
2908 * List16OfOffset16To::subset () can take a custom param to be passed to VarData::serialize () */
2909 unsigned int set_index = 0;
2910 for (unsigned int i = 0; i < inner_maps.length; i++)
2911 {
2912 if (!inner_maps[i].get_population ()) continue;
2913 if (unlikely (!dataSets[set_index++]
2914 .serialize_serialize (c, &(src+src->dataSets[i]), inner_maps[i], region_map)))
2915 return_trace (false);
2916 }
2917
2918 return_trace (true);
2919 }
2920
subsetOT::VariationStore2921 bool subset (hb_subset_context_t *c) const
2922 {
2923 TRACE_SUBSET (this);
2924
2925 VariationStore *varstore_prime = c->serializer->start_embed<VariationStore> ();
2926 if (unlikely (!varstore_prime)) return_trace (false);
2927
2928 const hb_set_t *variation_indices = c->plan->layout_variation_indices;
2929 if (variation_indices->is_empty ()) return_trace (false);
2930
2931 hb_vector_t<hb_inc_bimap_t> inner_maps;
2932 inner_maps.resize ((unsigned) dataSets.len);
2933
2934 for (unsigned idx : c->plan->layout_variation_indices->iter ())
2935 {
2936 uint16_t major = idx >> 16;
2937 uint16_t minor = idx & 0xFFFF;
2938
2939 if (major >= inner_maps.length)
2940 return_trace (false);
2941 inner_maps[major].add (minor);
2942 }
2943 varstore_prime->serialize (c->serializer, this, inner_maps.as_array ());
2944
2945 return_trace (
2946 !c->serializer->in_error()
2947 && varstore_prime->dataSets);
2948 }
2949
get_region_index_countOT::VariationStore2950 unsigned int get_region_index_count (unsigned int major) const
2951 { return (this+dataSets[major]).get_region_index_count (); }
2952
get_region_scalarsOT::VariationStore2953 void get_region_scalars (unsigned int major,
2954 const int *coords, unsigned int coord_count,
2955 float *scalars /*OUT*/,
2956 unsigned int num_scalars) const
2957 {
2958 #ifdef HB_NO_VAR
2959 for (unsigned i = 0; i < num_scalars; i++)
2960 scalars[i] = 0.f;
2961 return;
2962 #endif
2963
2964 (this+dataSets[major]).get_region_scalars (coords, coord_count,
2965 this+regions,
2966 &scalars[0], num_scalars);
2967 }
2968
get_sub_table_countOT::VariationStore2969 unsigned int get_sub_table_count () const { return dataSets.len; }
2970
2971 protected:
2972 HBUINT16 format;
2973 Offset32To<VarRegionList> regions;
2974 Array16OfOffset32To<VarData> dataSets;
2975 public:
2976 DEFINE_SIZE_ARRAY_SIZED (8, dataSets);
2977 };
2978
2979 /*
2980 * Feature Variations
2981 */
2982
2983 struct ConditionFormat1
2984 {
2985 friend struct Condition;
2986
subsetOT::ConditionFormat12987 bool subset (hb_subset_context_t *c) const
2988 {
2989 TRACE_SUBSET (this);
2990 auto *out = c->serializer->embed (this);
2991 if (unlikely (!out)) return_trace (false);
2992 return_trace (true);
2993 }
2994
2995 private:
evaluateOT::ConditionFormat12996 bool evaluate (const int *coords, unsigned int coord_len) const
2997 {
2998 int coord = axisIndex < coord_len ? coords[axisIndex] : 0;
2999 return filterRangeMinValue <= coord && coord <= filterRangeMaxValue;
3000 }
3001
sanitizeOT::ConditionFormat13002 bool sanitize (hb_sanitize_context_t *c) const
3003 {
3004 TRACE_SANITIZE (this);
3005 return_trace (c->check_struct (this));
3006 }
3007
3008 protected:
3009 HBUINT16 format; /* Format identifier--format = 1 */
3010 HBUINT16 axisIndex;
3011 F2DOT14 filterRangeMinValue;
3012 F2DOT14 filterRangeMaxValue;
3013 public:
3014 DEFINE_SIZE_STATIC (8);
3015 };
3016
3017 struct Condition
3018 {
evaluateOT::Condition3019 bool evaluate (const int *coords, unsigned int coord_len) const
3020 {
3021 switch (u.format) {
3022 case 1: return u.format1.evaluate (coords, coord_len);
3023 default:return false;
3024 }
3025 }
3026
3027 template <typename context_t, typename ...Ts>
dispatchOT::Condition3028 typename context_t::return_t dispatch (context_t *c, Ts&&... ds) const
3029 {
3030 TRACE_DISPATCH (this, u.format);
3031 if (unlikely (!c->may_dispatch (this, &u.format))) return_trace (c->no_dispatch_return_value ());
3032 switch (u.format) {
3033 case 1: return_trace (c->dispatch (u.format1, std::forward<Ts> (ds)...));
3034 default:return_trace (c->default_return_value ());
3035 }
3036 }
3037
sanitizeOT::Condition3038 bool sanitize (hb_sanitize_context_t *c) const
3039 {
3040 TRACE_SANITIZE (this);
3041 if (!u.format.sanitize (c)) return_trace (false);
3042 switch (u.format) {
3043 case 1: return_trace (u.format1.sanitize (c));
3044 default:return_trace (true);
3045 }
3046 }
3047
3048 protected:
3049 union {
3050 HBUINT16 format; /* Format identifier */
3051 ConditionFormat1 format1;
3052 } u;
3053 public:
3054 DEFINE_SIZE_UNION (2, format);
3055 };
3056
3057 struct ConditionSet
3058 {
evaluateOT::ConditionSet3059 bool evaluate (const int *coords, unsigned int coord_len) const
3060 {
3061 unsigned int count = conditions.len;
3062 for (unsigned int i = 0; i < count; i++)
3063 if (!(this+conditions.arrayZ[i]).evaluate (coords, coord_len))
3064 return false;
3065 return true;
3066 }
3067
subsetOT::ConditionSet3068 bool subset (hb_subset_context_t *c) const
3069 {
3070 TRACE_SUBSET (this);
3071 auto *out = c->serializer->start_embed (this);
3072 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
3073
3074 + conditions.iter ()
3075 | hb_apply (subset_offset_array (c, out->conditions, this))
3076 ;
3077
3078 return_trace (bool (out->conditions));
3079 }
3080
sanitizeOT::ConditionSet3081 bool sanitize (hb_sanitize_context_t *c) const
3082 {
3083 TRACE_SANITIZE (this);
3084 return_trace (conditions.sanitize (c, this));
3085 }
3086
3087 protected:
3088 Array16OfOffset32To<Condition> conditions;
3089 public:
3090 DEFINE_SIZE_ARRAY (2, conditions);
3091 };
3092
3093 struct FeatureTableSubstitutionRecord
3094 {
3095 friend struct FeatureTableSubstitution;
3096
collect_lookupsOT::FeatureTableSubstitutionRecord3097 void collect_lookups (const void *base, hb_set_t *lookup_indexes /* OUT */) const
3098 {
3099 return (base+feature).add_lookup_indexes_to (lookup_indexes);
3100 }
3101
closure_featuresOT::FeatureTableSubstitutionRecord3102 void closure_features (const void *base,
3103 const hb_map_t *lookup_indexes,
3104 hb_set_t *feature_indexes /* OUT */) const
3105 {
3106 if ((base+feature).intersects_lookup_indexes (lookup_indexes))
3107 feature_indexes->add (featureIndex);
3108 }
3109
subsetOT::FeatureTableSubstitutionRecord3110 bool subset (hb_subset_layout_context_t *c, const void *base) const
3111 {
3112 TRACE_SUBSET (this);
3113 if (!c->feature_index_map->has (featureIndex)) {
3114 // Feature that is being substituted is not being retained, so we don't
3115 // need this.
3116 return_trace (false);
3117 }
3118
3119 auto *out = c->subset_context->serializer->embed (this);
3120 if (unlikely (!out)) return_trace (false);
3121
3122 out->featureIndex = c->feature_index_map->get (featureIndex);
3123 bool ret = out->feature.serialize_subset (c->subset_context, feature, base, c);
3124 return_trace (ret);
3125 }
3126
sanitizeOT::FeatureTableSubstitutionRecord3127 bool sanitize (hb_sanitize_context_t *c, const void *base) const
3128 {
3129 TRACE_SANITIZE (this);
3130 return_trace (c->check_struct (this) && feature.sanitize (c, base));
3131 }
3132
3133 protected:
3134 HBUINT16 featureIndex;
3135 Offset32To<Feature> feature;
3136 public:
3137 DEFINE_SIZE_STATIC (6);
3138 };
3139
3140 struct FeatureTableSubstitution
3141 {
find_substituteOT::FeatureTableSubstitution3142 const Feature *find_substitute (unsigned int feature_index) const
3143 {
3144 unsigned int count = substitutions.len;
3145 for (unsigned int i = 0; i < count; i++)
3146 {
3147 const FeatureTableSubstitutionRecord &record = substitutions.arrayZ[i];
3148 if (record.featureIndex == feature_index)
3149 return &(this+record.feature);
3150 }
3151 return nullptr;
3152 }
3153
collect_lookupsOT::FeatureTableSubstitution3154 void collect_lookups (const hb_set_t *feature_indexes,
3155 hb_set_t *lookup_indexes /* OUT */) const
3156 {
3157 + hb_iter (substitutions)
3158 | hb_filter (feature_indexes, &FeatureTableSubstitutionRecord::featureIndex)
3159 | hb_apply ([this, lookup_indexes] (const FeatureTableSubstitutionRecord& r)
3160 { r.collect_lookups (this, lookup_indexes); })
3161 ;
3162 }
3163
closure_featuresOT::FeatureTableSubstitution3164 void closure_features (const hb_map_t *lookup_indexes,
3165 hb_set_t *feature_indexes /* OUT */) const
3166 {
3167 for (const FeatureTableSubstitutionRecord& record : substitutions)
3168 record.closure_features (this, lookup_indexes, feature_indexes);
3169 }
3170
intersects_featuresOT::FeatureTableSubstitution3171 bool intersects_features (const hb_map_t *feature_index_map) const
3172 {
3173 for (const FeatureTableSubstitutionRecord& record : substitutions)
3174 {
3175 if (feature_index_map->has (record.featureIndex)) return true;
3176 }
3177 return false;
3178 }
3179
subsetOT::FeatureTableSubstitution3180 bool subset (hb_subset_context_t *c,
3181 hb_subset_layout_context_t *l) const
3182 {
3183 TRACE_SUBSET (this);
3184 auto *out = c->serializer->start_embed (*this);
3185 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
3186
3187 out->version.major = version.major;
3188 out->version.minor = version.minor;
3189
3190 + substitutions.iter ()
3191 | hb_apply (subset_record_array (l, &(out->substitutions), this))
3192 ;
3193
3194 return_trace (bool (out->substitutions));
3195 }
3196
sanitizeOT::FeatureTableSubstitution3197 bool sanitize (hb_sanitize_context_t *c) const
3198 {
3199 TRACE_SANITIZE (this);
3200 return_trace (version.sanitize (c) &&
3201 likely (version.major == 1) &&
3202 substitutions.sanitize (c, this));
3203 }
3204
3205 protected:
3206 FixedVersion<> version; /* Version--0x00010000u */
3207 Array16Of<FeatureTableSubstitutionRecord>
3208 substitutions;
3209 public:
3210 DEFINE_SIZE_ARRAY (6, substitutions);
3211 };
3212
3213 struct FeatureVariationRecord
3214 {
3215 friend struct FeatureVariations;
3216
collect_lookupsOT::FeatureVariationRecord3217 void collect_lookups (const void *base,
3218 const hb_set_t *feature_indexes,
3219 hb_set_t *lookup_indexes /* OUT */) const
3220 {
3221 return (base+substitutions).collect_lookups (feature_indexes, lookup_indexes);
3222 }
3223
closure_featuresOT::FeatureVariationRecord3224 void closure_features (const void *base,
3225 const hb_map_t *lookup_indexes,
3226 hb_set_t *feature_indexes /* OUT */) const
3227 {
3228 (base+substitutions).closure_features (lookup_indexes, feature_indexes);
3229 }
3230
intersects_featuresOT::FeatureVariationRecord3231 bool intersects_features (const void *base, const hb_map_t *feature_index_map) const
3232 {
3233 return (base+substitutions).intersects_features (feature_index_map);
3234 }
3235
subsetOT::FeatureVariationRecord3236 bool subset (hb_subset_layout_context_t *c, const void *base) const
3237 {
3238 TRACE_SUBSET (this);
3239 auto *out = c->subset_context->serializer->embed (this);
3240 if (unlikely (!out)) return_trace (false);
3241
3242 out->conditions.serialize_subset (c->subset_context, conditions, base);
3243 out->substitutions.serialize_subset (c->subset_context, substitutions, base, c);
3244
3245 return_trace (true);
3246 }
3247
sanitizeOT::FeatureVariationRecord3248 bool sanitize (hb_sanitize_context_t *c, const void *base) const
3249 {
3250 TRACE_SANITIZE (this);
3251 return_trace (conditions.sanitize (c, base) &&
3252 substitutions.sanitize (c, base));
3253 }
3254
3255 protected:
3256 Offset32To<ConditionSet>
3257 conditions;
3258 Offset32To<FeatureTableSubstitution>
3259 substitutions;
3260 public:
3261 DEFINE_SIZE_STATIC (8);
3262 };
3263
3264 struct FeatureVariations
3265 {
3266 static constexpr unsigned NOT_FOUND_INDEX = 0xFFFFFFFFu;
3267
find_indexOT::FeatureVariations3268 bool find_index (const int *coords, unsigned int coord_len,
3269 unsigned int *index) const
3270 {
3271 unsigned int count = varRecords.len;
3272 for (unsigned int i = 0; i < count; i++)
3273 {
3274 const FeatureVariationRecord &record = varRecords.arrayZ[i];
3275 if ((this+record.conditions).evaluate (coords, coord_len))
3276 {
3277 *index = i;
3278 return true;
3279 }
3280 }
3281 *index = NOT_FOUND_INDEX;
3282 return false;
3283 }
3284
find_substituteOT::FeatureVariations3285 const Feature *find_substitute (unsigned int variations_index,
3286 unsigned int feature_index) const
3287 {
3288 const FeatureVariationRecord &record = varRecords[variations_index];
3289 return (this+record.substitutions).find_substitute (feature_index);
3290 }
3291
copyOT::FeatureVariations3292 FeatureVariations* copy (hb_serialize_context_t *c) const
3293 {
3294 TRACE_SERIALIZE (this);
3295 return_trace (c->embed (*this));
3296 }
3297
collect_lookupsOT::FeatureVariations3298 void collect_lookups (const hb_set_t *feature_indexes,
3299 hb_set_t *lookup_indexes /* OUT */) const
3300 {
3301 for (const FeatureVariationRecord& r : varRecords)
3302 r.collect_lookups (this, feature_indexes, lookup_indexes);
3303 }
3304
closure_featuresOT::FeatureVariations3305 void closure_features (const hb_map_t *lookup_indexes,
3306 hb_set_t *feature_indexes /* OUT */) const
3307 {
3308 for (const FeatureVariationRecord& record : varRecords)
3309 record.closure_features (this, lookup_indexes, feature_indexes);
3310 }
3311
subsetOT::FeatureVariations3312 bool subset (hb_subset_context_t *c,
3313 hb_subset_layout_context_t *l) const
3314 {
3315 TRACE_SUBSET (this);
3316 auto *out = c->serializer->start_embed (*this);
3317 if (unlikely (!out || !c->serializer->extend_min (out))) return_trace (false);
3318
3319 out->version.major = version.major;
3320 out->version.minor = version.minor;
3321
3322 int keep_up_to = -1;
3323 for (int i = varRecords.len - 1; i >= 0; i--) {
3324 if (varRecords[i].intersects_features (this, l->feature_index_map)) {
3325 keep_up_to = i;
3326 break;
3327 }
3328 }
3329
3330 unsigned count = (unsigned) (keep_up_to + 1);
3331 for (unsigned i = 0; i < count; i++) {
3332 subset_record_array (l, &(out->varRecords), this) (varRecords[i]);
3333 }
3334 return_trace (bool (out->varRecords));
3335 }
3336
sanitizeOT::FeatureVariations3337 bool sanitize (hb_sanitize_context_t *c) const
3338 {
3339 TRACE_SANITIZE (this);
3340 return_trace (version.sanitize (c) &&
3341 likely (version.major == 1) &&
3342 varRecords.sanitize (c, this));
3343 }
3344
3345 protected:
3346 FixedVersion<> version; /* Version--0x00010000u */
3347 Array32Of<FeatureVariationRecord>
3348 varRecords;
3349 public:
3350 DEFINE_SIZE_ARRAY_SIZED (8, varRecords);
3351 };
3352
3353
3354 /*
3355 * Device Tables
3356 */
3357
3358 struct HintingDevice
3359 {
3360 friend struct Device;
3361
3362 private:
3363
get_x_deltaOT::HintingDevice3364 hb_position_t get_x_delta (hb_font_t *font) const
3365 { return get_delta (font->x_ppem, font->x_scale); }
3366
get_y_deltaOT::HintingDevice3367 hb_position_t get_y_delta (hb_font_t *font) const
3368 { return get_delta (font->y_ppem, font->y_scale); }
3369
3370 public:
3371
get_sizeOT::HintingDevice3372 unsigned int get_size () const
3373 {
3374 unsigned int f = deltaFormat;
3375 if (unlikely (f < 1 || f > 3 || startSize > endSize)) return 3 * HBUINT16::static_size;
3376 return HBUINT16::static_size * (4 + ((endSize - startSize) >> (4 - f)));
3377 }
3378
sanitizeOT::HintingDevice3379 bool sanitize (hb_sanitize_context_t *c) const
3380 {
3381 TRACE_SANITIZE (this);
3382 return_trace (c->check_struct (this) && c->check_range (this, this->get_size ()));
3383 }
3384
copyOT::HintingDevice3385 HintingDevice* copy (hb_serialize_context_t *c) const
3386 {
3387 TRACE_SERIALIZE (this);
3388 return_trace (c->embed<HintingDevice> (this));
3389 }
3390
3391 private:
3392
get_deltaOT::HintingDevice3393 int get_delta (unsigned int ppem, int scale) const
3394 {
3395 if (!ppem) return 0;
3396
3397 int pixels = get_delta_pixels (ppem);
3398
3399 if (!pixels) return 0;
3400
3401 return (int) (pixels * (int64_t) scale / ppem);
3402 }
get_delta_pixelsOT::HintingDevice3403 int get_delta_pixels (unsigned int ppem_size) const
3404 {
3405 unsigned int f = deltaFormat;
3406 if (unlikely (f < 1 || f > 3))
3407 return 0;
3408
3409 if (ppem_size < startSize || ppem_size > endSize)
3410 return 0;
3411
3412 unsigned int s = ppem_size - startSize;
3413
3414 unsigned int byte = deltaValueZ[s >> (4 - f)];
3415 unsigned int bits = (byte >> (16 - (((s & ((1 << (4 - f)) - 1)) + 1) << f)));
3416 unsigned int mask = (0xFFFFu >> (16 - (1 << f)));
3417
3418 int delta = bits & mask;
3419
3420 if ((unsigned int) delta >= ((mask + 1) >> 1))
3421 delta -= mask + 1;
3422
3423 return delta;
3424 }
3425
3426 protected:
3427 HBUINT16 startSize; /* Smallest size to correct--in ppem */
3428 HBUINT16 endSize; /* Largest size to correct--in ppem */
3429 HBUINT16 deltaFormat; /* Format of DeltaValue array data: 1, 2, or 3
3430 * 1 Signed 2-bit value, 8 values per uint16
3431 * 2 Signed 4-bit value, 4 values per uint16
3432 * 3 Signed 8-bit value, 2 values per uint16
3433 */
3434 UnsizedArrayOf<HBUINT16>
3435 deltaValueZ; /* Array of compressed data */
3436 public:
3437 DEFINE_SIZE_ARRAY (6, deltaValueZ);
3438 };
3439
3440 struct VariationDevice
3441 {
3442 friend struct Device;
3443
3444 private:
3445
get_x_deltaOT::VariationDevice3446 hb_position_t get_x_delta (hb_font_t *font, const VariationStore &store) const
3447 { return font->em_scalef_x (get_delta (font, store)); }
3448
get_y_deltaOT::VariationDevice3449 hb_position_t get_y_delta (hb_font_t *font, const VariationStore &store) const
3450 { return font->em_scalef_y (get_delta (font, store)); }
3451
copyOT::VariationDevice3452 VariationDevice* copy (hb_serialize_context_t *c, const hb_map_t *layout_variation_idx_map) const
3453 {
3454 TRACE_SERIALIZE (this);
3455 auto snap = c->snapshot ();
3456 auto *out = c->embed (this);
3457 if (unlikely (!out)) return_trace (nullptr);
3458 if (!layout_variation_idx_map || layout_variation_idx_map->is_empty ()) return_trace (out);
3459
3460 /* TODO Just get() and bail if NO_VARIATION. Needs to setup the map to return that. */
3461 if (!layout_variation_idx_map->has (varIdx))
3462 {
3463 c->revert (snap);
3464 return_trace (nullptr);
3465 }
3466 unsigned new_idx = layout_variation_idx_map->get (varIdx);
3467 out->varIdx = new_idx;
3468 return_trace (out);
3469 }
3470
record_variation_indexOT::VariationDevice3471 void record_variation_index (hb_set_t *layout_variation_indices) const
3472 {
3473 layout_variation_indices->add (varIdx);
3474 }
3475
sanitizeOT::VariationDevice3476 bool sanitize (hb_sanitize_context_t *c) const
3477 {
3478 TRACE_SANITIZE (this);
3479 return_trace (c->check_struct (this));
3480 }
3481
3482 private:
3483
get_deltaOT::VariationDevice3484 float get_delta (hb_font_t *font, const VariationStore &store) const
3485 {
3486 return store.get_delta (varIdx, font->coords, font->num_coords);
3487 }
3488
3489 protected:
3490 VarIdx varIdx;
3491 HBUINT16 deltaFormat; /* Format identifier for this table: 0x0x8000 */
3492 public:
3493 DEFINE_SIZE_STATIC (6);
3494 };
3495
3496 struct DeviceHeader
3497 {
3498 protected:
3499 HBUINT16 reserved1;
3500 HBUINT16 reserved2;
3501 public:
3502 HBUINT16 format; /* Format identifier */
3503 public:
3504 DEFINE_SIZE_STATIC (6);
3505 };
3506
3507 struct Device
3508 {
get_x_deltaOT::Device3509 hb_position_t get_x_delta (hb_font_t *font, const VariationStore &store=Null (VariationStore)) const
3510 {
3511 switch (u.b.format)
3512 {
3513 #ifndef HB_NO_HINTING
3514 case 1: case 2: case 3:
3515 return u.hinting.get_x_delta (font);
3516 #endif
3517 #ifndef HB_NO_VAR
3518 case 0x8000:
3519 return u.variation.get_x_delta (font, store);
3520 #endif
3521 default:
3522 return 0;
3523 }
3524 }
get_y_deltaOT::Device3525 hb_position_t get_y_delta (hb_font_t *font, const VariationStore &store=Null (VariationStore)) const
3526 {
3527 switch (u.b.format)
3528 {
3529 case 1: case 2: case 3:
3530 #ifndef HB_NO_HINTING
3531 return u.hinting.get_y_delta (font);
3532 #endif
3533 #ifndef HB_NO_VAR
3534 case 0x8000:
3535 return u.variation.get_y_delta (font, store);
3536 #endif
3537 default:
3538 return 0;
3539 }
3540 }
3541
sanitizeOT::Device3542 bool sanitize (hb_sanitize_context_t *c) const
3543 {
3544 TRACE_SANITIZE (this);
3545 if (!u.b.format.sanitize (c)) return_trace (false);
3546 switch (u.b.format) {
3547 #ifndef HB_NO_HINTING
3548 case 1: case 2: case 3:
3549 return_trace (u.hinting.sanitize (c));
3550 #endif
3551 #ifndef HB_NO_VAR
3552 case 0x8000:
3553 return_trace (u.variation.sanitize (c));
3554 #endif
3555 default:
3556 return_trace (true);
3557 }
3558 }
3559
copyOT::Device3560 Device* copy (hb_serialize_context_t *c, const hb_map_t *layout_variation_idx_map=nullptr) const
3561 {
3562 TRACE_SERIALIZE (this);
3563 switch (u.b.format) {
3564 #ifndef HB_NO_HINTING
3565 case 1:
3566 case 2:
3567 case 3:
3568 return_trace (reinterpret_cast<Device *> (u.hinting.copy (c)));
3569 #endif
3570 #ifndef HB_NO_VAR
3571 case 0x8000:
3572 return_trace (reinterpret_cast<Device *> (u.variation.copy (c, layout_variation_idx_map)));
3573 #endif
3574 default:
3575 return_trace (nullptr);
3576 }
3577 }
3578
collect_variation_indicesOT::Device3579 void collect_variation_indices (hb_set_t *layout_variation_indices) const
3580 {
3581 switch (u.b.format) {
3582 #ifndef HB_NO_HINTING
3583 case 1:
3584 case 2:
3585 case 3:
3586 return;
3587 #endif
3588 #ifndef HB_NO_VAR
3589 case 0x8000:
3590 u.variation.record_variation_index (layout_variation_indices);
3591 return;
3592 #endif
3593 default:
3594 return;
3595 }
3596 }
3597
3598 protected:
3599 union {
3600 DeviceHeader b;
3601 HintingDevice hinting;
3602 #ifndef HB_NO_VAR
3603 VariationDevice variation;
3604 #endif
3605 } u;
3606 public:
3607 DEFINE_SIZE_UNION (6, b);
3608 };
3609
3610
3611 } /* namespace OT */
3612
3613
3614 #endif /* HB_OT_LAYOUT_COMMON_HH */
3615