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