1 /*
2  * Copyright © 2015  Mozilla Foundation.
3  * Copyright © 2015  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  * Mozilla Author(s): Jonathan Kew
26  * Google Author(s): Behdad Esfahbod
27  */
28 
29 #include "hb-ot-shape-complex-use-private.hh"
30 #include "hb-ot-shape-complex-arabic-private.hh"
31 
32 /* buffer var allocations */
33 #define use_category() complex_var_u8_0()
34 
35 
36 /*
37  * Universal Shaping Engine.
38  * https://www.microsoft.com/typography/OpenTypeDev/USE/intro.htm
39  */
40 
41 static const hb_tag_t
42 basic_features[] =
43 {
44   /*
45    * Basic features.
46    * These features are applied all at once, before reordering.
47    */
48   HB_TAG('r','k','r','f'),
49   HB_TAG('a','b','v','f'),
50   HB_TAG('b','l','w','f'),
51   HB_TAG('h','a','l','f'),
52   HB_TAG('p','s','t','f'),
53   HB_TAG('v','a','t','u'),
54   HB_TAG('c','j','c','t'),
55 };
56 static const hb_tag_t
57 arabic_features[] =
58 {
59   HB_TAG('i','s','o','l'),
60   HB_TAG('i','n','i','t'),
61   HB_TAG('m','e','d','i'),
62   HB_TAG('f','i','n','a'),
63   /* The spec doesn't specify these but we apply anyway, since our Arabic shaper
64    * does.  These are only used in Syriac spec. */
65   HB_TAG('m','e','d','2'),
66   HB_TAG('f','i','n','2'),
67   HB_TAG('f','i','n','3'),
68 };
69 /* Same order as arabic_features.  Don't need Syriac stuff.*/
70 enum joining_form_t {
71   ISOL,
72   INIT,
73   MEDI,
74   FINA,
75   _NONE
76 };
77 static const hb_tag_t
78 other_features[] =
79 {
80   /*
81    * Other features.
82    * These features are applied all at once, after reordering.
83    */
84   HB_TAG('a','b','v','s'),
85   HB_TAG('b','l','w','s'),
86   HB_TAG('h','a','l','n'),
87   HB_TAG('p','r','e','s'),
88   HB_TAG('p','s','t','s'),
89   /* Positioning features, though we don't care about the types. */
90   HB_TAG('d','i','s','t'),
91   HB_TAG('a','b','v','m'),
92   HB_TAG('b','l','w','m'),
93 };
94 
95 static void
96 setup_syllables (const hb_ot_shape_plan_t *plan,
97 		 hb_font_t *font,
98 		 hb_buffer_t *buffer);
99 static void
100 clear_substitution_flags (const hb_ot_shape_plan_t *plan,
101 			  hb_font_t *font,
102 			  hb_buffer_t *buffer);
103 static void
104 record_rphf (const hb_ot_shape_plan_t *plan,
105 	     hb_font_t *font,
106 	     hb_buffer_t *buffer);
107 static void
108 record_pref (const hb_ot_shape_plan_t *plan,
109 	     hb_font_t *font,
110 	     hb_buffer_t *buffer);
111 static void
112 reorder (const hb_ot_shape_plan_t *plan,
113 	 hb_font_t *font,
114 	 hb_buffer_t *buffer);
115 
116 static void
collect_features_use(hb_ot_shape_planner_t * plan)117 collect_features_use (hb_ot_shape_planner_t *plan)
118 {
119   hb_ot_map_builder_t *map = &plan->map;
120 
121   /* Do this before any lookups have been applied. */
122   map->add_gsub_pause (setup_syllables);
123 
124   /* "Default glyph pre-processing group" */
125   map->add_global_bool_feature (HB_TAG('l','o','c','l'));
126   map->add_global_bool_feature (HB_TAG('c','c','m','p'));
127   map->add_global_bool_feature (HB_TAG('n','u','k','t'));
128   map->add_global_bool_feature (HB_TAG('a','k','h','n'));
129 
130   /* "Reordering group" */
131   map->add_gsub_pause (clear_substitution_flags);
132   map->add_feature (HB_TAG('r','p','h','f'), 1, F_MANUAL_ZWJ);
133   map->add_gsub_pause (record_rphf);
134   map->add_gsub_pause (clear_substitution_flags);
135   map->add_feature (HB_TAG('p','r','e','f'), 1, F_GLOBAL | F_MANUAL_ZWJ);
136   map->add_gsub_pause (record_pref);
137 
138   /* "Orthographic unit shaping group" */
139   for (unsigned int i = 0; i < ARRAY_LENGTH (basic_features); i++)
140     map->add_feature (basic_features[i], 1, F_GLOBAL | F_MANUAL_ZWJ);
141 
142   map->add_gsub_pause (reorder);
143 
144   /* "Topographical features" */
145   for (unsigned int i = 0; i < ARRAY_LENGTH (arabic_features); i++)
146     map->add_feature (arabic_features[i], 1, F_NONE);
147   map->add_gsub_pause (NULL);
148 
149   /* "Standard typographic presentation" and "Positional feature application" */
150   for (unsigned int i = 0; i < ARRAY_LENGTH (other_features); i++)
151     map->add_feature (other_features[i], 1, F_GLOBAL | F_MANUAL_ZWJ);
152 }
153 
154 struct use_shape_plan_t
155 {
156   ASSERT_POD ();
157 
158   hb_mask_t rphf_mask;
159 
160   arabic_shape_plan_t *arabic_plan;
161 };
162 
163 static bool
has_arabic_joining(hb_script_t script)164 has_arabic_joining (hb_script_t script)
165 {
166   /* List of scripts that have data in arabic-table. */
167   switch ((int) script)
168   {
169     /* Unicode-1.1 additions */
170     case HB_SCRIPT_ARABIC:
171 
172     /* Unicode-3.0 additions */
173     case HB_SCRIPT_MONGOLIAN:
174     case HB_SCRIPT_SYRIAC:
175 
176     /* Unicode-5.0 additions */
177     case HB_SCRIPT_NKO:
178     case HB_SCRIPT_PHAGS_PA:
179 
180     /* Unicode-6.0 additions */
181     case HB_SCRIPT_MANDAIC:
182 
183     /* Unicode-7.0 additions */
184     case HB_SCRIPT_MANICHAEAN:
185     case HB_SCRIPT_PSALTER_PAHLAVI:
186 
187       return true;
188 
189     default:
190       return false;
191   }
192 }
193 
194 static void *
data_create_use(const hb_ot_shape_plan_t * plan)195 data_create_use (const hb_ot_shape_plan_t *plan)
196 {
197   use_shape_plan_t *use_plan = (use_shape_plan_t *) calloc (1, sizeof (use_shape_plan_t));
198   if (unlikely (!use_plan))
199     return NULL;
200 
201   use_plan->rphf_mask = plan->map.get_1_mask (HB_TAG('r','p','h','f'));
202 
203   if (has_arabic_joining (plan->props.script))
204   {
205     use_plan->arabic_plan = (arabic_shape_plan_t *) data_create_arabic (plan);
206     if (unlikely (!use_plan->arabic_plan))
207     {
208       free (use_plan);
209       return NULL;
210     }
211   }
212 
213   return use_plan;
214 }
215 
216 static void
data_destroy_use(void * data)217 data_destroy_use (void *data)
218 {
219   use_shape_plan_t *use_plan = (use_shape_plan_t *) data;
220 
221   if (use_plan->arabic_plan)
222     data_destroy_arabic (use_plan->arabic_plan);
223 
224   free (data);
225 }
226 
227 enum syllable_type_t {
228   independent_cluster,
229   virama_terminated_cluster,
230   consonant_cluster,
231   vowel_cluster,
232   number_joiner_terminated_cluster,
233   numeral_cluster,
234   symbol_cluster,
235   broken_cluster,
236 };
237 
238 #include "hb-ot-shape-complex-use-machine.hh"
239 
240 
241 static void
setup_masks_use(const hb_ot_shape_plan_t * plan,hb_buffer_t * buffer,hb_font_t * font HB_UNUSED)242 setup_masks_use (const hb_ot_shape_plan_t *plan,
243 		 hb_buffer_t              *buffer,
244 		 hb_font_t                *font HB_UNUSED)
245 {
246   const use_shape_plan_t *use_plan = (const use_shape_plan_t *) plan->data;
247 
248   /* Do this before allocating use_category(). */
249   if (use_plan->arabic_plan)
250   {
251     setup_masks_arabic_plan (use_plan->arabic_plan, buffer, plan->props.script);
252   }
253 
254   HB_BUFFER_ALLOCATE_VAR (buffer, use_category);
255 
256   /* We cannot setup masks here.  We save information about characters
257    * and setup masks later on in a pause-callback. */
258 
259   unsigned int count = buffer->len;
260   hb_glyph_info_t *info = buffer->info;
261   for (unsigned int i = 0; i < count; i++)
262     info[i].use_category() = hb_use_get_categories (info[i].codepoint);
263 }
264 
265 static void
setup_rphf_mask(const hb_ot_shape_plan_t * plan,hb_buffer_t * buffer)266 setup_rphf_mask (const hb_ot_shape_plan_t *plan,
267 		 hb_buffer_t *buffer)
268 {
269   const use_shape_plan_t *use_plan = (const use_shape_plan_t *) plan->data;
270 
271   hb_mask_t mask = use_plan->rphf_mask;
272   if (!mask) return;
273 
274   hb_glyph_info_t *info = buffer->info;
275 
276   foreach_syllable (buffer, start, end)
277   {
278     unsigned int limit = info[start].use_category() == USE_R ? 1 : MIN (3u, end - start);
279     for (unsigned int i = start; i < start + limit; i++)
280       info[i].mask |= mask;
281   }
282 }
283 
284 static void
setup_topographical_masks(const hb_ot_shape_plan_t * plan,hb_buffer_t * buffer)285 setup_topographical_masks (const hb_ot_shape_plan_t *plan,
286 			   hb_buffer_t *buffer)
287 {
288   const use_shape_plan_t *use_plan = (const use_shape_plan_t *) plan->data;
289   if (use_plan->arabic_plan)
290     return;
291 
292   ASSERT_STATIC (INIT < 4 && ISOL < 4 && MEDI < 4 && FINA < 4);
293   hb_mask_t masks[4], all_masks = 0;
294   for (unsigned int i = 0; i < 4; i++)
295   {
296     masks[i] = plan->map.get_1_mask (arabic_features[i]);
297     if (masks[i] == plan->map.get_global_mask ())
298       masks[i] = 0;
299     all_masks |= masks[i];
300   }
301   if (!all_masks)
302     return;
303   hb_mask_t other_masks = ~all_masks;
304 
305   unsigned int last_start = 0;
306   joining_form_t last_form = _NONE;
307   hb_glyph_info_t *info = buffer->info;
308   foreach_syllable (buffer, start, end)
309   {
310     syllable_type_t syllable_type = (syllable_type_t) (info[start].syllable() & 0x0F);
311     switch (syllable_type)
312     {
313       case independent_cluster:
314       case symbol_cluster:
315 	/* These don't join.  Nothing to do. */
316 	last_form = _NONE;
317 	break;
318 
319       case virama_terminated_cluster:
320       case consonant_cluster:
321       case vowel_cluster:
322       case number_joiner_terminated_cluster:
323       case numeral_cluster:
324       case broken_cluster:
325 
326 	bool join = last_form == FINA || last_form == ISOL;
327 
328 	if (join)
329 	{
330 	  /* Fixup previous syllable's form. */
331 	  last_form = last_form == FINA ? MEDI : INIT;
332 	  for (unsigned int i = last_start; i < start; i++)
333 	    info[i].mask = (info[i].mask & other_masks) | masks[last_form];
334 	}
335 
336 	/* Form for this syllable. */
337 	last_form = join ? FINA : ISOL;
338 	for (unsigned int i = start; i < end; i++)
339 	  info[i].mask = (info[i].mask & other_masks) | masks[last_form];
340 
341 	break;
342     }
343 
344     last_start = start;
345   }
346 }
347 
348 static void
setup_syllables(const hb_ot_shape_plan_t * plan,hb_font_t * font HB_UNUSED,hb_buffer_t * buffer)349 setup_syllables (const hb_ot_shape_plan_t *plan,
350 		 hb_font_t *font HB_UNUSED,
351 		 hb_buffer_t *buffer)
352 {
353   find_syllables (buffer);
354   setup_rphf_mask (plan, buffer);
355   setup_topographical_masks (plan, buffer);
356 }
357 
358 static void
clear_substitution_flags(const hb_ot_shape_plan_t * plan,hb_font_t * font HB_UNUSED,hb_buffer_t * buffer)359 clear_substitution_flags (const hb_ot_shape_plan_t *plan,
360 			  hb_font_t *font HB_UNUSED,
361 			  hb_buffer_t *buffer)
362 {
363   hb_glyph_info_t *info = buffer->info;
364   unsigned int count = buffer->len;
365   for (unsigned int i = 0; i < count; i++)
366     _hb_glyph_info_clear_substituted (&info[i]);
367 }
368 
369 static void
record_rphf(const hb_ot_shape_plan_t * plan,hb_font_t * font,hb_buffer_t * buffer)370 record_rphf (const hb_ot_shape_plan_t *plan,
371 	     hb_font_t *font,
372 	     hb_buffer_t *buffer)
373 {
374   const use_shape_plan_t *use_plan = (const use_shape_plan_t *) plan->data;
375 
376   hb_mask_t mask = use_plan->rphf_mask;
377   if (!mask) return;
378   hb_glyph_info_t *info = buffer->info;
379 
380   foreach_syllable (buffer, start, end)
381   {
382     /* Mark a substituted repha as USE_R. */
383     for (unsigned int i = start; i < end && (info[i].mask & mask); i++)
384       if (_hb_glyph_info_substituted (&info[i]))
385       {
386 	info[i].use_category() = USE_R;
387 	break;
388       }
389   }
390 }
391 
392 static void
record_pref(const hb_ot_shape_plan_t * plan,hb_font_t * font,hb_buffer_t * buffer)393 record_pref (const hb_ot_shape_plan_t *plan,
394 	     hb_font_t *font,
395 	     hb_buffer_t *buffer)
396 {
397   hb_glyph_info_t *info = buffer->info;
398 
399   foreach_syllable (buffer, start, end)
400   {
401     /* Mark a substituted pref as VPre, as they behave the same way. */
402     for (unsigned int i = start; i < end; i++)
403       if (_hb_glyph_info_substituted (&info[i]))
404       {
405 	info[i].use_category() = USE_VPre;
406 	break;
407       }
408   }
409 }
410 
411 static inline bool
is_halant(const hb_glyph_info_t & info)412 is_halant (const hb_glyph_info_t &info)
413 {
414   return info.use_category() == USE_H && !_hb_glyph_info_ligated (&info);
415 }
416 
417 static void
reorder_syllable(hb_buffer_t * buffer,unsigned int start,unsigned int end)418 reorder_syllable (hb_buffer_t *buffer, unsigned int start, unsigned int end)
419 {
420   syllable_type_t syllable_type = (syllable_type_t) (buffer->info[start].syllable() & 0x0F);
421   /* Only a few syllable types need reordering. */
422   if (unlikely (!(FLAG_SAFE (syllable_type) &
423 		  (FLAG (virama_terminated_cluster) |
424 		   FLAG (consonant_cluster) |
425 		   FLAG (vowel_cluster) |
426 		   FLAG (broken_cluster) |
427 		   0))))
428     return;
429 
430   hb_glyph_info_t *info = buffer->info;
431 
432 #define BASE_FLAGS (FLAG (USE_B) | FLAG (USE_GB) | FLAG (USE_IV))
433 
434   /* Move things forward. */
435   if (info[start].use_category() == USE_R && end - start > 1)
436   {
437     /* Got a repha.  Reorder it to after first base, before first halant. */
438     for (unsigned int i = start + 1; i < end; i++)
439       if ((FLAG_UNSAFE (info[i].use_category()) & (BASE_FLAGS)) || is_halant (info[i]))
440       {
441 	/* If we hit a halant, move before it; otherwise it's a base: move to it's
442 	 * place, and shift things in between backward. */
443 
444 	if (is_halant (info[i]))
445 	  i--;
446 
447 	buffer->merge_clusters (start, i + 1);
448 	hb_glyph_info_t t = info[start];
449 	memmove (&info[start], &info[start + 1], (i - start) * sizeof (info[0]));
450 	info[i] = t;
451 
452 	break;
453       }
454   }
455 
456   /* Move things back. */
457   unsigned int j = end;
458   for (unsigned int i = start; i < end; i++)
459   {
460     uint32_t flag = FLAG_UNSAFE (info[i].use_category());
461     if ((flag & (BASE_FLAGS)) || is_halant (info[i]))
462     {
463       /* If we hit a halant, move after it; otherwise it's a base: move to it's
464        * place, and shift things in between backward. */
465       if (is_halant (info[i]))
466 	j = i + 1;
467       else
468 	j = i;
469     }
470     else if (((flag) & (FLAG (USE_VPre) | FLAG (USE_VMPre))) &&
471 	     /* Only move the first component of a MultipleSubst. */
472 	     0 == _hb_glyph_info_get_lig_comp (&info[i]) &&
473 	     j < i)
474     {
475       buffer->merge_clusters (j, i + 1);
476       hb_glyph_info_t t = info[i];
477       memmove (&info[j + 1], &info[j], (i - j) * sizeof (info[0]));
478       info[j] = t;
479     }
480   }
481 }
482 
483 static inline void
insert_dotted_circles(const hb_ot_shape_plan_t * plan HB_UNUSED,hb_font_t * font,hb_buffer_t * buffer)484 insert_dotted_circles (const hb_ot_shape_plan_t *plan HB_UNUSED,
485 		       hb_font_t *font,
486 		       hb_buffer_t *buffer)
487 {
488   /* Note: This loop is extra overhead, but should not be measurable. */
489   bool has_broken_syllables = false;
490   unsigned int count = buffer->len;
491   hb_glyph_info_t *info = buffer->info;
492   for (unsigned int i = 0; i < count; i++)
493     if ((info[i].syllable() & 0x0F) == broken_cluster)
494     {
495       has_broken_syllables = true;
496       break;
497     }
498   if (likely (!has_broken_syllables))
499     return;
500 
501   hb_glyph_info_t dottedcircle = {0};
502   if (!font->get_nominal_glyph (0x25CCu, &dottedcircle.codepoint))
503     return;
504   dottedcircle.use_category() = hb_use_get_categories (0x25CC);
505 
506   buffer->clear_output ();
507 
508   buffer->idx = 0;
509   unsigned int last_syllable = 0;
510   while (buffer->idx < buffer->len && !buffer->in_error)
511   {
512     unsigned int syllable = buffer->cur().syllable();
513     syllable_type_t syllable_type = (syllable_type_t) (syllable & 0x0F);
514     if (unlikely (last_syllable != syllable && syllable_type == broken_cluster))
515     {
516       last_syllable = syllable;
517 
518       hb_glyph_info_t ginfo = dottedcircle;
519       ginfo.cluster = buffer->cur().cluster;
520       ginfo.mask = buffer->cur().mask;
521       ginfo.syllable() = buffer->cur().syllable();
522       /* TODO Set glyph_props? */
523 
524       /* Insert dottedcircle after possible Repha. */
525       while (buffer->idx < buffer->len && !buffer->in_error &&
526 	     last_syllable == buffer->cur().syllable() &&
527 	     buffer->cur().use_category() == USE_R)
528         buffer->next_glyph ();
529 
530       buffer->output_info (ginfo);
531     }
532     else
533       buffer->next_glyph ();
534   }
535 
536   buffer->swap_buffers ();
537 }
538 
539 static void
reorder(const hb_ot_shape_plan_t * plan,hb_font_t * font,hb_buffer_t * buffer)540 reorder (const hb_ot_shape_plan_t *plan,
541 	 hb_font_t *font,
542 	 hb_buffer_t *buffer)
543 {
544   insert_dotted_circles (plan, font, buffer);
545 
546   hb_glyph_info_t *info = buffer->info;
547 
548   foreach_syllable (buffer, start, end)
549     reorder_syllable (buffer, start, end);
550 
551   /* Zero syllables now... */
552   unsigned int count = buffer->len;
553   for (unsigned int i = 0; i < count; i++)
554     info[i].syllable() = 0;
555 
556   HB_BUFFER_DEALLOCATE_VAR (buffer, use_category);
557 }
558 
559 static bool
compose_use(const hb_ot_shape_normalize_context_t * c,hb_codepoint_t a,hb_codepoint_t b,hb_codepoint_t * ab)560 compose_use (const hb_ot_shape_normalize_context_t *c,
561 	     hb_codepoint_t  a,
562 	     hb_codepoint_t  b,
563 	     hb_codepoint_t *ab)
564 {
565   /* Avoid recomposing split matras. */
566   if (HB_UNICODE_GENERAL_CATEGORY_IS_MARK (c->unicode->general_category (a)))
567     return false;
568 
569   return (bool)c->unicode->compose (a, b, ab);
570 }
571 
572 
573 const hb_ot_complex_shaper_t _hb_ot_complex_shaper_use =
574 {
575   "use",
576   collect_features_use,
577   NULL, /* override_features */
578   data_create_use,
579   data_destroy_use,
580   NULL, /* preprocess_text */
581   NULL, /* postprocess_glyphs */
582   HB_OT_SHAPE_NORMALIZATION_MODE_COMPOSED_DIACRITICS_NO_SHORT_CIRCUIT,
583   NULL, /* decompose */
584   compose_use,
585   setup_masks_use,
586   HB_OT_SHAPE_ZERO_WIDTH_MARKS_BY_GDEF_EARLY,
587   false, /* fallback_position */
588 };
589