mule.el 41 KB
Newer Older
Karl Heuer's avatar
Karl Heuer committed
1 2 3
;;; mule.el --- basic commands for mulitilingual environment

;; Copyright (C) 1995 Electrotechnical Laboratory, JAPAN.
Richard M. Stallman's avatar
Richard M. Stallman committed
4
;; Licensed to the Free Software Foundation.
Karl Heuer's avatar
Karl Heuer committed
5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

;; Keywords: mule, multilingual, character set, coding system

;; This file is part of GNU Emacs.

;; GNU Emacs is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation; either version 2, or (at your option)
;; any later version.

;; 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
Karl Heuer's avatar
Karl Heuer committed
21 22 23
;; along with GNU Emacs; see the file COPYING.  If not, write to the
;; Free Software Foundation, Inc., 59 Temple Place - Suite 330,
;; Boston, MA 02111-1307, USA.
Karl Heuer's avatar
Karl Heuer committed
24 25 26 27 28 29 30 31 32 33

;;; Code:

(defconst mule-version "3.0 (MOMIJINOGA)" "\
Version number and name of this version of MULE (multilingual environment).")

(defconst mule-version-date "1998.1.1" "\
Distribution date of this version of MULE (multilingual environment).")

(defun load-with-code-conversion (fullname file &optional noerror nomessage)
34 35
  "Execute a file of Lisp code named FILE whose absolute name is FULLNAME.
The file contents are decoded before evaluation if necessary.
Karl Heuer's avatar
Karl Heuer committed
36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
If optional second arg NOERROR is non-nil,
 report no error if FILE doesn't exist.
Print messages at start and end of loading unless
 optional third arg NOMESSAGE is non-nil.
Return t if file exists."
  (if (null (file-readable-p fullname))
      (and (null noerror)
	   (signal 'file-error (list "Cannot open load file" file)))
    ;; Read file with code conversion, and then eval.
    (let* ((buffer
	    ;; To avoid any autoloading, set default-major-mode to
	    ;; fundamental-mode.
	    (let ((default-major-mode 'fundamental-mode))
	      ;; We can't use `generate-new-buffer' because files.el
	      ;; is not yet loaded.
	      (get-buffer-create (generate-new-buffer-name " *load*"))))
52 53 54 55 56 57 58 59
	   (load-in-progress t)
	   (source (save-match-data (string-match "\\.el\\'" fullname))))
      (unless nomessage
	(if source
	    (message "Loading %s (source)..." file)
	  (message "Loading %s..." file)))
      (when purify-flag
	(setq preloaded-file-list (cons file preloaded-file-list)))
Karl Heuer's avatar
Karl Heuer committed
60
      (unwind-protect
61 62
	  (let ((load-file-name fullname)
		(inhibit-file-name-operation nil))
Karl Heuer's avatar
Karl Heuer committed
63 64
	    (save-excursion
	      (set-buffer buffer)
65 66
	      ;; This is buffer-local.
	      (setq enable-multibyte-characters t)
Karl Heuer's avatar
Karl Heuer committed
67 68 69
	      (insert-file-contents fullname)
	      ;; Make `kill-buffer' quiet.
	      (set-buffer-modified-p nil))
70
	    ;; Have the original buffer current while we eval.
71
	    (eval-buffer buffer nil file))
72 73
	(let (kill-buffer-hook kill-buffer-query-functions)
	  (kill-buffer buffer)))
Karl Heuer's avatar
Karl Heuer committed
74
      (let ((hook (assoc file after-load-alist)))
75 76 77 78 79 80
	(when hook
	  (mapcar (function eval) (cdr hook))))
      (unless (or nomessage noninteractive)
	(if source
	    (message "Loading %s (source)...done" file)
	  (message "Loading %s...done" file)))
Karl Heuer's avatar
Karl Heuer committed
81 82 83 84
      t)))

;; API (Application Program Interface) for charsets.

85 86 87 88 89 90 91 92
;; Return t if OBJ is a quoted symbol
;; and the symbol is the name of a standard charset.
(defsubst charset-quoted-standard-p (obj)
  (and (listp obj) (eq (car obj) 'quote)
       (symbolp (car-safe (cdr obj)))
       (let ((vector (get (car-safe (cdr obj)) 'charset)))
	 (and (vectorp vector)
	      (< (aref vector 0) 160)))))
Karl Heuer's avatar
Karl Heuer committed
93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139

(defsubst charsetp (object)
  "T is OBJECT is a charset."
  (and (symbolp object) (vectorp (get object 'charset))))

(defsubst charset-info (charset)
  "Return a vector of information of CHARSET.
The elements of the vector are:
	CHARSET-ID, BYTES, DIMENSION, CHARS, WIDTH, DIRECTION,
	LEADING-CODE-BASE, LEADING-CODE-EXT,
	ISO-FINAL-CHAR, ISO-GRAPHIC-PLANE,
	REVERSE-CHARSET, SHORT-NAME, LONG-NAME,	DESCRIPTION,
	PLIST,
where
CHARSET-ID (integer) is the identification number of the charset.
DIMENSION (integer) is the number of bytes to represent a character of
the charset: 1 or 2.
CHARS (integer) is the number of characters in a dimension: 94 or 96.
BYTE (integer) is the length of multi-byte form of a character in
  the charset: one of 1, 2, 3, and 4.
WIDTH (integer) is the number of columns a character in the charset
  occupies on the screen: one of 0, 1, and 2.
DIRECTION (integer) is the rendering direction of characters in the
  charset when rendering.  If 0, render from right to left, else
  render from left to right.
LEADING-CODE-BASE (integer) is the base leading-code for the
  charset.
LEADING-CODE-EXT (integer) is the extended leading-code for the
  charset.  All charsets of less than 0xA0 has the value 0.
ISO-FINAL-CHAR (character) is the final character of the
  corresponding ISO 2022 charset.
ISO-GRAPHIC-PLANE (integer) is the graphic plane to be invoked
  while encoding to variants of ISO 2022 coding system, one of the
  following: 0/graphic-plane-left(GL), 1/graphic-plane-right(GR).
REVERSE-CHARSET (integer) is the charset which differs only in
  LEFT-TO-RIGHT value from the charset.  If there's no such a
  charset, the value is -1.
SHORT-NAME (string) is the short name to refer to the charset.
LONG-NAME (string) is the long name to refer to the charset
DESCRIPTION (string) is the description string of the charset.
PLIST (property list) may contain any type of information a user
  want to put and get by functions `put-charset-property' and
  `get-charset-property' respectively."
  (get charset 'charset))

(defmacro charset-id (charset)
  "Return charset identification number of CHARSET."
140
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
141 142 143 144
      (aref (charset-info (nth 1 charset)) 0)
    `(aref (charset-info ,charset) 0)))

(defmacro charset-bytes (charset)
145 146
  "Return bytes of CHARSET.
See the function `charset-info' for more detail."
147
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
148 149 150 151
      (aref (charset-info (nth 1 charset)) 1)
    `(aref (charset-info ,charset) 1)))

(defmacro charset-dimension (charset)
152 153
  "Return dimension of CHARSET.
See the function `charset-info' for more detail."
154
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
155 156 157 158
      (aref (charset-info (nth 1 charset)) 2)
    `(aref (charset-info ,charset) 2)))

(defmacro charset-chars (charset)
159 160
  "Return character numbers contained in a dimension of CHARSET.
See the function `charset-info' for more detail."
161
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
162 163 164 165
      (aref (charset-info (nth 1 charset)) 3)
    `(aref (charset-info ,charset) 3)))

(defmacro charset-width (charset)
166 167
  "Return width (how many column occupied on a screen) of CHARSET.
See the function `charset-info' for more detail."
168
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
169 170 171 172
      (aref (charset-info (nth 1 charset)) 4)
    `(aref (charset-info ,charset) 4)))

(defmacro charset-direction (charset)
173 174
  "Return direction of CHARSET.
See the function `charset-info' for more detail."
175
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
176 177 178 179
      (aref (charset-info (nth 1 charset)) 5)
    `(aref (charset-info ,charset) 5)))

(defmacro charset-iso-final-char (charset)
180 181
  "Return final char of CHARSET.
See the function `charset-info' for more detail."
182
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
183 184 185 186
      (aref (charset-info (nth 1 charset)) 8)
    `(aref (charset-info ,charset) 8)))

(defmacro charset-iso-graphic-plane (charset)
187 188
  "Return graphic plane of CHARSET.
See the function `charset-info' for more detail."
189
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
190 191 192 193
      (aref (charset-info (nth 1 charset)) 9)
    `(aref (charset-info ,charset) 9)))

(defmacro charset-reverse-charset (charset)
194 195
  "Return reverse charset of CHARSET.
See the function `charset-info' for more detail."
196
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
197 198 199 200
      (aref (charset-info (nth 1 charset)) 10)
    `(aref (charset-info ,charset) 10)))

(defmacro charset-short-name (charset)
201 202
  "Return short name of CHARSET.
See the function `charset-info' for more detail."
203
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
204 205 206 207
      (aref (charset-info (nth 1 charset)) 11)
    `(aref (charset-info ,charset) 11)))

(defmacro charset-long-name (charset)
208 209
  "Return long name of CHARSET.
See the function `charset-info' for more detail."
210
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
211 212 213 214
      (aref (charset-info (nth 1 charset)) 12)
    `(aref (charset-info ,charset) 12)))

(defmacro charset-description (charset)
215 216
  "Return descriptoin of CHARSET.
See the function `charset-info' for more detail."
217
  (if (charset-quoted-standard-p charset)
Karl Heuer's avatar
Karl Heuer committed
218 219 220 221
      (aref (charset-info (nth 1 charset)) 13)
    `(aref (charset-info ,charset) 13)))

(defmacro charset-plist (charset)
222 223
  "Return list charset property of CHARSET.
See the function `charset-info' for more detail."
224
  (if (charset-quoted-standard-p charset)
Kenichi Handa's avatar
Kenichi Handa committed
225
      `(aref ,(charset-info (nth 1 charset)) 14)
Karl Heuer's avatar
Karl Heuer committed
226 227 228
    `(aref (charset-info ,charset) 14)))

(defun set-charset-plist (charset plist)
229
  "Set CHARSET's property list to PLIST, and retrun PLIST."
Karl Heuer's avatar
Karl Heuer committed
230 231
  (aset (charset-info  charset) 14 plist))

232
(defun make-char (charset &optional c1 c2)
Kenichi Handa's avatar
Kenichi Handa committed
233 234
  "Return a character of CHARSET and position-codes CODE1 and CODE2.
CODE1 and CODE2 are optional, but if you don't supply
235
sufficient position-codes, return a generic character which stands for
Kenichi Handa's avatar
Kenichi Handa committed
236
all characters or group of characters in the character sets.
237
A generic character can be used to index a char table (e.g. syntax-table)."
238 239 240 241 242 243 244 245 246 247 248 249 250
  (make-char-internal (charset-id charset) c1 c2))

(put 'make-char 'byte-compile
     (function 
      (lambda (form)
	(let ((charset (nth 1 form)))
	  (if (charset-quoted-standard-p charset)
	      (byte-compile-normal-call
	       (cons 'make-char-internal
		     (cons (charset-id (nth 1 charset)) (nthcdr 2 form))))
	    (byte-compile-normal-call
	     (cons 'make-char-internal
		   (cons (list 'charset-id charset) (nthcdr 2 form)))))))))
Karl Heuer's avatar
Karl Heuer committed
251

252
(defun charset-list ()
253 254
  "Return list of charsets ever defined.

255
This function is provided for backward compatibility.
256
Now we have the variable `charset-list'."
257 258 259 260
  charset-list)

(make-obsolete 'charset-list
	       "Use the variable charset-list instead.")
261 262 263 264 265 266 267

(defsubst generic-char-p (char)
  "Return t if and only if CHAR is a generic character.
See also the documentation of make-char."
  (let ((l (split-char char)))
    (and (or (= (nth 1 l) 0) (eq (nth 2 l) 0))
	 (not (eq (car l) 'composition)))))
268

269

270
;; Coding system staffs
Karl Heuer's avatar
Karl Heuer committed
271

272
;; Coding system is a symbol that has the property `coding-system'.
Karl Heuer's avatar
Karl Heuer committed
273
;;
274 275
;; The value of the property `coding-system' is a vector of the
;; following format:
276
;;	[TYPE MNEMONIC DOC-STRING PLIST FLAGS]
277
;; We call this vector as coding-spec.  See comments in src/coding.c
278
;; for more detail.  
279 280 281 282

(defconst coding-spec-type-idx 0)
(defconst coding-spec-mnemonic-idx 1)
(defconst coding-spec-doc-string-idx 2)
283
(defconst coding-spec-plist-idx 3)
284 285
(defconst coding-spec-flags-idx 4)

286 287 288 289
;; PLIST is a property list of a coding system.  To share PLIST among
;; alias coding systems, a coding system has PLIST in coding-spec
;; instead of having it in normal property list of Lisp symbol.
;; Here's a list of coding system properties currently being used.
290 291 292 293 294 295
;;
;; o coding-category
;;
;; The value is a coding category the coding system belongs to.  The
;; function `make-coding-system' and `define-coding-system-alias' sets
;; this value automatically.
Karl Heuer's avatar
Karl Heuer committed
296
;;
297
;; o alias-coding-systems
Karl Heuer's avatar
Karl Heuer committed
298
;;
299 300 301 302 303 304 305 306 307 308 309
;; The value is a list of coding systems of the same alias group.  The
;; first element is the coding system made at first, which we call as
;; `base coding system'.  The function `make-coding-system' and
;; `define-coding-system-alias' set this value automatically.
;;
;; o post-read-conversion
;;
;; The value is a function to call after some text is inserted and
;; decoded by the coding system itself and before any functions in
;; `after-insert-functions' are called.  The arguments to this
;; function is the same as those of a function in
Karl Heuer's avatar
Karl Heuer committed
310 311 312
;; `after-insert-functions', i.e. LENGTH of a text while putting point
;; at the head of the text to be decoded
;;
313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330
;; o pre-write-conversion
;;
;; The value is a function to call after all functions in
;; `write-region-annotate-functions' and `buffer-file-format' are
;; called, and before the text is encoded by the coding system itself.
;; The arguments to this function is the same as those of a function
;; in `write-region-annotate-functions', i.e. FROM and TO specifying
;; region of a text.
;;
;; o character-unification-table-for-decode
;;
;; The value is a unification table to be applied on decoding.  See
;; the function `make-unification-table' for the format of unification
;; table.
;;
;; o character-unification-table-for-encode
;;
;; The value is a unification table to be applied on encoding.
331 332 333 334 335 336 337 338 339 340
;;
;; o safe-charsets
;;
;; The value is a list of charsets safely supported by the coding
;; system.  The value t means that all charsets Emacs handles are
;; supported.  Even if some charset is not in this list, it doesn't
;; mean that the charset can't be encoded in the coding system,
;; instead, it just means that some other receiver of a text encoded
;; in the coding system won't be able to handle that charset.

341 342 343 344

;; Return coding-spec of CODING-SYSTEM
(defsubst coding-system-spec (coding-system)
  (get (check-coding-system coding-system) 'coding-system))
Karl Heuer's avatar
Karl Heuer committed
345 346

(defun coding-system-type (coding-system)
347 348 349 350
  "Return the coding type of CODING-SYSTEM.
A coding type is an integer value indicating the encoding method
of CODING-SYSTEM.  See the function `make-coding-system' for more detail."
  (aref (coding-system-spec coding-system) coding-spec-type-idx))
Karl Heuer's avatar
Karl Heuer committed
351 352

(defun coding-system-mnemonic (coding-system)
353 354 355 356
  "Return the mnemonic character of CODING-SYSTEM.
A mnemonic character of a coding system is used in mode line
to indicate the coding system."
  (or (aref (coding-system-spec coding-system) coding-spec-mnemonic-idx)
357
      ?-))
Karl Heuer's avatar
Karl Heuer committed
358

359
(defun coding-system-doc-string (coding-system)
360 361
  "Return the documentation string for CODING-SYSTEM."
  (aref (coding-system-spec coding-system) coding-spec-doc-string-idx))
Karl Heuer's avatar
Karl Heuer committed
362

363
(defun coding-system-plist (coding-system)
364 365
  "Return the property list of CODING-SYSTEM."
  (aref (coding-system-spec coding-system) coding-spec-plist-idx))
366

Karl Heuer's avatar
Karl Heuer committed
367
(defun coding-system-flags (coding-system)
368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391
  "Return `flags' of CODING-SYSTEM.
A `flags' of a coding system is a vector of length 32 indicating detailed
information of a coding system.  See the function `make-coding-system'
for more detail."
  (aref (coding-system-spec coding-system) coding-spec-flags-idx))

(defun coding-system-get (coding-system prop)
  "Extract a value from CODING-SYSTEM's property list for property PROP."
  (plist-get (coding-system-plist coding-system) prop))

(defun coding-system-put (coding-system prop val)
  "Change value in CODING-SYSTEM's property list PROP to VAL."
  (let ((plist (coding-system-plist coding-system)))
    (if plist
	(plist-put plist prop val)
      (aset (coding-system-spec coding-system) coding-spec-plist-idx
	    (list prop val)))))

(defun coding-system-category (coding-system)
  "Return the coding category of CODING-SYSTEM."
  (coding-system-get coding-system 'coding-category))

(defun coding-system-base (coding-system)
  "Return the base coding system of CODING-SYSTEM.
392 393
A base coding system is what made by `make-coding-system'.
Any alias nor subsidiary coding systems are not base coding system."
394 395 396 397 398 399 400 401 402 403 404 405 406 407
  (car (coding-system-get coding-system 'alias-coding-systems)))

(defalias 'coding-system-parent 'coding-system-base)
(make-obsolete 'coding-system-parent 'coding-system-base)

;; Coding system also has a property `eol-type'.
;;
;; This property indicates how the coding system handles end-of-line
;; format.  The value is integer 0, 1, 2, or a vector of three coding
;; systems.  Each integer value 0, 1, and 2 indicates the format of
;; end-of-line LF, CRLF, and CR respectively.  A vector value
;; indicates that the format of end-of-line should be detected
;; automatically.  Nth element of the vector is the subsidiary coding
;; system whose `eol-type' property is N.
Karl Heuer's avatar
Karl Heuer committed
408

409
(defun coding-system-eol-type (coding-system)
410 411
  "Return eol-type of CODING-SYSTEM.
An eol-type is integer 0, 1, 2, or a vector of coding systems.
Karl Heuer's avatar
Karl Heuer committed
412

413 414 415 416 417 418 419
Integer values 0, 1, and 2 indicate a format of end-of-line; LF,
CRLF, and CR respectively.

A vector value indicates that a format of end-of-line should be
detected automatically.  Nth element of the vector is the subsidiary
coding system whose eol-type is N."
  (get coding-system 'eol-type))
420

421 422
;; Make subsidiary coding systems (eol-type variants) of CODING-SYSTEM.
(defun make-subsidiary-coding-system (coding-system)
423 424
  (let ((coding-spec (coding-system-spec coding-system))
	(subsidiaries (vector (intern (format "%s-unix" coding-system))
425 426
			      (intern (format "%s-dos" coding-system))
			      (intern (format "%s-mac" coding-system))))
427 428
	(i 0)
	temp)
429
    (while (< i 3)
430
      (put (aref subsidiaries i) 'coding-system coding-spec)
431
      (put (aref subsidiaries i) 'eol-type i)
432 433 434 435 436
      (setq coding-system-list
	    (cons (aref subsidiaries i) coding-system-list))
      (setq coding-system-alist
	    (cons (list (symbol-name (aref subsidiaries i)))
		  coding-system-alist))
437 438
      (setq i (1+ i)))
    subsidiaries))
Karl Heuer's avatar
Karl Heuer committed
439

440
(defun make-coding-system (coding-system type mnemonic doc-string
441
					 &optional flags properties)
Karl Heuer's avatar
Karl Heuer committed
442
  "Define a new CODING-SYSTEM (symbol).
443
Remaining arguments are TYPE, MNEMONIC, DOC-STRING, FLAGS (optional), 
444
and PROPERTIES (optional) which construct a coding-spec of CODING-SYSTEM
445
in the following format:
446
	[TYPE MNEMONIC DOC-STRING PLIST FLAGS]
Karl Heuer's avatar
Karl Heuer committed
447 448 449 450 451
TYPE is an integer value indicating the type of coding-system as follows:
  0: Emacs internal format,
  1: Shift-JIS (or MS-Kanji) used mainly on Japanese PC,
  2: ISO-2022 including many variants,
  3: Big5 used mainly on Chinese PC,
452 453
  4: private, CCL programs provide encoding/decoding algorithm,
  5: Raw-text, which means that text contains random 8-bit codes. 
454

Karl Heuer's avatar
Karl Heuer committed
455
MNEMONIC is a character to be displayed on mode line for the coding-system.
456

457
DOC-STRING is a documentation string for the coding-system.
458

Karl Heuer's avatar
Karl Heuer committed
459
FLAGS specifies more precise information of each TYPE.
460

Karl Heuer's avatar
Karl Heuer committed
461 462 463
  If TYPE is 2 (ISO-2022), FLAGS should be a list of:
      CHARSET0, CHARSET1, CHARSET2, CHARSET3, SHORT-FORM,
      ASCII-EOL, ASCII-CNTL, SEVEN, LOCKING-SHIFT, SINGLE-SHIFT,
464
      USE-ROMAN, USE-OLDJIS, NO-ISO6429, INIT-BOL, DESIGNATION-BOL,
465
      SAFE, ACCEPT-LATIN-EXTRA-CODE.
Karl Heuer's avatar
Karl Heuer committed
466 467 468 469 470 471 472 473 474 475 476 477 478 479 480
    CHARSETn are character sets initially designated to Gn graphic registers.
      If CHARSETn is nil, Gn is never used.
      If CHARSETn is t, Gn can be used but nothing designated initially.
      If CHARSETn is a list of character sets, those character sets are
        designated to Gn on output, but nothing designated to Gn initially.
    SHORT-FORM non-nil means use short designation sequence on output.
    ASCII-EOL non-nil means designate ASCII to g0 at end of line on output.
    ASCII-CNTL non-nil means designate ASCII to g0 before control codes and
      SPACE on output.
    SEVEN non-nil means use 7-bit code only on output.
    LOCKING-SHIFT non-nil means use locking-shift.
    SINGLE-SHIFT non-nil means use single-shift.
    USE-ROMAN non-nil means designate JIS0201-1976-Roman instead of ASCII.
    USE-OLDJIS non-nil means designate JIS0208-1976 instead of JIS0208-1983.
    NO-ISO6429 non-nil means not use ISO6429's direction specification.
481 482 483 484
    INIT-BOL non-nil means any designation state is assumed to be reset
      to initial at each beginning of line on output.
    DESIGNATION-BOL non-nil means designation sequences should be placed
      at beginning of line on output.
485 486
    SAFE non-nil means convert unsafe characters to `?' on output.
      Unsafe characters are what not specified in SAFE-CHARSET.
487 488 489
    ACCEPT-LATIN-EXTRA-CODE non-nil means code-detection routine accepts
      a code specified in `latin-extra-code-table' (which see) as a valid
      code of the coding system.
490

Karl Heuer's avatar
Karl Heuer committed
491
  If TYPE is 4 (private), FLAGS should be a cons of CCL programs,
492 493 494 495 496 497
    for decoding and encoding.  See the documentation of CCL for more detail.

PROPERTIES is an alist of properties vs the corresponding values.
These properties are set in PLIST, a property list.  This function
also sets properties `coding-category' and `alias-coding-systems'
automatically.
Karl Heuer's avatar
Karl Heuer committed
498

499 500 501
Kludgy feature: For backward compatibility, if PROPERTIES is a list of
character sets, the list is set as a value of `safe-charsets' in
PLIST."
502
  (if (memq coding-system coding-system-list)
503
      (error "Coding system %s already exists" coding-system))
504 505

  ;; Set a value of `coding-system' property.
506
  (let ((coding-spec (make-vector 5 nil))
507 508
	(no-initial-designation t)
	(no-alternative-designation t)
509
	coding-category)
510
    (if (or (not (integerp type)) (< type 0) (> type 5))
511
	(error "TYPE argument must be 0..5"))
512
    (if (or (not (integerp mnemonic)) (<= mnemonic ? ) (> mnemonic 127))
513 514 515 516 517
	(error "MNEMONIC arguemnt must be an ASCII printable character."))
    (aset coding-spec coding-spec-type-idx type)
    (aset coding-spec coding-spec-mnemonic-idx mnemonic)
    (aset coding-spec coding-spec-doc-string-idx
	  (if (stringp doc-string) doc-string ""))
518 519 520 521 522
    (cond ((= type 0)
	   (setq coding-category 'coding-category-emacs-mule))
	  ((= type 1)
	   (setq coding-category 'coding-category-sjis))
	  ((= type 2)			; ISO2022
Karl Heuer's avatar
Karl Heuer committed
523
	   (let ((i 0)
524 525
		 (vec (make-vector 32 nil))
		 (g1-designation nil))
Karl Heuer's avatar
Karl Heuer committed
526 527
	     (while (< i 4)
	       (let ((charset (car flags)))
528 529 530 531 532 533 534 535 536 537 538 539 540
		 (if (and no-initial-designation
			  (> i 0)
			  (or (charsetp charset)
			      (and (consp charset)
				   (charsetp (car charset)))))
		     (setq no-initial-designation nil))
		 (if (charsetp charset)
		     (if (= i 1) (setq g1-designation charset))
		   (if (consp charset)
		       (let ((tail charset)
			     elt)
			 (while tail
			   (setq elt (car tail))
541 542 543 544
			   (if (eq elt t)
			       (setq no-alternative-designation nil)
			     (if (and elt (not (charsetp elt)))
				 (error "Invalid charset: %s" elt)))
545 546
			   (setq tail (cdr tail)))
			 (setq g1-designation (car charset)))
547 548 549 550
		     (if charset
			 (if (eq charset t)
			     (setq no-alternative-designation nil)
			   (error "Invalid charset: %s" charset)))))
Karl Heuer's avatar
Karl Heuer committed
551 552 553 554 555
		 (aset vec i charset))
	       (setq flags (cdr flags) i (1+ i)))
	     (while (and (< i 32) flags)
	       (aset vec i (car flags))
	       (setq flags (cdr flags) i (1+ i)))
556 557 558
	     (aset coding-spec 4 vec)
	     (setq coding-category
		   (if (aref vec 8)	; Use locking-shift.
559 560
		       (or (and (aref vec 7) 'coding-category-iso-7-else)
			   'coding-category-iso-8-else)
561 562
		     (if (aref vec 7)	; 7-bit only.
			 (if (aref vec 9) ; Use single-shift.
563
			     'coding-category-iso-7-else
564 565 566
			   (if no-alternative-designation
			       'coding-category-iso-7-tight
			     'coding-category-iso-7))
567
		       (if no-initial-designation
568
			   'coding-category-iso-8-else
569 570 571 572 573 574 575 576
			 (if (and (charsetp g1-designation)
				  (= (charset-dimension g1-designation) 2))
			     'coding-category-iso-8-2
			   'coding-category-iso-8-1)))))))
	  ((= type 3)
	   (setq coding-category 'coding-category-big5))
	  ((= type 4)			; private
	   (setq coding-category 'coding-category-binary)
Karl Heuer's avatar
Karl Heuer committed
577 578 579
	   (if (and (consp flags)
		    (vectorp (car flags))
		    (vectorp (cdr flags)))
580
	       (aset coding-spec 4 flags)
581 582 583
	     (error "Invalid FLAGS argument for TYPE 4 (CCL)")))
	  (t				; i.e. (= type 5)
	   (setq coding-category 'coding-category-raw-text)))
584 585

    (let ((plist (list 'coding-category coding-category
586
		       'alias-coding-systems (list coding-system))))
587
      (if no-initial-designation
588 589 590 591 592 593 594 595 596 597
	  (plist-put plist 'no-initial-designation t))
      (if (and properties
	       (or (eq properties t)
		   (not (consp (car properties)))))
	  ;; In the old version, the arg PROPERTIES is a list to be
	  ;; set in PLIST as a value of property `safe-charsets'.
	  (plist-put plist 'safe-charsets properties)
	(while properties
	  (plist-put plist (car (car properties)) (cdr (car properties)))
	  (setq properties (cdr properties))))
598
      (aset coding-spec coding-spec-plist-idx plist))
599 600 601
    (put coding-system 'coding-system coding-spec)
    (put coding-category 'coding-systems
	 (cons coding-system (get coding-category 'coding-systems))))
Karl Heuer's avatar
Karl Heuer committed
602 603

  ;; Next, set a value of `eol-type' property.  The value is a vector
604
  ;; of subsidiary coding systems, each corresponds to a coding system
Karl Heuer's avatar
Karl Heuer committed
605
  ;; for the detected end-of-line format.
606
  (put coding-system 'eol-type
607
       (if (or (<= type 3) (= type 5))
608
	   (make-subsidiary-coding-system coding-system)
609 610 611 612 613 614
	 0))

  ;; At last, register CODING-SYSTEM in `coding-system-list' and
  ;; `coding-system-alist'.
  (setq coding-system-list (cons coding-system coding-system-list))
  (setq coding-system-alist (cons (list (symbol-name coding-system))
615 616
				  coding-system-alist))
  coding-system)
617

618
(defun define-coding-system-alias (alias coding-system)
Richard M. Stallman's avatar
Richard M. Stallman committed
619
  "Define ALIAS as an alias for coding system CODING-SYSTEM."
620 621 622 623 624 625 626 627 628
  (put alias 'coding-system (coding-system-spec coding-system))
  (nconc (coding-system-get alias 'alias-coding-systems) (list alias))
  (setq coding-system-list (cons alias coding-system-list))
  (setq coding-system-alist (cons (list (symbol-name alias))
				  coding-system-alist))
  (let ((eol-type (coding-system-eol-type coding-system)))
    (if (vectorp eol-type)
	(put alias 'eol-type (make-subsidiary-coding-system alias))
      (put alias 'eol-type eol-type))))
Karl Heuer's avatar
Karl Heuer committed
629 630

(defun set-buffer-file-coding-system (coding-system &optional force)
Richard M. Stallman's avatar
Richard M. Stallman committed
631 632 633 634 635 636 637 638 639
  "Set the file coding-system of the current buffer to CODING-SYSTEM.
This means that when you save the buffer, it will be converted
according to CODING-SYSTEM.  For a list of possible values of CODING-SYSTEM,
use \\[list-coding-systems].

If the buffer's previous file coding-system value specifies end-of-line
conversion, and CODING-SYSTEM does not specify one, CODING-SYSTEM is
merged with the already-specified end-of-line conversion.
However, if the optional prefix argument FORCE is non-nil,
640
then CODING-SYSTEM is used exactly as specified."
641
  (interactive "zCoding system for visited file (default, nil): \nP")
Karl Heuer's avatar
Karl Heuer committed
642 643
  (check-coding-system coding-system)
  (if (null force)
644 645
      (let ((x (coding-system-eol-type buffer-file-coding-system))
	    (y (coding-system-eol-type coding-system)))
Karl Heuer's avatar
Karl Heuer committed
646 647 648 649 650 651
	(if (and (numberp x) (>= x 0) (<= x 2) (vectorp y))
	    (setq coding-system (aref y x)))))
  (setq buffer-file-coding-system coding-system)
  (set-buffer-modified-p t)
  (force-mode-line-update))

Richard M. Stallman's avatar
Richard M. Stallman committed
652 653 654 655 656
(defvar default-terminal-coding-system nil
  "Default value for the terminal coding system.
This is normally set according to the selected language environment.
See also the command `set-terminal-coding-system'.")

657 658
(defun set-terminal-coding-system (coding-system)
  "Set coding system of your terminal to CODING-SYSTEM.
Richard M. Stallman's avatar
Richard M. Stallman committed
659 660 661 662 663 664
All text output to the terminal will be encoded
with the specified coding system.
For a list of possible values of CODING-SYSTEM, use \\[list-coding-systems].
The default is determined by the selected language environment
or by the previous use of this command."
  (interactive
665 666 667 668 669 670 671
   (list (let ((default (if (and (not (terminal-coding-system))
				 default-terminal-coding-system)
			    default-terminal-coding-system)))
	   (read-coding-system
	    (format "Coding system for terminal display (default, %s): "
		    default)
	    default))))
Richard M. Stallman's avatar
Richard M. Stallman committed
672 673 674 675 676
  (if (and (not coding-system)
	   (not (terminal-coding-system)))
      (setq coding-system default-terminal-coding-system))
  (if coding-system
      (setq default-terminal-coding-system coding-system))      
677 678 679
  (set-terminal-coding-system-internal coding-system)
  (redraw-frame (selected-frame)))

Richard M. Stallman's avatar
Richard M. Stallman committed
680 681 682 683 684
(defvar default-keyboard-coding-system nil
  "Default value of the keyboard coding system.
This is normally set according to the selected language environment.
See also the command `set-keyboard-coding-system'.")

685
(defun set-keyboard-coding-system (coding-system)
Richard M. Stallman's avatar
Richard M. Stallman committed
686 687 688 689 690 691 692
  "Set coding system for keyboard input to CODING-SYSTEM.
In addition, this command enables Encoded-kbd minor mode.
\(If CODING-SYSTEM is nil, Encoded-bkd mode is turned off.)
For a list of possible values of CODING-SYSTEM, use \\[list-coding-systems].
The default is determined by the selected language environment
or by the previous use of this command."
  (interactive
693 694 695 696 697 698 699
   (list (let ((default (if (and (not (keyboard-coding-system))
				 default-keyboard-coding-system)
			    default-keyboard-coding-system)))
	   (read-coding-system
	    (format "Coding system for keyboard input (default, %s): "
		    default)
	    default))))
Richard M. Stallman's avatar
Richard M. Stallman committed
700 701 702 703 704
  (if (and (not coding-system)
	   (not (keyboard-coding-system)))
      (setq coding-system default-keyboard-coding-system))
  (if coding-system
      (setq default-keyboard-coding-system coding-system))
705 706 707 708
  (set-keyboard-coding-system-internal coding-system)
  (encoded-kbd-mode (if coding-system 1 0)))

(defun set-buffer-process-coding-system (decoding encoding)
Richard M. Stallman's avatar
Richard M. Stallman committed
709
  "Set coding systems for the process associated with the current buffer.
710
DECODING is the coding system to be used to decode input from the process,
Richard M. Stallman's avatar
Richard M. Stallman committed
711 712 713
ENCODING is the coding system to be used to encode output to the process.

For a list of possible values of CODING-SYSTEM, use \\[list-coding-systems]."
Karl Heuer's avatar
Karl Heuer committed
714 715 716 717 718
  (interactive
   "zCoding-system for process input: \nzCoding-system for process output: ")
  (let ((proc (get-buffer-process (current-buffer))))
    (if (null proc)
	(error "no process")
719 720 721
      (check-coding-system decoding)
      (check-coding-system encoding)
      (set-process-coding-system proc decoding encoding)))
Karl Heuer's avatar
Karl Heuer committed
722 723 724
  (force-mode-line-update))

(defun set-coding-priority (arg)
725 726 727 728 729 730 731 732 733 734 735 736 737
  "Set priority of coding categories according to LIST.
LIST is a list of coding categories ordered by priority."
  (let ((l arg)
	(current-list (copy-sequence coding-category-list)))
    ;; Check the varidity of ARG while deleting coding categories in
    ;; ARG from CURRENT-LIST.  We assume that CODING-CATEGORY-LIST
    ;; contains all coding categories.
    (while l
      (if (or (null (get (car l) 'coding-category-index))
	      (null (memq (car l) current-list)))
	  (error "Invalid or duplicated element in argument: %s" arg))
      (setq current-list (delq (car l) current-list))
      (setq l (cdr l)))
Karl Heuer's avatar
Karl Heuer committed
738
    ;; Update `coding-category-list' and return it.
739
    (setq coding-category-list (append arg current-list))))
Karl Heuer's avatar
Karl Heuer committed
740 741 742

;;; FILE I/O

743 744 745 746 747 748 749 750 751 752 753
(defun set-auto-coding (string)
  "Return coding system for a file which has STRING at the head and tail.
STRING is a concatination of the first 1K-byte and
 the last 3K-byte of the file.

It checks for a -*- coding: tag in the first one or two lines of STRING.
If there's no coding: tag in the head, it checks local variables spec
in the tailing 3K-byte oof STRING.

The return value is the specified coding system,
or nil if nothing specified.
754 755 756

The variable `auto-file-coding-system' (which see) is set to this
function by default."
757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774
  (condition-case nil
      (let ((case-fold-search t)
	    (len (length string))
	    (limit (string-match "\n" string))
	    (coding-system nil))

	;; At first check the head.
	(if limit
	    (when (string-match "^#!" string)
	      ;; If the file begins with "#!" (exec interpreter
	      ;; magic), look for coding frobs in the first two lines.
	      ;; You cannot necessarily put them in the first line of
	      ;; such a file without screwing up the interpreter
	      ;; invocation.
	      (setq limit (string-match "\n" string limit))
	      (or limit
		  (setq limit len)))
	  (setq limit len))
775 776
	(when (and (string-match "-\\*-\\(.*;\\)?[ \t]*coding:[ \t]*\\([^ ;]+\\)" string)
		   (< (match-beginning 2) limit))
777
	  (setq coding-system
778
		(intern (substring string (match-beginning 2) (match-end 2))))
779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816
	  (if (not (coding-system-p coding-system))
	      (setq coding-system nil)))

	;; If no coding system is specified in the head, check the tail.
	(when (and (not coding-system)
		   (let ((idx (if (> len 3000) (- len 3000) 0))
			 start)
		     (while (setq start (string-match "\n\^L" string idx))
		       (setq idx (+ start 2)))
		     (string-match
		      "^\\(.*\\)[ \t]*Local Variables:[ \t]*\\(.*\\)$"
		      string idx)))
	  ;; The prefix is what comes before "local variables:" in its line.
	  ;; The suffix is what comes after "local variables:" in its line.
	  (let* ((idx (1+ (match-end 0)))
		 (prefix (regexp-quote
			  (substring string
				     (match-beginning 1) (match-end 1))))
		 (suffix (regexp-quote
			  (substring string
				     (match-beginning 2) (match-end 2))))
		 (re-coding (concat "^" prefix
				    "coding[ \t]*:[ \t]*\\([^ \t]+\\)[ \t]*"
				    suffix "$"))
		 (re-end (concat "^" prefix "end *:[ \t]*" suffix "$"))
		 (limit (or (string-match re-end string idx) len)))
	    (when (and (setq idx (string-match re-coding string idx))
		       (< idx limit))
	      (setq coding-system
		    (intern (substring string
				       (match-beginning 1) (match-end 1))))
	      (or (coding-system-p coding-system)
		  (setq coding-system nil)))))

	coding-system)
    (error nil)))

(setq set-auto-coding-function 'set-auto-coding)
817

Karl Heuer's avatar
Karl Heuer committed
818 819 820 821 822 823 824
;; Set buffer-file-coding-system of the current buffer after some text
;; is inserted.
(defun after-insert-file-set-buffer-file-coding-system (inserted)
  (if last-coding-system-used
      (let ((coding-system
	     (find-new-buffer-file-coding-system last-coding-system-used))
	    (modified-p (buffer-modified-p)))
825 826 827 828 829 830 831
	(when coding-system
	  (set-buffer-file-coding-system coding-system)
	  (if (or (eq coding-system 'no-conversion)
		  (eq (coding-system-type coding-system) 5))
	      ;; It seems that random 8-bit codes are read.  We had
	      ;; better edit this buffer without multibyte character
	      ;; facility.
832
	      (set-buffer-multibyte nil))
833
	  (set-buffer-modified-p modified-p))))
Karl Heuer's avatar
Karl Heuer committed
834 835 836 837 838 839
  nil)

(setq after-insert-file-functions
      (cons 'after-insert-file-set-buffer-file-coding-system
	    after-insert-file-functions))

840
;; The coding-spec and eol-type of coding-system returned is decided
Karl Heuer's avatar
Karl Heuer committed
841 842 843 844 845 846
;; independently in the following order.
;;	1. That of buffer-file-coding-system locally bound.
;;	2. That of CODING.

(defun find-new-buffer-file-coding-system (coding)
  "Return a coding system for a buffer when a file of CODING is inserted.
847 848
The local variable `buffer-file-coding-system' of the current buffer
is set to the returned value.
849
Return nil if there's no need of setting new buffer-file-coding-system."
Karl Heuer's avatar
Karl Heuer committed
850
  (let (local-coding local-eol
851
	found-coding found-eol
Karl Heuer's avatar
Karl Heuer committed
852 853 854 855 856
	new-coding new-eol)
    (if (null coding)
	;; Nothing found about coding.
	nil

857 858 859 860 861 862
      ;; Get information of `buffer-file-coding-system' in LOCAL-EOL
      ;; and LOCAL-CODING.
      (setq local-eol (coding-system-eol-type buffer-file-coding-system))
      (if (null (numberp local-eol))
	  ;; But eol-type is not yet set.
	  (setq local-eol nil))
863 864 865 866
      (if (and buffer-file-coding-system
	       (not (eq (coding-system-type buffer-file-coding-system) t)))
	  ;; This is not `undecided'.
	  (setq local-coding (coding-system-base buffer-file-coding-system)))
867 868 869

      (if (and (local-variable-p 'buffer-file-coding-system)
	       local-eol local-coding)
Karl Heuer's avatar
Karl Heuer committed
870 871 872 873
	  ;; The current buffer has already set full coding-system, we
	  ;; had better not change it.
	  nil

874
	(setq found-eol (coding-system-eol-type coding))
Karl Heuer's avatar
Karl Heuer committed
875 876 877
	(if (null (numberp found-eol))
	    ;; But eol-type is not found.
	    (setq found-eol nil))
878 879 880
	(if (not (eq (coding-system-type coding) t))
	    ;; This is not `undecided'.
	    (setq found-coding (coding-system-base coding)))
Karl Heuer's avatar
Karl Heuer committed
881 882

	;; The local setting takes precedence over the found one.
883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900
	(setq new-coding (or (and (local-variable-p 'buffer-file-coding-system)
				  local-coding)
			     found-coding
			     local-coding))
	(setq new-eol (or (and (local-variable-p 'buffer-file-coding-system)
			       local-eol)
			  found-eol
			  local-eol))
	(when (numberp new-eol)
	  (or new-coding
	      (setq new-coding 'undecided))
	  (if (vectorp (coding-system-eol-type new-coding))
	      (setq new-coding
		    (aref (coding-system-eol-type new-coding) new-eol))))
	;; Return a new coding system only when it is different from
	;; the current one.
	(if (not (eq buffer-file-coding-system new-coding))
	    new-coding)))))
Karl Heuer's avatar
Karl Heuer committed
901

902 903
(defun modify-coding-system-alist (target-type regexp coding-system)
  "Modify one of look up tables for finding a coding system on I/O operation.
904 905
There are three of such tables, `file-coding-system-alist',
`process-coding-system-alist', and `network-coding-system-alist'.
906 907

TARGET-TYPE specifies which of them to modify.
908 909 910
If it is `file', it affects `file-coding-system-alist' (which see).
If it is `process', it affects `process-coding-system-alist' (which see).
If it is `network', it affects `network-codign-system-alist' (which see).
911 912 913 914 915 916 917

REGEXP is a regular expression matching a target of I/O operation.
The target is a file name if TARGET-TYPE is `file', a program name if
TARGET-TYPE is `process', or a network service name or a port number
to connect to if TARGET-TYPE is `network'.

CODING-SYSTEM is a coding system to perform code conversion on the I/O
918 919 920
operation, or a cons cell (DECODING . ENCODING) specifying the coding systems
for decoding and encoding respectively,
or a function symbol which, when called, returns such a cons cell."
921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954
  (or (memq target-type '(file process network))
      (error "Invalid target type: %s" target-type))
  (or (stringp regexp)
      (and (eq target-type 'network) (integerp regexp))
      (error "Invalid regular expression: %s" regexp))
  (if (symbolp coding-system)
      (if (not (fboundp coding-system))
	  (progn
	    (check-coding-system coding-system)
	    (setq coding-system (cons coding-system coding-system))))
    (check-coding-system (car coding-system))
    (check-coding-system (cdr coding-system)))
  (cond ((eq target-type 'file)
	 (let ((slot (assoc regexp file-coding-system-alist)))
	   (if slot
	       (setcdr slot coding-system)
	     (setq file-coding-system-alist
		   (cons (cons regexp coding-system)
			 file-coding-system-alist)))))
	((eq target-type 'process)
	 (let ((slot (assoc regexp process-coding-system-alist)))
	   (if slot
	       (setcdr slot coding-system)
	     (setq process-coding-system-alist
		   (cons (cons regexp coding-system)
			 process-coding-system-alist)))))
	(t
	 (let ((slot (assoc regexp network-coding-system-alist)))
	   (if slot
	       (setcdr slot coding-system)
	     (setq network-coding-system-alist
		   (cons (cons regexp coding-system)
			 network-coding-system-alist)))))))

955 956
(defun make-unification-table (&rest args)
  "Make a unification table (char table) from arguments.
957 958 959 960 961 962 963 964
Each argument is a list of the form (FROM . TO),
where FROM is a character to be unified to TO.

FROM can be a generic character (see make-char).  In this case, TO is
a generic character containing the same number of charcters or a
oridinal character.  If FROM and TO are both generic characters, all
characters belonging to FROM are unified to characters belonging to TO
without changing their position code(s)."
965 966 967 968 969
  (let ((table (make-char-table 'character-unification-table))
	revlist)
    (while args
      (let ((elts (car args)))
	(while elts
970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993
	  (let* ((from (car (car elts)))
		 (from-i 0)		; degree of freedom of FROM
		 (from-rev (nreverse (split-char from)))
		 (to (cdr (car elts)))
		 (to-i 0)		; degree of freedom of TO
		 (to-rev (nreverse (split-char to))))
	    ;; Check numbers of heading 0s in FROM-REV and TO-REV.
	    (while (eq (car from-rev) 0)
	      (setq from-i (1+ from-i) from-rev (cdr from-rev)))
	    (while (eq (car to-rev) 0)
	      (setq to-i (1+ to-i) to-rev (cdr to-rev)))
	    (if (and (/= from-i to-i) (/= to-i 0))
		(error "Invalid character pair (%d . %d)" from to))
	    ;; If we have already unified TO to TO-ALT, FROM should
	    ;; also be unified to TO-ALT.  But, this is only if TO is
	    ;; a generic character or TO-ALT is not a generic
	    ;; character.
	    (let ((to-alt (aref table to)))
	      (if (and to-alt
		       (or (> to-i 0) (not (generic-char-p to-alt))))
		  (setq to to-alt)))
	    (if (> from-i 0)
		(set-char-table-default table from to)
	      (aset table from to))
994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013
	    ;; If we have already unified some chars to FROM, they
	    ;; should also be unified to TO.
	    (let ((l (assq from revlist)))
	      (if l
		  (let ((ch (car l)))
		    (setcar l to)
		    (setq l (cdr l))
		    (while l
		      (aset table ch to)
		      (setq l (cdr l)) ))))
	    ;; Now update REVLIST.
	    (let ((l (assq to revlist)))
	      (if l
		  (setcdr l (cons from (cdr l)))
		(setq revlist (cons (list to from) revlist)))))
	  (setq elts (cdr elts))))
      (setq args (cdr args)))
    ;; Return TABLE just created.
    table))

1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040
(defun define-character-unification-table (symbol &rest args)
  "define character unification table. This function call make-unification-table,
store a returned table to character-unification-table-vector.
And then set the table as SYMBOL's unification-table property,
the index of the vector as SYMBOL's unification-table-id."
  (let ((table (apply 'make-unification-table args))
	(len (length character-unification-table-vector))
	(id 0)
	slot)
    (or (symbolp symbol)
	(signal 'wrong-type-argument symbol))
    (put symbol 'unification-table table)
    (while (and (< id len)
		(if (consp (setq slot (aref character-unification-table-vector id)))
		    (if (eq (car slot) symbol) nil t)
		  (aset character-unification-table-vector id (cons symbol table))
		  nil))
      (setq id (1+ id)))
    (if (= id len)
	(progn
	  (setq character-unification-table-vector
		(vconcat character-unification-table-vector (make-vector len nil)))
	  (aset character-unification-table-vector id (cons symbol table))))
    (put symbol 'unification-table-id id)
    id))


1041 1042 1043 1044
;;; Initialize some variables.

(put 'use-default-ascent 'char-table-extra-slots 0)
(setq use-default-ascent (make-char-table 'use-default-ascent))
1045 1046 1047
(put 'ignore-relative-composition 'char-table-extra-slots 0)
(setq ignore-relative-composition
      (make-char-table 'ignore-relative-composition))
1048 1049

;;;
Karl Heuer's avatar
Karl Heuer committed
1050 1051 1052
(provide 'mule)

;;; mule.el ends here