Mercurial > hgrepos > Python2 > PyMuPDF
comparison mupdf-source/thirdparty/harfbuzz/src/OT/Layout/GPOS/PairPosFormat2.hh @ 2:b50eed0cc0ef upstream
ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4.
The directory name has changed: no version number in the expanded directory now.
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Mon, 15 Sep 2025 11:43:07 +0200 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 1:1d09e1dec1d9 | 2:b50eed0cc0ef |
|---|---|
| 1 #ifndef OT_LAYOUT_GPOS_PAIRPOSFORMAT2_HH | |
| 2 #define OT_LAYOUT_GPOS_PAIRPOSFORMAT2_HH | |
| 3 | |
| 4 #include "ValueFormat.hh" | |
| 5 | |
| 6 namespace OT { | |
| 7 namespace Layout { | |
| 8 namespace GPOS_impl { | |
| 9 | |
| 10 template <typename Types> | |
| 11 struct PairPosFormat2_4 | |
| 12 { | |
| 13 protected: | |
| 14 HBUINT16 format; /* Format identifier--format = 2 */ | |
| 15 typename Types::template OffsetTo<Coverage> | |
| 16 coverage; /* Offset to Coverage table--from | |
| 17 * beginning of subtable */ | |
| 18 ValueFormat valueFormat1; /* ValueRecord definition--for the | |
| 19 * first glyph of the pair--may be zero | |
| 20 * (0) */ | |
| 21 ValueFormat valueFormat2; /* ValueRecord definition--for the | |
| 22 * second glyph of the pair--may be | |
| 23 * zero (0) */ | |
| 24 typename Types::template OffsetTo<ClassDef> | |
| 25 classDef1; /* Offset to ClassDef table--from | |
| 26 * beginning of PairPos subtable--for | |
| 27 * the first glyph of the pair */ | |
| 28 typename Types::template OffsetTo<ClassDef> | |
| 29 classDef2; /* Offset to ClassDef table--from | |
| 30 * beginning of PairPos subtable--for | |
| 31 * the second glyph of the pair */ | |
| 32 HBUINT16 class1Count; /* Number of classes in ClassDef1 | |
| 33 * table--includes Class0 */ | |
| 34 HBUINT16 class2Count; /* Number of classes in ClassDef2 | |
| 35 * table--includes Class0 */ | |
| 36 ValueRecord values; /* Matrix of value pairs: | |
| 37 * class1-major, class2-minor, | |
| 38 * Each entry has value1 and value2 */ | |
| 39 public: | |
| 40 DEFINE_SIZE_ARRAY (10 + 3 * Types::size, values); | |
| 41 | |
| 42 bool sanitize (hb_sanitize_context_t *c) const | |
| 43 { | |
| 44 TRACE_SANITIZE (this); | |
| 45 if (!(c->check_struct (this) | |
| 46 && coverage.sanitize (c, this) | |
| 47 && classDef1.sanitize (c, this) | |
| 48 && classDef2.sanitize (c, this))) return_trace (false); | |
| 49 | |
| 50 unsigned int len1 = valueFormat1.get_len (); | |
| 51 unsigned int len2 = valueFormat2.get_len (); | |
| 52 unsigned int stride = len1 + len2; | |
| 53 unsigned int record_size = valueFormat1.get_size () + valueFormat2.get_size (); | |
| 54 unsigned int count = (unsigned int) class1Count * (unsigned int) class2Count; | |
| 55 return_trace (c->check_range ((const void *) values, | |
| 56 count, | |
| 57 record_size) && | |
| 58 valueFormat1.sanitize_values_stride_unsafe (c, this, &values[0], count, stride) && | |
| 59 valueFormat2.sanitize_values_stride_unsafe (c, this, &values[len1], count, stride)); | |
| 60 } | |
| 61 | |
| 62 bool intersects (const hb_set_t *glyphs) const | |
| 63 { | |
| 64 return (this+coverage).intersects (glyphs) && | |
| 65 (this+classDef2).intersects (glyphs); | |
| 66 } | |
| 67 | |
| 68 void closure_lookups (hb_closure_lookups_context_t *c) const {} | |
| 69 void collect_variation_indices (hb_collect_variation_indices_context_t *c) const | |
| 70 { | |
| 71 if (!intersects (c->glyph_set)) return; | |
| 72 if ((!valueFormat1.has_device ()) && (!valueFormat2.has_device ())) return; | |
| 73 | |
| 74 hb_set_t klass1_glyphs, klass2_glyphs; | |
| 75 if (!(this+classDef1).collect_coverage (&klass1_glyphs)) return; | |
| 76 if (!(this+classDef2).collect_coverage (&klass2_glyphs)) return; | |
| 77 | |
| 78 hb_set_t class1_set, class2_set; | |
| 79 for (const unsigned cp : + c->glyph_set->iter () | hb_filter (this + coverage)) | |
| 80 { | |
| 81 if (!klass1_glyphs.has (cp)) class1_set.add (0); | |
| 82 else | |
| 83 { | |
| 84 unsigned klass1 = (this+classDef1).get (cp); | |
| 85 class1_set.add (klass1); | |
| 86 } | |
| 87 } | |
| 88 | |
| 89 class2_set.add (0); | |
| 90 for (const unsigned cp : + c->glyph_set->iter () | hb_filter (klass2_glyphs)) | |
| 91 { | |
| 92 unsigned klass2 = (this+classDef2).get (cp); | |
| 93 class2_set.add (klass2); | |
| 94 } | |
| 95 | |
| 96 if (class1_set.is_empty () | |
| 97 || class2_set.is_empty () | |
| 98 || (class2_set.get_population() == 1 && class2_set.has(0))) | |
| 99 return; | |
| 100 | |
| 101 unsigned len1 = valueFormat1.get_len (); | |
| 102 unsigned len2 = valueFormat2.get_len (); | |
| 103 const hb_array_t<const Value> values_array = values.as_array ((unsigned)class1Count * (unsigned) class2Count * (len1 + len2)); | |
| 104 for (const unsigned class1_idx : class1_set.iter ()) | |
| 105 { | |
| 106 for (const unsigned class2_idx : class2_set.iter ()) | |
| 107 { | |
| 108 unsigned start_offset = (class1_idx * (unsigned) class2Count + class2_idx) * (len1 + len2); | |
| 109 if (valueFormat1.has_device ()) | |
| 110 valueFormat1.collect_variation_indices (c, this, values_array.sub_array (start_offset, len1)); | |
| 111 | |
| 112 if (valueFormat2.has_device ()) | |
| 113 valueFormat2.collect_variation_indices (c, this, values_array.sub_array (start_offset+len1, len2)); | |
| 114 } | |
| 115 } | |
| 116 } | |
| 117 | |
| 118 void collect_glyphs (hb_collect_glyphs_context_t *c) const | |
| 119 { | |
| 120 if (unlikely (!(this+coverage).collect_coverage (c->input))) return; | |
| 121 if (unlikely (!(this+classDef2).collect_coverage (c->input))) return; | |
| 122 } | |
| 123 | |
| 124 const Coverage &get_coverage () const { return this+coverage; } | |
| 125 | |
| 126 bool apply (hb_ot_apply_context_t *c) const | |
| 127 { | |
| 128 TRACE_APPLY (this); | |
| 129 hb_buffer_t *buffer = c->buffer; | |
| 130 unsigned int index = (this+coverage).get_coverage (buffer->cur().codepoint); | |
| 131 if (likely (index == NOT_COVERED)) return_trace (false); | |
| 132 | |
| 133 hb_ot_apply_context_t::skipping_iterator_t &skippy_iter = c->iter_input; | |
| 134 skippy_iter.reset (buffer->idx, 1); | |
| 135 unsigned unsafe_to; | |
| 136 if (!skippy_iter.next (&unsafe_to)) | |
| 137 { | |
| 138 buffer->unsafe_to_concat (buffer->idx, unsafe_to); | |
| 139 return_trace (false); | |
| 140 } | |
| 141 | |
| 142 unsigned int len1 = valueFormat1.get_len (); | |
| 143 unsigned int len2 = valueFormat2.get_len (); | |
| 144 unsigned int record_len = len1 + len2; | |
| 145 | |
| 146 unsigned int klass1 = (this+classDef1).get_class (buffer->cur().codepoint); | |
| 147 unsigned int klass2 = (this+classDef2).get_class (buffer->info[skippy_iter.idx].codepoint); | |
| 148 if (unlikely (klass1 >= class1Count || klass2 >= class2Count)) | |
| 149 { | |
| 150 buffer->unsafe_to_concat (buffer->idx, skippy_iter.idx + 1); | |
| 151 return_trace (false); | |
| 152 } | |
| 153 | |
| 154 const Value *v = &values[record_len * (klass1 * class2Count + klass2)]; | |
| 155 | |
| 156 bool applied_first = false, applied_second = false; | |
| 157 | |
| 158 | |
| 159 /* Isolate simple kerning and apply it half to each side. | |
| 160 * Results in better cursor positinoing / underline drawing. | |
| 161 * | |
| 162 * Disabled, because causes issues... :-( | |
| 163 * https://github.com/harfbuzz/harfbuzz/issues/3408 | |
| 164 * https://github.com/harfbuzz/harfbuzz/pull/3235#issuecomment-1029814978 | |
| 165 */ | |
| 166 #ifndef HB_SPLIT_KERN | |
| 167 if (0) | |
| 168 #endif | |
| 169 { | |
| 170 if (!len2) | |
| 171 { | |
| 172 const hb_direction_t dir = buffer->props.direction; | |
| 173 const bool horizontal = HB_DIRECTION_IS_HORIZONTAL (dir); | |
| 174 const bool backward = HB_DIRECTION_IS_BACKWARD (dir); | |
| 175 unsigned mask = horizontal ? ValueFormat::xAdvance : ValueFormat::yAdvance; | |
| 176 if (backward) | |
| 177 mask |= mask >> 2; /* Add eg. xPlacement in RTL. */ | |
| 178 /* Add Devices. */ | |
| 179 mask |= mask << 4; | |
| 180 | |
| 181 if (valueFormat1 & ~mask) | |
| 182 goto bail; | |
| 183 | |
| 184 /* Is simple kern. Apply value on an empty position slot, | |
| 185 * then split it between sides. */ | |
| 186 | |
| 187 hb_glyph_position_t pos{}; | |
| 188 if (valueFormat1.apply_value (c, this, v, pos)) | |
| 189 { | |
| 190 hb_position_t *src = &pos.x_advance; | |
| 191 hb_position_t *dst1 = &buffer->cur_pos().x_advance; | |
| 192 hb_position_t *dst2 = &buffer->pos[skippy_iter.idx].x_advance; | |
| 193 unsigned i = horizontal ? 0 : 1; | |
| 194 | |
| 195 hb_position_t kern = src[i]; | |
| 196 hb_position_t kern1 = kern >> 1; | |
| 197 hb_position_t kern2 = kern - kern1; | |
| 198 | |
| 199 if (!backward) | |
| 200 { | |
| 201 dst1[i] += kern1; | |
| 202 dst2[i] += kern2; | |
| 203 dst2[i + 2] += kern2; | |
| 204 } | |
| 205 else | |
| 206 { | |
| 207 dst1[i] += kern1; | |
| 208 dst1[i + 2] += src[i + 2] - kern2; | |
| 209 dst2[i] += kern2; | |
| 210 } | |
| 211 | |
| 212 applied_first = applied_second = kern != 0; | |
| 213 goto success; | |
| 214 } | |
| 215 goto boring; | |
| 216 } | |
| 217 } | |
| 218 bail: | |
| 219 | |
| 220 if (HB_BUFFER_MESSAGE_MORE && c->buffer->messaging ()) | |
| 221 { | |
| 222 c->buffer->message (c->font, | |
| 223 "try kerning glyphs at %d,%d", | |
| 224 c->buffer->idx, skippy_iter.idx); | |
| 225 } | |
| 226 | |
| 227 applied_first = valueFormat1.apply_value (c, this, v, buffer->cur_pos()); | |
| 228 applied_second = valueFormat2.apply_value (c, this, v + len1, buffer->pos[skippy_iter.idx]); | |
| 229 | |
| 230 if (applied_first || applied_second) | |
| 231 if (HB_BUFFER_MESSAGE_MORE && c->buffer->messaging ()) | |
| 232 { | |
| 233 c->buffer->message (c->font, | |
| 234 "kerned glyphs at %d,%d", | |
| 235 c->buffer->idx, skippy_iter.idx); | |
| 236 } | |
| 237 | |
| 238 if (HB_BUFFER_MESSAGE_MORE && c->buffer->messaging ()) | |
| 239 { | |
| 240 c->buffer->message (c->font, | |
| 241 "tried kerning glyphs at %d,%d", | |
| 242 c->buffer->idx, skippy_iter.idx); | |
| 243 } | |
| 244 | |
| 245 success: | |
| 246 if (applied_first || applied_second) | |
| 247 buffer->unsafe_to_break (buffer->idx, skippy_iter.idx + 1); | |
| 248 else | |
| 249 boring: | |
| 250 buffer->unsafe_to_concat (buffer->idx, skippy_iter.idx + 1); | |
| 251 | |
| 252 if (len2) | |
| 253 { | |
| 254 skippy_iter.idx++; | |
| 255 // https://github.com/harfbuzz/harfbuzz/issues/3824 | |
| 256 // https://github.com/harfbuzz/harfbuzz/issues/3888#issuecomment-1326781116 | |
| 257 buffer->unsafe_to_break (buffer->idx, skippy_iter.idx + 1); | |
| 258 } | |
| 259 | |
| 260 buffer->idx = skippy_iter.idx; | |
| 261 | |
| 262 return_trace (true); | |
| 263 } | |
| 264 | |
| 265 bool subset (hb_subset_context_t *c) const | |
| 266 { | |
| 267 TRACE_SUBSET (this); | |
| 268 auto *out = c->serializer->start_embed (*this); | |
| 269 if (unlikely (!c->serializer->extend_min (out))) return_trace (false); | |
| 270 out->format = format; | |
| 271 | |
| 272 hb_map_t klass1_map; | |
| 273 out->classDef1.serialize_subset (c, classDef1, this, &klass1_map, true, true, &(this + coverage)); | |
| 274 out->class1Count = klass1_map.get_population (); | |
| 275 | |
| 276 hb_map_t klass2_map; | |
| 277 out->classDef2.serialize_subset (c, classDef2, this, &klass2_map, true, false); | |
| 278 out->class2Count = klass2_map.get_population (); | |
| 279 | |
| 280 unsigned len1 = valueFormat1.get_len (); | |
| 281 unsigned len2 = valueFormat2.get_len (); | |
| 282 | |
| 283 hb_pair_t<unsigned, unsigned> newFormats = hb_pair (valueFormat1, valueFormat2); | |
| 284 if (c->plan->flags & HB_SUBSET_FLAGS_NO_HINTING) | |
| 285 newFormats = compute_effective_value_formats (klass1_map, klass2_map); | |
| 286 | |
| 287 out->valueFormat1 = newFormats.first; | |
| 288 out->valueFormat2 = newFormats.second; | |
| 289 | |
| 290 if (c->plan->all_axes_pinned) | |
| 291 { | |
| 292 out->valueFormat1 = out->valueFormat1.drop_device_table_flags (); | |
| 293 out->valueFormat2 = out->valueFormat2.drop_device_table_flags (); | |
| 294 } | |
| 295 | |
| 296 for (unsigned class1_idx : + hb_range ((unsigned) class1Count) | hb_filter (klass1_map)) | |
| 297 { | |
| 298 for (unsigned class2_idx : + hb_range ((unsigned) class2Count) | hb_filter (klass2_map)) | |
| 299 { | |
| 300 unsigned idx = (class1_idx * (unsigned) class2Count + class2_idx) * (len1 + len2); | |
| 301 valueFormat1.copy_values (c->serializer, out->valueFormat1, this, &values[idx], c->plan->layout_variation_idx_delta_map); | |
| 302 valueFormat2.copy_values (c->serializer, out->valueFormat2, this, &values[idx + len1], c->plan->layout_variation_idx_delta_map); | |
| 303 } | |
| 304 } | |
| 305 | |
| 306 const hb_set_t &glyphset = *c->plan->glyphset_gsub (); | |
| 307 const hb_map_t &glyph_map = *c->plan->glyph_map; | |
| 308 | |
| 309 auto it = | |
| 310 + hb_iter (this+coverage) | |
| 311 | hb_filter (glyphset) | |
| 312 | hb_map_retains_sorting (glyph_map) | |
| 313 ; | |
| 314 | |
| 315 out->coverage.serialize_serialize (c->serializer, it); | |
| 316 return_trace (out->class1Count && out->class2Count && bool (it)); | |
| 317 } | |
| 318 | |
| 319 | |
| 320 hb_pair_t<unsigned, unsigned> compute_effective_value_formats (const hb_map_t& klass1_map, | |
| 321 const hb_map_t& klass2_map) const | |
| 322 { | |
| 323 unsigned len1 = valueFormat1.get_len (); | |
| 324 unsigned len2 = valueFormat2.get_len (); | |
| 325 unsigned record_size = len1 + len2; | |
| 326 | |
| 327 unsigned format1 = 0; | |
| 328 unsigned format2 = 0; | |
| 329 | |
| 330 for (unsigned class1_idx : + hb_range ((unsigned) class1Count) | hb_filter (klass1_map)) | |
| 331 { | |
| 332 for (unsigned class2_idx : + hb_range ((unsigned) class2Count) | hb_filter (klass2_map)) | |
| 333 { | |
| 334 unsigned idx = (class1_idx * (unsigned) class2Count + class2_idx) * record_size; | |
| 335 format1 = format1 | valueFormat1.get_effective_format (&values[idx]); | |
| 336 format2 = format2 | valueFormat2.get_effective_format (&values[idx + len1]); | |
| 337 } | |
| 338 | |
| 339 if (format1 == valueFormat1 && format2 == valueFormat2) | |
| 340 break; | |
| 341 } | |
| 342 | |
| 343 return hb_pair (format1, format2); | |
| 344 } | |
| 345 }; | |
| 346 | |
| 347 } | |
| 348 } | |
| 349 } | |
| 350 | |
| 351 #endif // OT_LAYOUT_GPOS_PAIRPOSFORMAT2_HH |
