This is the cxml-rng Reference Manual, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Sep 15 04:56:16 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
cxml-rngcxml (system).
cl-ppcre (system).
yacc (system).
parse-number (system).
cl-base64 (system).
package.lisp (file).
floats.lisp (file).
unicode.lisp (file).
nppcre.lisp (file).
types.lisp (file).
parse.lisp (file).
validate.lisp (file).
test.lisp (file).
clex.lisp (file).
compact.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
cxml-rng/cxml-rng.asdcxml-rng/package.lispcxml-rng/floats.lispcxml-rng/unicode.lispcxml-rng/nppcre.lispcxml-rng/types.lispcxml-rng/parse.lispcxml-rng/validate.lispcxml-rng/test.lispcxml-rng/clex.lispcxml-rng/compact.lispcxml-rng/cxml-rng.asdcxml-rng (system).
perform (method).
closure-source-file (class).
cxml-rng/floats.lisppackage.lisp (file).
cxml-rng (system).
do-not-constant-fold-me (function).
double-float-nan (special variable).
double-float-negative-infinity (special variable).
double-float-positive-infinity (special variable).
single-float-nan (special variable).
single-float-negative-infinity (special variable).
single-float-positive-infinity (special variable).
cxml-rng/unicode.lispfloats.lisp (file).
cxml-rng (system).
+1+ (constant).
+limit-1+ (constant).
. (special variable).
. (function).
\c (special variable).
\c (function).
\d (special variable).
\d (function).
\i (special variable).
\i (function).
\s (special variable).
\s (function).
\w (special variable).
\w (function).
^c (special variable).
^c (function).
^d (special variable).
^d (function).
^i (special variable).
^i (function).
^s (special variable).
^s (function).
^w (special variable).
^w (function).
defblock (macro).
defranges (macro).
massage-ranges (function).
p{cc} (special variable).
p{cc} (function).
p{cf} (special variable).
p{cf} (function).
p{cn} (special variable).
p{cn} (function).
p{co} (special variable).
p{co} (function).
p{c} (special variable).
p{c} (function).
p{isalphabeticpresentationforms} (special variable).
p{isalphabeticpresentationforms} (function).
p{isarabicpresentationforms-a} (special variable).
p{isarabicpresentationforms-a} (function).
p{isarabicpresentationforms-b} (special variable).
p{isarabicpresentationforms-b} (function).
p{isarabic} (special variable).
p{isarabic} (function).
p{isarmenian} (special variable).
p{isarmenian} (function).
p{isarrows} (special variable).
p{isarrows} (function).
p{isbasiclatin} (special variable).
p{isbasiclatin} (function).
p{isbengali} (special variable).
p{isbengali} (function).
p{isblockelements} (special variable).
p{isblockelements} (function).
p{isbopomofoextended} (special variable).
p{isbopomofoextended} (function).
p{isbopomofo} (special variable).
p{isbopomofo} (function).
p{isboxdrawing} (special variable).
p{isboxdrawing} (function).
p{isbraillepatterns} (special variable).
p{isbraillepatterns} (function).
p{ischerokee} (special variable).
p{ischerokee} (function).
p{iscjkcompatibilityforms} (special variable).
p{iscjkcompatibilityforms} (function).
p{iscjkcompatibilityideographs} (special variable).
p{iscjkcompatibilityideographs} (function).
p{iscjkcompatibility} (special variable).
p{iscjkcompatibility} (function).
p{iscjkradicalssupplement} (special variable).
p{iscjkradicalssupplement} (function).
p{iscjksymbolsandpunctuation} (special variable).
p{iscjksymbolsandpunctuation} (function).
p{iscjkunifiedideographsextensiona} (special variable).
p{iscjkunifiedideographsextensiona} (function).
p{iscjkunifiedideographs} (special variable).
p{iscjkunifiedideographs} (function).
p{iscombiningdiacriticalmarks} (special variable).
p{iscombiningdiacriticalmarks} (function).
p{iscombininghalfmarks} (special variable).
p{iscombininghalfmarks} (function).
p{iscombiningmarksforsymbols} (special variable).
p{iscombiningmarksforsymbols} (function).
p{iscontrolpictures} (special variable).
p{iscontrolpictures} (function).
p{iscurrencysymbols} (special variable).
p{iscurrencysymbols} (function).
p{iscyrillic} (special variable).
p{iscyrillic} (function).
p{isdevanagari} (special variable).
p{isdevanagari} (function).
p{isdingbats} (special variable).
p{isdingbats} (function).
p{isenclosedalphanumerics} (special variable).
p{isenclosedalphanumerics} (function).
p{isenclosedcjklettersandmonths} (special variable).
p{isenclosedcjklettersandmonths} (function).
p{isethiopic} (special variable).
p{isethiopic} (function).
p{isgeneralpunctuation} (special variable).
p{isgeneralpunctuation} (function).
p{isgeometricshapes} (special variable).
p{isgeometricshapes} (function).
p{isgeorgian} (special variable).
p{isgeorgian} (function).
p{isgreekextended} (special variable).
p{isgreekextended} (function).
p{isgreek} (special variable).
p{isgreek} (function).
p{isgujarati} (special variable).
p{isgujarati} (function).
p{isgurmukhi} (special variable).
p{isgurmukhi} (function).
p{ishalfwidthandfullwidthforms} (special variable).
p{ishalfwidthandfullwidthforms} (function).
p{ishangulcompatibilityjamo} (special variable).
p{ishangulcompatibilityjamo} (function).
p{ishanguljamo} (special variable).
p{ishanguljamo} (function).
p{ishangulsyllables} (special variable).
p{ishangulsyllables} (function).
p{ishebrew} (special variable).
p{ishebrew} (function).
p{ishiragana} (special variable).
p{ishiragana} (function).
p{isideographicdescriptioncharacters} (special variable).
p{isideographicdescriptioncharacters} (function).
p{isipaextensions} (special variable).
p{isipaextensions} (function).
p{iskanbun} (special variable).
p{iskanbun} (function).
p{iskangxiradicals} (special variable).
p{iskangxiradicals} (function).
p{iskannada} (special variable).
p{iskannada} (function).
p{iskatakana} (special variable).
p{iskatakana} (function).
p{iskhmer} (special variable).
p{iskhmer} (function).
p{islao} (special variable).
p{islao} (function).
p{islatin-1supplement} (special variable).
p{islatin-1supplement} (function).
p{islatinextended-a} (special variable).
p{islatinextended-a} (function).
p{islatinextended-b} (special variable).
p{islatinextended-b} (function).
p{islatinextendedadditional} (special variable).
p{islatinextendedadditional} (function).
p{isletterlikesymbols} (special variable).
p{isletterlikesymbols} (function).
p{ismalayalam} (special variable).
p{ismalayalam} (function).
p{ismathematicaloperators} (special variable).
p{ismathematicaloperators} (function).
p{ismiscellaneoussymbols} (special variable).
p{ismiscellaneoussymbols} (function).
p{ismiscellaneoustechnical} (special variable).
p{ismiscellaneoustechnical} (function).
p{ismongolian} (special variable).
p{ismongolian} (function).
p{ismyanmar} (special variable).
p{ismyanmar} (function).
p{isnumberforms} (special variable).
p{isnumberforms} (function).
p{isogham} (special variable).
p{isogham} (function).
p{isopticalcharacterrecognition} (special variable).
p{isopticalcharacterrecognition} (function).
p{isoriya} (special variable).
p{isoriya} (function).
p{isprivateuse} (special variable).
p{isprivateuse} (function).
p{isrunic} (special variable).
p{isrunic} (function).
p{issinhala} (special variable).
p{issinhala} (function).
p{issmallformvariants} (special variable).
p{issmallformvariants} (function).
p{isspacingmodifierletters} (special variable).
p{isspacingmodifierletters} (function).
p{isspecials} (special variable).
p{isspecials} (function).
p{issuperscriptsandsubscripts} (special variable).
p{issuperscriptsandsubscripts} (function).
p{issyriac} (special variable).
p{issyriac} (function).
p{istamil} (special variable).
p{istamil} (function).
p{istelugu} (special variable).
p{istelugu} (function).
p{isthaana} (special variable).
p{isthaana} (function).
p{isthai} (special variable).
p{isthai} (function).
p{istibetan} (special variable).
p{istibetan} (function).
p{isunifiedcanadianaboriginalsyllabics} (special variable).
p{isunifiedcanadianaboriginalsyllabics} (function).
p{isyiradicals} (special variable).
p{isyiradicals} (function).
p{isyisyllables} (special variable).
p{isyisyllables} (function).
p{ll} (special variable).
p{ll} (function).
p{lm} (special variable).
p{lm} (function).
p{lo} (special variable).
p{lo} (function).
p{lt} (special variable).
p{lt} (function).
p{lu} (special variable).
p{lu} (function).
p{l} (special variable).
p{l} (function).
p{mc} (special variable).
p{mc} (function).
p{me} (special variable).
p{me} (function).
p{mn} (special variable).
p{mn} (function).
p{m} (special variable).
p{m} (function).
p{nd} (special variable).
p{nd} (function).
p{nl} (special variable).
p{nl} (function).
p{no} (special variable).
p{no} (function).
p{n} (special variable).
p{n} (function).
p{pc} (special variable).
p{pc} (function).
p{pd} (special variable).
p{pd} (function).
p{pe} (special variable).
p{pe} (function).
p{pf} (special variable).
p{pf} (function).
p{pi} (special variable).
p{pi} (function).
p{po} (special variable).
p{po} (function).
p{ps} (special variable).
p{ps} (function).
p{p} (special variable).
p{p} (function).
p{sc} (special variable).
p{sc} (function).
p{sk} (special variable).
p{sk} (function).
p{sm} (special variable).
p{sm} (function).
p{so} (special variable).
p{so} (function).
p{s} (special variable).
p{s} (function).
p{zl} (special variable).
p{zl} (function).
p{zp} (special variable).
p{zp} (function).
p{zs} (special variable).
p{zs} (function).
p{z} (special variable).
p{z} (function).
range- (function).
ranges- (function).
ranges-range (function).
cxml-rng/nppcre.lispunicode.lisp (file).
cxml-rng (system).
*in-pattern-parser-p* (special variable).
*standard-optimize-settings* (special variable).
collect-char-class (function).
convert-substraction (function).
copy-lexer (function).
end-of-string-p (function).
fail (function).
get-number (function).
get-quantifier (function).
get-token (function).
greedy-quant (function).
group (function).
lexer (structure).
lexer-last-pos (reader).
(setf lexer-last-pos) (writer).
lexer-len (reader).
lexer-p (function).
lexer-pos (reader).
(setf lexer-pos) (writer).
lexer-str (reader).
looking-at-p (function).
make-char-from-code (function).
make-lexer (function).
make-lexer-internal (function).
map-char-to-special-char-class (function).
maybe-coerce-to-simple-string (macro).
next-char (function).
next-char-non-extended (function).
parse-pattern (function).
pattern-scanner (method).
pattern-scanner (method).
quant (function).
reg-expr (function).
reverse-strings (function).
seq (function).
signal-ppcre-syntax-error (function).
signal-ppcre-syntax-error* (function).
start-of-subexpr-p (function).
unescape-char (function).
unget-token (function).
cxml-rng/types.lispnppcre.lisp (file).
cxml-rng (system).
any-uri-type (class).
base64-binary-type (class).
boolean-type (class).
byte-type (class).
context-find-namespace-binding (generic function).
context-find-unparsed-entity (generic function).
data-type (class).
date-time-type (class).
date-type (class).
day-type (class).
decimal-type (class).
double-type (class).
dtd-compatibility-type (class).
duration-type (class).
end-prefix-mapping (method).
entities-type (class).
entity-type (class).
equal-using-type (generic function).
exact-length (generic reader).
(setf exact-length) (writer method).
find-type (generic function).
float-type (class).
fraction-digits (generic reader).
(setf fraction-digits) (writer method).
hex-binary-type (class).
id-type (class).
idref-type (class).
idrefs-type (class).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
initialize-instance (method).
int-type (class).
integer-type (class).
klacks-validation-context (class).
language-type (class).
lessp-using-type (generic function).
long-type (class).
make-klacks-validation-context (function).
make-param (function).
max-exclusive (generic reader).
(setf max-exclusive) (writer method).
max-inclusive (generic reader).
(setf max-inclusive) (writer method).
max-length (generic reader).
(setf max-length) (writer method).
min-exclusive (generic reader).
(setf min-exclusive) (writer method).
min-inclusive (generic reader).
(setf min-inclusive) (writer method).
min-length (generic reader).
(setf min-length) (writer method).
month-day-type (class).
month-type (class).
name-type (class).
ncname-type (class).
negative-integer-type (class).
nmtoken-type (class).
nmtokens-type (class).
non-negative-integer-type (class).
non-positive-integer-type (class).
normalized-string-type (class).
notation-type (class).
param (structure).
param-name (reader).
(setf param-name) (writer).
param-value (reader).
(setf param-value) (writer).
parse (generic function).
patterns (generic reader).
(setf patterns) (writer method).
(setf patterns) (method).
positive-integer-type (class).
print-object (method).
print-object (method).
print-object (method).
qname-type (class).
rng-type (class).
sax-validation-context-mixin (class).
short-type (class).
start-prefix-mapping (method).
string-type (class).
time-type (class).
token-type (class).
total-digits (generic reader).
(setf total-digits) (writer method).
type-context-dependent-p (generic function).
type-id-type (generic function).
type-library (generic function).
type-name (generic function).
unparsed-entity-declaration (method).
unsigned-byte-type (class).
unsigned-int-type (class).
unsigned-long-type (class).
unsigned-short-type (class).
validation-context (class).
validp (generic function).
xsd-id-type (class).
xsd-idref-type (class).
xsd-idrefs-type (class).
xsd-string-type (class).
xsd-token-type (class).
xsd-type (class).
year-month-type (class).
year-type (class).
*id-type* (special variable).
*idref-type* (special variable).
*idrefs-type* (special variable).
*string-data-type* (special variable).
*token-data-type* (special variable).
*whitespace* (special variable).
*xsd-types* (special variable).
<-using-type (function).
<=-using-type (function).
>-using-type (function).
>=-using-type (function).
chained-type (reader method).
(setf chained-type) (writer method).
compiled-patterns (reader method).
(setf compiled-patterns) (writer method).
context-source (reader method).
(setf context-source) (writer method).
context-stack (reader method).
(setf context-stack) (writer method).
copy-param (function).
copy-qname (function).
datetime+duration (function).
datetime+timezone (function).
day-limit (function).
defxsd (macro).
describe-facets (generic function).
enumeration-type (class).
length-mixin (class).
length-using-type (generic function).
make-qname (function).
max* (function).
min* (function).
munge-whitespace (generic function).
namep (function).
normalize-date-time (function).
normalize-whitespace (function).
ordering-mixin (class).
param-p (function).
parse-float (function).
parse-parameter (generic function).
parse-parameters (function).
parse-time (function).
parse/xsd (generic function).
precompile (macro).
qname (structure).
qname-length (reader).
(setf qname-length) (writer).
qname-like (class).
qname-lname (reader).
(setf qname-lname) (writer).
qname-p (function).
qname-uri (reader).
(setf qname-uri) (writer).
replace-whitespace (function).
scan-to-strings (function).
time-ordering-mixin (class).
unparsed-entities (reader method).
(setf unparsed-entities) (writer method).
validp/xsd (generic function).
word-type (reader method).
zip (function).
cxml-rng/parse.lisptypes.lisp (file).
cxml-rng (system).
any-name (structure).
any-name-except (reader).
(setf any-name-except) (writer).
attribute (function).
attribute (structure).
choice (structure).
data (structure).
dtd-compatibility-error (condition).
element (structure).
empty (structure).
group (structure).
interleave (structure).
list-pattern (structure).
make-validating-source (function).
name (structure).
name-class (structure).
name-class-choice (structure).
name-class-choice-a (reader).
(setf name-class-choice-a) (writer).
name-class-choice-b (reader).
(setf name-class-choice-b) (writer).
name-lname (reader).
(setf name-lname) (writer).
name-uri (reader).
(setf name-uri) (writer).
not-allowed (structure).
ns-name (structure).
ns-name-except (reader).
(setf ns-name-except) (writer).
ns-name-uri (reader).
(setf ns-name-uri) (writer).
one-or-more (structure).
parse-schema (function).
pattern (structure).
pattern-a (reader).
(setf pattern-a) (writer).
pattern-b (reader).
(setf pattern-b) (writer).
pattern-child (reader).
(setf pattern-child) (writer).
pattern-element (function).
pattern-except (reader).
(setf pattern-except) (writer).
pattern-name (reader).
(setf pattern-name) (writer).
pattern-params (reader).
(setf pattern-params) (writer).
pattern-string (reader).
(setf pattern-string) (writer).
pattern-type (reader).
(setf pattern-type) (writer).
pattern-value (reader).
(setf pattern-value) (writer).
print-object (method).
print-object (method).
ref (structure).
rng-error (function).
rng-error (condition).
rng-error-column-number (reader method).
(setf rng-error-column-number) (writer method).
rng-error-line-number (reader method).
(setf rng-error-line-number) (writer method).
rng-error-system-id (reader method).
(setf rng-error-system-id) (writer method).
schema (structure).
schema-start (reader).
(setf schema-start) (writer).
serialize-schema (function).
text (structure).
value (structure).
!lname (special variable).
!uri (special variable).
%combination (structure).
%combination-p (function).
%leaf (structure).
%leaf-nullable (function).
(setf %leaf-nullable) (function).
%leaf-p (function).
%named-pattern (structure).
%named-pattern-p (function).
%parent (structure).
%parent-p (function).
%typed-pattern (structure).
%typed-pattern-p (function).
*any-name-allowed-p* (special variable).
*attribute-namespace-p* (special variable).
*compatibility-grammar* (special variable).
*compatibility-table* (special variable).
*datatype-library* (special variable).
*debug* (special variable).
*definitions-to-names* (special variable).
*dtd-restriction-validator* (special variable).
*entity-resolver* (special variable).
*error-class* (special variable).
*external-href-stack* (special variable).
*grammar* (special variable).
*in-attribute* (special variable).
*in-attribute-p* (special variable).
*in-choices* (special variable).
*in-data-except-p* (special variable).
*in-default-value-p* (special variable).
*in-element* (special variable).
*in-list-p* (special variable).
*in-one-or-more-p* (special variable).
*in-one-or-more//group-or-interleave-p* (special variable).
*in-start-p* (special variable).
*include-body-p* (special variable).
*include-definitions* (special variable).
*include-start* (special variable).
*include-uri-stack* (special variable).
*namespace-uri* (special variable).
*newly-seen-definitions* (special variable).
*ns* (special variable).
*ns-name-allowed-p* (special variable).
*process-dtd-compatibility* (special variable).
*relax-ng-grammar* (special variable).
*rng-namespace* (special variable).
*seen-names* (special variable).
*validate-grammar* (special variable).
*whitespace* (special variable).
after (structure).
after-a (function).
(setf after-a) (function).
after-b (function).
(setf after-b) (function).
after-nullable (function).
(setf after-nullable) (function).
after-p (function).
any-name-p (function).
assert-name-class-finite (function).
attribute-p (function).
check-attribute-compatibility/default (function).
check-attribute-compatibility/id (function).
check-element-overlap-compatibility (function).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-compatibility (method).
check-pattern-definitions (function).
check-recursion (method).
check-recursion (method).
check-recursion (method).
check-recursion (method).
check-recursion (method).
check-recursion (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-restrictions (method).
check-schema-compatibility (function).
check-start-restrictions (function).
choice-a (function).
(setf choice-a) (function).
choice-b (function).
(setf choice-b) (function).
choice-ify (function).
choice-nullable (function).
(setf choice-nullable) (function).
choice-p (function).
classes-overlap-p (function).
compatibility-table (structure).
compatibility-table-p (function).
consume-and-parse-characters (function).
consume-and-skip-to-native (function).
content-type-max (function).
copy-%combination (function).
copy-%leaf (function).
copy-%named-pattern (function).
copy-%parent (function).
copy-%typed-pattern (function).
copy-after (function).
copy-any-name (function).
copy-attribute (function).
copy-choice (function).
copy-compatibility-table (function).
copy-data (function).
copy-definition (function).
copy-dtd-attribute (function).
copy-dtd-element (function).
copy-dtd-member (function).
copy-element (function).
copy-empty (function).
copy-grammar (function).
copy-group (function).
copy-interleave (function).
copy-list-pattern (function).
copy-name (function).
copy-name-class (function).
copy-name-class-choice (function).
copy-not-allowed (function).
copy-ns-name (function).
copy-one-or-more (function).
copy-pattern (function).
copy-pattern-tree (function).
copy-ref (function).
copy-schema (function).
copy-text (function).
copy-value (function).
data-p (function).
definition (structure).
definition-p (function).
defn-child (reader).
(setf defn-child) (writer).
defn-combine-method (reader).
(setf defn-combine-method) (writer).
defn-head-p (reader).
(setf defn-head-p) (writer).
defn-name (reader).
(setf defn-name) (writer).
defn-redefinition (reader).
(setf defn-redefinition) (writer).
destructure-name (function).
dtd-attribute (structure).
dtd-attribute-p (function).
dtd-attributes (reader).
(setf dtd-attributes) (writer).
dtd-default-value (reader).
(setf dtd-default-value) (writer).
dtd-element (structure).
dtd-element-p (function).
dtd-elements (reader).
(setf dtd-elements) (writer).
dtd-id-type (reader).
(setf dtd-id-type) (writer).
dtd-id-type-declared-by (reader).
(setf dtd-id-type-declared-by) (writer).
dtd-member (structure).
dtd-member-p (function).
dtd-name (reader).
(setf dtd-name) (writer).
dtd-value-declared-by (reader).
(setf dtd-value-declared-by) (writer).
element-child (function).
(setf element-child) (function).
element-name (function).
(setf element-name) (function).
element-nullable (function).
(setf element-nullable) (function).
element-p (function).
empty-nullable (function).
(setf empty-nullable) (function).
empty-p (function).
ensure-dtd-attribute (function).
ensure-dtd-element (function).
escape-uri (function).
finalize-definitions (function).
find-definition (function).
(setf find-definition) (function).
flush (function).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-empty (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
fold-not-allowed (method).
getname (function).
(setf getname) (function).
grammar (structure).
grammar-definitions (reader).
(setf grammar-definitions) (writer).
grammar-p (function).
grammar-parent (reader).
(setf grammar-parent) (writer).
grammar-start (reader).
(setf grammar-start) (writer).
group-a (function).
(setf group-a) (function).
group-b (function).
(setf group-b) (function).
group-nullable (function).
(setf group-nullable) (function).
group-p (function).
groupable-max (function).
groupify (function).
interleave-a (function).
(setf interleave-a) (function).
interleave-b (function).
(setf interleave-b) (function).
interleave-ify (function).
interleave-nullable (function).
(setf interleave-nullable) (function).
interleave-p (function).
invoke-with-klacks-handler (function).
invoke-with-library-and-ns (function).
list-pattern-child (function).
(setf list-pattern-child) (function).
list-pattern-nullable (function).
(setf list-pattern-nullable) (function).
list-pattern-p (function).
make-%combination (function).
make-%leaf (function).
make-%named-pattern (function).
make-%parent (function).
make-%typed-pattern (function).
make-after (function).
make-any-name (function).
make-attribute (function).
make-choice (function).
make-compatibility-table (function).
make-data (function).
make-definition (function).
make-dtd-attribute (function).
make-dtd-element (function).
make-dtd-member (function).
make-element (function).
make-empty (function).
make-grammar (function).
make-group (function).
make-interleave (function).
make-list-pattern (function).
make-name (function).
make-name-class (function).
make-name-class-choice (function).
make-not-allowed (function).
make-ns-name (function).
make-one-or-more (function).
make-pattern (function).
make-ref (function).
make-schema (function).
make-schema-source (function).
make-text (function).
make-value (function).
missing (function).
name-class-choice-p (function).
name-class-p (function).
name-p (function).
named-string-xstream (function).
not-allowed-nullable (function).
(setf not-allowed-nullable) (function).
not-allowed-p (function).
ns-name-p (function).
ntc (function).
one-or-more-child (function).
(setf one-or-more-child) (function).
one-or-more-nullable (function).
(setf one-or-more-nullable) (function).
one-or-more-p (function).
p/attribute (function).
p/combination (function).
p/data (function).
p/element (function).
p/empty (function).
p/except-name-class (function).
p/except-name-class? (function).
p/except-pattern (function).
p/external-ref (function).
p/grammar (function).
p/list (function).
p/mixed (function).
p/name-class (function).
p/name-class* (function).
p/not-allowed (function).
p/one-or-more (function).
p/optional (function).
p/param (function).
p/parent-ref (function).
p/pattern (function).
p/pattern+ (function).
p/pattern? (function).
p/ref (function).
p/text (function).
p/value (function).
p/zero-or-more (function).
pattern-crdepth (reader).
(setf pattern-crdepth) (writer).
pattern-default-value (reader).
(setf pattern-default-value) (writer).
pattern-ns (reader).
(setf pattern-ns) (writer).
pattern-nullable (reader).
(setf pattern-nullable) (writer).
pattern-p (function).
pattern-target (reader).
(setf pattern-target) (writer).
process-define (function).
process-div (function).
process-grammar-content* (function).
process-include (function).
process-start (function).
ref-p (function).
representatives (method).
representatives (method).
representatives (method).
representatives (method).
reset-definition-for-include (function).
restore-definition (function).
safe-parse-uri (function).
schema-compatibility-table (reader).
(setf schema-compatibility-table) (writer).
schema-definitions (reader).
(setf schema-definitions) (writer).
schema-interned-start (reader).
(setf schema-interned-start) (writer).
schema-p (function).
schema-registratur (reader).
(setf schema-registratur) (writer).
serialization-name (function).
serialize-definition (function).
serialize-except-name (function).
serialize-name (function).
serialize-pattern (function).
simplify-nc-choice (function).
skip-foreign (function).
skip-foreign* (function).
skip-to-native (function).
text-nullable (function).
(setf text-nullable) (function).
text-p (function).
value-p (function).
with-library-and-ns (macro).
xstream-open-schema (function).
zip (function).
cxml-rng/validate.lispparse.lisp (file).
cxml-rng (system).
characters (method).
characters (method).
end-document (method).
end-element (method).
end-element (method).
end-element (method).
make-dtd-compatibility-handler (function).
make-validator (function).
start-element (method).
start-element (method).
start-element (method).
*empty* (special variable).
*not-allowed* (special variable).
*seen-elements* (special variable).
advance (function).
after-start-tag-p (reader method).
(setf after-start-tag-p) (writer method).
apply-after (generic function).
attribute' (generic function).
attributes' (function).
close-start-tag' (generic function).
close-start-tag'-cache (reader method).
compatibility-table (reader method).
(setf compatibility-table) (writer method).
compute-nullable (generic function).
contains (generic function).
current-pattern (reader method).
(setf current-pattern) (writer method).
data' (generic function).
describe-name (generic function).
dtd-compatibility-handler (class).
eat (function).
end-tag' (generic function).
end-tag'-cache (reader method).
ensure-hash (function).
ensure-registratur (function).
ensuref (macro).
expectation (generic function).
extra-namespaces (reader method).
(setf extra-namespaces) (writer method).
finalize-pattern (function).
flush-pending (function).
intern-after (generic function).
intern-choice (generic function).
intern-group (generic function).
intern-interleave (generic function).
intern-one-or-more (generic function).
intern-pattern (generic function).
intern-zero-or-more (function).
list' (function).
mixed-text' (generic function).
mixed-text'-cache (reader method).
non-element' (generic function).
non-element'-cache (reader method).
nullable (function).
open-start-tag' (generic function).
open-start-tag'-cache (reader method).
pending-text-node (reader method).
pending-text-node (reader method).
(setf pending-text-node) (writer method).
(setf pending-text-node) (writer method).
process-dtd-attribute (function).
registratur (reader method).
(setf registratur) (writer method).
replace-scary-characters (function).
seen-idrefs (reader method).
(setf seen-idrefs) (writer method).
seen-ids (reader method).
(setf seen-ids) (writer method).
text-normalizer (class).
text-only' (function).
validation-error-class (reader method).
(setf validation-error-class) (writer method).
validator (class).
value-matches-p (function).
whitespacep (function).
words (function).
cxml-rng/test.lispvalidate.lisp (file).
cxml-rng (system).
*compatibility-test-p* (special variable).
*test-xmllint* (special variable).
parse-test (function).
read-nist-grammar (function).
run-dtd-test (function).
run-dtd-tests (function).
run-nist-test/instance (function).
run-nist-tests (function).
run-nist-tests/link (function).
run-test (function).
run-tests (function).
run-validation-test (function).
run-validation-tests (function).
system-directory (function).
test1 (function).
cxml-rng/clex.lisptest.lisp (file).
cxml-rng (system).
deflexer (macro).
*full-table-p* (special variable).
code (function).
copy-fsa (function).
destructure-range (function).
do-bits (macro).
element-of-set-p (macro).
frob2 (function).
fsa (structure).
fsa-branch (function).
fsa-concat (function).
fsa-empty (function).
fsa-end (reader).
(setf fsa-end) (writer).
fsa-epsilon-closure/set (function).
fsa-iterate (function).
fsa-p (function).
fsa-start (reader).
(setf fsa-start) (writer).
fsa-trivial (function).
loadable-states-form (function).
loose-eq (function).
make-empty-set (macro).
make-fsa (function).
make-state (function).
mungle-transitions (function).
ndfsa->dfsa (function).
nset-put (macro).
number-states (function).
over-all-states (function).
parse-char-set (function).
parse-range (function).
partition-range (function).
range- (function).
ranges- (function).
ranges-range (function).
regexp->fsa (function).
regexp-expand-splicing (function).
regexp/and->fsa (function).
regexp/or->fsa (function).
set-size (macro).
state-add-link (function).
state-eps-transitions (function).
(setf state-eps-transitions) (function).
state-final (function).
(setf state-final) (function).
state-id (function).
(setf state-id) (function).
state-transitions (function).
(setf state-transitions) (function).
cxml-rng/compact.lispclex.lisp (file).
cxml-rng (system).
parse-compact (function).
stream-file-position (method).
stream-read-char (method).
*annotation-attributes* (special variable).
*annotation-elements* (special variable).
*annotation-wrap* (special variable).
*compact-parser* (special variable).
*data-types* (special variable).
*default-namespace* (special variable).
*elementp* (special variable).
*keywords* (special variable).
*namespaces* (special variable).
define-uncompactor (macro).
destructure-cname-like (function).
double (macro).
follow-rnc-uri (function).
hex-stream (class).
invoke-with-element (function).
lambda* (macro).
lookup-data-type (function).
lookup-default (function).
lookup-prefix (function).
make-rng-lexer (function).
munge-schema-ref (function).
nc-name-p (function).
ns-attribute (function).
rnc-uri-p (function).
stream-buffer (reader method).
(setf stream-buffer) (writer method).
stream-pos (reader method).
(setf stream-pos) (writer method).
stream-source (reader method).
(setf stream-source) (writer method).
test-compact (function).
uncompact (function).
uncompact-data-type (function).
uncompact-file (function).
uncompact-file-1 (function).
with-element (macro).
wrap-decls (function).
xor (function).
Packages are listed by definition order.
cxml-rng@code{cxml-rng} implements @a[http://relaxng.org/spec-20011203.html]{
Relax NG} schema validation for Closure XML.
Support for @a[http://relaxng.org/compact-20021121.html]{Compact Syntax}
and @a[http://relaxng.org/compatibility-20011203.html]{DTD Compatibility}
is included.
@begin[Example]{section}
@begin{pre}(cxml:parse-file "test.xml"
(cxml-rng:make-validator
(cxml-rng:parse-schema #p"test.rng")))
@end{pre}
@end{section}
@begin[Classes]{section}
@aboutclass{schema}
@aboutclass{rng-error}
@aboutclass{dtd-compatibility-error}
@end{section}
@begin[Parsing and validating]{section}
@aboutfun{parse-schema}
@aboutfun{parse-compact}
@aboutfun{make-validator}
@aboutfun{make-dtd-compatibility-handler}
@aboutfun{serialize-grammar}
@end{section}
@begin[Grammar introspection]{section}
The following classes and function are exported so that users can
take a peek at the internals of the parsed and simplified grammar.
@aboutfun{schema-start}
@aboutclass{attribute}
@aboutclass{choice}
@aboutclass{data}
@aboutclass{element}
@aboutclass{empty}
@aboutclass{group}
@aboutclass{interleave}
@aboutclass{list-pattern}
@aboutclass{not-allowed}
@aboutclass{one-or-more}
@aboutclass{pattern}
@aboutclass{ref}
@aboutclass{text}
@aboutclass{value}
@aboutfun{pattern-child}
@aboutfun{pattern-a}
@aboutfun{pattern-b}
@aboutfun{pattern-name}
@aboutfun{pattern-element}
@aboutfun{pattern-type}
@aboutfun{pattern-string}
@aboutfun{pattern-value}
@aboutfun{pattern-params}
@aboutfun{pattern-except}
@end{section}
common-lisp.
any-name (structure).
any-name-except (reader).
(setf any-name-except) (writer).
attribute (function).
attribute (structure).
choice (structure).
data (structure).
dtd-compatibility-error (condition).
element (structure).
empty (structure).
group (structure).
interleave (structure).
list-pattern (structure).
make-dtd-compatibility-handler (function).
make-validating-source (function).
make-validator (function).
name (structure).
name-class (structure).
name-class-choice (structure).
name-class-choice-a (reader).
(setf name-class-choice-a) (writer).
name-class-choice-b (reader).
(setf name-class-choice-b) (writer).
name-lname (reader).
(setf name-lname) (writer).
name-uri (reader).
(setf name-uri) (writer).
not-allowed (structure).
ns-name (structure).
ns-name-except (reader).
(setf ns-name-except) (writer).
ns-name-uri (reader).
(setf ns-name-uri) (writer).
one-or-more (structure).
parse-compact (function).
parse-schema (function).
pattern (structure).
pattern-a (reader).
(setf pattern-a) (writer).
pattern-b (reader).
(setf pattern-b) (writer).
pattern-child (reader).
(setf pattern-child) (writer).
pattern-element (function).
pattern-except (reader).
(setf pattern-except) (writer).
pattern-name (reader).
(setf pattern-name) (writer).
pattern-params (reader).
(setf pattern-params) (writer).
pattern-string (reader).
(setf pattern-string) (writer).
pattern-type (reader).
(setf pattern-type) (writer).
pattern-value (reader).
(setf pattern-value) (writer).
ref (structure).
rng-error (function).
rng-error (condition).
rng-error-column-number (generic reader).
(setf rng-error-column-number) (generic writer).
rng-error-line-number (generic reader).
(setf rng-error-line-number) (generic writer).
rng-error-system-id (generic reader).
(setf rng-error-system-id) (generic writer).
schema (structure).
schema-start (reader).
(setf schema-start) (writer).
serialize-schema (function).
text (structure).
value (structure).
!lname (special variable).
!uri (special variable).
%combination (structure).
%combination-p (function).
%leaf (structure).
%leaf-nullable (function).
(setf %leaf-nullable) (function).
%leaf-p (function).
%named-pattern (structure).
%named-pattern-p (function).
%parent (structure).
%parent-p (function).
%typed-pattern (structure).
%typed-pattern-p (function).
*annotation-attributes* (special variable).
*annotation-elements* (special variable).
*annotation-wrap* (special variable).
*any-name-allowed-p* (special variable).
*attribute-namespace-p* (special variable).
*compact-parser* (special variable).
*compatibility-grammar* (special variable).
*compatibility-table* (special variable).
*compatibility-test-p* (special variable).
*data-types* (special variable).
*datatype-library* (special variable).
*debug* (special variable).
*default-namespace* (special variable).
*definitions-to-names* (special variable).
*dtd-restriction-validator* (special variable).
*elementp* (special variable).
*empty* (special variable).
*entity-resolver* (special variable).
*error-class* (special variable).
*external-href-stack* (special variable).
*grammar* (special variable).
*in-attribute* (special variable).
*in-attribute-p* (special variable).
*in-choices* (special variable).
*in-data-except-p* (special variable).
*in-default-value-p* (special variable).
*in-element* (special variable).
*in-list-p* (special variable).
*in-one-or-more-p* (special variable).
*in-one-or-more//group-or-interleave-p* (special variable).
*in-start-p* (special variable).
*include-body-p* (special variable).
*include-definitions* (special variable).
*include-start* (special variable).
*include-uri-stack* (special variable).
*keywords* (special variable).
*namespace-uri* (special variable).
*namespaces* (special variable).
*newly-seen-definitions* (special variable).
*not-allowed* (special variable).
*ns* (special variable).
*ns-name-allowed-p* (special variable).
*process-dtd-compatibility* (special variable).
*relax-ng-grammar* (special variable).
*rng-namespace* (special variable).
*seen-elements* (special variable).
*seen-names* (special variable).
*test-xmllint* (special variable).
*validate-grammar* (special variable).
*whitespace* (special variable).
advance (function).
after (structure).
after-a (function).
(setf after-a) (function).
after-b (function).
(setf after-b) (function).
after-nullable (function).
(setf after-nullable) (function).
after-p (function).
after-start-tag-p (generic reader).
(setf after-start-tag-p) (generic writer).
any-name-p (function).
apply-after (generic function).
assert-name-class-finite (function).
attribute' (generic function).
attribute-p (function).
attributes' (function).
check-attribute-compatibility/default (function).
check-attribute-compatibility/id (function).
check-element-overlap-compatibility (function).
check-pattern-compatibility (generic function).
check-pattern-definitions (function).
check-recursion (generic function).
check-restrictions (generic function).
check-schema-compatibility (function).
check-start-restrictions (function).
choice-a (function).
(setf choice-a) (function).
choice-b (function).
(setf choice-b) (function).
choice-ify (function).
choice-nullable (function).
(setf choice-nullable) (function).
choice-p (function).
classes-overlap-p (function).
close-start-tag' (generic function).
close-start-tag'-cache (generic reader).
compatibility-table (generic reader).
(setf compatibility-table) (generic writer).
compatibility-table (structure).
compatibility-table-p (function).
compute-nullable (generic function).
consume-and-parse-characters (function).
consume-and-skip-to-native (function).
contains (generic function).
content-type-max (function).
copy-%combination (function).
copy-%leaf (function).
copy-%named-pattern (function).
copy-%parent (function).
copy-%typed-pattern (function).
copy-after (function).
copy-any-name (function).
copy-attribute (function).
copy-choice (function).
copy-compatibility-table (function).
copy-data (function).
copy-definition (function).
copy-dtd-attribute (function).
copy-dtd-element (function).
copy-dtd-member (function).
copy-element (function).
copy-empty (function).
copy-grammar (function).
copy-group (function).
copy-interleave (function).
copy-list-pattern (function).
copy-name (function).
copy-name-class (function).
copy-name-class-choice (function).
copy-not-allowed (function).
copy-ns-name (function).
copy-one-or-more (function).
copy-pattern (function).
copy-pattern-tree (function).
copy-ref (function).
copy-schema (function).
copy-text (function).
copy-value (function).
current-pattern (generic reader).
(setf current-pattern) (generic writer).
data' (generic function).
data-p (function).
define-uncompactor (macro).
definition (structure).
definition-p (function).
defn-child (reader).
(setf defn-child) (writer).
defn-combine-method (reader).
(setf defn-combine-method) (writer).
defn-head-p (reader).
(setf defn-head-p) (writer).
defn-name (reader).
(setf defn-name) (writer).
defn-redefinition (reader).
(setf defn-redefinition) (writer).
describe-name (generic function).
destructure-cname-like (function).
destructure-name (function).
double (macro).
dtd-attribute (structure).
dtd-attribute-p (function).
dtd-attributes (reader).
(setf dtd-attributes) (writer).
dtd-compatibility-handler (class).
dtd-default-value (reader).
(setf dtd-default-value) (writer).
dtd-element (structure).
dtd-element-p (function).
dtd-elements (reader).
(setf dtd-elements) (writer).
dtd-id-type (reader).
(setf dtd-id-type) (writer).
dtd-id-type-declared-by (reader).
(setf dtd-id-type-declared-by) (writer).
dtd-member (structure).
dtd-member-p (function).
dtd-name (reader).
(setf dtd-name) (writer).
dtd-value-declared-by (reader).
(setf dtd-value-declared-by) (writer).
eat (function).
element-child (function).
(setf element-child) (function).
element-name (function).
(setf element-name) (function).
element-nullable (function).
(setf element-nullable) (function).
element-p (function).
empty-nullable (function).
(setf empty-nullable) (function).
empty-p (function).
end-tag' (generic function).
end-tag'-cache (generic reader).
ensure-dtd-attribute (function).
ensure-dtd-element (function).
ensure-hash (function).
ensure-registratur (function).
ensuref (macro).
escape-uri (function).
expectation (generic function).
extra-namespaces (generic reader).
(setf extra-namespaces) (generic writer).
finalize-definitions (function).
finalize-pattern (function).
find-definition (function).
(setf find-definition) (function).
flush (function).
flush-pending (function).
fold-empty (generic function).
fold-not-allowed (generic function).
follow-rnc-uri (function).
getname (function).
(setf getname) (function).
grammar (structure).
grammar-definitions (reader).
(setf grammar-definitions) (writer).
grammar-p (function).
grammar-parent (reader).
(setf grammar-parent) (writer).
grammar-start (reader).
(setf grammar-start) (writer).
group-a (function).
(setf group-a) (function).
group-b (function).
(setf group-b) (function).
group-nullable (function).
(setf group-nullable) (function).
group-p (function).
groupable-max (function).
groupify (function).
hex-stream (class).
interleave-a (function).
(setf interleave-a) (function).
interleave-b (function).
(setf interleave-b) (function).
interleave-ify (function).
interleave-nullable (function).
(setf interleave-nullable) (function).
interleave-p (function).
intern-after (generic function).
intern-choice (generic function).
intern-group (generic function).
intern-interleave (generic function).
intern-one-or-more (generic function).
intern-pattern (generic function).
intern-zero-or-more (function).
invoke-with-element (function).
invoke-with-klacks-handler (function).
invoke-with-library-and-ns (function).
lambda* (macro).
list' (function).
list-pattern-child (function).
(setf list-pattern-child) (function).
list-pattern-nullable (function).
(setf list-pattern-nullable) (function).
list-pattern-p (function).
lookup-data-type (function).
lookup-default (function).
lookup-prefix (function).
make-%combination (function).
make-%leaf (function).
make-%named-pattern (function).
make-%parent (function).
make-%typed-pattern (function).
make-after (function).
make-any-name (function).
make-attribute (function).
make-choice (function).
make-compatibility-table (function).
make-data (function).
make-definition (function).
make-dtd-attribute (function).
make-dtd-element (function).
make-dtd-member (function).
make-element (function).
make-empty (function).
make-grammar (function).
make-group (function).
make-interleave (function).
make-list-pattern (function).
make-name (function).
make-name-class (function).
make-name-class-choice (function).
make-not-allowed (function).
make-ns-name (function).
make-one-or-more (function).
make-pattern (function).
make-ref (function).
make-rng-lexer (function).
make-schema (function).
make-schema-source (function).
make-text (function).
make-value (function).
missing (function).
mixed-text' (generic function).
mixed-text'-cache (generic reader).
munge-schema-ref (function).
name-class-choice-p (function).
name-class-p (function).
name-p (function).
named-string-xstream (function).
nc-name-p (function).
non-element' (generic function).
non-element'-cache (generic reader).
not-allowed-nullable (function).
(setf not-allowed-nullable) (function).
not-allowed-p (function).
ns-attribute (function).
ns-name-p (function).
ntc (function).
nullable (function).
one-or-more-child (function).
(setf one-or-more-child) (function).
one-or-more-nullable (function).
(setf one-or-more-nullable) (function).
one-or-more-p (function).
open-start-tag' (generic function).
open-start-tag'-cache (generic reader).
p/attribute (function).
p/combination (function).
p/data (function).
p/element (function).
p/empty (function).
p/except-name-class (function).
p/except-name-class? (function).
p/except-pattern (function).
p/external-ref (function).
p/grammar (function).
p/list (function).
p/mixed (function).
p/name-class (function).
p/name-class* (function).
p/not-allowed (function).
p/one-or-more (function).
p/optional (function).
p/param (function).
p/parent-ref (function).
p/pattern (function).
p/pattern+ (function).
p/pattern? (function).
p/ref (function).
p/text (function).
p/value (function).
p/zero-or-more (function).
parse-test (function).
pattern-crdepth (reader).
(setf pattern-crdepth) (writer).
pattern-default-value (reader).
(setf pattern-default-value) (writer).
pattern-ns (reader).
(setf pattern-ns) (writer).
pattern-nullable (reader).
(setf pattern-nullable) (writer).
pattern-p (function).
pattern-target (reader).
(setf pattern-target) (writer).
pending-text-node (generic reader).
(setf pending-text-node) (generic writer).
process-define (function).
process-div (function).
process-dtd-attribute (function).
process-grammar-content* (function).
process-include (function).
process-start (function).
read-nist-grammar (function).
ref-p (function).
registratur (generic reader).
(setf registratur) (generic writer).
replace-scary-characters (function).
representatives (generic function).
reset-definition-for-include (function).
restore-definition (function).
rnc-uri-p (function).
run-dtd-test (function).
run-dtd-tests (function).
run-nist-test/instance (function).
run-nist-tests (function).
run-nist-tests/link (function).
run-test (function).
run-tests (function).
run-validation-test (function).
run-validation-tests (function).
safe-parse-uri (function).
schema-compatibility-table (reader).
(setf schema-compatibility-table) (writer).
schema-definitions (reader).
(setf schema-definitions) (writer).
schema-interned-start (reader).
(setf schema-interned-start) (writer).
schema-p (function).
schema-registratur (reader).
(setf schema-registratur) (writer).
seen-idrefs (generic reader).
(setf seen-idrefs) (generic writer).
seen-ids (generic reader).
(setf seen-ids) (generic writer).
serialization-name (function).
serialize-definition (function).
serialize-except-name (function).
serialize-name (function).
serialize-pattern (function).
simplify-nc-choice (function).
skip-foreign (function).
skip-foreign* (function).
skip-to-native (function).
stream-buffer (generic reader).
(setf stream-buffer) (generic writer).
stream-pos (generic reader).
(setf stream-pos) (generic writer).
stream-source (generic reader).
(setf stream-source) (generic writer).
system-directory (function).
test-compact (function).
test1 (function).
text-normalizer (class).
text-nullable (function).
(setf text-nullable) (function).
text-only' (function).
text-p (function).
uncompact (function).
uncompact-data-type (function).
uncompact-file (function).
uncompact-file-1 (function).
validation-error-class (generic reader).
(setf validation-error-class) (generic writer).
validator (class).
value-matches-p (function).
value-p (function).
whitespacep (function).
with-element (macro).
with-library-and-ns (macro).
words (function).
wrap-decls (function).
xor (function).
xstream-open-schema (function).
zip (function).
cxml-rng-systemasdf/interface.
common-lisp.
closure-source-file (class).
cxml-clexcommon-lisp.
runes.
deflexer (macro).
*full-table-p* (special variable).
code (function).
copy-fsa (function).
copy-state (function).
destructure-range (function).
do-bits (macro).
element-of-set-p (macro).
frob2 (function).
fsa (structure).
fsa-branch (function).
fsa-concat (function).
fsa-empty (function).
fsa-end (reader).
(setf fsa-end) (writer).
fsa-epsilon-closure/set (function).
fsa-iterate (function).
fsa-p (function).
fsa-start (reader).
(setf fsa-start) (writer).
fsa-trivial (function).
loadable-states-form (function).
loose-eq (function).
make-empty-set (macro).
make-fsa (function).
make-state (function).
mungle-transitions (function).
ndfsa->dfsa (function).
nset-put (macro).
number-states (function).
over-all-states (function).
parse-char-set (function).
parse-range (function).
partition-range (function).
range- (function).
ranges- (function).
ranges-range (function).
regexp->fsa (function).
regexp-expand-splicing (function).
regexp/and->fsa (function).
regexp/or->fsa (function).
set-size (macro).
state-add-link (function).
state-eps-transitions (function).
(setf state-eps-transitions) (function).
state-final (function).
(setf state-final) (function).
state-id (function).
(setf state-id) (function).
state-transitions (function).
(setf state-transitions) (function).
cxml-types@code{cxml-types} defines an extensible interface for XML-related
data types as required for use in Relax NG validation.
It includes Relax NG’s minimal built-in type library, which is named
@code{:||} and defines the types "string" and "token".
In addition, it implements the built-in types of
@a[http://www.w3.org/TR/xmlschema-2/]{XML Schema Datatypes}
as specified in @a[http://relaxng.org/xsd-20010907.html]{Guidelines for
using W3C XML Schema Datatypes with RELAX NG}. The XSD type library
is named @code{:|http://www.w3.org/2001/XMLSchema-datatypes|}.
The types defined by @a[http://relaxng.org/compatibility-20011203.html]{
RELAX NG DTD Compatibility}
are available through the data type library named
@code{:|http://relaxng.org/ns/compatibility/datatypes/1.0|}.
@begin[Example]{section}
@begin{pre}
* (setf ttt (cxml-types:find-type :|| "token"))
#<CXML-TYPES:TOKEN-TYPE {1002D16B71@}>
* (cxml-types:parse ttt "a b")
"a b"
* (cxml-types:parse ttt "a b")
"a b"
* (cxml-types:equal-using-type ttt ** *)
T
@end{pre}
@end{section}
@begin[Type instances]{section}
Each type, together with its parameters, is represented by an
instance of @code{data-type}. The generic function @fun{find-type},
defined for each library, creates type instances. A type’s properties
are accessible using @fun{type-name}, @fun{type-library}, and
@fun{type-context-dependent-p}.
@aboutclass{data-type}
@aboutclass{rng-type}
@aboutclass{xsd-type}
@aboutfun{find-type}
@aboutfun{type-name}
@aboutfun{type-library}
@aboutfun{type-context-dependent-p}
@end{section}
@begin[Using types]{section}
Types allow strings to be tested for validity and equality.
@fun{validp} checks whether a string can be parsed. If it is valid,
@fun{parse} will compute the string’s @emph{value}, and return a
Lisp object of a type-specific class as a representation of that value.
Values returned by @fun{parse} can be compared for equality using
@fun{equal-using-type}. Some types also define a partial ordering,
which can be queried using @fun{lessp-using-type}.
@aboutfun{validp}
@aboutfun{parse}
@aboutfun{equal-using-type}
@aboutfun{lessp-using-type}
@end{section}
@begin[The validation context]{section}
Some types are context dependent, as indicated by
@fun{type-context-dependent-p}. Those types need access to state
computed by the XML parser implicitly, like namespace bindings or
the Base URI.
An abstract class @class{validation-context} is defined that
users of this API can implement a subclass of
to define methods for the generic functions listed below.
In addition, two pre-defined validation context implementations are
provided, one for use with SAX, the other based on Klacks.
@aboutclass{validation-context}
@aboutclass{sax-validation-context-mixin}
@aboutclass{klacks-validation-context}
@aboutfun{context-find-namespace-binding}
@aboutfun{context-find-unparsed-entity}
@end{section}
@begin[Relax NG built-in types]{section}
The following primitive types are defined by Relax NG:
@aboutclass{string-type}
@aboutclass{token-type}
@end{section}
@begin[DTD compatibility types]{section}
The following primitive types are defined by Relax NG DTD
Compatibility:
@aboutclass{id-type}
@aboutclass{idref-type}
@aboutclass{idrefs-type}
@end{section}
@begin[Primitive XSD built-in types]{section}
The following primitive types are part of the XSD built-in data type
library:
@aboutclass{duration-type}
@aboutclass{date-time-type}
@aboutclass{time-type}
@aboutclass{date-type}
@aboutclass{year-month-type}
@aboutclass{year-type}
@aboutclass{month-day-type}
@aboutclass{day-type}
@aboutclass{month-type}
@aboutclass{boolean-type}
@aboutclass{base64-binary-type}
@aboutclass{hex-binary-type}
@aboutclass{float-type}
@aboutclass{decimal-type}
@aboutclass{double-type}
@aboutclass{any-uri-type}
@aboutclass{qname-type}
@aboutclass{notation-type}
@aboutclass{xsd-string-type}
@end{section}
@begin[Enumerated XSD built-in types]{section}
The following types are part of the XSD built-in data type
library, and are defined as derived types through enumeration.
Relax NG does not implement the enumeration facet, so although these
types are described as "derived", they are implemented directly.
@aboutclass{xsd-idrefs-type}
@aboutclass{entities-type}
@aboutclass{nmtokens-type}
@end{section}
@begin[Derived XSD built-in types]{section}
The following types are part of the XSD built-in data type
library, and are defined as derived types through restriction.
@aboutclass{normalized-string-type}
@aboutclass{xsd-token-type}
@aboutclass{language-type}
@aboutclass{name-type}
@aboutclass{ncname-type}
@aboutclass{xsd-id-type}
@aboutclass{xsd-idref-type}
@aboutclass{entity-type}
@aboutclass{nmtoken-type}
@aboutclass{integer-type}
@aboutclass{non-positive-integer-type}
@aboutclass{negative-integer-type}
@aboutclass{long-type}
@aboutclass{int-type}
@aboutclass{short-type}
@aboutclass{byte-type}
@aboutclass{non-negative-integer-type}
@aboutclass{unsigned-long-type}
@aboutclass{unsigned-int-type}
@aboutclass{unsigned-short-type}
@aboutclass{unsigned-byte-type}
@aboutclass{positive-integer-type}
@end{section}
common-lisp.
any-uri-type (class).
base64-binary-type (class).
boolean-type (class).
byte-type (class).
context-find-namespace-binding (generic function).
context-find-unparsed-entity (generic function).
data-type (class).
date-time-type (class).
date-type (class).
day-type (class).
decimal-type (class).
double-type (class).
dtd-compatibility-type (class).
duration-type (class).
entities-type (class).
entity-type (class).
equal-using-type (generic function).
exact-length (generic reader).
(setf exact-length) (generic writer).
find-type (generic function).
float-type (class).
fraction-digits (generic reader).
(setf fraction-digits) (generic writer).
hex-binary-type (class).
id-type (class).
idref-type (class).
idrefs-type (class).
int-type (class).
integer-type (class).
klacks-validation-context (class).
language-type (class).
lessp-using-type (generic function).
long-type (class).
make-klacks-validation-context (function).
make-param (function).
max-exclusive (generic reader).
(setf max-exclusive) (generic writer).
max-inclusive (generic reader).
(setf max-inclusive) (generic writer).
max-length (generic reader).
(setf max-length) (generic writer).
min-exclusive (generic reader).
(setf min-exclusive) (generic writer).
min-inclusive (generic reader).
(setf min-inclusive) (generic writer).
min-length (generic reader).
(setf min-length) (generic writer).
month-day-type (class).
month-type (class).
name-type (class).
ncname-type (class).
negative-integer-type (class).
nmtoken-type (class).
nmtokens-type (class).
non-negative-integer-type (class).
non-positive-integer-type (class).
normalized-string-type (class).
notation-type (class).
param (structure).
param-name (reader).
(setf param-name) (writer).
param-value (reader).
(setf param-value) (writer).
parse (generic function).
patterns (generic reader).
(setf patterns) (generic function).
positive-integer-type (class).
qname-type (class).
rng-type (class).
sax-validation-context-mixin (class).
short-type (class).
string-type (class).
time-type (class).
token-type (class).
total-digits (generic reader).
(setf total-digits) (generic writer).
type-context-dependent-p (generic function).
type-id-type (generic function).
type-library (generic function).
type-name (generic function).
unsigned-byte-type (class).
unsigned-int-type (class).
unsigned-long-type (class).
unsigned-short-type (class).
validation-context (class).
validp (generic function).
xsd-id-type (class).
xsd-idref-type (class).
xsd-idrefs-type (class).
xsd-string-type (class).
xsd-token-type (class).
xsd-type (class).
year-month-type (class).
year-type (class).
*id-type* (special variable).
*idref-type* (special variable).
*idrefs-type* (special variable).
*in-pattern-parser-p* (special variable).
*standard-optimize-settings* (special variable).
*string-data-type* (special variable).
*token-data-type* (special variable).
*whitespace* (special variable).
*xsd-types* (special variable).
+1+ (constant).
+limit-1+ (constant).
. (special variable).
. (function).
<-using-type (function).
<=-using-type (function).
>-using-type (function).
>=-using-type (function).
\c (special variable).
\c (function).
\d (special variable).
\d (function).
\i (special variable).
\i (function).
\s (special variable).
\s (function).
\w (special variable).
\w (function).
^c (special variable).
^c (function).
^d (special variable).
^d (function).
^i (special variable).
^i (function).
^s (special variable).
^s (function).
^w (special variable).
^w (function).
chained-type (generic reader).
(setf chained-type) (generic writer).
collect-char-class (function).
compiled-patterns (generic reader).
(setf compiled-patterns) (generic writer).
context-source (generic reader).
(setf context-source) (generic writer).
context-stack (generic reader).
(setf context-stack) (generic writer).
convert-substraction (function).
copy-lexer (function).
copy-param (function).
copy-qname (function).
datetime+duration (function).
datetime+timezone (function).
day-limit (function).
defblock (macro).
defranges (macro).
defxsd (macro).
describe-facets (generic function).
do-not-constant-fold-me (function).
double-float-nan (special variable).
double-float-negative-infinity (special variable).
double-float-positive-infinity (special variable).
end-of-string-p (function).
enumeration-type (class).
fail (function).
get-number (function).
get-quantifier (function).
get-token (function).
greedy-quant (function).
group (function).
length-mixin (class).
length-using-type (generic function).
lexer (structure).
lexer-last-pos (reader).
(setf lexer-last-pos) (writer).
lexer-len (reader).
lexer-p (function).
lexer-pos (reader).
(setf lexer-pos) (writer).
lexer-str (reader).
looking-at-p (function).
make-char-from-code (function).
make-lexer (function).
make-lexer-internal (function).
make-qname (function).
map-char-to-special-char-class (function).
massage-ranges (function).
max* (function).
maybe-coerce-to-simple-string (macro).
min* (function).
munge-whitespace (generic function).
namep (function).
next-char (function).
next-char-non-extended (function).
normalize-date-time (function).
normalize-whitespace (function).
ordering-mixin (class).
param-p (function).
parse-float (function).
parse-parameter (generic function).
parse-parameters (function).
parse-pattern (function).
parse-time (function).
parse/xsd (generic function).
pattern-scanner (generic function).
precompile (macro).
p{cc} (special variable).
p{cc} (function).
p{cf} (special variable).
p{cf} (function).
p{cn} (special variable).
p{cn} (function).
p{co} (special variable).
p{co} (function).
p{c} (special variable).
p{c} (function).
p{isalphabeticpresentationforms} (special variable).
p{isalphabeticpresentationforms} (function).
p{isarabicpresentationforms-a} (special variable).
p{isarabicpresentationforms-a} (function).
p{isarabicpresentationforms-b} (special variable).
p{isarabicpresentationforms-b} (function).
p{isarabic} (special variable).
p{isarabic} (function).
p{isarmenian} (special variable).
p{isarmenian} (function).
p{isarrows} (special variable).
p{isarrows} (function).
p{isbasiclatin} (special variable).
p{isbasiclatin} (function).
p{isbengali} (special variable).
p{isbengali} (function).
p{isblockelements} (special variable).
p{isblockelements} (function).
p{isbopomofoextended} (special variable).
p{isbopomofoextended} (function).
p{isbopomofo} (special variable).
p{isbopomofo} (function).
p{isboxdrawing} (special variable).
p{isboxdrawing} (function).
p{isbraillepatterns} (special variable).
p{isbraillepatterns} (function).
p{ischerokee} (special variable).
p{ischerokee} (function).
p{iscjkcompatibilityforms} (special variable).
p{iscjkcompatibilityforms} (function).
p{iscjkcompatibilityideographs} (special variable).
p{iscjkcompatibilityideographs} (function).
p{iscjkcompatibility} (special variable).
p{iscjkcompatibility} (function).
p{iscjkradicalssupplement} (special variable).
p{iscjkradicalssupplement} (function).
p{iscjksymbolsandpunctuation} (special variable).
p{iscjksymbolsandpunctuation} (function).
p{iscjkunifiedideographsextensiona} (special variable).
p{iscjkunifiedideographsextensiona} (function).
p{iscjkunifiedideographs} (special variable).
p{iscjkunifiedideographs} (function).
p{iscombiningdiacriticalmarks} (special variable).
p{iscombiningdiacriticalmarks} (function).
p{iscombininghalfmarks} (special variable).
p{iscombininghalfmarks} (function).
p{iscombiningmarksforsymbols} (special variable).
p{iscombiningmarksforsymbols} (function).
p{iscontrolpictures} (special variable).
p{iscontrolpictures} (function).
p{iscurrencysymbols} (special variable).
p{iscurrencysymbols} (function).
p{iscyrillic} (special variable).
p{iscyrillic} (function).
p{isdevanagari} (special variable).
p{isdevanagari} (function).
p{isdingbats} (special variable).
p{isdingbats} (function).
p{isenclosedalphanumerics} (special variable).
p{isenclosedalphanumerics} (function).
p{isenclosedcjklettersandmonths} (special variable).
p{isenclosedcjklettersandmonths} (function).
p{isethiopic} (special variable).
p{isethiopic} (function).
p{isgeneralpunctuation} (special variable).
p{isgeneralpunctuation} (function).
p{isgeometricshapes} (special variable).
p{isgeometricshapes} (function).
p{isgeorgian} (special variable).
p{isgeorgian} (function).
p{isgreekextended} (special variable).
p{isgreekextended} (function).
p{isgreek} (special variable).
p{isgreek} (function).
p{isgujarati} (special variable).
p{isgujarati} (function).
p{isgurmukhi} (special variable).
p{isgurmukhi} (function).
p{ishalfwidthandfullwidthforms} (special variable).
p{ishalfwidthandfullwidthforms} (function).
p{ishangulcompatibilityjamo} (special variable).
p{ishangulcompatibilityjamo} (function).
p{ishanguljamo} (special variable).
p{ishanguljamo} (function).
p{ishangulsyllables} (special variable).
p{ishangulsyllables} (function).
p{ishebrew} (special variable).
p{ishebrew} (function).
p{ishiragana} (special variable).
p{ishiragana} (function).
p{isideographicdescriptioncharacters} (special variable).
p{isideographicdescriptioncharacters} (function).
p{isipaextensions} (special variable).
p{isipaextensions} (function).
p{iskanbun} (special variable).
p{iskanbun} (function).
p{iskangxiradicals} (special variable).
p{iskangxiradicals} (function).
p{iskannada} (special variable).
p{iskannada} (function).
p{iskatakana} (special variable).
p{iskatakana} (function).
p{iskhmer} (special variable).
p{iskhmer} (function).
p{islao} (special variable).
p{islao} (function).
p{islatin-1supplement} (special variable).
p{islatin-1supplement} (function).
p{islatinextended-a} (special variable).
p{islatinextended-a} (function).
p{islatinextended-b} (special variable).
p{islatinextended-b} (function).
p{islatinextendedadditional} (special variable).
p{islatinextendedadditional} (function).
p{isletterlikesymbols} (special variable).
p{isletterlikesymbols} (function).
p{ismalayalam} (special variable).
p{ismalayalam} (function).
p{ismathematicaloperators} (special variable).
p{ismathematicaloperators} (function).
p{ismiscellaneoussymbols} (special variable).
p{ismiscellaneoussymbols} (function).
p{ismiscellaneoustechnical} (special variable).
p{ismiscellaneoustechnical} (function).
p{ismongolian} (special variable).
p{ismongolian} (function).
p{ismyanmar} (special variable).
p{ismyanmar} (function).
p{isnumberforms} (special variable).
p{isnumberforms} (function).
p{isogham} (special variable).
p{isogham} (function).
p{isopticalcharacterrecognition} (special variable).
p{isopticalcharacterrecognition} (function).
p{isoriya} (special variable).
p{isoriya} (function).
p{isprivateuse} (special variable).
p{isprivateuse} (function).
p{isrunic} (special variable).
p{isrunic} (function).
p{issinhala} (special variable).
p{issinhala} (function).
p{issmallformvariants} (special variable).
p{issmallformvariants} (function).
p{isspacingmodifierletters} (special variable).
p{isspacingmodifierletters} (function).
p{isspecials} (special variable).
p{isspecials} (function).
p{issuperscriptsandsubscripts} (special variable).
p{issuperscriptsandsubscripts} (function).
p{issyriac} (special variable).
p{issyriac} (function).
p{istamil} (special variable).
p{istamil} (function).
p{istelugu} (special variable).
p{istelugu} (function).
p{isthaana} (special variable).
p{isthaana} (function).
p{isthai} (special variable).
p{isthai} (function).
p{istibetan} (special variable).
p{istibetan} (function).
p{isunifiedcanadianaboriginalsyllabics} (special variable).
p{isunifiedcanadianaboriginalsyllabics} (function).
p{isyiradicals} (special variable).
p{isyiradicals} (function).
p{isyisyllables} (special variable).
p{isyisyllables} (function).
p{ll} (special variable).
p{ll} (function).
p{lm} (special variable).
p{lm} (function).
p{lo} (special variable).
p{lo} (function).
p{lt} (special variable).
p{lt} (function).
p{lu} (special variable).
p{lu} (function).
p{l} (special variable).
p{l} (function).
p{mc} (special variable).
p{mc} (function).
p{me} (special variable).
p{me} (function).
p{mn} (special variable).
p{mn} (function).
p{m} (special variable).
p{m} (function).
p{nd} (special variable).
p{nd} (function).
p{nl} (special variable).
p{nl} (function).
p{no} (special variable).
p{no} (function).
p{n} (special variable).
p{n} (function).
p{pc} (special variable).
p{pc} (function).
p{pd} (special variable).
p{pd} (function).
p{pe} (special variable).
p{pe} (function).
p{pf} (special variable).
p{pf} (function).
p{pi} (special variable).
p{pi} (function).
p{po} (special variable).
p{po} (function).
p{ps} (special variable).
p{ps} (function).
p{p} (special variable).
p{p} (function).
p{sc} (special variable).
p{sc} (function).
p{sk} (special variable).
p{sk} (function).
p{sm} (special variable).
p{sm} (function).
p{so} (special variable).
p{so} (function).
p{s} (special variable).
p{s} (function).
p{zl} (special variable).
p{zl} (function).
p{zp} (special variable).
p{zp} (function).
p{zs} (special variable).
p{zs} (function).
p{z} (special variable).
p{z} (function).
qname (structure).
qname-length (reader).
(setf qname-length) (writer).
qname-like (class).
qname-lname (reader).
(setf qname-lname) (writer).
qname-p (function).
qname-uri (reader).
(setf qname-uri) (writer).
quant (function).
range- (function).
ranges- (function).
ranges-range (function).
reg-expr (function).
replace-whitespace (function).
reverse-strings (function).
scan-to-strings (function).
seq (function).
signal-ppcre-syntax-error (function).
signal-ppcre-syntax-error* (function).
single-float-nan (special variable).
single-float-negative-infinity (special variable).
single-float-positive-infinity (special variable).
start-of-subexpr-p (function).
time-ordering-mixin (class).
unescape-char (function).
unget-token (function).
unparsed-entities (generic reader).
(setf unparsed-entities) (generic writer).
validp/xsd (generic function).
word-type (generic reader).
zip (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
@arg[instance]{an instance of @class{any-name}}
@return{a @class{name-class} or @code{nil}}
Return the name class @em{not} allowed by this @code{any-name}, or @code{nil} if there is no such exception.
@unexport{}
@arg[schema]{the parsed Relax NG @class{schema} object}
@arg[handler]{an additional SAX handler to broadcast events to}
@return{a SAX handler}
@short{This function creates a handler for DTD Compatibility processing}
according to @code{schema}.
The validation handler processes SAX events and can be used with any
function generating such events, in particular with cxml:parse-file.
Compatibility processing consists of two steps: Infoset modification
for default values, and soundness checking for attributes with an
ID-type.
In @code{sax:start-element}, infoset modification will be performed as
specified for DTD compatibility. This entails addition of attributes
according to their defaultValue, and addition (and, when the element ends,
removal) of suitable namespace declarations if no prefix has been declared
for the defaulted attribute yet.
Also in @code{sax:start-element}, the handler checks that no ID is declared
more than once. Before the end of the document, the handler checks that
all IDs referred to by attributes with ID-types IDREF or IDREFS have been
declared.
@see{parse-schema}
@see{make-validator}
@arg[source]{a @a[http://common-lisp.net/project/cxml/klacks.html]{
klacks source}}
@return{a @class{klacks-validation-context}}
Create a validation-context that will query the given klacks source for
the current parser context.
@arg[name]{parameter name, a string}
@arg[value]{parameter value, a string}
@return{a @class{param}}
Create a data type parameter.
@see{param-name}
@see{param-value}
@arg[input]{a @code{source} or a stream designator}
@arg[schema]{the parsed Relax NG @class{schema} object}
@return{a klacks source}
@short{This function creates a klacks source for @code{input} that validates
events against @code{schema}.}
Input can be a klacks source or any argument applicable to
@code{cxml:make-source}.
@see{parse-schema}
@see{make-validator}
@arg[schema]{the parsed Relax NG @class{schema} object}
@arg[handler]{an additional SAX handler to broadcast events to}
@return{a SAX handler}
@short{This function creates a validation handler for @code{schema}},
to be used for validation of a document against that schema.
The validation handler processes SAX events and can be used with any function generating such events, in particular with cxml:parse-file.
Events will be passed on unchanged to @code{handler}.
This validator does @em{not} perform DTD compatibility processing.
(Specify a DTD compatibility handler as the second argument to this
function instead.)
@see{parse-schema}
@see{make-validating-source}
@see{make-dtd-compatibility-handler}
@arg[instance]{an instance of @class{name-class-choice}}
@return{a @class{name-class}}
Returns the ’first’ of two name classes that are allowed.
@see{name-class-choice-b}
a.
@arg[instance]{an instance of @class{name-class-choice}}
@return{a @class{name-class}}
Returns the ’second’ of two name classes that are allowed.
@see{name-class-choice-a}
b.
@arg[instance]{an instance of @class{name}}
@return{a string}
Return the expected local name.
@arg[instance]{an instance of @class{name}}
@return{a string}
Return the expected namespace URI.
uri.
@arg[instance]{an instance of @class{ns-name}}
@return{a @class{name-class} or @code{nil}}
Return the name class @em{not} allowed by this @code{ns-name}, or @code{nil} if there is no such exception.
@arg[instance]{an instance of @class{ns-name}}
@return{a string}
Return the expected namespace URI.
uri.
@arg[instance]{an instance of @class{param}}
@return{a string}
The data type parameter’s name.
@see{param-value}
name.
@arg[instance]{an instance of @class{param}}
@return{a string}
The data type parameter’s value.
@see{param-name}
@arg[pathname]{a pathname designator for a Relax NG compact file}
@return{a parsed @class{schema}}
@short{This function parses a Relax NG schema file in compact syntax}
and returns a parsed representation of that schema.
@see{parse-schema}
@see{make-validator}
@arg[input]{a string, pathname, stream, or xstream}
@arg[entity-resolver]{a function of two arguments, or NIL}
@arg[process-dtd-compatibility]{a boolean}
@return{a parsed @class{schema}}
@short{This function parses a Relax NG schema file in XML syntax}
and returns a parsed representation of that schema.
@code{input} can be any stream designator as understood by
@code{cxml:make-source}.
Note that namestrings are not valid arguments,
because they would be interpreted as XML source code. Use pathnames
instead.
@code{entity-resolver} can be passed as a function of two arguments.
It is invoked for every entity referenced by the
document with the entity’s Public ID (a rod) and System ID (an
URI object) as arguments. The function may either return
nil, CXML will then try to resolve the entity as usual.
Alternatively it may return a Common Lisp stream specialized on
@code{(unsigned-byte 8)} which will be used instead.
If @code{process-dtd-compatibility} is true, the schema will be checked
for @em{compatibility} with Relax NG DTD Compatibility, and default values
will be recorded. (Without @code{process-dtd-compatibility}, the schema
will not be checked @em{compatibility}, and annotations for
DTD Compatibility will be ignored like any other foreign element.)
@see{parse-compact}
@see{make-validator}
@arg[instance]{an instance of @class{pattern}}
@return{an instance of @class{pattern}}
@short{Returns the first of two sub-patterns the pattern instance has.}
(Elements in the full Relax NG syntax allow more than two child
patterns, but simplification normalizes the representation so that
any such element has exactly two children.)
@see{pattern-b}
@see{group}
@see{interleave}
@see{choice}
a.
@arg[instance]{an instance of @class{pattern}}
@return{an instance of @class{pattern}}
@short{Returns the second of two sub-patterns the pattern instance has.}
(Elements in the full Relax NG syntax allow more than two child
patterns, but simplification normalizes the representation so that
any such element has exactly two children.)
@see{pattern-a}
@see{group}
@see{interleave}
@see{choice}
b.
@arg[instance]{an instance of @class{pattern}}
@return{an instance of @class{pattern}}
@short{Returns the pattern’s sub-pattern.}
(Elements in the full Relax NG syntax allow more than one child
pattern, but simplification normalizes the representation so that
any such element has exactly one child.)
@see{element}
@see{attribute}
@see{one-or-more}
@see{list-pattern}
@see{choice}
@arg[ref]{an instance of @class{ref}}
@return{an instance of @class{element}}
@short{Returns the ref pattern’s target.}
@code{ref} is the only pattern to introduce shared structure and
circularity into the pattern graph, by referring to elements defined
elsewhere.
(@code{ref} patterns in the full Relax NG syntax can be used to refer to any pattern definition in the grammar. Simplification normalizes the schema so that ref patterns only refer to definitions which have an @code{element} as their child.)
@arg[instance]{an instance of @class{data}}
@return{a @class{pattern}, or @code{nil}}
@short{Returns the @code{data} instance’s @code{except} pattern.}
In addition to a data type, @code{data} can specify that certain values are @em{not} permitted. They are described using a pattern.
If this slot is @code{nil}, no exception is defined.
@arg[instance]{an instance of @class{pattern}}
@return{a @class{name-class}}
@short{Returns the @code{pattern}’s name class.}
This slot describes the name allowed for the current element or
attribute.
@see{element}
@see{attribute}
name.
@arg[instance]{an instance of @class{data}}
@return{a list of @fun{cxml-types:param}}
@short{The data type parameters for this data pattern.}
(With the XSD type library, these are known as restricting facets.)
@arg[instance]{an instance of @class{value}}
@return{a string}
@short{Returns the string expected at this position.}
This string is the lexical representation expected, not parsed into
a value object yet. The parsed object is available as
@fun{pattern-value}.
@see{pattern-type}
@arg[instance]{an instance of @class{pattern}}
@return{a @class{cxml-types:data-type}}
@short{Returns the data type expected at this position.}
This type has already been parsed into an object. Its name and
the URI of its library can be queried from that object.
@see{data}
@see{value}
@see{cxml-types:type-name}
@see{cxml-types:type-library}
type.
@arg[instance]{an instance of @class{value}}
@return{an object as returned by @fun{cxml-types:parse}}
@short{Returns the value expected at this position.}
This object is the result of parsing @fun{pattern-string} using @fun{pattern-type}.
@unexport{}
@arg[instance]{an instance of @class{schema}}
@return{the start pattern, an instance of @class{pattern}}
Reader function for the grammar’s start pattern, from which all
of the grammar’s patters are reachable.
@arg[schema]{a Relax NG @class{schema}}
@arg[sink]{a SAX handler}
@return{the result of @code{sax:end-document}}
@short{This function serializes a parsed Relax NG back into XML syntax.}
Note that the schema represented in memory has gone through simplification
as is textually different from the original XML document.
@see{parse-schema}
@arg[context]{an instance of @class{validation-context}}
@arg[prefix]{name prefix, a string}
@return{the namespace URI as a string, or NIL}
@short{This function resolves a namespace prefix to a namespace URI in the
current context.}
All currently declared namespaces
are taken into account, including those declared directly on the
current element.
sax-validation-context-mixin) prefix) ¶klacks-validation-context) prefix) ¶@arg[context]{an instance of @class{validation-context}}
@arg[name]{entity name, a string}
@return{@code{nil}, or a list of public id, system id, and notation name}
This function looks for an unparsed entity in the current context.
sax-validation-context-mixin) name) ¶klacks-validation-context) name) ¶@arg[type]{an instance of @class{data-type}}
@arg[u]{a parsed value as returned by @fun{parse}}
@arg[v]{a parsed value as returned by @fun{parse}}
@return{a boolean}
@short{Compare the @emph{values} @code{u} and @code{v} using a
data-type-dependent equality function.}
@see{validp}
ncname-type) u v) ¶xsd-string-type) u v) ¶qname-like) u v) ¶any-uri-type) u v) ¶double-type) u v) ¶decimal-type) u v) ¶float-type) u v) ¶hex-binary-type) u v) ¶base64-binary-type) u v) ¶time-ordering-mixin) u v) ¶duration-type) u v) ¶@arg[data-type]{a data type supporting restrictions on value lengths}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-length]{length facet},
or @code{nil} if none was specified.
@see{min-length}
@see{max-length}
length-mixin)) ¶automatically generated reader method
length-mixin)) ¶automatically generated writer method
@arg[library]{datatype library, a keyword symbol}
@arg[name]{the type’s name, a string}
@arg[params]{type parameters, a list of @class{param} instances}
@return{an instance of @class{data-type}, or @code{nil}}
@short{Look up the type named @em{name} in datatype library @em{library}.}
Additional parameters (knows as restricting facets in XSD) can be passed
to specify or restrict the type for the purposes of @fun{validp}.
Return a type instance for this type and the additional parameters,
@code{nil} if the type does not exist, or
@code{:error} if the type exists, but the specified parameters are not
valid for that type.
@see{data-type}
(eql :|http://www.w3.org/2001/xmlschema-datatypes|)) name params) ¶(eql :|http://relaxng.org/ns/compatibility/datatypes/1.0|)) name params) ¶(eql :||)) name params) ¶@arg[data-type]{a subtype of @class{decimal-type}}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-fractionDigits]{fractionDigits facet},
or @code{nil} if none was specified.
@see{total-digits}
decimal-type)) ¶automatically generated reader method
decimal-type)) ¶automatically generated writer method
@arg[type]{an ordered @class{data-type}}
@arg[u]{a parsed value as returned by @fun{parse}}
@arg[v]{a parsed value as returned by @fun{parse}}
@return{a boolean}
@short{Compare the @emph{values} @code{u} and @code{v} using a
data-type-dependent partial ordering.}
A method for this function is provided only by types that have a
natural partial ordering.
@see{equal-using-type}
double-type) u v) ¶decimal-type) u v) ¶float-type) u v) ¶time-ordering-mixin) p q) ¶duration-type) u v) ¶@arg[data-type]{an ordered data type}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-maxExclusive]{maxExclusive facet},
or @code{nil} if none was specified.
@see{min-exclusive}
@see{min-inclusive}
@see{max-inclusive}
ordering-mixin)) ¶automatically generated reader method
ordering-mixin)) ¶automatically generated writer method
@arg[data-type]{an ordered data type}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-maxInclusive]{maxInclusive facet},
or @code{nil} if none was specified.
@see{min-exclusive}
@see{max-exclusive}
@see{min-inclusive}
ordering-mixin)) ¶automatically generated reader method
ordering-mixin)) ¶automatically generated writer method
@arg[data-type]{a data type supporting restrictions on value lengths}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-maxLength]{maxLength facet},
or @code{nil} if none was specified.
@see{exact-length}
@see{min-length}
length-mixin)) ¶automatically generated reader method
length-mixin)) ¶automatically generated writer method
@arg[data-type]{an ordered data type}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-minExclusive]{minExclusive facet},
or @code{nil} if none was specified.
@see{max-exclusive}
@see{min-inclusive}
@see{max-inclusive}
ordering-mixin)) ¶automatically generated reader method
ordering-mixin)) ¶automatically generated writer method
@arg[data-type]{an ordered data type}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-minInclusive]{minInclusive facet},
or @code{nil} if none was specified.
@see{min-exclusive}
@see{max-exclusive}
@see{max-inclusive}
ordering-mixin)) ¶automatically generated reader method
ordering-mixin)) ¶automatically generated writer method
@arg[data-type]{a data type supporting restrictions on value lengths}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-minLength]{minLength facet},
or @code{nil} if none was specified.
@see{exact-length}
@see{max-length}
length-mixin)) ¶automatically generated reader method
length-mixin)) ¶automatically generated writer method
@arg[type]{an instance of @class{data-type}}
@arg[e]{a string}
@arg[context]{an instance of @class{validation-context}}
@return{an object}
@short{Parse string @code{e} and return a representation of its value
as defined by the data type.}
The @code{context} argument is required if @fun{type-context-dependent-p}
is true for @code{type}, and will be ignored otherwise.
@see{equal-using-type}
@see{validp}
dtd-compatibility-type) e &optional context) ¶token-type) e &optional context) ¶string-type) e &optional context) ¶@arg[data-type]{a subtype of @class{xsd-type}}
@return{a list of strings}
This slot reader returns a list of the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-pattern]{pattern facets}.
@arg[instance]{an instance of @class{rng-error}}
@return{an integer, or nil}
Return the column number reported by the parser when the Relax NG error
was detected, or NIL if not available.
@arg[instance]{an instance of @class{rng-error}}
@return{an integer, or nil}
Return the line number reported by the parser when the Relax NG error
was detected, or NIL if not available.
@arg[instance]{an instance of @class{rng-error}}
@return{a puri:uri, or nil}
Return the System ID of the document being parsed when the Relax NG
error was detected, or NIL if not available.
@arg[data-type]{a subtype of @class{decimal-type}}
@return{an integer, or @code{nil}}
This slot reader returns the type’s
@a[http://www.w3.org/TR/xmlschema-2/#rf-totalDigits]{totalDigits facet},
or @code{nil} if none was specified.
@see{fraction-digits}
decimal-type)) ¶automatically generated reader method
decimal-type)) ¶automatically generated writer method
@arg[type]{an instance of @class{data-type}}
@return{a boolean}
@short{Return true if parsing and validation of values by this type
depends on the validation context.}
In this case, the optional @code{context} argument to @fun{parse} and @fun{validp} is required, and an error will be signalled if it is missing.
@see{validation-context}
@see{type-name}
@see{type-library}
@see{type-context-dependent-p}
@see{type-id-type}
entity-type)) ¶qname-like)) ¶@arg[type]{an instance of @class{data-type}}
@return{one of @code{nil}, @code{:id}, @code{:idref}, or @code{:idrefs}}
@short{Returns the @em{ID-type} of @code{type}.}
The symbols @code{nil}, @code{:id}, @code{:idref}, or @code{:idrefs}
represent the ID-types @em{null}, @em{ID}, @em{IDREF}, and @em{IDREFS},
respectively, as defined by
@a[http://relaxng.org/compatibility-20011203.html]{
RELAX NG DTD Compatibility}.
@see{type-name}
@see{type-library}
@see{type-context-dependent-p}
xsd-idrefs-type)) ¶xsd-idref-type)) ¶xsd-id-type)) ¶dtd-compatibility-type)) ¶@arg[type]{an instance of @class{data-type}}
@return{library name, a keyword}
@short{Return the name of the library this type belongs to.}
@see{type-name}
@see{type-context-dependent-p}
@see{type-id-type}
dtd-compatibility-type)) ¶@arg[type]{an instance of @class{data-type}}
@return{type name, a string}
@short{Return the name this type has within its library.}
@see{type-library}
@see{type-context-dependent-p}
@see{type-id-type}
positive-integer-type)) ¶automatically generated reader method
unsigned-byte-type)) ¶automatically generated reader method
unsigned-short-type)) ¶automatically generated reader method
unsigned-int-type)) ¶automatically generated reader method
unsigned-long-type)) ¶automatically generated reader method
non-negative-integer-type)) ¶automatically generated reader method
byte-type)) ¶automatically generated reader method
short-type)) ¶automatically generated reader method
long-type)) ¶automatically generated reader method
negative-integer-type)) ¶automatically generated reader method
non-positive-integer-type)) ¶automatically generated reader method
integer-type)) ¶automatically generated reader method
nmtokens-type)) ¶automatically generated reader method
nmtoken-type)) ¶automatically generated reader method
entities-type)) ¶automatically generated reader method
entity-type)) ¶automatically generated reader method
xsd-idrefs-type)) ¶automatically generated reader method
xsd-idref-type)) ¶automatically generated reader method
xsd-id-type)) ¶automatically generated reader method
ncname-type)) ¶automatically generated reader method
name-type)) ¶automatically generated reader method
language-type)) ¶automatically generated reader method
xsd-token-type)) ¶automatically generated reader method
normalized-string-type)) ¶automatically generated reader method
xsd-string-type)) ¶automatically generated reader method
notation-type)) ¶automatically generated reader method
qname-type)) ¶automatically generated reader method
any-uri-type)) ¶automatically generated reader method
double-type)) ¶automatically generated reader method
decimal-type)) ¶automatically generated reader method
float-type)) ¶automatically generated reader method
hex-binary-type)) ¶automatically generated reader method
base64-binary-type)) ¶automatically generated reader method
boolean-type)) ¶automatically generated reader method
month-type)) ¶automatically generated reader method
month-day-type)) ¶automatically generated reader method
year-type)) ¶automatically generated reader method
year-month-type)) ¶automatically generated reader method
date-type)) ¶automatically generated reader method
time-type)) ¶automatically generated reader method
date-time-type)) ¶automatically generated reader method
duration-type)) ¶automatically generated reader method
idrefs-type)) ¶idref-type)) ¶token-type)) ¶string-type)) ¶@arg[type]{an instance of @class{data-type}}
@arg[e]{a string}
@arg[context]{an instance of @class{validation-context}}
@return{a boolean}
@short{Determine whether a string is a valid lexical representation
for a type.}
The @code{context} argument is required if @fun{type-context-dependent-p}
is true for @code{type}, and will be ignored otherwise.
@see{parse}
@see{equal-using-type}
dtd-compatibility-type) e &optional context) ¶text-normalizer) data) ¶sax.
dtd-compatibility-handler)) ¶sax.
text-normalizer) uri lname qname) ¶sax.
dtd-compatibility-handler) uri lname qname) ¶sax.
sax-validation-context-mixin) prefix) ¶sax.
non-positive-integer-type) &key) ¶unsigned-byte-type) &key) ¶short-type) &key) ¶idrefs-type) &key) ¶positive-integer-type) &key) ¶negative-integer-type) &key) ¶unsigned-short-type) &key) ¶unsigned-long-type) &key) ¶non-negative-integer-type) &key) ¶unsigned-int-type) &key) ¶idref-type) &key) ¶enumeration-type) &key) ¶compile-op) (s closure-source-file)) ¶asdf/action.
dtd-compatibility-type) stream) ¶text-normalizer) uri lname qname attributes) ¶sax.
dtd-compatibility-handler) uri lname qname attributes) ¶sax.
sax-validation-context-mixin) prefix uri) ¶sax.
hex-stream)) ¶trivial-gray-streams.
hex-stream)) ¶sb-gray.
sax-validation-context-mixin) name public-id system-id notation-name) ¶sax.
@short{The class of DTD compatibility errors.}
Signalled while parsing a schema, this error signifies that the schema
is not compatible (as opposed to incorrect).
Signalled during validation, this error signifies that the document is not sound (as opposed to invalid).
@short{The class of all validation and schema parsing errors.}
Signalled while parsing a schema, this error signifies that the schema
is incorrect (or not compatible with DTD Compatibility). Signalled
during validation, this error signifies that the document is invalid
(or not sound).
When parsing or validating with DTD Compatibility, check for
@code{dtd-compatibility-error} to distinguish between
correctness and compatibility or validity and soundness.
@see-slot{rng-error-line-number} @see-slot{rng-error-column-number} @see-slot{rng-error-system-id}
@short{This name class allows any name.}
Exceptions are given as @code{any-name-except}.
@see-slot{any-name-except}
(or null cxml-rng:name-class)
(cxml-rng::missing)
@short{This pattern specifies that an attribute of a certain name class
is required.}
Its child pattern describes the type of the attribute’s
contents.
@see-slot{pattern-name}
@see-slot{pattern-child}
@short{This pattern specifies that one of two possible subpatterns are
allowed at the current position, given as its children.}
@see-slot{pattern-a}
@see-slot{pattern-b}
@short{This pattern specifies that text of a specific data type is
expected.}
The data type instance stored in the @code{pattern-type} slot takes into
account additional paramaters, which can be retrieved using
@code{pattern-params} in their original form.
@see-slot{pattern-type}
@see-slot{pattern-params}
@see-slot{pattern-except}
@short{This pattern specifies that an element of a certain name class
is required.}
Its child pattern describes the attributes and child nodes
of this element.
@see-slot{pattern-name}
@see-slot{pattern-child}
@short{This pattern specifies that nothing more is expected at the current position.}
@short{This pattern specifies that two subpatterns are required at the current position in a specific order.}
@see-slot{pattern-a}
@see-slot{pattern-b}
@short{This pattern specifies that two possible subpatterns are
allowed to occur in any order at the current position.}
@see-slot{pattern-a}
@see-slot{pattern-b}
@short{This pattern specifies that a subpatterns is allowed multiple times a the current position, with whitespace as a separator.}
@see-slot{pattern-child}
@short{This name class allows only a specific name.}
A specific namespace URI and local name are expected.
@see-slot{name-uri}
@see-slot{name-lname}
@short{The abstract superclass of all name-related classes.}
Name classes represent sets of permissible names for an element or
attribute.
Names are pairs of namespace URI and local-name.
@see{attribute}
@see{element}
structure-object.
@short{This name class represents the union of two other name classes.}
@see-slot{name-class-choice-a}
@see-slot{name-class-choice-b}
@short{This pattern specifies that the part of the schema reached at this point is not valid.}
@short{This name class allows all names in a specific namespace}, with
possible exceptions.
A specific namespace URI is expected.
Exceptions are given as @code{ns-name-except}.
@see-slot{ns-name-uri}
@see-slot{ns-name-except}
@short{This pattern specifies that its subpattern is allowed to occur at the current position one or more times.}
@see-slot{pattern-child}
@short{A named data type parameter.}
(With the XSD type library, parameters are known as restricting facets.)
@see-constructor{make-param}
@see{find-type}
@see{cxml-rng:pattern-params}
@see{cxml-rng:data}
@see-slot{param-name}
@see-slot{param-value}
@short{The superclass of all patterns.}
Instances of this class represent elements in the "simplified syntax"
of Relax NG.
Patterns are documented for introspective purposes and are not meant to
be modified by user code.
The start pattern of a schema is available through @fun{schema-start}.
@see{schema}
structure-object.
%combination.
%leaf.
%parent.
ref.
:uninitialized
@short{This pattern references another part of the pattern graph.}
@code{ref} is the only pattern to introduce shared structure and
circularity into the pattern graph, by referring to elements defined
elsewhere.
(@code{ref} patterns in the full Relax NG syntax can be used to refer
to any pattern definition in the grammar. Simplification normalizes
the schema so that ref patterns only refer to definitions which have
an @code{element} as their child.)
@see-slot{pattern-element}
An instance of this class represents a Relax NG grammar that has
been parsed and simplified.
@see-slot{schema-start}
@see-constructor{parse-schema}
@see{make-validator}
@see{serialize-schema}
structure-object.
cxml-rng:pattern
(cxml-rng::missing)
list
(cxml-rng::missing)
(or null cxml-rng:pattern)
(or null hash-table)
(or null cxml-rng::compatibility-table)
@short{This pattern specifies that text is expected here.}
@short{This pattern specifies that a specific value is expected as text
here.}
The value expected is @code{pattern-value}, parsed from
@code{pattern-string} using @code{pattern-type}.
@see-slot{pattern-type}
@see-slot{pattern-value}
@see-slot{pattern-string}
@short{The anyURI data type.}
@b{Syntax.} An arbitrary string (!).
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#anyURI]{specification}.
@b{Implementation.} This type returns a normalized string in which
special characters have been escaped.
@b{Parameters.} This type allows restrictions on the length of the normalized string through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The base64Binary data type.}
@b{Syntax.} Normal Base64 syntax.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#base64Binary]{specification}.
@b{Implementation.} This type returns an @code{(unsigned-byte 8)}
vector.
@b{Parameters.} This type allows restrictions on the length of the octet vector through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The boolean data type.}
@b{Syntax.} "1", "0", "true", or "false".
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#boolean]{specification}.
@b{Implementation.} This type returns @code{t} or @code{nil}.
@b{Parameters.} No parameters except for @fun{pattern} are available for this type.
@short{The byte data type, derived from short.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#byte]{specification}.
@b{Restrictions.} This type allows only values from the interval
[-128, 127].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The abstract superclass of all types.}
Each type belongs to a datatype library, named by a keyword. In each
library, the types are named by strings.
@see-constructor{find-type}
@see-slot{type-name}
@see-slot{type-library}
@see-slot{type-context-dependent-p}
@see-slot{type-id-type}
@see{parse}
@see{equal-using-type}
@see{lessp-using-type}
@see{validp}
@short{The dateTime data type, representing a moment in time.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#dateTime]{specification}.
@b{Implementation.} This type returns lists of the form
@code{(year month day hour minute second timezone)}. Each
value is an integer, except except for @code{second}, which is a real,
and @code{timezone} which is a real or @code{nil}.
A @code{timezone} of @code{nil} indicates UTC.
@b{Example.} @code{2002-10-10T12:00:00-05:00}
maps to @code{(2002 10 10 12 0 0 -5)}
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The date data type, representing a day of the year.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#date]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{hour},
@code{minute} and @code{second} are filled with dummy values from the
Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The gDay data type, representing a calendar day.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#gDay]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{year}, @code{month},
@code{hour}, @code{minute} and @code{second} are filled with dummy values
from the Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The decimal data type.}
@b{Syntax.} A rational number, written using an optional decimal point
and decimal places.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#decimal]{specification}.
@b{Implementation.} This type returns a @code{rational}.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}.
In addition, the facets @slot{fraction-digits} @slot{total-digits} are recognized.
:class
"decimal"
This slot is read-only.
:fraction-digits
:total-digits
@short{The double data type.}
@b{Syntax.} A floating-point number in a "scientific notation". C.f. the @a[http://www.w3.org/TR/xmlschema-2/#double]{specification}.
@b{Implementation.} This type returns a @code{double-float} or, on
implementations where Infinity and Nan cannot be represented as such,
a special symbol that is treated as if it was Infinity or NaN by the
built-in ordering.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}.
@short{The class of DTD Compatibility data types.}
This library contains three types: ID, IDREF, and IDREFS.
This type library is named @code{:|http://relaxng.org/ns/compatibility/datatypes/1.0|}.
@short{The duration data type, representing a duration of time.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#duration]{specification}.
@b{Implementation.} This type returns lists of the form
@code{(years months days hours minutes seconds)}. Each
value can be @code{nil} or a number. All values are integers
except for @code{seconds}, which is a real.
@b{Example.} @code{P1Y2M3DT10H30M}
maps to @code{(1 2 3 10 30 nil)}
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}.
@short{The ENTITIES data type, an enumeration.}
@b{Syntax.} A whitespace-separated sequence of @class{entity-type}
values, with at least one element.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#ENTITIES]{specification}.
@b{Implementation.} This type returns a list of the values as returned by
@class{entity-type}.
@b{Context dependent.} This type is context dependent and requires
the @code{context} argument to @fun{parse} and @fun{validp}.
@b{Parameters.} This type allows restrictions on the number of values through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The ENTITY data type, derived from NCName.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#ENTITY]{specification}.
@b{Restrictions.} This type restricts its supertype @class{ncname-type} to names that have been declared as unparsed entities in the context.
@b{Context dependent.} This type is context dependent and requires
the @code{context} argument to @fun{parse} and @fun{validp}.
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The float data type.}
@b{Syntax.} A floating-point number in a "scientific notation". C.f. the @a[http://www.w3.org/TR/xmlschema-2/#float]{specification}.
@b{Implementation.} This type returns a @code{single-float} or, on
implementations where Infinity and Nan cannot be represented as such,
a special symbol that is treated as if it was Infinity or NaN by the
built-in ordering.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}.
@short{The hexBinary data type.}
@b{Syntax.} A sequence of two-digit hexadecimal numbers representing
one octet each.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#hexBinary]{specification}.
@b{Implementation.} This type returns an @code{(unsigned-byte 8)}
vector.
@b{Parameters.} This type allows restrictions on the length of the octet vector through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The DTD compatibility ’ID’ type.}
For this type, @fun{parse} will return the string with leading and
trailing whitespace removed.
The resulting value must be an NCName.
The ID-type of this data type is ’ID’, ensuring that each value is
only used for one element in a document.
@see{xsd-id-type}
@short{The DTD compatibility ’IDREF’ type.}
For this type, @fun{parse} will return the string with leading and
trailing whitespace removed.
The resulting value must be an NCName.
The ID-type of this data type is ’IDREF’, ensuring that the value referenced must be declared as the ID of an element in the document.
@see{xsd-idref-type}
@short{The DTD compatibility ’IDREFS’ type.}
Strings are valid for this data type they contain a whitespace-separated
list of one or more NCNames. @fun{parse} will return a list of these
substrings.
The ID-type of this data type is ’IDREFS’, ensuring that each value referenced must be declared as the ID of an element in the document.
@see{xsd-idrefs-type}
@short{The int data type, derived from long.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#int]{specification}.
@b{Restrictions.} This type allows only values from the interval
[-2^31, 2^31-1].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The integer data type, derived from decimal.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#integer]{specification}.
@b{Syntax.} An integer, written it the decimal system without leading
zeros. No decimal point is permitted.
@b{Implementation.} This type returns an @code{integer}.
@b{Parameters and implementation.} Unchanged from the supertype.
A validation-context implementation that queries
a klacks source for information about the parser’s current state.
@see-constructor{make-klacks-validation-context}
:source
@short{The language data type, derived from token.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#language]{specification}.
@b{Restrictions.} This type restricts its supertype @class{token-type}
to strings of the pattern "[a-zA-Z]{1,8@}(-[a-zA-Z0-9]{1,8@})*".
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The long data type, derived from integer.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#long]{specification}.
@b{Restrictions.} This type allows only values from the interval
[-2^63, 2^63-1].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The gMonthDay data type, representing a calendar month and day.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#monthDay]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{year},
@code{hour}, @code{minute} and @code{second} are filled with dummy values
from the Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The gMonth data type, representing a calendar month.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#gMonth]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{year}, @code{day},
@code{hour}, @code{minute} and @code{second} are filled with dummy values
from the Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The Name data type, derived from token.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#Name]{specification}.
@b{Restrictions.} This type restricts its supertype @class{token-type}
to strings of the pattern "\i\c*".
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The NCName data type, derived from Name.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#NCName]{specification}.
@b{Restrictions.} This type restricts its supertype @class{name-type}
to strings of the pattern "[\i-[:]][\c-[:]]*".
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The negativeInteger data type, derived from nonPositiveInteger.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#negativeInteger]{specification}.
@b{Restrictions.} This type allows only values < 0.
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The NMTOKEN data type, derived from token.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#NMTOKEN]{specification}.
@b{Restrictions.} This type restricts its supertype @class{token-type}
to strings of the pattern "\c+".
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The NMTOKENS data type, an enumeration.}
@b{Syntax.} A whitespace-separated sequence of @class{nmtoken-type}
values, with at least one element.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#NMTOKENS]{specification}.
@b{Implementation.} This type returns a list of the values as returned by
@class{nmtoken-type}.
@b{Parameters.} This type allows restrictions on the number of values through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The nonNegativeInteger data type, derived from integer.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#nonNegativeInteger]{specification}.
@b{Restrictions.} This type allows only values >= 0.
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The nonPositiveInteger data type, derived from integer.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#nonPositiveInteger]{specification}.
@b{Restrictions.} This type allows only values <= 0.
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The normalizedString data type, derived from string.}
@b{Syntax.} An arbitrary string.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#normalizedString]{specification}.
@b{Implementation.} Returns the string with whitespace replaced.
I.e., each whitespace character is replaced by a space
(character code 32), but multiple spaces, as well as
leading and trailing spaces will still be returned.
(This is the only XSD type that replaces whitespace in this way.)
@b{Parameters.} This type allows restrictions on the length of the normalized string through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The NOTATION data type.}
@b{Syntax.} A qualified name.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#NOTATION]{specification}.
@b{Implementation.} This type is treated exactly like
@class{qname-type}, as specified in
@a[http://relaxng.org/xsd-20010907.html]{Guidelines for using W3C XML
Schema Datatypes with RELAX NG}.
@b{Parameters.} This type allows restrictions on the length of the original QName through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The positiveInteger data type, derived from nonNegativeInteger.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#positiveInteger]{specification}.
@b{Restrictions.} This type allows only values > 0.
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The QName data type.}
@b{Syntax.} A Qualified Name, as per the "Namespaces in XML"
specification. The namespace prefix must be bound to a namespace URI
in the context.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#QName]{specification}.
@b{Context dependent.} This type is context dependent and requires
the @code{context} argument to @fun{parse} and @fun{validp}.
@b{Implementation.} This type returns a structure with two components,
the namespace URI and the local name. fixme: and the original length.
fixme: export this structure.
@b{Parameters.} This type allows restrictions on the length of the original QName through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The class of Relax NG built-in types.}
Relax NG defines two built-in data type: string and token.
The Relax NG type library is named @code{:||}.
@short{A class that implements validation-context as a mixin for
user-defined SAX handler classes.}
The mixin will record namespace information
automatically, and the user’s SAX handler can simply be passed as a
validation context to data type functions.
@short{The short data type, derived from int.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#short]{specification}.
@b{Restrictions.} This type allows only values from the interval
[-2^15, 2^15-1].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The Relax NG ’string’ type.}
This data type allows arbitrary strings and interprets them as-is.
For this type, @fun{parse} will return any string unchanged, and @fun{equal-using-type} compares strings using @code{equal}.
@short{The time data type, representing a time of day.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#dateTime]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{year},
@code{month} and @code{day} are filled with dummy values from the
Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The Relax NG ’token’ type.}
This data type allows arbitrary strings and normalizes all whitespaces.
For this type, @fun{parse} will return the string with leading and
trailing whitespace removed, and remaining sequences of spaces
compressed down to one space character each.
A method for @fun{equal-using-type} compares strings using @code{equal}.
@short{The unsignedByte data type, derived from unsignedInt.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#unsignedByte]{specification}.
@b{Restrictions.} This type allows only values from the interval
[0, 255].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The unsignedInt data type, derived from unsignedLong.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#unsignedInt]{specification}.
@b{Restrictions.} This type allows only values from the interval
[0, 2^32-1].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The unsignedLong data type, derived from nonNegativeInteger.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#unsignedLong]{specification}.
@b{Restrictions.} This type allows only values from the interval
[0, 2^64-1].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{The unsignedShort data type, derived from unsignedInt.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#unsignedShort]{specification}.
@b{Restrictions.} This type allows only values from the interval
[0, 2^16-1].
@b{Parameters and implementation.} Unchanged from the supertype.
@short{This abstract class defines a protocol allowing data types
to query the XML parser about its current state.}
Some types are context dependent, as indicated by
@fun{type-context-dependent-p}. Those types need access to state
computed by the XML parser implicitly, like namespace bindings or
the Base URI.
User-defined subclasses must implement methods
for the functions @fun{context-find-namespace-binding} and
@fun{context-find-unparsed-entity}.
Two pre-defined validation context implementations are provided, one for use with SAX, the other based on Klacks.
@short{The ID data type, derived from NCName.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#ID]{specification}.
@b{Restrictions.} None.
@b{ID type.} This type has the ID-type ’ID’for the purposes of DTD
compatibility. See @a[http://relaxng.org/xsd-20010907.html]{Guidelines
for using W3C XML Schema Datatypes with RELAX NG}.
@b{Parameters and implementation.} Unchanged from the supertype.
@see{id-type}
@short{The IDREF data type, derived from ID.}
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#IDREF]{specification}.
@b{Restrictions.} None.
@b{ID type.} This type has the ID-type ’IDREF’for the purposes of DTD
compatibility. See @a[http://relaxng.org/xsd-20010907.html]{Guidelines
for using W3C XML Schema Datatypes with RELAX NG}.
@b{Parameters and implementation.} Unchanged from the supertype.
@see{idref-type}
@short{The IDREFS data type, an enumeration.}
@b{Syntax.} A whitespace-separated sequence of @class{xsd-idref-type}
values, with at least one element.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#IDREFS]{specification}.
@b{Implementation.} This type returns a list of the values as returned by
@class{xsd-idref-type}.
@b{ID type.} This type has the ID-type ’IDREFS’for the purposes of DTD
compatibility. See @a[http://relaxng.org/xsd-20010907.html]{Guidelines
for using W3C XML Schema Datatypes with RELAX NG}.
@b{Parameters.} This type allows restrictions on the number of values
through the parameters @slot{exact-length}, @slot{min-length}, and
@slot{max-length}.
@see{idrefs-type}
@short{The string data type.}
@b{Syntax.} An arbitrary string.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#string]{specification}.
@b{Implementation.} Returns the string unchanged. This is the only
XSD type that does not normalize or replace whitespace.
@b{Parameters.} This type allows restrictions on the length of the string through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The token data type, derived from normalizedString.}
@b{Syntax.} An arbitrary string.
C.f. the @a[http://www.w3.org/TR/xmlschema-2/#token]{specification}.
@b{Implementation.} Returns the string with normalized whitespace.
I.e., each whitespace character is replaced by a space
(character code 32), multiple spaces are collapsed into one character,
and leading and trailing spaces will be removed.
(This is the standard behaviour of all XSD types with the exception of token’s supertypes @class{string-type} and @class{normalized-string-type}.)
@b{Parameters.} This type allows restrictions on the length of the normalized string through the parameters @slot{exact-length}, @slot{min-length}, and @slot{max-length}.
@short{The class of XML Schema built-in types.}
Subclasses of xsd-type provide the built-in types of
@a[http://www.w3.org/TR/xmlschema-2/]{
XML Schema Part 2: Datatypes Second Edition}
as specified in @a[http://relaxng.org/xsd-20010907.html]{Guidelines for
using W3C XML Schema Datatypes with RELAX NG}.
The XSD type library
is named @code{:|http://www.w3.org/2001/XMLSchema-datatypes|}.
@b{Parameters.} All XSD types accept regular expressions restricting
the set of strings accepted by the type. The pattern parameter is
called @code{"pattern"}. This parameter can be repeated to specify
multiple regular expressions that must all match the data.
As an initarg, specify @code{:pattern} with a list of regular expressions
as an argument.
@see-slot{patterns}
@short{The gYearMonth data type, representing the calendar month of a
specific year.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to the @a[http://www.w3.org/TR/xmlschema-2/#gYearMonth]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{day}, @code{hour},
@code{minute} and @code{second} are filled with dummy values from the
Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
@short{The gYear data type, representing a calendar year.}
@b{Syntax.} This type accepts an ISO-like syntax. For details refer to
the @a[http://www.w3.org/TR/xmlschema-2/#gYear]{specification}.
@b{Implementation.} This type returns the same kind of lists as
@class{date-time-type}, except that the fields @code{month}, @code{day},
@code{hour}, @code{minute} and @code{second} are filled with dummy values
from the Gregorian year AD 1.
@b{Parameters.} This type is ordered and allows the parameters
@slot{max-inclusive}, @slot{min-inclusive},
@slot{max-exclusive}, and @slot{min-exclusive}. The ordering is partial
except within a timezone, see the spec for details.
Iterate body with ‘var’ over all elements of ‘set’.
Determine whether ‘elm’ is element of the set ‘set’.
Create the empty set on the domain [0,n).
Destructively calculate bag = bag U {new}.
Return the upper bound of the domain of ‘set’.
Reads and consumes characters from regex string until a right bracket is seen. Assembles them into a list (which is returned) of characters, character ranges, like (:RANGE #\A #\E) for a-e, and tokens representing special character classes.
Return a copy of SEQUENCE which is EQUAL to SEQUENCE but not EQ.
copy-seq.
name.
Tests whether we’re at the end of the regex string.
Moves (LEXER-POS LEXER) back to the last position stored in (LEXER-LAST-POS LEXER) and pops the LAST-POS stack.
Alternation of a0..an; Hence ‘a0 | a1 | ... | an’.
Concatenation of ‘a1’ and ‘a2’. Hence ‘a1 a2’.
Augment the epsilon closure of the state ‘state’ into ‘state-set’.
Accepts the trivial word consisting out of exactly one ‘char’.
Read and consume the number the lexer is currently looking at and
return it. Returns NIL if no number could be identified.
RADIX is used as in PARSE-INTEGER. If MAX-LENGTH is not NIL we’ll read
at most the next MAX-LENGTH characters. If NO-WHITESPACE-P is not NIL
we don’t tolerate whitespace in front of the number.
Returns a list of two values (min max) if what the lexer is looking at can be interpreted as a quantifier. Otherwise returns NIL and resets the lexer to its old position.
Returns and consumes the next token from the regex string (or NIL).
Parses and consumes a <greedy-quant>.
The productions are: <greedy-quant> -> <group> | <group><quantifier>
where <quantifier> is parsed by the lexer function GET-QUANTIFIER.
Will return <parse-tree> or (:GREEDY-REPETITION <min> <max> <parse-tree>).
Parses and consumes a <group>.
The productions are: <group> -> "("<regex>")"
<legal-token>
Will return <parse-tree> or (<grouping-type> <parse-tree>) where
<grouping-type> is one of six keywords - see source for details.
pos.
Tests whether the next character the lexer would see is CHR. Does not respect extended mode.
Create character from char-code NUMBER. NUMBER can be NIL which is interpreted as 0. ERROR-POS is the position where the corresponding number started within the regex string.