-- Generated by Asnp, the pretty-printer of France Telecom R&D
XSD {joint-iso-itu-t asn1(1) specification(0) modules(0) xml-module(1)}
DEFINITIONS AUTOMATIC TAGS ::=
BEGIN
IMPORTS
ht, lf, cr
FROM ASN1-CHARACTER-MODULE {joint-iso-ccitt asn1(1) specification(0)
modules(0) iso10646(0)};
base64 OBJECT IDENTIFIER ::=
{joint-iso-itu-t asn1(1) specification(0) xml(4) type(1) base64(1)}
base64-description ObjectDescriptor ::= "Base64 XML binary datatype"
String ::= UTF8String
Boolean ::= BOOLEAN
Decimal ::= CHOICE {
xml-integer INTEGER,
xml-decimal REAL(WITH COMPONENTS {
...,
base (10)
})}
Float ::= CHOICE {
nan NULL,
number
REAL
(WITH COMPONENTS {
mantissa (-16777215..16777215),
base (2),
exponent (-149..104)
})}
Double ::= CHOICE {
nan NULL,
number
REAL
(WITH COMPONENTS {
mantissa (-9007199254740991..9007199254740991),
base (2),
exponent (-1075..970)
})}
Duration ::= VisibleString(FROM ("0".."9" | "DHMPSTY:.+-"))
-- (PATTERN duration-pattern)
duration-pattern UTF8String ::=
"" -- to be defined
DateTime ::= VisibleString(FROM ("0".."9" | "DHMPSTYZ:.+-"))
-- (PATTERN dateTime-pattern)
dateTime-pattern UTF8String ::=
"" -- to be defined
Date ::= VisibleString(FROM ("0".."9" | "-"))
-- (PATTERN date-pattern)
date-pattern UTF8String ::= "" -- to be defined
Time ::= VisibleString(FROM ("0".."9" | "Z:.+-"))
-- (PATTERN time-pattern)
time-pattern UTF8String ::= "" -- to be defined
GYearMonth ::= VisibleString(FROM ("0".."9" | "-"))
-- (PATTERN gYearMonth-pattern)
gYearMonth-pattern UTF8String ::=
"" -- to be defined
GYear ::= VisibleString(FROM ("0".."9" | "-"))
-- (PATTERN gYear-pattern)
gYear-pattern UTF8String ::= "" -- to be defined
GMonthDay ::= VisibleString(FROM ("0".."9" | "-"))
-- (PATTERN gMonthDay-pattern)
gMonthDay-pattern UTF8String ::=
"" -- to be defined
GDay ::= VisibleString(FROM ("0".."9" | "-"))
-- (PATTERN gDay-pattern)
gDay-pattern UTF8String ::= "" -- to be defined
GMonth ::= VisibleString(FROM ("0".."9" | "-"))
-- (PATTERN gMonth-pattern)
gMonth-pattern UTF8String ::= "" -- to be defined
HexBinary ::= OCTET STRING
Base64Binary ::= OCTET STRING
AnyURI ::= UTF8String
QName ::= UTF8String
NOTATION ::= UTF8String
NormalizedString ::= String(ALL EXCEPT (ht | lf | cr))
Token ::= NormalizedString
-- (PATTERN token-pattern)
token-pattern UTF8String ::= "" -- to be defined
Language ::= Token(FROM ("a".."z" | "A".."Z"))
-- (PATTERN language-pattern)
language-pattern UTF8String ::=
"([a-zA-Z]#2|[iI]-[a-zA-Z]+|[xX]-[a-zA-Z]+)(-[a-zA-Z]+)*"
NMTOKEN ::= Token
-- (PATTERN nmtoken-pattern)
nmtoken-pattern UTF8String ::= "" -- to be defined
NMTOKENS ::= SEQUENCE OF NMTOKEN
Name ::= Token
-- (PATTERN name-pattern)
name-pattern UTF8String ::= "\i\c*"
NCName ::= Name
-- (PATTERN nCName)
nCName UTF8String ::= "[\i-[:]][\c-[:]]*"
ID ::= NCName
IDREF ::= NCName
ENTITY ::= NCName
IDREFS ::= SEQUENCE OF IDREF
ENTITIES ::= SEQUENCE OF ENTITY
Integer ::= INTEGER
NonPositiveInteger ::= Integer(MIN..0)
NegativeInteger ::= NonPositiveInteger(MIN..-1)
Long ::= Integer(-9223372036854775808..9223372036854775807)
Int ::= Long(-2147483648..2147483647)
Short ::= Int(-32768..32767)
Byte ::= Short(-128..127)
NonNegativeInteger ::= Integer(0..MAX)
UnsignedLong ::= NonNegativeInteger(0..18446744073709551615)
UnsignedInt ::= UnsignedLong(0..4294967295)
UnsignedShort ::= UnsignedInt(0..65535)
UnsignedByte ::= UnsignedShort(0..255)
PositiveInteger ::= NonNegativeInteger(0<..MAX)
XML-ur ::= NULL
END