1 ;;; rng-xsd.el --- W3C XML Schema datatypes library for RELAX NG
3 ;; Copyright (C) 2003, 2007, 2008 Free Software Foundation, Inc.
6 ;; Keywords: XML, RelaxNG
8 ;; This file is part of GNU Emacs.
10 ;; GNU Emacs is free software; you can redistribute it and/or modify
11 ;; it under the terms of the GNU General Public License as published by
12 ;; the Free Software Foundation; either version 3, or (at your option)
15 ;; GNU Emacs is distributed in the hope that it will be useful,
16 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
17 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 ;; GNU General Public License for more details.
20 ;; You should have received a copy of the GNU General Public License
21 ;; along with GNU Emacs; see the file COPYING. If not, write to the
22 ;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
23 ;; Boston, MA 02110-1301, USA.
27 ;; The main entry point is `rng-xsd-compile'. The validator
28 ;; knows to use this for the datatype library with URI
29 ;; http://www.w3.org/2001/XMLSchema-datatypes because it
30 ;; is the value of the rng-dt-compile property on that URI
33 ;; W3C XML Schema Datatypes are specified by
34 ;; http://www.w3.org/TR/xmlschema-2/
35 ;; Guidelines for using them with RELAX NG are described in
36 ;; http://relaxng.org/xsd.html
45 (put 'http
://www.w3.org
/2001/XMLSchema-datatypes
50 (defun rng-xsd-compile (name params
)
51 "Provides W3C XML Schema as a RELAX NG datatypes library. NAME is a
52 symbol giving the local name of the datatype. PARAMS is a list of
53 pairs (PARAM-NAME . PARAM-VALUE) where PARAM-NAME is a symbol giving
54 the name of the parameter and PARAM-VALUE is a string giving its
55 value. If NAME or PARAMS are invalid, it calls rng-dt-error passing
56 it arguments in the same style as format; the value from rng-dt-error
57 will be returned. Otherwise, it returns a list. The first member of
58 the list is t if any string is a legal value for the datatype and nil
59 otherwise. The second argument is a symbol; this symbol will be
60 called as a function passing it a string followed by the remaining
61 members of the list. The function must return an object representing
62 the value of the datatype that was represented by the string, or nil
63 if the string is not a representation of any value. The object
64 returned can be any convenient non-nil value, provided that, if two
65 strings represent the same value, the returned objects must be equal."
66 (let ((convert (get name
'rng-xsd-convert
)))
68 (rng-dt-error "There is no XSD datatype named %s" name
)
69 (rng-xsd-compile1 name params convert
))))
73 (defun rng-xsd-compile1 (name params convert
)
75 (cons (equal convert
'(identity))
76 (cond ((eq name
'string
) convert
)
77 ((eq name
'normalizedString
)
78 (cons 'rng-xsd-replace-space convert
))
79 ((and (not (eq name
'string
))
80 (or (memq 'identity convert
)
81 (memq 'rng-xsd-convert-any-uri convert
)
82 (memq 'rng-xsd-check-pattern convert
)))
83 (cons 'rng-xsd-collapse-space convert
))
85 (let* ((param (car params
))
86 (param-name (car param
))
87 (param-value (cdr param
)))
88 (cond ((memq param-name
89 '(minExclusive maxExclusive minInclusive maxInclusive
))
90 (let ((limit (apply (car convert
)
93 (less-than-fun (get name
'rng-xsd-less-than
)))
95 (rng-dt-error "Minimum value %s is not valid"
98 (rng-dt-error "Values of type %s are not ordered"
101 (rng-xsd-compile1 name
103 (cons (get param-name
106 (cons limit convert
))))))))
107 ((memq param-name
'(length minLength maxLength
))
108 (let ((limit (rng-xsd-string-to-non-negative-integer param-value
))
109 (length-fun (get name
'rng-xsd-length
)))
111 (rng-dt-error "Length %s is not valid" param-value
))
113 (rng-dt-error "Values of type %s do not have a length"
116 (rng-xsd-compile1 name
118 (cons (get param-name
121 (cons limit convert
))))))))
122 ((memq param-name
'(fractionDigits totalDigits
))
123 (let ((n (rng-xsd-string-to-non-negative-integer param-value
)))
125 (rng-dt-error "Number of digits %s is not valid"
128 (rng-xsd-compile1 name
130 (cons (get param-name
132 (cons n convert
)))))))
133 ((eq param-name
'pattern
)
135 (rng-xsd-compile1 name
137 (cons 'rng-xsd-check-pattern
140 (xsdre-translate param-value
)
143 (xsdre-invalid-regexp
144 (rng-dt-error "Invalid regular expression (%s)"
146 ((memq param-name
'(enumeration whiteSpace
))
147 (rng-dt-error "Facet %s cannot be used in RELAX NG" param-name
))
148 (t (rng-dt-error "Unknown facet %s" param-name
))))))
150 (defun rng-xsd-string-to-non-negative-integer (str)
151 (and (rng-xsd-convert-integer str
)
152 (let ((n (string-to-number str
)))
157 (defun rng-xsd-collapse-space (str convert
&rest args
)
158 (apply convert
(cons (mapconcat 'identity
(split-string str
"[ \t\n\r]+")
162 (defun rng-xsd-replace-space (str convert
&rest args
)
166 (while (and (setq i
(string-match "[\r\n\t]" str i
))
167 (or copied
(setq copied
(copy-sequence str
)))
173 (put 'minExclusive
'rng-xsd-check
'rng-xsd-check-min-exclusive
)
174 (put 'minInclusive
'rng-xsd-check
'rng-xsd-check-min-inclusive
)
175 (put 'maxExclusive
'rng-xsd-check
'rng-xsd-check-max-exclusive
)
176 (put 'maxInclusive
'rng-xsd-check
'rng-xsd-check-max-inclusive
)
177 (put 'length
'rng-xsd-check
'rng-xsd-check-length
)
178 (put 'minLength
'rng-xsd-check
'rng-xsd-check-min-length
)
179 (put 'maxLength
'rng-xsd-check
'rng-xsd-check-max-length
)
180 (put 'fractionDigits
'rng-xsd-check
'rng-xsd-check-fraction-digits
)
181 (put 'totalDigits
'rng-xsd-check
'rng-xsd-check-total-digits
)
183 (defun rng-xsd-check-min-exclusive (str less-than-fun limit convert
&rest args
)
184 (let ((obj (apply convert
(cons str args
))))
186 (funcall less-than-fun limit obj
)
189 (defun rng-xsd-check-min-inclusive (str less-than-fun limit convert
&rest args
)
190 (let ((obj (apply convert
(cons str args
))))
192 (or (funcall less-than-fun limit obj
)
196 (defun rng-xsd-check-max-exclusive (str less-than-fun limit convert
&rest args
)
197 (let ((obj (apply convert
(cons str args
))))
199 (funcall less-than-fun obj limit
)
202 (defun rng-xsd-check-max-inclusive (str less-than-fun limit convert
&rest args
)
203 (let ((obj (apply convert
(cons str args
))))
205 (or (funcall less-than-fun obj limit
)
209 (defun rng-xsd-check-min-length (str length-fun limit convert
&rest args
)
210 (let ((obj (apply convert
(cons str args
))))
212 (>= (funcall length-fun obj
) limit
)
215 (defun rng-xsd-check-max-length (str length-fun limit convert
&rest args
)
216 (let ((obj (apply convert
(cons str args
))))
218 (<= (funcall length-fun obj
) limit
)
221 (defun rng-xsd-check-length (str length-fun len convert
&rest args
)
222 (let ((obj (apply convert
(cons str args
))))
224 (= (funcall length-fun obj
) len
)
227 (defun rng-xsd-check-fraction-digits (str n convert
&rest args
)
228 (let ((obj (apply convert
(cons str args
))))
230 (<= (length (aref obj
2)) n
)
233 (defun rng-xsd-check-total-digits (str n convert
&rest args
)
234 (let ((obj (apply convert
(cons str args
))))
236 (<= (+ (length (aref obj
1))
237 (length (aref obj
2)))
241 (defun rng-xsd-check-pattern (str regexp convert
&rest args
)
242 (and (string-match regexp str
)
243 (apply convert
(cons str args
))))
246 (defun rng-xsd-convert-boolean (string)
247 (and (string-match "\\`[ \t\n\r]*\\(?:\\(true\\|1\\)\\|false\\|0\\)[ \t\n\r]*\\'" string
)
248 (if (match-beginning 1) 'true
'false
)))
250 (defun rng-xsd-convert-decimal (string)
251 "Convert a string representing a decimal to an object representing
252 its values. A decimal value is represented by a vector [SIGN
253 INTEGER-DIGITS FRACTION-DIGITS] where SIGN is 1 or -1, INTEGER-DIGITS
254 is a string containing zero or more digits, with no leading zero, and
255 FRACTION-DIGITS is a string containing zero or more digits with no
256 trailing digits. For example, -0021.0430 would be represented by [-1
258 (and (string-match "\\`[ \t\n\r]*\\([-+]\\)?\\(0*\\([1-9][0-9]*\\)?\\(\\.\\([0-9]*[1-9]\\)?0*\\)?\\)[ \t\n\r]*\\'" string
)
259 (let ((digits (match-string 2 string
)))
260 (and (not (string= digits
"."))
261 (not (string= digits
""))))
262 (let ((integer-digits (match-string 3 string
)))
263 (vector (if (and (equal (match-string 1 string
) "-")
268 (or integer-digits
"")
269 (or (match-string 5 string
) "")))))
271 (defun rng-xsd-convert-integer (string)
272 (and (string-match "\\`[ \t\n\r]*\\([-+]\\)?\\(?:0*\\([1-9][0-9]*\\)\\|0+\\)[ \t\n\r]*\\'" string
)
273 (let ((integer-digits (match-string 2 string
)))
274 (vector (if (and (equal (match-string 1 string
) "-")
279 (or integer-digits
"")
282 (defun rng-xsd-decimal< (n1 n2
)
283 (< (rng-xsd-compare-decimal n1 n2
) 0))
285 (defun rng-xsd-compare-decimal (n1 n2
)
286 "Return a < 0, 0, > 0 according as n1 < n2, n1 = n2 or n1 > n2."
287 (let* ((sign1 (aref n1
0))
289 (sign (- sign1 sign2
)))
292 (let* ((int1 (aref n1
1))
296 (lencmp (- len1 len2
)))
298 (if (string= int1 int2
)
299 (rng-xsd-strcmp (aref n1
2) (aref n2
2))
300 (rng-xsd-strcmp int1 int2
))
304 (defconst rng-xsd-float-regexp
305 (concat "\\`[ \r\n\t]*\\(?:"
307 "[-+]?\\(?:[0-9]+\\(?:\\.[0-9]*\\)?\\|\\.[0-9]+\\)"
308 "\\(?:[eE][-+]?[0-9]+\\)?"
315 (defun rng-xsd-convert-float (string)
316 (cond ((not (string-match rng-xsd-float-regexp string
)) nil
)
318 (float (string-to-number (match-string 1 string
))))
319 ((match-beginning 2) 1.0e
+INF
)
320 ((match-beginning 3) -
1.0e
+INF
)
321 ;; Don't use a NaN float because we want NaN to be equal to NaN
322 ((match-beginning 4) 'NaN
)))
324 (defun rng-xsd-float< (f1 f2
)
325 (and (not (eq f1
'NaN
))
329 (defun rng-xsd-convert-token (string regexp
)
330 (and (string-match regexp string
)
331 (match-string 1 string
)))
333 (defun rng-xsd-convert-hex-binary (string)
334 (and (string-match "\\`[ \r\n\t]*\\(\\(?:[0-9A-Fa-f][0-9A-Fa-f]\\)*\\)[ \r\n\t]*\\'"
336 (downcase (match-string 1 string
))))
338 (defun rng-xsd-hex-binary-length (obj)
341 (defconst rng-xsd-base64-binary-regexp
342 (let ((S "[ \t\r\n]*")
344 (B16 "[AEIMQUYcgkosw048]")
345 (B64 "[A-Za-z0-9+/]"))
346 (concat "\\`" S
"\\(?:\\(?:" B64 S
"\\)\\{4\\}\\)*"
347 "\\(?:" B64 S B64 S B16 S
"=" S
348 "\\|" B64 S B04 S
"=" S
"=" S
"\\)?\\'")))
350 (defun rng-xsd-convert-base64-binary (string)
351 (and (string-match rng-xsd-base64-binary-regexp string
)
352 (replace-regexp-in-string "[ \t\r\n]+" "" string t t
)))
354 (defun rng-xsd-base64-binary-length (obj)
355 (let ((n (* (/ (length obj
) 4) 3)))
357 (string= (substring obj -
1) "="))
358 (- n
(if (string= (substring obj -
2) "==")
363 (defun rng-xsd-convert-any-uri (string)
364 (and (string-match "\\`\\(?:[^%]\\|%[0-9a-fA-F][0-9a-fA-F]\\)?*\\'" string
)
365 (string-match "\\`[^#]*\\(?:#[^#]*\\)?\\'" string
)
366 (string-match "\\`\\(?:[a-zA-Z][-+.A-Za-z0-9]*:.+\\|[^:]*\\(?:[#/?].*\\)?\\)\\'" string
)
369 (defun rng-xsd-make-date-time-regexp (template)
370 "Returns a regular expression matching a ISO 8601 date/time. The
371 template is a string with Y standing for years field, M standing for
372 months, D standing for day of month, T standing for a literal T, t
373 standing for time and - standing for a literal hyphen. A time zone is
374 always allowed at the end. Regardless of the fields appearing in the
375 template, the regular expression will have twelve groups matching the
376 year sign, year, month, day of month, hours, minutes, integer seconds,
377 fractional seconds (including leading period), time zone, time zone
378 sign, time zone hours, time zone minutes."
380 (len (length template
))
384 (setq c
(aref template i
))
386 (cons (cond ((eq c ?Y
)
389 "\\(-\\)?\\(\\(?:[1-9][0-9]*\\)?[0-9]\\{4\\}\\)")
404 "\\([0-9][0-9]\\):\\([0-9][0-9]\\):\\([0-9][0-9]\\)\\(\\.[0-9]*\\)?")
409 (setq last
(1+ last
))
410 ;; Add dummy fields that can never much but keep the group
412 (setq parts
(cons "\\(\\'X\\)?" parts
)))
413 (setq parts
(cons "\\(Z\\|\\([-+]\\)\\([0-9][0-9]\\):\\([0-5][0-9]\\)\\)?[ \t\n\r]*\\'"
415 (setq parts
(cons "\\`[ \t\n\r]*" (nreverse parts
)))
417 (setq first
(1- first
))
418 (setq parts
(cons "\\(X\\)?" parts
)))
419 (apply 'concat parts
)))
421 (defconst rng-xsd-seconds-per-day
(* 24 60 60))
422 (defconst rng-xsd-days-in-month
[31 28 31 30 31 30 31 31 30 31 30 31])
424 (defun rng-xsd-days-in-month (year month
)
425 (if (and (= month
2) (rng-xsd-leap-year-p year
))
427 (aref rng-xsd-days-in-month
(1- month
))))
429 (defconst rng-xsd-months-to-days
430 (let ((v (make-vector 12 nil
))
434 (setq total
(+ total
(aref rng-xsd-days-in-month i
)))
439 (defun rng-xsd-convert-date-time (string regexp
)
440 "Converts an XML Schema date/time to a list. Returns nil if
441 invalid. REGEXP is a regexp for parsing the date time as returned by
442 `rng-xsd-make-date-time-regexp'. The list has 4 members (HAS-TIME-ZONE
443 DAY SECOND SECOND-FRACTION), where HAS-TIME-ZONE is t or nil depending
444 on whether a time zone was specified, DAY is an integer giving a day
445 number (with Jan 1 1AD being day 1), SECOND is the second within that
446 day, and SECOND-FRACTION is a float giving the fractional part of the
448 (and (string-match regexp string
)
449 (let ((year-sign (match-string 1 string
))
450 (year (match-string 2 string
))
451 (month (match-string 3 string
))
452 (day (match-string 4 string
))
453 (hour (match-string 5 string
))
454 (minute (match-string 6 string
))
455 (second (match-string 7 string
))
456 (second-fraction (match-string 8 string
))
457 (has-time-zone (match-string 9 string
))
458 (time-zone-sign (match-string 10 string
))
459 (time-zone-hour (match-string 11 string
))
460 (time-zone-minute (match-string 12 string
)))
461 (setq year-sign
(if year-sign -
1 1))
465 (string-to-number year
))
468 (if month
(string-to-number month
) 1))
470 (if day
(string-to-number day
) 1))
472 (if hour
(string-to-number hour
) 0))
474 (if minute
(string-to-number minute
) 0))
476 (if second
(string-to-number second
) 0))
477 (setq second-fraction
479 (float (string-to-number second-fraction
))
481 (setq has-time-zone
(and has-time-zone t
))
483 (if (equal time-zone-sign
"-") -
1 1))
485 (if time-zone-hour
(string-to-number time-zone-hour
) 0))
486 (setq time-zone-minute
487 (if time-zone-minute
(string-to-number time-zone-minute
) 0))
491 (<= day
(rng-xsd-days-in-month year month
))
494 (<= second
60) ; leap second
495 (<= time-zone-hour
23)
496 (<= time-zone-minute
59)
499 (list (rng-xsd-date-to-days year month day
)
500 (rng-xsd-time-to-seconds hour minute second
)
502 (* (rng-xsd-time-to-seconds time-zone-hour
505 (- time-zone-sign
))))))))
507 (defun rng-xsd-leap-year-p (year)
508 (and (= (% year
4) 0)
509 (or (/= (% year
100) 0)
510 (= (% year
400) 0))))
512 (defun rng-xsd-time-to-seconds (hour minute second
)
518 (defconst rng-xsd-max-tz
(rng-xsd-time-to-seconds 14 0 0))
520 (defun rng-xsd-date-time< (dt1 dt2
)
521 (cond ((eq (car dt1
) (car dt2
))
522 (rng-xsd-number-list< (cdr dt1
) (cdr dt2
)))
524 (rng-xsd-number-list< (cdr dt1
)
525 (rng-xsd-add-seconds (cdr dt2
)
526 (- rng-xsd-max-tz
))))
528 (rng-xsd-number-list< (rng-xsd-add-seconds (cdr dt1
)
532 (defun rng-xsd-add-seconds (date offset
)
533 (let ((day (nth 0 date
))
534 (second (+ (nth 1 date
) offset
))
535 (fraction (nth 2 date
)))
538 (+ second rng-xsd-seconds-per-day
)
540 ((>= second rng-xsd-seconds-per-day
)
542 (- second rng-xsd-seconds-per-day
)
544 (t (list day second fraction
)))))
546 (defun rng-xsd-number-list< (numbers1 numbers2
)
547 (while (and numbers1
(= (car numbers1
) (car numbers2
)))
548 (setq numbers1
(cdr numbers1
))
549 (setq numbers2
(cdr numbers2
)))
551 (< (car numbers1
) (car numbers2
))))
553 (defun rng-xsd-date-to-days (year month day
)
554 "Return a unique day number where Jan 1 1 AD is day 1"
556 (+ (rng-xsd-days-in-years (- year
1))
557 (rng-xsd-day-number-in-year year month day
))
558 (- (+ (- (rng-xsd-days-in-years (- 3 year
))
559 (rng-xsd-days-in-years 3))
560 (- (if (rng-xsd-leap-year-p year
) 366 365)
561 (rng-xsd-day-number-in-year year month day
))))))
563 (defun rng-xsd-days-in-years (years)
564 "The number of days in YEARS years where the first year is 1AD."
570 (defun rng-xsd-day-number-in-year (year month day
)
573 (aref rng-xsd-months-to-days
(- month
2)))
576 (rng-xsd-leap-year-p year
))
580 (defconst rng-xsd-duration-regexp
581 "\\`[ \t\r\n]*\\(-\\)?P\
582 \\([0-9]+Y\\)?\\([0-9]+M\\)?\\([0-9]+D\\)?\
583 \\(?:T\\([0-9]+H\\)?\\([0-9]+M\\)?\
584 \\(\\([0-9]+\\(?:\\.[0-9]*\\)?\\|\\.[0-9]+\\)S\\)?\\)?\
588 (defun rng-xsd-convert-duration (string)
589 (and (string-match rng-xsd-duration-regexp string
)
590 (let ((last (substring string -
1)))
591 (not (or (string= last
"P")
592 (string= last
"T"))))
593 ;; years months days hours minutes seconds
594 (let ((v (make-vector 6 0))
595 (sign (if (match-beginning 1) -
1 1))
598 (let ((start (match-beginning (+ i
2))))
604 (1- (match-end (+ i
2)))))))))
606 ;; Force seconds to be float so that equal works properly.
607 (aset v
5 (float (aref v
5)))
610 (defconst rng-xsd-min-seconds-per-month
(* 28 rng-xsd-seconds-per-day
))
612 (defun rng-xsd-duration< (d1 d2
)
613 (let* ((months1 (rng-xsd-duration-months d1
))
614 (months2 (rng-xsd-duration-months d2
))
615 (seconds1 (rng-xsd-duration-seconds d1
))
616 (seconds2 (rng-xsd-duration-seconds d2
)))
617 (cond ((< months1 months2
)
618 (if (< (- seconds1 seconds2
) rng-xsd-min-seconds-per-month
)
620 (rng-xsd-months-seconds< months1 seconds1 months2 seconds2
)))
622 (if (< (- seconds2 seconds1
) rng-xsd-min-seconds-per-month
)
624 (rng-xsd-months-seconds< months1 seconds1 months2 seconds2
)))
625 (t (< seconds1 seconds2
)))))
627 (defconst xsd-duration-reference-dates
628 '((1696 .
9) (1697 .
2) (1903 .
3) (1903 .
7)))
630 (defun rng-xsd-months-seconds< (months1 seconds1 months2 seconds2
)
632 (ref-dates xsd-duration-reference-dates
))
633 (while (let* ((ref-date (car ref-dates
))
634 (ref-year (car ref-date
))
635 (ref-month (cdr ref-date
)))
636 (unless (< (+ (rng-xsd-month-seconds months1
640 (+ (rng-xsd-month-seconds months2
646 (setq ref-dates
(cdr ref-dates
)))))
650 (defun rng-xsd-month-seconds (months ref-year ref-month
)
651 "Return the seconds in a number of months starting on a reference date.
652 Returns a floating point number."
653 (* (rng-xsd-month-days (abs months
) ref-year ref-month
)
654 (float rng-xsd-seconds-per-day
)
655 (if (< months
0) -
1.0 1.0)))
657 (defconst rng-xsd-years-per-gregorian-cycle
400)
658 (defconst rng-xsd-months-per-gregorian-cycle
659 (* rng-xsd-years-per-gregorian-cycle
12))
660 (defconst rng-xsd-leap-years-per-gregorian-cycle
(- 100 (- 4 1)))
661 (defconst rng-xsd-days-per-gregorian-cycle
662 (+ (* 365 rng-xsd-years-per-gregorian-cycle
)
663 rng-xsd-leap-years-per-gregorian-cycle
))
665 (defun rng-xsd-month-days (months ref-year ref-month
)
666 "Return the days in a number of months starting on a reference date.
667 MONTHS must be an integer >= 0."
669 (setq months
(mod months rng-xsd-months-per-gregorian-cycle
))
670 ;; This may be rather slow, but it is highly unlikely
671 ;; ever to be used in real life.
674 (+ (rng-xsd-days-in-month ref-year ref-month
)
677 (if (eq ref-month
12)
679 (setq ref-year
(1+ ref-year
))
682 (setq months
(1- months
)))
683 (+ (* (/ months rng-xsd-months-per-gregorian-cycle
)
684 rng-xsd-days-per-gregorian-cycle
)
687 (defun rng-xsd-duration-months (d)
691 (defun rng-xsd-duration-seconds (d)
692 (+ (* (+ (* (+ (* (aref d
2)
700 (defun rng-xsd-convert-qname (string)
701 (and (string-match "\\`[ \r\n\t]*\\([_[:alpha:]][-._[:alnum:]]*\\(:[_[:alpha:]][-._[:alnum:]]*\\)?\\)[ \r\n\t]*\\'" string
)
702 (let ((colon (match-beginning 2))
703 (context (apply (car rng-dt-namespace-context-getter
)
704 (cdr rng-dt-namespace-context-getter
))))
706 (let* ((prefix (substring string
709 (binding (assoc prefix
(cdr context
))))
716 (match-string 1 string
))))))
718 (defun rng-xsd-convert-list (string convert
&rest args
)
719 (let* ((tokens (split-string string
"[ \t\n\r]+"))
722 (let ((obj (apply convert
723 (cons (car tem
) args
))))
726 (setq tem
(cdr tem
)))
730 ;; Fortuitously this returns nil if the list is empty
731 ;; which is what we want since the list types
732 ;; have to have one or more members.
735 (defun rng-xsd-strcmp (s1 s2
)
736 (cond ((string= s1 s2
) 0)
740 (put 'string
'rng-xsd-convert
'(identity))
741 (put 'string
'rng-xsd-length
'length
)
742 (put 'string
'rng-xsd-matches-anything t
)
744 (put 'normalizedString
'rng-xsd-convert
'(identity))
745 (put 'normalizedString
'rng-xsd-length
'length
)
746 (put 'normalizedString
'rng-xsd-matches-anything t
)
748 (put 'token
'rng-xsd-convert
'(identity))
749 (put 'token
'rng-xsd-length
'length
)
750 (put 'token
'rng-xsd-matches-anything t
)
752 (put 'hexBinary
'rng-xsd-convert
'(rng-xsd-convert-hex-binary))
753 (put 'hexBinary
'rng-xsd-length
'rng-xsd-hex-binary-length
)
755 (put 'base64Binary
'rng-xsd-convert
'(rng-xsd-convert-base64-binary))
756 (put 'base64Binary
'rng-xsd-length
'rng-xsd-base64-binary-length
)
758 (put 'boolean
'rng-xsd-convert
'(rng-xsd-convert-boolean))
760 (put 'float
'rng-xsd-convert
'(rng-xsd-convert-float))
761 (put 'float
'rng-xsd-less-than
'rng-xsd-float
<)
763 (put 'double
'rng-xsd-convert
'(rng-xsd-convert-float))
764 (put 'double
'rng-xsd-less-than
'rng-xsd-float
<)
766 (put 'decimal
'rng-xsd-convert
'(rng-xsd-convert-decimal))
767 (put 'decimal
'rng-xsd-less-than
'rng-xsd-decimal
<)
769 (put 'integer
'rng-xsd-convert
'(rng-xsd-convert-integer))
770 (put 'integer
'rng-xsd-less-than
'rng-xsd-decimal
<)
772 (defun rng-xsd-def-integer-type (name min max
)
773 (put name
'rng-xsd-less-than
'rng-xsd-decimal
<)
776 (cdr (rng-xsd-compile 'integer
777 (append (and min
`((minInclusive .
,min
)))
778 (and max
`((maxInclusive .
,max
))))))))
780 (defun rng-xsd-def-token-type (name regexp
)
781 (put name
'rng-xsd-convert
(list 'rng-xsd-convert-token
782 (concat "\\`[\r\n\t ]*\\("
784 "\\)[\r\n\t ]*\\'")))
785 (put name
'rng-xsd-length
'length
))
787 (rng-xsd-def-token-type 'NMTOKEN
"[-.:_[:alnum:]]+")
788 (rng-xsd-def-token-type 'Name
"[:_[:alpha:]][-.:_[:alnum:]]*")
789 (rng-xsd-def-token-type 'NCName
"[_[:alpha:]][-._[:alnum:]]*")
790 (rng-xsd-def-token-type 'language
791 "[a-zA-Z]\\{1,8\\}\\(?:-[a-zA-Z0-9]\\{1,8\\}\\)*")
793 (put 'ENTITY
'rng-xsd-convert
(get 'NCName
'rng-xsd-convert
))
794 (put 'ENTITY
'rng-xsd-length
'length
)
795 (put 'ID
'rng-xsd-convert
(get 'NCName
'rng-xsd-convert
))
796 (put 'ID
'rng-xsd-length
'length
)
797 (put 'IDREF
'rng-xsd-convert
(get 'NCName
'rng-xsd-convert
))
798 (put 'IDREF
'rng-xsd-length
'length
)
800 (defun rng-xsd-def-list-type (name member-name
)
801 (put name
'rng-xsd-convert
(cons 'rng-xsd-convert-list
802 (get member-name
'rng-xsd-convert
)))
803 (put name
'rng-xsd-length
'length
))
805 (rng-xsd-def-list-type 'NMTOKENS
'NMTOKEN
)
806 (rng-xsd-def-list-type 'IDREFS
'IDREF
)
807 (rng-xsd-def-list-type 'ENTITIES
'ENTITY
)
809 (put 'anyURI
'rng-xsd-convert
'(rng-xsd-convert-any-uri))
810 (put 'anyURI
'rng-xsd-length
'length
)
812 (put 'QName
'rng-xsd-convert
'(rng-xsd-convert-qname))
813 (put 'NOTATION
'rng-xsd-convert
'(rng-xsd-convert-qname))
815 (defconst rng-xsd-long-max
"9223372036854775807")
816 (defconst rng-xsd-long-min
"-9223372036854775808")
817 (defconst rng-xsd-int-max
"2147483647")
818 (defconst rng-xsd-int-min
"-2147483648")
819 (defconst rng-xsd-short-max
"32767")
820 (defconst rng-xsd-short-min
"-32768")
821 (defconst rng-xsd-byte-max
"127")
822 (defconst rng-xsd-byte-min
"-128")
823 (defconst rng-xsd-unsigned-long-max
"18446744073709551615")
824 (defconst rng-xsd-unsigned-int-max
"4294967295")
825 (defconst rng-xsd-unsigned-short-max
"65535")
826 (defconst rng-xsd-unsigned-byte-max
"255")
828 (rng-xsd-def-integer-type 'nonNegativeInteger
"0" nil
)
829 (rng-xsd-def-integer-type 'positiveInteger
"1" nil
)
830 (rng-xsd-def-integer-type 'nonPositiveInteger nil
"0")
831 (rng-xsd-def-integer-type 'negativeInteger nil
"-1")
832 (rng-xsd-def-integer-type 'long rng-xsd-long-min rng-xsd-long-max
)
833 (rng-xsd-def-integer-type 'int rng-xsd-int-min rng-xsd-int-max
)
834 (rng-xsd-def-integer-type 'short rng-xsd-short-min rng-xsd-short-max
)
835 (rng-xsd-def-integer-type 'byte rng-xsd-byte-min rng-xsd-byte-max
)
836 (rng-xsd-def-integer-type 'unsignedLong
"0" rng-xsd-unsigned-long-max
)
837 (rng-xsd-def-integer-type 'unsignedInt
"0" rng-xsd-unsigned-int-max
)
838 (rng-xsd-def-integer-type 'unsignedShort
"0" rng-xsd-unsigned-short-max
)
839 (rng-xsd-def-integer-type 'unsignedByte
"0" rng-xsd-unsigned-byte-max
)
841 (defun rng-xsd-def-date-time-type (name template
)
842 (put name
'rng-xsd-convert
(list 'rng-xsd-convert-date-time
843 (rng-xsd-make-date-time-regexp template
)))
844 (put name
'rng-xsd-less-than
'rng-xsd-date-time
<))
846 (rng-xsd-def-date-time-type 'dateTime
"Y-M-DTt")
847 (rng-xsd-def-date-time-type 'time
"t")
848 (rng-xsd-def-date-time-type 'date
"Y-M-D")
849 (rng-xsd-def-date-time-type 'gYearMonth
"Y-M")
850 (rng-xsd-def-date-time-type 'gYear
"Y")
851 (rng-xsd-def-date-time-type 'gMonthDay
"--M-D")
852 (rng-xsd-def-date-time-type 'gDay
"---D")
853 (rng-xsd-def-date-time-type 'gMonth
"--M")
855 (put 'duration
'rng-xsd-convert
'(rng-xsd-convert-duration))
856 (put 'duration
'rng-xsd-less-than
'rng-xsd-duration
<)
860 ;; arch-tag: 6b05510e-a5bb-4b99-8618-4660d00d0abb
861 ;;; rng-xsd.el ends here