Package cxml-types

Example
Type instances
Using types
The validation context
Relax NG built-in types
DTD compatibility types
Primitive XSD built-in types
Enumerated XSD built-in types
Derived XSD built-in types

Example

* (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    

Type instances

Each type, together with its parameters, is represented by an instance of data-type. The generic function find-type, defined for each library, creates type instances. A type's properties are accessible using type-name, type-library, and type-context-dependent-p.

Using types

Types allow strings to be tested for validity and equality. validp checks whether a string can be parsed. If it is valid, parse will compute the string's value, and return a Lisp object of a type-specific class as a representation of that value. Values returned by parse can be compared for equality using equal-using-type. Some types also define a partial ordering, which can be queried using lessp-using-type.

The validation context

Some types are context dependent, as indicated by 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 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.

Relax NG built-in types

The following primitive types are defined by Relax NG:

DTD compatibility types

The following primitive types are defined by Relax NG DTD Compatibility:

Primitive XSD built-in types

The following primitive types are part of the XSD built-in data type library:

Enumerated XSD built-in types

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.

Derived XSD built-in types

The following types are part of the XSD built-in data type library, and are defined as derived types through restriction.