1 /* $OpenBSD: chars.c,v 1.49 2020/02/13 16:16:03 schwarze Exp $ */ 2 /* 3 * Copyright (c) 2009, 2010, 2011 Kristaps Dzonsons <kristaps@bsd.lv> 4 * Copyright (c) 2011, 2014, 2015, 2017, 2018, 2020 5 * Ingo Schwarze <schwarze@openbsd.org> 6 * 7 * Permission to use, copy, modify, and distribute this software for any 8 * purpose with or without fee is hereby granted, provided that the above 9 * copyright notice and this permission notice appear in all copies. 10 * 11 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES 12 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF 13 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR 14 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES 15 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN 16 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF 17 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 18 */ 19 #include <sys/types.h> 20 21 #include <assert.h> 22 #include <ctype.h> 23 #include <stddef.h> 24 #include <stdint.h> 25 #include <stdio.h> 26 #include <stdlib.h> 27 #include <string.h> 28 29 #include "mandoc.h" 30 #include "mandoc_aux.h" 31 #include "mandoc_ohash.h" 32 #include "libmandoc.h" 33 34 struct ln { 35 const char roffcode[16]; 36 const char *ascii; 37 int unicode; 38 }; 39 40 /* Special break control characters. */ 41 static const char ascii_nbrsp[2] = { ASCII_NBRSP, '\0' }; 42 static const char ascii_break[2] = { ASCII_BREAK, '\0' }; 43 44 static struct ln lines[] = { 45 46 /* Spacing. */ 47 { " ", ascii_nbrsp, 0x00a0 }, 48 { "~", ascii_nbrsp, 0x00a0 }, 49 { "0", ascii_nbrsp, 0x00a0 }, 50 { ":", ascii_break, 0 }, 51 52 /* Lines. */ 53 { "ba", "|", 0x007c }, 54 { "br", "|", 0x2502 }, 55 { "ul", "_", 0x005f }, 56 { "_", "_", 0x005f }, 57 { "ru", "_", 0x005f }, 58 { "rn", "-", 0x203e }, 59 { "bb", "|", 0x00a6 }, 60 { "sl", "/", 0x002f }, 61 { "rs", "\\", 0x005c }, 62 63 /* Text markers. */ 64 { "ci", "O", 0x25cb }, 65 { "bu", "+\bo", 0x2022 }, 66 { "dd", "<**>", 0x2021 }, 67 { "dg", "<*>", 0x2020 }, 68 { "lz", "<>", 0x25ca }, 69 { "sq", "[]", 0x25a1 }, 70 { "ps", "<paragraph>", 0x00b6 }, 71 { "sc", "<section>", 0x00a7 }, 72 { "lh", "<=", 0x261c }, 73 { "rh", "=>", 0x261e }, 74 { "at", "@", 0x0040 }, 75 { "sh", "#", 0x0023 }, 76 { "CR", "<cr>", 0x21b5 }, 77 { "OK", "\\/", 0x2713 }, 78 { "CL", "C", 0x2663 }, 79 { "SP", "S", 0x2660 }, 80 { "HE", "H", 0x2665 }, 81 { "DI", "D", 0x2666 }, 82 83 /* Legal symbols. */ 84 { "co", "(C)", 0x00a9 }, 85 { "rg", "(R)", 0x00ae }, 86 { "tm", "tm", 0x2122 }, 87 88 /* Punctuation. */ 89 { "em", "--", 0x2014 }, 90 { "en", "-", 0x2013 }, 91 { "hy", "-", 0x2010 }, 92 { "e", "\\", 0x005c }, 93 { ".", ".", 0x002e }, 94 { "r!", "!", 0x00a1 }, 95 { "r?", "?", 0x00bf }, 96 97 /* Quotes. */ 98 { "Bq", ",,", 0x201e }, 99 { "bq", ",", 0x201a }, 100 { "lq", "\"", 0x201c }, 101 { "rq", "\"", 0x201d }, 102 { "Lq", "\"", 0x201c }, 103 { "Rq", "\"", 0x201d }, 104 { "oq", "`", 0x2018 }, 105 { "cq", "\'", 0x2019 }, 106 { "aq", "\'", 0x0027 }, 107 { "dq", "\"", 0x0022 }, 108 { "Fo", "<<", 0x00ab }, 109 { "Fc", ">>", 0x00bb }, 110 { "fo", "<", 0x2039 }, 111 { "fc", ">", 0x203a }, 112 113 /* Brackets. */ 114 { "lB", "[", 0x005b }, 115 { "rB", "]", 0x005d }, 116 { "lC", "{", 0x007b }, 117 { "rC", "}", 0x007d }, 118 { "la", "<", 0x27e8 }, 119 { "ra", ">", 0x27e9 }, 120 { "bv", "|", 0x23aa }, 121 { "braceex", "|", 0x23aa }, 122 { "bracketlefttp", "|", 0x23a1 }, 123 { "bracketleftbt", "|", 0x23a3 }, 124 { "bracketleftex", "|", 0x23a2 }, 125 { "bracketrighttp", "|", 0x23a4 }, 126 { "bracketrightbt", "|", 0x23a6 }, 127 { "bracketrightex", "|", 0x23a5 }, 128 { "lt", ",-", 0x23a7 }, 129 { "bracelefttp", ",-", 0x23a7 }, 130 { "lk", "{", 0x23a8 }, 131 { "braceleftmid", "{", 0x23a8 }, 132 { "lb", "`-", 0x23a9 }, 133 { "braceleftbt", "`-", 0x23a9 }, 134 { "braceleftex", "|", 0x23aa }, 135 { "rt", "-.", 0x23ab }, 136 { "bracerighttp", "-.", 0x23ab }, 137 { "rk", "}", 0x23ac }, 138 { "bracerightmid", "}", 0x23ac }, 139 { "rb", "-\'", 0x23ad }, 140 { "bracerightbt", "-\'", 0x23ad }, 141 { "bracerightex", "|", 0x23aa }, 142 { "parenlefttp", "/", 0x239b }, 143 { "parenleftbt", "\\", 0x239d }, 144 { "parenleftex", "|", 0x239c }, 145 { "parenrighttp", "\\", 0x239e }, 146 { "parenrightbt", "/", 0x23a0 }, 147 { "parenrightex", "|", 0x239f }, 148 149 /* Arrows and lines. */ 150 { "<-", "<-", 0x2190 }, 151 { "->", "->", 0x2192 }, 152 { "<>", "<->", 0x2194 }, 153 { "da", "|\bv", 0x2193 }, 154 { "ua", "|\b^", 0x2191 }, 155 { "va", "^v", 0x2195 }, 156 { "lA", "<=", 0x21d0 }, 157 { "rA", "=>", 0x21d2 }, 158 { "hA", "<=>", 0x21d4 }, 159 { "uA", "=\b^", 0x21d1 }, 160 { "dA", "=\bv", 0x21d3 }, 161 { "vA", "^=v", 0x21d5 }, 162 { "an", "-", 0x23af }, 163 164 /* Logic. */ 165 { "AN", "^", 0x2227 }, 166 { "OR", "v", 0x2228 }, 167 { "no", "~", 0x00ac }, 168 { "tno", "~", 0x00ac }, 169 { "te", "<there\037exists>", 0x2203 }, 170 { "fa", "<for\037all>", 0x2200 }, 171 { "st", "<such\037that>", 0x220b }, 172 { "tf", "<therefore>", 0x2234 }, 173 { "3d", "<therefore>", 0x2234 }, 174 { "or", "|", 0x007c }, 175 176 /* Mathematicals. */ 177 { "pl", "+", 0x002b }, 178 { "mi", "-", 0x2212 }, 179 { "-", "-", 0x002d }, 180 { "-+", "-+", 0x2213 }, 181 { "+-", "+-", 0x00b1 }, 182 { "t+-", "+-", 0x00b1 }, 183 { "pc", ".", 0x00b7 }, 184 { "md", ".", 0x22c5 }, 185 { "mu", "x", 0x00d7 }, 186 { "tmu", "x", 0x00d7 }, 187 { "c*", "O\bx", 0x2297 }, 188 { "c+", "O\b+", 0x2295 }, 189 { "di", "/", 0x00f7 }, 190 { "tdi", "/", 0x00f7 }, 191 { "f/", "/", 0x2044 }, 192 { "**", "*", 0x2217 }, 193 { "<=", "<=", 0x2264 }, 194 { ">=", ">=", 0x2265 }, 195 { "<<", "<<", 0x226a }, 196 { ">>", ">>", 0x226b }, 197 { "eq", "=", 0x003d }, 198 { "!=", "!=", 0x2260 }, 199 { "==", "==", 0x2261 }, 200 { "ne", "!==", 0x2262 }, 201 { "ap", "~", 0x223c }, 202 { "|=", "-~", 0x2243 }, 203 { "=~", "=~", 0x2245 }, 204 { "~~", "~~", 0x2248 }, 205 { "~=", "~=", 0x2248 }, 206 { "pt", "<proportional\037to>", 0x221d }, 207 { "es", "{}", 0x2205 }, 208 { "mo", "<element\037of>", 0x2208 }, 209 { "nm", "<not\037element\037of>", 0x2209 }, 210 { "sb", "<proper\037subset>", 0x2282 }, 211 { "nb", "<not\037subset>", 0x2284 }, 212 { "sp", "<proper\037superset>", 0x2283 }, 213 { "nc", "<not\037superset>", 0x2285 }, 214 { "ib", "<subset\037or\037equal>", 0x2286 }, 215 { "ip", "<superset\037or\037equal>", 0x2287 }, 216 { "ca", "<intersection>", 0x2229 }, 217 { "cu", "<union>", 0x222a }, 218 { "/_", "<angle>", 0x2220 }, 219 { "pp", "<perpendicular>", 0x22a5 }, 220 { "is", "<integral>", 0x222b }, 221 { "integral", "<integral>", 0x222b }, 222 { "sum", "<sum>", 0x2211 }, 223 { "product", "<product>", 0x220f }, 224 { "coproduct", "<coproduct>", 0x2210 }, 225 { "gr", "<nabla>", 0x2207 }, 226 { "sr", "<sqrt>", 0x221a }, 227 { "sqrt", "<sqrt>", 0x221a }, 228 { "lc", "|~", 0x2308 }, 229 { "rc", "~|", 0x2309 }, 230 { "lf", "|_", 0x230a }, 231 { "rf", "_|", 0x230b }, 232 { "if", "<infinity>", 0x221e }, 233 { "Ah", "<Aleph>", 0x2135 }, 234 { "Im", "<Im>", 0x2111 }, 235 { "Re", "<Re>", 0x211c }, 236 { "wp", "p", 0x2118 }, 237 { "pd", "<del>", 0x2202 }, 238 { "-h", "/h", 0x210f }, 239 { "hbar", "/h", 0x210f }, 240 { "12", "1/2", 0x00bd }, 241 { "14", "1/4", 0x00bc }, 242 { "34", "3/4", 0x00be }, 243 { "18", "1/8", 0x215B }, 244 { "38", "3/8", 0x215C }, 245 { "58", "5/8", 0x215D }, 246 { "78", "7/8", 0x215E }, 247 { "S1", "^1", 0x00B9 }, 248 { "S2", "^2", 0x00B2 }, 249 { "S3", "^3", 0x00B3 }, 250 251 /* Ligatures. */ 252 { "ff", "ff", 0xfb00 }, 253 { "fi", "fi", 0xfb01 }, 254 { "fl", "fl", 0xfb02 }, 255 { "Fi", "ffi", 0xfb03 }, 256 { "Fl", "ffl", 0xfb04 }, 257 { "AE", "AE", 0x00c6 }, 258 { "ae", "ae", 0x00e6 }, 259 { "OE", "OE", 0x0152 }, 260 { "oe", "oe", 0x0153 }, 261 { "ss", "ss", 0x00df }, 262 { "IJ", "IJ", 0x0132 }, 263 { "ij", "ij", 0x0133 }, 264 265 /* Accents. */ 266 { "a\"", "\"", 0x02dd }, 267 { "a-", "-", 0x00af }, 268 { "a.", ".", 0x02d9 }, 269 { "a^", "^", 0x005e }, 270 { "aa", "\'", 0x00b4 }, 271 { "\'", "\'", 0x00b4 }, 272 { "ga", "`", 0x0060 }, 273 { "`", "`", 0x0060 }, 274 { "ab", "'\b`", 0x02d8 }, 275 { "ac", ",", 0x00b8 }, 276 { "ad", "\"", 0x00a8 }, 277 { "ah", "v", 0x02c7 }, 278 { "ao", "o", 0x02da }, 279 { "a~", "~", 0x007e }, 280 { "ho", ",", 0x02db }, 281 { "ha", "^", 0x005e }, 282 { "ti", "~", 0x007e }, 283 { "u02DC", "~", 0x02dc }, 284 285 /* Accented letters. */ 286 { "'A", "'\bA", 0x00c1 }, 287 { "'E", "'\bE", 0x00c9 }, 288 { "'I", "'\bI", 0x00cd }, 289 { "'O", "'\bO", 0x00d3 }, 290 { "'U", "'\bU", 0x00da }, 291 { "'Y", "'\bY", 0x00dd }, 292 { "'a", "'\ba", 0x00e1 }, 293 { "'e", "'\be", 0x00e9 }, 294 { "'i", "'\bi", 0x00ed }, 295 { "'o", "'\bo", 0x00f3 }, 296 { "'u", "'\bu", 0x00fa }, 297 { "'y", "'\by", 0x00fd }, 298 { "`A", "`\bA", 0x00c0 }, 299 { "`E", "`\bE", 0x00c8 }, 300 { "`I", "`\bI", 0x00cc }, 301 { "`O", "`\bO", 0x00d2 }, 302 { "`U", "`\bU", 0x00d9 }, 303 { "`a", "`\ba", 0x00e0 }, 304 { "`e", "`\be", 0x00e8 }, 305 { "`i", "`\bi", 0x00ec }, 306 { "`o", "`\bo", 0x00f2 }, 307 { "`u", "`\bu", 0x00f9 }, 308 { "~A", "~\bA", 0x00c3 }, 309 { "~N", "~\bN", 0x00d1 }, 310 { "~O", "~\bO", 0x00d5 }, 311 { "~a", "~\ba", 0x00e3 }, 312 { "~n", "~\bn", 0x00f1 }, 313 { "~o", "~\bo", 0x00f5 }, 314 { ":A", "\"\bA", 0x00c4 }, 315 { ":E", "\"\bE", 0x00cb }, 316 { ":I", "\"\bI", 0x00cf }, 317 { ":O", "\"\bO", 0x00d6 }, 318 { ":U", "\"\bU", 0x00dc }, 319 { ":a", "\"\ba", 0x00e4 }, 320 { ":e", "\"\be", 0x00eb }, 321 { ":i", "\"\bi", 0x00ef }, 322 { ":o", "\"\bo", 0x00f6 }, 323 { ":u", "\"\bu", 0x00fc }, 324 { ":y", "\"\by", 0x00ff }, 325 { "^A", "^\bA", 0x00c2 }, 326 { "^E", "^\bE", 0x00ca }, 327 { "^I", "^\bI", 0x00ce }, 328 { "^O", "^\bO", 0x00d4 }, 329 { "^U", "^\bU", 0x00db }, 330 { "^a", "^\ba", 0x00e2 }, 331 { "^e", "^\be", 0x00ea }, 332 { "^i", "^\bi", 0x00ee }, 333 { "^o", "^\bo", 0x00f4 }, 334 { "^u", "^\bu", 0x00fb }, 335 { ",C", ",\bC", 0x00c7 }, 336 { ",c", ",\bc", 0x00e7 }, 337 { "/L", "/\bL", 0x0141 }, 338 { "/l", "/\bl", 0x0142 }, 339 { "/O", "/\bO", 0x00d8 }, 340 { "/o", "/\bo", 0x00f8 }, 341 { "oA", "o\bA", 0x00c5 }, 342 { "oa", "o\ba", 0x00e5 }, 343 344 /* Special letters. */ 345 { "-D", "Dh", 0x00d0 }, 346 { "Sd", "dh", 0x00f0 }, 347 { "TP", "Th", 0x00de }, 348 { "Tp", "th", 0x00fe }, 349 { ".i", "i", 0x0131 }, 350 { ".j", "j", 0x0237 }, 351 352 /* Currency. */ 353 { "Do", "$", 0x0024 }, 354 { "ct", "/\bc", 0x00a2 }, 355 { "Eu", "EUR", 0x20ac }, 356 { "eu", "EUR", 0x20ac }, 357 { "Ye", "=\bY", 0x00a5 }, 358 { "Po", "-\bL", 0x00a3 }, 359 { "Cs", "o\bx", 0x00a4 }, 360 { "Fn", ",\bf", 0x0192 }, 361 362 /* Units. */ 363 { "de", "<degree>", 0x00b0 }, 364 { "%0", "<permille>", 0x2030 }, 365 { "fm", "\'", 0x2032 }, 366 { "sd", "''", 0x2033 }, 367 { "mc", "<micro>", 0x00b5 }, 368 { "Of", "_\ba", 0x00aa }, 369 { "Om", "_\bo", 0x00ba }, 370 371 /* Greek characters. */ 372 { "*A", "A", 0x0391 }, 373 { "*B", "B", 0x0392 }, 374 { "*G", "<Gamma>", 0x0393 }, 375 { "*D", "<Delta>", 0x0394 }, 376 { "*E", "E", 0x0395 }, 377 { "*Z", "Z", 0x0396 }, 378 { "*Y", "H", 0x0397 }, 379 { "*H", "<Theta>", 0x0398 }, 380 { "*I", "I", 0x0399 }, 381 { "*K", "K", 0x039a }, 382 { "*L", "<Lambda>", 0x039b }, 383 { "*M", "M", 0x039c }, 384 { "*N", "N", 0x039d }, 385 { "*C", "<Xi>", 0x039e }, 386 { "*O", "O", 0x039f }, 387 { "*P", "<Pi>", 0x03a0 }, 388 { "*R", "P", 0x03a1 }, 389 { "*S", "<Sigma>", 0x03a3 }, 390 { "*T", "T", 0x03a4 }, 391 { "*U", "Y", 0x03a5 }, 392 { "*F", "<Phi>", 0x03a6 }, 393 { "*X", "X", 0x03a7 }, 394 { "*Q", "<Psi>", 0x03a8 }, 395 { "*W", "<Omega>", 0x03a9 }, 396 { "*a", "<alpha>", 0x03b1 }, 397 { "*b", "<beta>", 0x03b2 }, 398 { "*g", "<gamma>", 0x03b3 }, 399 { "*d", "<delta>", 0x03b4 }, 400 { "*e", "<epsilon>", 0x03b5 }, 401 { "*z", "<zeta>", 0x03b6 }, 402 { "*y", "<eta>", 0x03b7 }, 403 { "*h", "<theta>", 0x03b8 }, 404 { "*i", "<iota>", 0x03b9 }, 405 { "*k", "<kappa>", 0x03ba }, 406 { "*l", "<lambda>", 0x03bb }, 407 { "*m", "<mu>", 0x03bc }, 408 { "*n", "<nu>", 0x03bd }, 409 { "*c", "<xi>", 0x03be }, 410 { "*o", "o", 0x03bf }, 411 { "*p", "<pi>", 0x03c0 }, 412 { "*r", "<rho>", 0x03c1 }, 413 { "*s", "<sigma>", 0x03c3 }, 414 { "*t", "<tau>", 0x03c4 }, 415 { "*u", "<upsilon>", 0x03c5 }, 416 { "*f", "<phi>", 0x03d5 }, 417 { "*x", "<chi>", 0x03c7 }, 418 { "*q", "<psi>", 0x03c8 }, 419 { "*w", "<omega>", 0x03c9 }, 420 { "+h", "<theta>", 0x03d1 }, 421 { "+f", "<phi>", 0x03c6 }, 422 { "+p", "<pi>", 0x03d6 }, 423 { "+e", "<epsilon>", 0x03f5 }, 424 { "ts", "<sigma>", 0x03c2 }, 425 }; 426 427 static struct ohash mchars; 428 429 430 void 431 mchars_free(void) 432 { 433 434 ohash_delete(&mchars); 435 } 436 437 void 438 mchars_alloc(void) 439 { 440 size_t i; 441 unsigned int slot; 442 443 mandoc_ohash_init(&mchars, 9, offsetof(struct ln, roffcode)); 444 for (i = 0; i < sizeof(lines)/sizeof(lines[0]); i++) { 445 slot = ohash_qlookup(&mchars, lines[i].roffcode); 446 assert(ohash_find(&mchars, slot) == NULL); 447 ohash_insert(&mchars, slot, lines + i); 448 } 449 } 450 451 int 452 mchars_spec2cp(const char *p, size_t sz) 453 { 454 const struct ln *ln; 455 const char *end; 456 457 end = p + sz; 458 ln = ohash_find(&mchars, ohash_qlookupi(&mchars, p, &end)); 459 return ln != NULL ? ln->unicode : -1; 460 } 461 462 int 463 mchars_num2char(const char *p, size_t sz) 464 { 465 int i; 466 467 i = mandoc_strntoi(p, sz, 10); 468 return i >= 0 && i < 256 ? i : -1; 469 } 470 471 int 472 mchars_num2uc(const char *p, size_t sz) 473 { 474 int i; 475 476 i = mandoc_strntoi(p, sz, 16); 477 assert(i >= 0 && i <= 0x10FFFF); 478 return i; 479 } 480 481 const char * 482 mchars_spec2str(const char *p, size_t sz, size_t *rsz) 483 { 484 const struct ln *ln; 485 const char *end; 486 487 end = p + sz; 488 ln = ohash_find(&mchars, ohash_qlookupi(&mchars, p, &end)); 489 if (ln == NULL) 490 return NULL; 491 492 *rsz = strlen(ln->ascii); 493 return ln->ascii; 494 } 495 496 const char * 497 mchars_uc2str(int uc) 498 { 499 size_t i; 500 501 for (i = 0; i < sizeof(lines)/sizeof(lines[0]); i++) 502 if (uc == lines[i].unicode) 503 return lines[i].ascii; 504 return "<?>"; 505 } 506