font.c 155 KB
Newer Older
Kenichi Handa's avatar
Kenichi Handa committed
1
/* font.c -- "Font" primitives.
Glenn Morris's avatar
Glenn Morris committed
2

Paul Eggert's avatar
Paul Eggert committed
3
Copyright (C) 2006-2018 Free Software Foundation, Inc.
4 5 6
Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011
  National Institute of Advanced Industrial Science and Technology (AIST)
  Registration Number H13PRO009
Kenichi Handa's avatar
Kenichi Handa committed
7 8 9

This file is part of GNU Emacs.

10
GNU Emacs is free software: you can redistribute it and/or modify
Kenichi Handa's avatar
Kenichi Handa committed
11
it under the terms of the GNU General Public License as published by
12 13
the Free Software Foundation, either version 3 of the License, or (at
your option) any later version.
Kenichi Handa's avatar
Kenichi Handa committed
14 15 16 17 18 19 20

GNU Emacs is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
21
along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>.  */
Kenichi Handa's avatar
Kenichi Handa committed
22 23

#include <config.h>
24
#include <float.h>
Kenichi Handa's avatar
Kenichi Handa committed
25
#include <stdio.h>
Paul Eggert's avatar
Paul Eggert committed
26
#include <stdlib.h>
Kenichi Handa's avatar
Kenichi Handa committed
27

28 29
#include <c-ctype.h>

Kenichi Handa's avatar
Kenichi Handa committed
30
#include "lisp.h"
31
#include "character.h"
Kenichi Handa's avatar
Kenichi Handa committed
32 33
#include "buffer.h"
#include "frame.h"
Kenichi Handa's avatar
Kenichi Handa committed
34
#include "window.h"
Kenichi Handa's avatar
Kenichi Handa committed
35 36 37 38 39
#include "dispextern.h"
#include "charset.h"
#include "composite.h"
#include "fontset.h"
#include "font.h"
40
#include "termhooks.h"
Kenichi Handa's avatar
Kenichi Handa committed
41

42 43 44
#ifdef HAVE_WINDOW_SYSTEM
#include TERM_HEADER
#endif /* HAVE_WINDOW_SYSTEM */
45 46 47

#define DEFAULT_ENCODING Qiso8859_1

48
/* Vector of Vfont_weight_table, Vfont_slant_table, and Vfont_width_table. */
Kenichi Handa's avatar
Kenichi Handa committed
49 50
static Lisp_Object font_style_table;

51 52 53 54 55 56 57 58
/* Structure used for tables mapping weight, slant, and width numeric
   values and their names.  */

struct table_entry
{
  int numeric;
  /* The first one is a valid name as a face attribute.
     The second one (if any) is a typical name in XLFD field.  */
59
  const char *names[5];
60 61 62 63 64
};

/* Table of weight numeric values and their names.  This table must be
   sorted by numeric values in ascending order.  */

65
static const struct table_entry weight_table[] =
66 67 68 69 70 71
{
  { 0, { "thin" }},
  { 20, { "ultra-light", "ultralight" }},
  { 40, { "extra-light", "extralight" }},
  { 50, { "light" }},
  { 75, { "semi-light", "semilight", "demilight", "book" }},
72
  { 100, { "normal", "medium", "regular", "unspecified" }},
73 74 75 76 77 78 79 80 81
  { 180, { "semi-bold", "semibold", "demibold", "demi" }},
  { 200, { "bold" }},
  { 205, { "extra-bold", "extrabold" }},
  { 210, { "ultra-bold", "ultrabold", "black" }}
};

/* Table of slant numeric values and their names.  This table must be
   sorted by numeric values in ascending order.  */

82
static const struct table_entry slant_table[] =
83 84 85
{
  { 0, { "reverse-oblique", "ro" }},
  { 10, { "reverse-italic", "ri" }},
86
  { 100, { "normal", "r", "unspecified" }},
87 88 89 90 91 92 93
  { 200, { "italic" ,"i", "ot" }},
  { 210, { "oblique", "o" }}
};

/* Table of width numeric values and their names.  This table must be
   sorted by numeric values in ascending order.  */

94
static const struct table_entry width_table[] =
95 96 97 98 99
{
  { 50, { "ultra-condensed", "ultracondensed" }},
  { 63, { "extra-condensed", "extracondensed" }},
  { 75, { "condensed", "compressed", "narrow" }},
  { 87, { "semi-condensed", "semicondensed", "demicondensed" }},
100
  { 100, { "normal", "medium", "regular", "unspecified" }},
101 102 103 104 105 106
  { 113, { "semi-expanded", "semiexpanded", "demiexpanded" }},
  { 125, { "expanded" }},
  { 150, { "extra-expanded", "extraexpanded" }},
  { 200, { "ultra-expanded", "ultraexpanded", "wide" }}
};

107
/* Alist of font registry symbols and the corresponding charset
108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124
   information.  The information is retrieved from
   Vfont_encoding_alist on demand.

   Eash element has the form:
	(REGISTRY . (ENCODING-CHARSET-ID . REPERTORY-CHARSET-ID))
   or
	(REGISTRY . nil)

   In the former form, ENCODING-CHARSET-ID is an ID of a charset that
   encodes a character code to a glyph code of a font, and
   REPERTORY-CHARSET-ID is an ID of a charset that tells if a
   character is supported by a font.

   The latter form means that the information for REGISTRY couldn't be
   retrieved.  */
static Lisp_Object font_charset_alist;

125 126
/* List of all font drivers.  Each font-backend (XXXfont.c) calls
   register_font_driver in syms_of_XXXfont to register its font-driver
Kenichi Handa's avatar
Kenichi Handa committed
127 128 129
   here.  */
static struct font_driver_list *font_driver_list;

130 131 132 133 134
#ifdef ENABLE_CHECKING

/* Used to catch bogus pointers in font objects.  */

bool
135
valid_font_driver (struct font_driver const *drv)
136 137 138 139 140 141 142 143 144 145 146 147 148 149 150
{
  Lisp_Object tail, frame;
  struct font_driver_list *fdl;

  for (fdl = font_driver_list; fdl; fdl = fdl->next)
    if (fdl->driver == drv)
      return true;
  FOR_EACH_FRAME (tail, frame)
    for (fdl = XFRAME (frame)->font_driver_list; fdl; fdl = fdl->next)
      if (fdl->driver == drv)
	return true;
  return false;
}

#endif /* ENABLE_CHECKING */
Kenichi Handa's avatar
Kenichi Handa committed
151

Paul Eggert's avatar
Paul Eggert committed
152
/* Creators of font-related Lisp object.  */
Kenichi Handa's avatar
Kenichi Handa committed
153

Andreas Schwab's avatar
Andreas Schwab committed
154
static Lisp_Object
155
font_make_spec (void)
Kenichi Handa's avatar
Kenichi Handa committed
156 157 158 159 160
{
  Lisp_Object font_spec;
  struct font_spec *spec
    = ((struct font_spec *)
       allocate_pseudovector (VECSIZE (struct font_spec),
161
			      FONT_SPEC_MAX, FONT_SPEC_MAX, PVEC_FONT));
Kenichi Handa's avatar
Kenichi Handa committed
162 163 164 165 166
  XSETFONT (font_spec, spec);
  return font_spec;
}

Lisp_Object
167
font_make_entity (void)
Kenichi Handa's avatar
Kenichi Handa committed
168 169 170 171 172
{
  Lisp_Object font_entity;
  struct font_entity *entity
    = ((struct font_entity *)
       allocate_pseudovector (VECSIZE (struct font_entity),
173
			      FONT_ENTITY_MAX, FONT_ENTITY_MAX, PVEC_FONT));
Kenichi Handa's avatar
Kenichi Handa committed
174 175 176 177
  XSETFONT (font_entity, entity);
  return font_entity;
}

178 179 180
/* Create a font-object whose structure size is SIZE.  If ENTITY is
   not nil, copy properties from ENTITY to the font-object.  If
   PIXELSIZE is positive, set the `size' property to PIXELSIZE.  */
Kenichi Handa's avatar
Kenichi Handa committed
181
Lisp_Object
182
font_make_object (int size, Lisp_Object entity, int pixelsize)
Kenichi Handa's avatar
Kenichi Handa committed
183 184 185
{
  Lisp_Object font_object;
  struct font *font
186 187
    = (struct font *) allocate_pseudovector (size, FONT_OBJECT_MAX,
					     FONT_OBJECT_MAX, PVEC_FONT);
188 189
  int i;

190 191 192
  /* GC can happen before the driver is set up,
     so avoid dangling pointer here (Bug#17771).  */
  font->driver = NULL;
Kenichi Handa's avatar
Kenichi Handa committed
193 194
  XSETFONT (font_object, font);

195 196 197 198 199 200
  if (! NILP (entity))
    {
      for (i = 1; i < FONT_SPEC_MAX; i++)
	font->props[i] = AREF (entity, i);
      if (! NILP (AREF (entity, FONT_EXTRA_INDEX)))
	font->props[FONT_EXTRA_INDEX]
201
	  = Fcopy_alist (AREF (entity, FONT_EXTRA_INDEX));
202 203
    }
  if (size > 0)
204
    font->props[FONT_SIZE_INDEX] = make_fixnum (pixelsize);
Kenichi Handa's avatar
Kenichi Handa committed
205 206 207
  return font_object;
}

208 209
#if defined (HAVE_XFT) || defined (HAVE_FREETYPE) || defined (HAVE_NS)

210 211
static int font_unparse_fcname (Lisp_Object, int, char *, int);

212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236
/* Like above, but also set `type', `name' and `fullname' properties
   of font-object.  */

Lisp_Object
font_build_object (int vectorsize, Lisp_Object type,
		   Lisp_Object entity, double pixelsize)
{
  int len;
  char name[256];
  Lisp_Object font_object = font_make_object (vectorsize, entity, pixelsize);

  ASET (font_object, FONT_TYPE_INDEX, type);
  len = font_unparse_xlfd (entity, pixelsize, name, sizeof name);
  if (len > 0)
    ASET (font_object, FONT_NAME_INDEX, make_string (name, len));
  len = font_unparse_fcname (entity, pixelsize, name, sizeof name);
  if (len > 0)
    ASET (font_object, FONT_FULLNAME_INDEX, make_string (name, len));
  else
    ASET (font_object, FONT_FULLNAME_INDEX,
	  AREF (font_object, FONT_NAME_INDEX));
  return font_object;
}

#endif /* HAVE_XFT || HAVE_FREETYPE || HAVE_NS */
Kenichi Handa's avatar
Kenichi Handa committed
237

Dmitry Antipov's avatar
Dmitry Antipov committed
238 239 240
static int font_pixel_size (struct frame *f, Lisp_Object);
static Lisp_Object font_open_entity (struct frame *, Lisp_Object, int);
static Lisp_Object font_matching_entity (struct frame *, Lisp_Object *,
241
                                         Lisp_Object);
Andreas Schwab's avatar
Andreas Schwab committed
242
static unsigned font_encode_char (Lisp_Object, int);
Kenichi Handa's avatar
Kenichi Handa committed
243 244 245 246

/* Number of registered font drivers.  */
static int num_font_drivers;

Kenichi Handa's avatar
Kenichi Handa committed
247 248

/* Return a Lispy value of a font property value at STR and LEN bytes.
249 250 251
   If STR is "*", return nil.  If FORCE_SYMBOL, or if STR does not
   consist entirely of one or more digits, return a symbol interned
   from STR.  Otherwise, return an integer.  */
Kenichi Handa's avatar
Kenichi Handa committed
252 253

Lisp_Object
254
font_intern_prop (const char *str, ptrdiff_t len, bool force_symbol)
Kenichi Handa's avatar
Kenichi Handa committed
255
{
256 257
  ptrdiff_t i, nbytes, nchars;
  Lisp_Object tem, name, obarray;
Kenichi Handa's avatar
Kenichi Handa committed
258 259 260

  if (len == 1 && *str == '*')
    return Qnil;
Paul Eggert's avatar
Paul Eggert committed
261
  if (!force_symbol && 0 < len && '0' <= *str && *str <= '9')
Kenichi Handa's avatar
Kenichi Handa committed
262 263
    {
      for (i = 1; i < len; i++)
264
	if (! ('0' <= str[i] && str[i] <= '9'))
Kenichi Handa's avatar
Kenichi Handa committed
265 266
	  break;
      if (i == len)
267
	{
268
	  i = 0;
269 270
	  for (EMACS_INT n = 0;
	       (n += str[i++] - '0') <= MOST_POSITIVE_FIXNUM; )
271 272
	    {
	      if (i == len)
273
		return make_fixnum (n);
274
	      if (INT_MULTIPLY_WRAPV (n, 10, &n))
275 276 277 278
		break;
	    }

	  xsignal1 (Qoverflow_error, make_string (str, len));
279
	}
Kenichi Handa's avatar
Kenichi Handa committed
280 281
    }

282 283
  /* This code is similar to intern function from lread.c.  */
  obarray = check_obarray (Vobarray);
284
  parse_str_as_multibyte ((unsigned char *) str, len, &nchars, &nbytes);
285 286
  tem = oblookup (obarray, str,
		  (len == nchars || len != nbytes) ? len : nchars, len);
Kenichi Handa's avatar
Kenichi Handa committed
287 288
  if (SYMBOLP (tem))
    return tem;
289 290
  name = make_specified_string (str, nchars, len,
				len != nchars && len == nbytes);
291
  return intern_driver (name, obarray, tem);
Kenichi Handa's avatar
Kenichi Handa committed
292 293
}

294
/* Return a pixel size of font-spec SPEC on frame F.  */
295

296
static int
Dmitry Antipov's avatar
Dmitry Antipov committed
297
font_pixel_size (struct frame *f, Lisp_Object spec)
298
{
299
#ifdef HAVE_WINDOW_SYSTEM
300 301
  Lisp_Object size = AREF (spec, FONT_SIZE_INDEX);
  double point_size;
Kenichi Handa's avatar
Kenichi Handa committed
302
  int dpi, pixel_size;
303
  Lisp_Object val;
304

305
  if (FIXNUMP (size))
Tom Tromey's avatar
Tom Tromey committed
306
    return XFIXNUM (size);
307
  if (NILP (size))
308
    return 0;
309 310 311 312 313
  if (FRAME_WINDOW_P (f))
    {
      eassert (FLOATP (size));
      point_size = XFLOAT_DATA (size);
      val = AREF (spec, FONT_DPI_INDEX);
314
      if (FIXNUMP (val))
Tom Tromey's avatar
Tom Tromey committed
315
	dpi = XFIXNUM (val);
316 317 318 319 320
      else
	dpi = FRAME_RES_Y (f);
      pixel_size = POINT_TO_PIXEL (point_size, dpi);
      return pixel_size;
    }
321
#endif
322
  return 1;
323 324
}

Kenichi Handa's avatar
Kenichi Handa committed
325

Kenichi Handa's avatar
Kenichi Handa committed
326 327 328 329
/* Return a value of PROP's VAL (symbol or integer) to be stored in a
   font vector.  If VAL is not valid (i.e. not registered in
   font_style_table), return -1 if NOERROR is zero, and return a
   proper index if NOERROR is nonzero.  In that case, register VAL in
330
   font_style_table if VAL is a symbol, and return the closest index if
Kenichi Handa's avatar
Kenichi Handa committed
331
   VAL is an integer.  */
Kenichi Handa's avatar
Kenichi Handa committed
332

Kenichi Handa's avatar
Kenichi Handa committed
333
int
334 335
font_style_to_value (enum font_property_index prop, Lisp_Object val,
                     bool noerror)
Kenichi Handa's avatar
Kenichi Handa committed
336
{
Kenichi Handa's avatar
Kenichi Handa committed
337
  Lisp_Object table = AREF (font_style_table, prop - FONT_WEIGHT_INDEX);
338 339 340 341
  int len;

  CHECK_VECTOR (table);
  len = ASIZE (table);
Kenichi Handa's avatar
Kenichi Handa committed
342

Kenichi Handa's avatar
Kenichi Handa committed
343
  if (SYMBOLP (val))
Kenichi Handa's avatar
Kenichi Handa committed
344
    {
345
      int i, j;
346
      char *s;
347
      Lisp_Object elt;
Kenichi Handa's avatar
Kenichi Handa committed
348 349 350

      /* At first try exact match.  */
      for (i = 0; i < len; i++)
351 352 353 354 355
	{
	  CHECK_VECTOR (AREF (table, i));
	  for (j = 1; j < ASIZE (AREF (table, i)); j++)
	    if (EQ (val, AREF (AREF (table, i), j)))
	      {
356
		CHECK_FIXNUM (AREF (AREF (table, i), 0));
Tom Tromey's avatar
Tom Tromey committed
357
		return ((XFIXNUM (AREF (AREF (table, i), 0)) << 8)
358 359 360
			| (i << 4) | (j - 1));
	      }
	}
Kenichi Handa's avatar
Kenichi Handa committed
361
      /* Try also with case-folding match.  */
362
      s = SSDATA (SYMBOL_NAME (val));
Kenichi Handa's avatar
Kenichi Handa committed
363
      for (i = 0; i < len; i++)
364 365 366
	for (j = 1; j < ASIZE (AREF (table, i)); j++)
	  {
	    elt = AREF (AREF (table, i), j);
367
	    if (xstrcasecmp (s, SSDATA (SYMBOL_NAME (elt))) == 0)
368
	      {
369
		CHECK_FIXNUM (AREF (AREF (table, i), 0));
Tom Tromey's avatar
Tom Tromey committed
370
		return ((XFIXNUM (AREF (AREF (table, i), 0)) << 8)
371 372
			| (i << 4) | (j - 1));
	      }
373
	  }
Kenichi Handa's avatar
Kenichi Handa committed
374 375
      if (! noerror)
	return -1;
376
      eassert (len < 255);
377
      elt = Fmake_vector (make_fixnum (2), make_fixnum (100));
378
      ASET (elt, 1, val);
379
      ASET (font_style_table, prop - FONT_WEIGHT_INDEX,
380
	    CALLN (Fvconcat, table, Fmake_vector (make_fixnum (1), elt)));
381
      return (100 << 8) | (i << 4);
Kenichi Handa's avatar
Kenichi Handa committed
382
    }
Kenichi Handa's avatar
Kenichi Handa committed
383 384
  else
    {
385
      int i, last_n;
Tom Tromey's avatar
Tom Tromey committed
386
      EMACS_INT numeric = XFIXNUM (val);
Kenichi Handa's avatar
Kenichi Handa committed
387

388
      for (i = 0, last_n = -1; i < len; i++)
Kenichi Handa's avatar
Kenichi Handa committed
389
	{
390
	  int n;
Kenichi Handa's avatar
Kenichi Handa committed
391

392
	  CHECK_VECTOR (AREF (table, i));
393
	  CHECK_FIXNUM (AREF (AREF (table, i), 0));
Tom Tromey's avatar
Tom Tromey committed
394
	  n = XFIXNUM (AREF (AREF (table, i), 0));
Kenichi Handa's avatar
Kenichi Handa committed
395
	  if (numeric == n)
396
	    return (n << 8) | (i << 4);
Kenichi Handa's avatar
Kenichi Handa committed
397 398 399 400
	  if (numeric < n)
	    {
	      if (! noerror)
		return -1;
401 402
	      return ((i == 0 || n - numeric < numeric - last_n)
		      ? (n << 8) | (i << 4): (last_n << 8 | ((i - 1) << 4)));
Kenichi Handa's avatar
Kenichi Handa committed
403 404 405 406 407
	    }
	  last_n = n;
	}
      if (! noerror)
	return -1;
408
      return ((last_n << 8) | ((i - 1) << 4));
Kenichi Handa's avatar
Kenichi Handa committed
409 410
    }
}
Kenichi Handa's avatar
Kenichi Handa committed
411 412

Lisp_Object
413 414
font_style_symbolic (Lisp_Object font, enum font_property_index prop,
                     bool for_face)
Kenichi Handa's avatar
Kenichi Handa committed
415
{
416
  Lisp_Object val = AREF (font, prop);
417 418
  Lisp_Object table, elt;
  int i;
Kenichi Handa's avatar
Kenichi Handa committed
419

Kenichi Handa's avatar
Kenichi Handa committed
420 421 422
  if (NILP (val))
    return Qnil;
  table = AREF (font_style_table, prop - FONT_WEIGHT_INDEX);
423
  CHECK_VECTOR (table);
Tom Tromey's avatar
Tom Tromey committed
424
  i = XFIXNUM (val) & 0xFF;
Paul Eggert's avatar
Paul Eggert committed
425
  eassert (((i >> 4) & 0xF) < ASIZE (table));
426
  elt = AREF (table, ((i >> 4) & 0xF));
427
  CHECK_VECTOR (elt);
Paul Eggert's avatar
Paul Eggert committed
428
  eassert ((i & 0xF) + 1 < ASIZE (elt));
429 430 431
  elt = (for_face ? AREF (elt, 1) : AREF (elt, (i & 0xF) + 1));
  CHECK_SYMBOL (elt);
  return elt;
432 433
}

434 435 436 437 438
/* Return ENCODING or a cons of ENCODING and REPERTORY of the font
   FONTNAME.  ENCODING is a charset symbol that specifies the encoding
   of the font.  REPERTORY is a charset symbol or nil.  */

Lisp_Object
439
find_font_encoding (Lisp_Object fontname)
440 441 442 443 444 445 446 447 448 449 450 451 452 453
{
  Lisp_Object tail, elt;

  for (tail = Vfont_encoding_alist; CONSP (tail); tail = XCDR (tail))
    {
      elt = XCAR (tail);
      if (CONSP (elt)
	  && STRINGP (XCAR (elt))
	  && fast_string_match_ignore_case (XCAR (elt), fontname) >= 0
	  && (SYMBOLP (XCDR (elt))
	      ? CHARSETP (XCDR (elt))
	      : CONSP (XCDR (elt)) && CHARSETP (XCAR (XCDR (elt)))))
	return (XCDR (elt));
    }
454
  return Qnil;
455 456
}

457 458 459 460 461
/* Return encoding charset and repertory charset for REGISTRY in
   ENCODING and REPERTORY correspondingly.  If correct information for
   REGISTRY is available, return 0.  Otherwise return -1.  */

int
462
font_registry_charsets (Lisp_Object registry, struct charset **encoding, struct charset **repertory)
463 464 465 466
{
  Lisp_Object val;
  int encoding_id, repertory_id;

Kenichi Handa's avatar
Kenichi Handa committed
467
  val = Fassoc_string (registry, font_charset_alist, Qt);
468 469 470 471 472
  if (! NILP (val))
    {
      val = XCDR (val);
      if (NILP (val))
	return -1;
Tom Tromey's avatar
Tom Tromey committed
473 474
      encoding_id = XFIXNUM (XCAR (val));
      repertory_id = XFIXNUM (XCDR (val));
475 476 477 478 479 480
    }
  else
    {
      val = find_font_encoding (SYMBOL_NAME (registry));
      if (SYMBOLP (val) && CHARSETP (val))
	{
Tom Tromey's avatar
Tom Tromey committed
481
	  encoding_id = repertory_id = XFIXNUM (CHARSET_SYMBOL_ID (val));
482 483 484 485 486
	}
      else if (CONSP (val))
	{
	  if (! CHARSETP (XCAR (val)))
	    goto invalid_entry;
Tom Tromey's avatar
Tom Tromey committed
487
	  encoding_id = XFIXNUM (CHARSET_SYMBOL_ID (XCAR (val)));
488 489 490 491 492 493
	  if (NILP (XCDR (val)))
	    repertory_id = -1;
	  else
	    {
	      if (! CHARSETP (XCDR (val)))
		goto invalid_entry;
Tom Tromey's avatar
Tom Tromey committed
494
	      repertory_id = XFIXNUM (CHARSET_SYMBOL_ID (XCDR (val)));
495
	    }
496
	}
497 498
      else
	goto invalid_entry;
499
      val = Fcons (make_fixnum (encoding_id), make_fixnum (repertory_id));
500
      font_charset_alist
501
	= nconc2 (font_charset_alist, list1 (Fcons (registry, val)));
502 503 504 505 506 507 508 509 510 511
    }

  if (encoding)
    *encoding = CHARSET_FROM_ID (encoding_id);
  if (repertory)
    *repertory = repertory_id >= 0 ? CHARSET_FROM_ID (repertory_id) : NULL;
  return 0;

 invalid_entry:
  font_charset_alist
512
    = nconc2 (font_charset_alist, list1 (Fcons (registry, Qnil)));
513 514 515
  return -1;
}

Kenichi Handa's avatar
Kenichi Handa committed
516

517
/* Font property value validators.  See the comment of
518 519
   font_property_table for the meaning of the arguments.  */

520 521 522 523 524 525
static Lisp_Object font_prop_validate (int, Lisp_Object, Lisp_Object);
static Lisp_Object font_prop_validate_symbol (Lisp_Object, Lisp_Object);
static Lisp_Object font_prop_validate_style (Lisp_Object, Lisp_Object);
static Lisp_Object font_prop_validate_non_neg (Lisp_Object, Lisp_Object);
static Lisp_Object font_prop_validate_spacing (Lisp_Object, Lisp_Object);
static int get_font_prop_index (Lisp_Object);
Kenichi Handa's avatar
Kenichi Handa committed
526 527

static Lisp_Object
528
font_prop_validate_symbol (Lisp_Object prop, Lisp_Object val)
Kenichi Handa's avatar
Kenichi Handa committed
529 530
{
  if (STRINGP (val))
Kenichi Handa's avatar
Kenichi Handa committed
531 532
    val = Fintern (val, Qnil);
  if (! SYMBOLP (val))
Kenichi Handa's avatar
Kenichi Handa committed
533
    val = Qerror;
Kenichi Handa's avatar
Kenichi Handa committed
534 535
  else if (EQ (prop, QCregistry))
    val = Fintern (Fdowncase (SYMBOL_NAME (val)), Qnil);
Kenichi Handa's avatar
Kenichi Handa committed
536 537 538
  return val;
}

Kenichi Handa's avatar
Kenichi Handa committed
539

Kenichi Handa's avatar
Kenichi Handa committed
540
static Lisp_Object
541
font_prop_validate_style (Lisp_Object style, Lisp_Object val)
Kenichi Handa's avatar
Kenichi Handa committed
542
{
Kenichi Handa's avatar
Kenichi Handa committed
543 544 545
  enum font_property_index prop = (EQ (style, QCweight) ? FONT_WEIGHT_INDEX
				   : EQ (style, QCslant) ? FONT_SLANT_INDEX
				   : FONT_WIDTH_INDEX);
546
  if (FIXNUMP (val))
Kenichi Handa's avatar
Kenichi Handa committed
547
    {
Tom Tromey's avatar
Tom Tromey committed
548
      EMACS_INT n = XFIXNUM (val);
549
      CHECK_VECTOR (AREF (font_style_table, prop - FONT_WEIGHT_INDEX));
550
      if (((n >> 4) & 0xF)
Kenichi Handa's avatar
Kenichi Handa committed
551
	  >= ASIZE (AREF (font_style_table, prop - FONT_WEIGHT_INDEX)))
Kenichi Handa's avatar
Kenichi Handa committed
552 553 554
	val = Qerror;
      else
	{
555 556
	  Lisp_Object elt = AREF (AREF (font_style_table, prop - FONT_WEIGHT_INDEX), (n >> 4) & 0xF);

557
	  CHECK_VECTOR (elt);
558 559
	  if ((n & 0xF) + 1 >= ASIZE (elt))
	    val = Qerror;
560 561
	  else
	    {
562
	      CHECK_FIXNUM (AREF (elt, 0));
Tom Tromey's avatar
Tom Tromey committed
563
	      if (XFIXNUM (AREF (elt, 0)) != (n >> 8))
564 565
		val = Qerror;
	    }
Kenichi Handa's avatar
Kenichi Handa committed
566 567
	}
    }
Kenichi Handa's avatar
Kenichi Handa committed
568 569 570 571
  else if (SYMBOLP (val))
    {
      int n = font_style_to_value (prop, val, 0);

572
      val = n >= 0 ? make_fixnum (n) : Qerror;
Kenichi Handa's avatar
Kenichi Handa committed
573 574 575
    }
  else
    val = Qerror;
Kenichi Handa's avatar
Kenichi Handa committed
576 577 578 579
  return val;
}

static Lisp_Object
580
font_prop_validate_non_neg (Lisp_Object prop, Lisp_Object val)
Kenichi Handa's avatar
Kenichi Handa committed
581
{
582
  return (FIXNATP (val) || (FLOATP (val) && XFLOAT_DATA (val) >= 0)
Kenichi Handa's avatar
Kenichi Handa committed
583 584 585 586
	  ? val : Qerror);
}

static Lisp_Object
587
font_prop_validate_spacing (Lisp_Object prop, Lisp_Object val)
588
{
Tom Tromey's avatar
Tom Tromey committed
589
  if (NILP (val) || (FIXNATP (val) && XFIXNUM (val) <= FONT_SPACING_CHARCELL))
590
    return val;
591 592 593 594 595
  if (SYMBOLP (val) && SBYTES (SYMBOL_NAME (val)) == 1)
    {
      char spacing = SDATA (SYMBOL_NAME (val))[0];

      if (spacing == 'c' || spacing == 'C')
596
	return make_fixnum (FONT_SPACING_CHARCELL);
597
      if (spacing == 'm' || spacing == 'M')
598
	return make_fixnum (FONT_SPACING_MONO);
599
      if (spacing == 'p' || spacing == 'P')
600
	return make_fixnum (FONT_SPACING_PROPORTIONAL);
601
      if (spacing == 'd' || spacing == 'D')
602
	return make_fixnum (FONT_SPACING_DUAL);
603
    }
604 605 606
  return Qerror;
}

607
static Lisp_Object
608
font_prop_validate_otf (Lisp_Object prop, Lisp_Object val)
609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640
{
  Lisp_Object tail, tmp;
  int i;

  /* VAL = (SCRIPT [ LANGSYS [ GSUB-FEATURES [ GPOS-FEATURES ]]])
     GSUB-FEATURES = (FEATURE ... [ nil FEATURE ... ]) | nil
     GPOS-FEATURES = (FEATURE ... [ nil FEATURE ... ]) | nil  */
  if (! CONSP (val))
    return Qerror;
  if (! SYMBOLP (XCAR (val)))
    return Qerror;
  tail = XCDR (val);
  if (NILP (tail))
    return val;
  if (! CONSP (tail) || ! SYMBOLP (XCAR (val)))
    return Qerror;
  for (i = 0; i < 2; i++)
    {
      tail = XCDR (tail);
      if (NILP (tail))
	return val;
      if (! CONSP (tail))
	return Qerror;
      for (tmp = XCAR (tail); CONSP (tmp); tmp = XCDR (tmp))
	if (! SYMBOLP (XCAR (tmp)))
	  return Qerror;
      if (! NILP (tmp))
	return Qerror;
    }
  return val;
}

641
/* Structure of known font property keys and validator of the
642
   values.  */
643
static const struct
Kenichi Handa's avatar
Kenichi Handa committed
644
{
Paul Eggert's avatar
Paul Eggert committed
645 646
  /* Index of the key symbol.  */
  int key;
647 648 649
  /* Function to validate PROP's value VAL, or NULL if any value is
     ok.  The value is VAL or its regularized value if VAL is valid,
     and Qerror if not.  */
Paul Eggert's avatar
Paul Eggert committed
650
  Lisp_Object (*validator) (Lisp_Object prop, Lisp_Object val);
651
} font_property_table[] =
Paul Eggert's avatar
Paul Eggert committed
652 653 654 655 656 657 658 659 660 661 662 663
  { { SYMBOL_INDEX (QCtype), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCfoundry), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCfamily), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCadstyle), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCregistry), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCweight), font_prop_validate_style },
    { SYMBOL_INDEX (QCslant), font_prop_validate_style },
    { SYMBOL_INDEX (QCwidth), font_prop_validate_style },
    { SYMBOL_INDEX (QCsize), font_prop_validate_non_neg },
    { SYMBOL_INDEX (QCdpi), font_prop_validate_non_neg },
    { SYMBOL_INDEX (QCspacing), font_prop_validate_spacing },
    { SYMBOL_INDEX (QCavgwidth), font_prop_validate_non_neg },
Kenichi Handa's avatar
Kenichi Handa committed
664 665
    /* The order of the above entries must match with enum
       font_property_index.  */
Paul Eggert's avatar
Paul Eggert committed
666 667 668
    { SYMBOL_INDEX (QClang), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCscript), font_prop_validate_symbol },
    { SYMBOL_INDEX (QCotf), font_prop_validate_otf }
Kenichi Handa's avatar
Kenichi Handa committed
669 670
  };

671
/* Return an index number of font property KEY or -1 if KEY is not an
Kenichi Handa's avatar
Kenichi Handa committed
672
   already known property.  */
673

674
static int
675
get_font_prop_index (Lisp_Object key)
Kenichi Handa's avatar
Kenichi Handa committed
676
{
Kenichi Handa's avatar
Kenichi Handa committed
677 678
  int i;

679
  for (i = 0; i < ARRAYELTS (font_property_table); i++)
Paul Eggert's avatar
Paul Eggert committed
680
    if (EQ (key, builtin_lisp_symbol (font_property_table[i].key)))
Kenichi Handa's avatar
Kenichi Handa committed
681
      return i;
682
  return -1;
Kenichi Handa's avatar
Kenichi Handa committed
683 684
}

Kenichi Handa's avatar
Kenichi Handa committed
685 686 687
/* Validate the font property.  The property key is specified by the
   symbol PROP, or the index IDX (if PROP is nil).  If VAL is invalid,
   signal an error.  The value is VAL or the regularized one.  */
688

Kenichi Handa's avatar
Kenichi Handa committed
689
static Lisp_Object
690
font_prop_validate (int idx, Lisp_Object prop, Lisp_Object val)
Kenichi Handa's avatar
Kenichi Handa committed
691
{
Kenichi Handa's avatar
Kenichi Handa committed
692
  Lisp_Object validated;
Kenichi Handa's avatar
Kenichi Handa committed
693

694 695
  if (NILP (val))
    return val;
Kenichi Handa's avatar
Kenichi Handa committed
696
  if (NILP (prop))
Paul Eggert's avatar
Paul Eggert committed
697
    prop = builtin_lisp_symbol (font_property_table[idx].key);
Kenichi Handa's avatar
Kenichi Handa committed
698
  else
699
    {
Kenichi Handa's avatar
Kenichi Handa committed
700 701 702
      idx = get_font_prop_index (prop);
      if (idx < 0)
	return val;
703
    }
Paul Eggert's avatar
Paul Eggert committed
704
  validated = (font_property_table[idx].validator) (prop, val);
Kenichi Handa's avatar
Kenichi Handa committed
705 706 707
  if (EQ (validated, Qerror))
    signal_error ("invalid font property", Fcons (prop, val));
  return validated;
Kenichi Handa's avatar
Kenichi Handa committed
708
}
709

Kenichi Handa's avatar
Kenichi Handa committed
710 711 712

/* Store VAL as a value of extra font property PROP in FONT while
   keeping the sorting order.  Don't check the validity of VAL.  */
713

714
Lisp_Object
715
font_put_extra (Lisp_Object font, Lisp_Object prop, Lisp_Object val)
716 717
{
  Lisp_Object extra = AREF (font, FONT_EXTRA_INDEX);
718
  Lisp_Object slot = (NILP (extra) ? Qnil : assq_no_quit (prop, extra));
719 720 721

  if (NILP (slot))
    {
Kenichi Handa's avatar
Kenichi Handa committed
722 723 724 725 726
      Lisp_Object prev = Qnil;

      while (CONSP (extra)
	     && NILP (Fstring_lessp (prop, XCAR (XCAR (extra)))))
	prev = extra, extra = XCDR (extra);
727

728
      if (NILP (prev))
729
        ASET (font, FONT_EXTRA_INDEX, Fcons (Fcons (prop, val), extra));
730
      else
731
        XSETCDR (prev, Fcons (Fcons (prop, val), extra));
732

733
      return val;
734 735
    }
  XSETCDR (slot, val);
736 737
  if (NILP (val))
    ASET (font, FONT_EXTRA_INDEX, Fdelq (slot, extra));
738
  return val;
739 740
}

Kenichi Handa's avatar
Kenichi Handa committed
741

742
/* Font name parser and unparser.  */
Kenichi Handa's avatar
Kenichi Handa committed
743

744
static int parse_matrix (const char *);
745
static int font_expand_wildcards (Lisp_Object *, int);
746
static int font_parse_name (char *, ptrdiff_t, Lisp_Object);
Kenichi Handa's avatar
Kenichi Handa committed
747

748
/* An enumerator for each field of an XLFD font name.  */
Kenichi Handa's avatar
Kenichi Handa committed
749 750 751 752 753 754 755 756
enum xlfd_field_index
{
  XLFD_FOUNDRY_INDEX,
  XLFD_FAMILY_INDEX,
  XLFD_WEIGHT_INDEX,
  XLFD_SLANT_INDEX,
  XLFD_SWIDTH_INDEX,
  XLFD_ADSTYLE_INDEX,
757 758
  XLFD_PIXEL_INDEX,
  XLFD_POINT_INDEX,
Kenichi Handa's avatar
Kenichi Handa committed
759 760 761 762 763 764 765 766 767
  XLFD_RESX_INDEX,
  XLFD_RESY_INDEX,
  XLFD_SPACING_INDEX,
  XLFD_AVGWIDTH_INDEX,
  XLFD_REGISTRY_INDEX,
  XLFD_ENCODING_INDEX,
  XLFD_LAST_INDEX
};

768
/* An enumerator for mask bit corresponding to each XLFD field.  */
769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787
enum xlfd_field_mask
{
  XLFD_FOUNDRY_MASK = 0x0001,
  XLFD_FAMILY_MASK = 0x0002,
  XLFD_WEIGHT_MASK = 0x0004,
  XLFD_SLANT_MASK = 0x0008,
  XLFD_SWIDTH_MASK = 0x0010,
  XLFD_ADSTYLE_MASK = 0x0020,
  XLFD_PIXEL_MASK = 0x0040,
  XLFD_POINT_MASK = 0x0080,
  XLFD_RESX_MASK = 0x0100,
  XLFD_RESY_MASK = 0x0200,
  XLFD_SPACING_MASK = 0x0400,
  XLFD_AVGWIDTH_MASK = 0x0800,
  XLFD_REGISTRY_MASK = 0x1000,
  XLFD_ENCODING_MASK = 0x2000
};


788
/* Parse P pointing to the pixel/point size field of the form
Kenichi Handa's avatar
Kenichi Handa committed
789 790 791 792 793 794 795 796 797 798 799 800 801 802
   `[A B C D]' which specifies a transformation matrix:

	A  B  0
	C  D  0
	0  0  1

   by which all glyphs of the font are transformed.  The spec says
   that scalar value N for the pixel/point size is equivalent to:
   A = N * resx/resy, B = C = 0, D = N.

   Return the scalar value N if the form is valid.  Otherwise return
   -1.  */

static int
803
parse_matrix (const char *p)
Kenichi Handa's avatar
Kenichi Handa committed
804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819
{
  double matrix[4];
  char *end;
  int i;

  for (i = 0, p++; i < 4 && *p && *p != ']'; i++)
    {
      if (*p == '~')
	matrix[i] = - strtod (p + 1, &end);
      else
	matrix[i] = strtod (p, &end);
      p = end;
    }
  return (i == 4 ? (int) matrix[3] : -1);
}

820
/* Expand a wildcard field in FIELD (the first N fields are filled) to
821
   multiple fields to fill in all 14 XLFD fields while restricting a
822 823
   field position by its contents.  */

824
static int
825
font_expand_wildcards (Lisp_Object *field, int n)
826 827 828 829 830 831 832 833
{
  /* Copy of FIELD.  */
  Lisp_Object tmp[XLFD_LAST_INDEX];
  /* Array of information about where this element can go.  Nth
     element is for Nth element of FIELD. */
  struct {
    /* Minimum possible field.  */
    int from;
Paul Eggert's avatar
Paul Eggert committed
834
    /* Maximum possible field.  */
835 836 837 838 839
    int to;
    /* Bit mask of possible field.  Nth bit corresponds to Nth field.  */
    int mask;
  } range[XLFD_LAST_INDEX];
  int i, j;
840
  int range_from, range_to;
841 842 843 844 845 846
  unsigned range_mask;

#define XLFD_SYMBOL_MASK (XLFD_FOUNDRY_MASK | XLFD_FAMILY_MASK \
			  | XLFD_ADSTYLE_MASK  | XLFD_REGISTRY_MASK)
#define XLFD_NULL_MASK (XLFD_FOUNDRY_MASK | XLFD_ADSTYLE_MASK)
#define XLFD_LARGENUM_MASK (XLFD_POINT_MASK | XLFD_RESX_MASK | XLFD_RESY_MASK \
847
			    | XLFD_AVGWIDTH_MASK)
848 849 850 851 852 853 854 855
#define XLFD_REGENC_MASK (XLFD_REGISTRY_MASK | XLFD_ENCODING_MASK)

  /* Initialize RANGE_MASK for FIELD[0] which can be 0th to (14 - N)th
     field.  The value is shifted to left one bit by one in the
     following loop.  */
  for (i = 0, range_mask = 0; i <= 14 - n; i++)
    range_mask = (range_mask << 1) | 1;

856
  /* The triplet RANGE_FROM, RANGE_TO, and RANGE_MASK is a
Paul Eggert's avatar
Paul Eggert committed
857
     position-based restriction for FIELD[I].  */
858 859
  for (i = 0, range_from = 0, range_to = 14 - n; i < n;
       i++, range_from++, range_to++, range_mask <<= 1)
860 861 862 863 864 865 866 867 868 869 870 871 872 873
    {
      Lisp_Object val = field[i];

      tmp[i] = val;
      if (NILP (val))
	{
	  /* Wildcard.  */
	  range[i].from = range_from;
	  range[i].to = range_to;
	  range[i].mask = range_mask;
	}
      else
	{
	  /* The triplet FROM, TO, and MASK is a value-based
Paul Eggert's avatar
Paul Eggert committed
874
	     restriction for FIELD[I].  */
875 876 877
	  int from, to;
	  unsigned mask;

878
	  if (FIXNUMP (val))
879
	    {
Tom Tromey's avatar
Tom Tromey committed
880
	      EMACS_INT numeric = XFIXNUM (val);
881

882 883 884
	      if (i + 1 == n)
		from = to = XLFD_ENCODING_INDEX,
		  mask = XLFD_ENCODING_MASK;
885 886 887
	      else if (numeric == 0)
		from = XLFD_PIXEL_INDEX, to = XLFD_AVGWIDTH_INDEX,
		  mask = XLFD_PIXEL_MASK | XLFD_LARGENUM_MASK;
888 889 890
	      else if (numeric <= 48)
		from = to = XLFD_PIXEL_INDEX,
		  mask = XLFD_PIXEL_MASK;
891
	      else
892
		from = XLFD_POINT_INDEX, to = XLFD_AVGWIDTH_INDEX,
893 894
		  mask = XLFD_LARGENUM_MASK;
	    }
Kenichi Handa's avatar
Kenichi Handa committed
895
	  else if (SBYTES (SYMBOL_NAME (val)) == 0)
896 897 898 899 900 901 902 903 904 905 906 907 908 909 910
	    from = XLFD_FOUNDRY_INDEX, to = XLFD_ADSTYLE_INDEX,
	      mask = XLFD_NULL_MASK;
	  else if (i == 0)
	    from = to = XLFD_FOUNDRY_INDEX, mask = XLFD_FOUNDRY_MASK;
	  else if (i + 1 == n)
	    {
	      Lisp_Object name = SYMBOL_NAME (val);

	      if (SDATA (name)[SBYTES (name) - 1] == '*')
		from = XLFD_REGISTRY_INDEX, to = XLFD_ENCODING_INDEX,
		  mask = XLFD_REGENC_MASK;
	      else
		from = to = XLFD_ENCODING_INDEX,
		  mask = XLFD_ENCODING_MASK;
	    }
911 912
	  else if (range_from <= XLFD_WEIGHT_INDEX
		   && range_to >= XLFD_WEIGHT_INDEX
Kenichi Handa's avatar
Kenichi Handa committed
913
		   && FONT_WEIGHT_NAME_NUMERIC (val) >= 0)
914
	    from = to = XLFD_WEIGHT_INDEX, mask = XLFD_WEIGHT_MASK;
915 916
	  else if (range_from <= XLFD_SLANT_INDEX
		   && range_to >= XLFD_SLANT_INDEX
Kenichi Handa's avatar
Kenichi Handa committed
917
		   && FONT_SLANT_NAME_NUMERIC (val) >= 0)
918
	    from = to = XLFD_SLANT_INDEX, mask = XLFD_SLANT_MASK;
919 920
	  else if (range_from <= XLFD_SWIDTH_INDEX
		   && range_to >= XLFD_SWIDTH_INDEX
Kenichi Handa's avatar
Kenichi Handa committed
921
		   && FONT_WIDTH_NAME_NUMERIC (val) >= 0)
922 923 924
	    from = to = XLFD_SWIDTH_INDEX, mask = XLFD_SWIDTH_MASK;
	  else
	    {
925
	      if (EQ (val, Qc) || EQ (val, Qm) || EQ (val, Qp) || EQ (val, Qd))
926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948
		from = to = XLFD_SPACING_INDEX, mask = XLFD_SPACING_MASK;
	      else
		from = XLFD_FOUNDRY_INDEX, to = XLFD_ENCODING_INDEX,
		  mask = XLFD_SYMBOL_MASK;
	    }

	  /* Merge position-based and value-based restrictions.  */
	  mask &= range_mask;
	  while (from < range_from)
	    mask &= ~(1 << from++);
	  while (from < 14 && ! (mask & (1 << from)))
	    from++;
	  while (to > range_to)
	    mask &= ~(1 << to--);
	  while (to >= 0 && ! (mask & (1 << to)))
	    to--;
	  if (from > to)
	    return -1;
	  range[i].from = from;
	  range[i].to = to;
	  range[i].mask = mask;

	  if (from > range_from || to < range_to)
949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982
	    {
	      /* The range is narrowed by value-based restrictions.
		 Reflect it to the other fields.  */

	      /* Following fields should be after FROM.  */
	      range_from = from;
	      /* Preceding fields should be before TO.  */
	      for (j = i - 1, from--, to--; j >= 0; j--, from--, to--)
		{
		  /* Check FROM for non-wildcard field.  */
		  if (! NILP (tmp[j]) && range[j].from < from)
		    {
		      while (range[j].from < from)
			range[j].mask &= ~(1 << range[j].from++);
		      while (from < 14 && ! (range[j].mask & (1 << from)))
			from++;
		      range[j].from = from;
		    }
		  else
		    from = range[j].from;
		  if (range[j].to > to)
		    {
		      while (range[j].to > to)
			range[j].mask &= ~(1 << range[j].to--);
		      while (to >= 0 && ! (range[j].mask & (1 << to)))
			to--;
		      range[j].to = to;
		    }
		  else
		    to = range[j].to;
		  if (from > to)
		    return -1;
		}
	    }
983 984 985
	}
    }

Paul Eggert's avatar
Paul Eggert committed
986
  /* Decide all fields from restrictions in RANGE.  */
987 988 989 990 991 992 993
  for (i = j = 0; i < n ; i++)
    {
      if (j < range[i].from)
	{
	  if (i == 0 || ! NILP (tmp[i - 1]))
	    /* None of TMP[X] corresponds to Jth field.  */
	    return -1;
994
	  memclear (field + j, (range[i].from - j) * word_size);