// jsr.cd: a class dictionary for the XML Schema subset

XMLSchema = "<" <open> NameSpace ":schema" " xmlns:" NameSpace "=" URL ">"
                List(ComponentDef) 
            "</" <close> NameSpace ":schema>".
NameSpace = Ident.
URL = String.
List(S) ~  S {S}.

ComponentDef : ElementDef | TypeDef.

ElementDef = "<" NameSpace ":element " 
                 ElementDec [Constraints]
             "/>".
ElementDec : NewDec | RefDec.
NewDec = NameDec TypeDec.
NameDec = "name=" ElementName.
ElementName = String.
TypeDec = "type=" TypeName.
TypeName = String.
RefDec = "ref=" ElementName.
Constraints = List(Constraint).
Constraint : ValueConstraint | IdentityConstraint.
ValueConstraint = Ident. // TBA
IdentityConstraint = Ident. // TBA

TypeDef : SimpleTypeDef | ComplexTypeDef.
SimpleTypeDef = "<" <open> NameSpace ":simplyType " NameDec ">" 
                    RestrictionDef 
                "</" <close> NameSpace ":simplyType>".
RestrictionDef = Ident. // TBA
 
ComplexTypeDef = "<" <open> NameSpace ":complexType " NameDef [TypeDef] ">" 
                     <seqList> SequenceDef <attrList> AttributeDefs
                 "</" <close> NameSpace ":complexType>".
SequenceDef = "<" <open> NameSpace ":sequence>"
                  List(ElementDef)
              "</" <close> NameSpace ":sequence>".
AttributeDefs = List(AttributeDef).
AttributeDef = "<" <open> NameSpace ":attribute>"
                   NameDec TypeDec
               "</" <close> NameSpace ":attribute>".

Main = .