import edu.neu.ccs.demeter.dj.*;
import java.util.*;
import java.lang.reflect.*;

Main = .

Schema = "<xsd:schema xmlns:xsd=" String ">" *l List(Parts) "</xsd:schema>" *l. 
Parts : Types | Element.
Types : ComplexType | SimpleType.

ComplexType = "<xsd:complexType" [Name] ">" *l Sequence [Attribute] "</xsd:complexType>" *l.
Attribute = "<xsd:attribute" Name Type EndPart.
Sequence = "<xsd:sequence>" *l List(Parts) "</xsd:sequence>" *l.
Element = "<xsd:element" NameRef List(ElementParts) ElementEndParts.
NameRef : Name | Ref.
ElementParts : Type | MinOccurs | MaxOccurs.
ElementEndParts : SimpleElementEnd | ComplexElementEnd.
SimpleElementEnd = EndPart.
ComplexElementEnd = ">" *l List(Types) "</xsd:element>" *l.

SimpleType = "<xsd:simpleType" [Name] ">" *l Restriction *l "</xsd:simpleType>" *l.
Restriction = "<xsd:restriction" Base ">" *l List(SimpleParts) "</xsd:restriction>".
SimpleParts : MinExclusive | MaxExclusive | MinInclusive | MaxInclusive.

Name = "name=" String.
Ref = "ref=" String.
Base = "base=" String.
Type = "type=" String.
MinOccurs = "minOccurs=" String.
MaxOccurs = "maxOccurs=" String.
MinExclusive = "<xsd:minExclusive" Value EndPart.
MaxExclusive = "<xsd:maxExclusive" Value EndPart.
MinInclusive = "<xsd:minInclusive" Value EndPart.
MaxInclusive = "<xsd:maxInclusive" Value EndPart.
Value = "value=" String.

EndPart = "/>" *l.
List(S) ~ {S}.