import java.util.*;
import java.io.*;


//******************************************************************************
// Basic definitions
//******************************************************************************
Main		= .
Preprocessor	= .
Utils		= .
GenerateBasicMethods = .
Formatter	= <filename> String <CD_Beh_flag> String <behCodeType> String.

List(S)		~ {S}.
L4List(S)	~ {lookahead {{4}} S}.


//******************************************************************************
// PART 1:  Definitions of structures implementing the components of the input
// XML schema specification
//******************************************************************************
NSRef		= <namespace> Ident ":".
AttrValue	= [ lookahead {{2}} <prefix> NSRef ]
		    <attrName> Ident "=" <attrValue> String.


Schema		= "<?xml" <xml_attrs> List(AttrValue) "?>"
		    "<" [ <prefixS> NSRef ] "schema"
		    <attrs> List(AttrValue)
		    ">"
		    <items> List(SchemaItem)
		    "</" [ <prefixE> NSRef ] "schema>".
SchemaItem	: lookahead {{4}} ImportSchema |
		  lookahead {{4}} IncludeSchema |
		  lookahead {{4}} RedefineSchema |
		  lookahead {{4}} Annotation |
		  lookahead {{4}} AttributeItem |
		  lookahead {{4}} ElementItem |
		  lookahead {{4}} Notation |
		  lookahead {{4}} TypeDef |
		  Comment.


ImportSchema	= "<" [ <prefixS> NSRef ] "import"
		    <attrs> List(AttrValue)
		    RestOfImportSchema.
RestOfImportSchema : EmptyImportSchema | NonEmptyImportSchema.
EmptyImportSchema	= "/>".
NonEmptyImportSchema = ">"
		       [ Annotation ]
		       "</" [ <prefixE> NSRef ] "import>".
IncludeSchema	= "<" [ <prefixS> NSRef ] "include"
		    <attrs> List(AttrValue)
		    RestOfIncludeSchema.
RestOfIncludeSchema : EmptyIncludeSchema | NonEmptyIncludeSchema.
EmptyIncludeSchema = "/>".
NonEmptyIncludeSchema = ">"
		       [ Annotation ]
		       "</" [ <prefixE> NSRef ] "include>".
RedefineSchema	= "<" [ <prefixS> NSRef ] "redefine"
		    <attrs> List(AttrValue)
		    RestOfRedefineSchema.
RestOfRedefineSchema : EmptyRedefineSchema | NonEmptyRedefineSchema.
EmptyRedefineSchema	= "/>".
NonEmptyRedefineSchema = ">"
		       List(SchemaItem)
		       "</" [ <prefixE> NSRef ] "redefine>".


AttributeItem	: lookahead {{4}} Attribute |
		  lookahead {{4}} AttributeGroup.

Annotation	= "<" [ <prefixS> NSRef ] "annotation>"
		    List(AnnotationContent)
		    "</" [ <prefixE> NSRef ] "annotation>".
AnnotationContent : lookahead {{4}} Appinfo |
		    lookahead {{4}} Documentation.
Appinfo		= "<" [ <prefixS> NSRef ] "appinfo>"
		    <attrs> List(AttrValue)
		    "</" [ <prefixE> NSRef ] "appinfo>".
Documentation	= "<" [ <prefixS> NSRef ] "documentation"
		    <attrs> List(AttrValue)
		    RestOfDocumentation.
RestOfDocumentation : EmptyDocumentation | NonEmptyDocumentation.
EmptyDocumentation = "/>".
NonEmptyDocumentation = ">"
			  [ <documentation> String ]
			  "</" [ <prefixE> NSRef ] "documentation>".


Attribute	= "<" [ <prefixS> NSRef ] "attribute"
		    <attrs> List(AttrValue)
		    RestOfAttribute.
RestOfAttribute	: EmptyAttribute | NonEmptyAttribute.
EmptyAttribute	= "/>".
NonEmptyAttribute = ">"
		      [ lookahead {{4}} Annotation ]
		      [ lookahead {{4}} <type> SimpleType ]
		      "</" [ <prefixE> NSRef ] "attribute>".


AttributeGroup	= "<" [ <prefixS> NSRef ] "attributeGroup"
		    <attrs> List(AttrValue)
		    RestOfAttrGroup.
RestOfAttrGroup	: EmptyAttrGroup | NonEmptyAttrGroup.
EmptyAttrGroup	= "/>".
NonEmptyAttrGroup = ">"
		      [ lookahead {{4}} Annotation ]
		      <attributes> List(AttributeItem)
		      "</" [ <prefixE> NSRef ] "attributeGroup>".


Element		= "<" [ <prefixS> NSRef ] "element"
		    <attrs> List(AttrValue)
		    RestOfElement.
RestOfElement	: EmptyElement | NonEmptyElement.
EmptyElement	= "/>".
NonEmptyElement	= ">"
		    [ lookahead {{4}} Annotation ]
		    [ lookahead {{4}} <type> TypeDef ]
		    [ lookahead {{4}} <key> Key ]
		    [ lookahead {{4}} <keyref> Keyref ]
		    [ lookahead {{4}} <uniqueSpec> UniqueSpec ]
		    "</" [ <prefixE> NSRef ] "element>".

Key		= "<" [ <prefixS> NSRef ] "key"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    Selector
		    List(Field)
		    "</" [ <prefixE> NSRef ] "key>".
Keyref		= "<" [ <prefixS> NSRef ] "keyref"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    Selector
		    List(Field)
		    "</" [ <prefixE> NSRef ] "keyref>".
UniqueSpec	= "<" [ <prefixS> NSRef ] "unique"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    Selector
		    List(Field)
		    "</" [ <prefixE> NSRef ] "unique>".
Selector	= "<" [ <prefixS> NSRef ] "selector"
		    <attrs> List(AttrValue)
		    RestOfSelector.
RestOfSelector	: EmptySelector | NonEmptySelector.
EmptySelector	= "/>".
NonEmptySelector = ">"
		     [ Annotation ]
		     "</" [ <prefixE> NSRef ] "selector>".
Field		= "<" [ <prefixS> NSRef ] "field"
		    <attrs> List(AttrValue)
		    RestOfField.
RestOfField	: EmptyField | NonEmptyField.
EmptyField	= "/>".
NonEmptyField	= ">"
		    [ Annotation ]
		    "</" [ <prefixE> NSRef ] "field>".


ElementGroup	= "<" [ <prefixS> NSRef ] "group"
		    <attrs> List(AttrValue)
		    RestOfElementGroup.
RestOfElementGroup : EmptyElementGroup | NonEmptyElementGroup.
EmptyElementGroup = "/>".
NonEmptyElementGroup = ">"
			 [ lookahead {{4}} Annotation ]
			 <elements> List(ElementItem)
			 "</" [ <prefixE> NSRef ] "group>".


Notation	= "<" [ <prefixS> NSRef ] "notation"
		    <attrs> List(AttrValue)
		    RestOfNotation.
RestOfNotation	: EmptyNotation | NonEmptyNotation.
EmptyNotation	= "/>".
NonEmptyNotation = ">"
		     [ Annotation ]
		     "</" [ <prefixE> NSRef ] "notation>".


TypeDef		: lookahead {{4}} SimpleType |
		  lookahead {{4}} ComplexType.
SimpleType	= "<" [ <prefixS> NSRef ] "simpleType"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    SimpleTypeVariety
		    "</" [ <prefixE> NSRef ] "simpleType>".
SimpleTypeVariety = [ lookahead {{4}} ListVariety ]
		    [ lookahead {{4}} UnionVariety ]
		    [ lookahead {{4}} Restriction ].
ListVariety	= "<" [ <prefixS> NSRef ] "list"
		    <attrs> List(AttrValue)
		    RestOfListVariety.
RestOfListVariety : EmptyListVariety | NonEmptyListVariety.
EmptyListVariety = "/>".
NonEmptyListVariety = ">"
			[ lookahead {{4}} Annotation ]
			[ lookahead {{4}} <type> SimpleType ]
			"</" [ <prefixE> NSRef ] "list>".
UnionVariety	= "<" [ <prefixS> NSRef ] "union"
		    <attrs> List(AttrValue)
		    RestOfUnionVariety.
RestOfUnionVariety : EmptyUnionVariety | NonEmptyUnionVariety.
EmptyUnionVariety = "/>".
NonEmptyUnionVariety = ">"
			[ lookahead {{4}} Annotation ]
			[ lookahead {{4}} <type> SimpleType ]
			"</" [ <prefixE> NSRef ] "union>".

ComplexType	= "<" [ <prefixS> NSRef ] "complexType"
		    <attrs> List(AttrValue)
		    RestOfComplexType.
RestOfComplexType : EmptyComplexType | NonEmptyComplexType.
EmptyComplexType = "/>".
NonEmptyComplexType = ">"
			[ lookahead {{4}} Annotation ]
			ComplexTypeContent
			List(AttributeItem)
			"</" [ <prefixE> NSRef ] "complexType>".

ComplexTypeContent = [ lookahead {{4}} SimpleContent ]
		     [ lookahead {{4}} ComplexContent ]
		     [ lookahead {{4}} ElementItem ].

SimpleContent	= "<" [ <prefixS> NSRef ] "simpleContent"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    TypeDerivation
		    "</" [ <prefixE> NSRef ] "simpleContent>".
TypeDerivation	: lookahead {{4}} Restriction |
		  lookahead {{4}} Extension.


Restriction	= "<" [ <prefixS> NSRef ] "restriction"
		    <attrs> List(AttrValue)
		    RestOfRestriction.
RestOfRestriction : EmptyRestriction | NonEmptyRestriction.
EmptyRestriction = "/>".
NonEmptyRestriction = ">"
			[ lookahead {{4}} Annotation ]
			L4List(ConstrainingFacet)
			[ lookahead {{4}} ElementItem ]
			List(AttributeItem)
			"</" [ <prefixE> NSRef ] "restriction>".

ConstrainingFacet : lookahead {{4}} EnumerationSpec |
		    lookahead {{4}} LengthSpec |
		    lookahead {{4}} MaxExclusive |
		    lookahead {{4}} MaxInclusive |
		    lookahead {{4}} MaxLength |
		    lookahead {{4}} MinExclusive |
		    lookahead {{4}} MinInclusive |
		    lookahead {{4}} MinLength |
		    lookahead {{4}} Pattern |
		    lookahead {{4}} TotalDigits |
		    lookahead {{4}} FractionDigits |
		    lookahead {{4}} Whitespace.

EnumerationSpec	= "<" [ <prefixS> NSRef ] "enumeration" <attrs> List(AttrValue)
		    RestOfEnumerationSpec.
RestOfEnumerationSpec : EmptyEnumerationSpec | NonEmptyEnumerationSpec.
EmptyEnumerationSpec = "/>".
NonEmptyEnumerationSpec = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "enumeration>".

LengthSpec	= "<" [ <prefixS> NSRef ] "length" <attrs> List(AttrValue)
		    RestOfLengthSpec.
RestOfLengthSpec : EmptyLengthSpec | NonEmptyLengthSpec.
EmptyLengthSpec	= "/>".
NonEmptyLengthSpec = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "length>".

MaxExclusive	= "<" [ <prefixS> NSRef ] "maxExclusive" <attrs> List(AttrValue)
		    RestOfMaxExclusive.
RestOfMaxExclusive : EmptyMaxExclusive | NonEmptyMaxExclusive.
EmptyMaxExclusive = "/>".
NonEmptyMaxExclusive = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "maxExclusive>".

MaxInclusive	= "<" [ <prefixS> NSRef ] "maxInclusive" <attrs> List(AttrValue)
		    RestOfMaxInclusive.
RestOfMaxInclusive : EmptyMaxInclusive | NonEmptyMaxInclusive.
EmptyMaxInclusive = "/>".
NonEmptyMaxInclusive = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "maxInclusive>".

MaxLength	= "<" [ <prefixS> NSRef ] "maxLength" <attrs> List(AttrValue)
		    RestOfMaxLength.
RestOfMaxLength : EmptyMaxLength | NonEmptyMaxLength.
EmptyMaxLength	= "/>".
NonEmptyMaxLength = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "maxLength>".

MinExclusive	= "<" [ <prefixS> NSRef ] "minExclusive" <attrs> List(AttrValue)
		    RestOfMinExclusive.
RestOfMinExclusive : EmptyMinExclusive | NonEmptyMinExclusive.
EmptyMinExclusive = "/>".
NonEmptyMinExclusive = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "minExclusive>".

MinInclusive	= "<" [ <prefixS> NSRef ] "minInclusive" <attrs> List(AttrValue)
		    RestOfMinInclusive.
RestOfMinInclusive : EmptyMinInclusive | NonEmptyMinInclusive.
EmptyMinInclusive = "/>".
NonEmptyMinInclusive = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "minInclusive>".

MinLength	= "<" [ <prefixS> NSRef ] "minLength" <attrs> List(AttrValue)
		    RestOfMinLength.
RestOfMinLength : EmptyMinLength | NonEmptyMinLength.
EmptyMinLength	= "/>".
NonEmptyMinLength = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "minLength>".

Pattern	= "<" [ <prefixS> NSRef ] "pattern" <attrs> List(AttrValue)
		    RestOfPattern.
RestOfPattern : EmptyPattern | NonEmptyPattern.
EmptyPattern	= "/>".
NonEmptyPattern = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "pattern>".

TotalDigits	= "<" [ <prefixS> NSRef ] "totalDigits" <attrs> List(AttrValue)
		    RestOfTotalDigits.
RestOfTotalDigits : EmptyTotalDigits | NonEmptyTotalDigits.
EmptyTotalDigits = "/>".
NonEmptyTotalDigits = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "totalDigits>".

FractionDigits	= "<" [ <prefixS> NSRef ] "fractionDigits" <attrs> List(AttrValue)
		    RestOfFractionDigits.
RestOfFractionDigits : EmptyFractionDigits | NonEmptyFractionDigits.
EmptyFractionDigits  = "/>".
NonEmptyFractionDigits = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "fractionDigits>".

Whitespace	= "<" [ <prefixS> NSRef ] "whitespace" <attrs> List(AttrValue)
		    RestOfWhitespace.
RestOfWhitespace : EmptyWhitespace | NonEmptyWhitespace.
EmptyWhitespace	= "/>".
NonEmptyWhitespace = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "whitespace>".


Extension	= "<" [ <prefixS> NSRef ] "extension"
		    <attrs> List(AttrValue)
		    RestOfExtension.
RestOfExtension	: EmptyExtension | NonEmptyExtension.
EmptyExtension	= "/>".
NonEmptyExtension = ">"
		      [ lookahead {{4}} Annotation ]
		      [ lookahead {{4}} ElementItem ]
		      List(AttributeItem)
		      "</" [ <prefixE> NSRef ] "extension>".


ComplexContent	= "<" [ <prefixS> NSRef ] "complexContent"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    TypeDerivation
		    "</" [ <prefixE> NSRef ] "complexContent>".

ElementItem	: lookahead {{4}} Element |
		  lookahead {{4}} ElementGroup |
		  lookahead {{4}} AllGroup |
		  lookahead {{4}} ChoiceGroup |
		  lookahead {{4}} SequenceGroup.

AllGroup	= "<" [ <prefixS> NSRef ] "all"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    List(Element)
		    "</" [ <prefixE> NSRef ] "all>".
ChoiceGroup	= "<" [ <prefixS> NSRef ] "choice"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    List(ElementItem)
		    "</" [ <prefixE> NSRef ] "choice>".
SequenceGroup	= "<" [ <prefixS> NSRef ] "sequence"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead {{4}} Annotation ]
		    List(ElementItem)
		    "</" [ <prefixE> NSRef ] "sequence>".


Comment		= "<!--" <comment> String "-->".



//******************************************************************************
// PART 2:  Definitions of data structures for storing the elements, types, etc.
// described by the input schema specification
//******************************************************************************
CDDef		= [ "Root" <root_element> DataElement ]
		    "(" <global_elements> Hashtable ")"
		    "(" <global_attributes> Hashtable ")"
		    <global_groups> Hashtable
		    <global_attribute_groups> Hashtable
		    <types> List(DataClass).

DataItem	: DataElement | ClassPart
		    common <name> String <type> String
			   [ <nillable_flag> Boolean ].
DataElement	= "DataElement"
		    [ <abstract_ind> Boolean ].
ClassPart	: AttrClassPart | ElementClassPart
		    common <constraint> Constraint.
AttrClassPart	= "AttrClassPart".
ElementClassPart = "ElementClassPart" [ <filler_flag> Boolean ].

GlobalAttrGroup	= "GlobalAttrGroup" <name> String
		    <attributes> List(AttrClassPart).

DataClass	= "DataClass" <name> String
		    <category> String
		    <abstract_ind> boolean
		    "(" <subclasses> List(SubclassSpec) ")"
		    "(" <attr_parts> List(AttrClassPart) ")"
		    "(" <element_parts> List(ElementClassPart) ")"
		    [ "sup" <superclass> String ]
		    [ "supA" <superclass_abstract_ind> Boolean ]
		    [ "mix" <mixed_content_ind> Boolean ].

SubclassSpec	= <name> String <lookaheadCount> int.

Constraint	= "Constraint"
		    <min_occurs> int <max_occurs> int
		    ["grp" <group_part_flag> Boolean]
		    ["all" <all_group_flag> Boolean]
		    ["fix" <fixed_value> String] ["def" <default_value> String]
		    ["id" <id_flag> Boolean] ["idref" <idref_flag> Boolean]
		    ["enum" <enum_values> String]
		    ["len" <length> Integer]
		    ["maxL" <max_length> Integer] ["minL" <min_length> Integer]
		    ["maxV" <max_value> String] ["maxI" <max_included> Boolean]
		    ["minV" <min_value> String] ["minI" <min_included> Boolean]
		    ["pat" <pattern> String]
		    ["dig" <total_digits> Integer]
		    ["frac" <fraction_digits> Integer]
		    ["ws" <whitespace> String].


//******************************************************************************
// PART 3:  Definitions of visitors for traversing the schema object and
// CD-definition object
//******************************************************************************
visitor SchemaVisitor		= <def> CDDef.

visitor GenerateCDVisitor	= <filename> String <behCodeType> String.
visitor GenerateInitsVisitor	= <filename> String <behCodeType> String.
visitor GenerateValidationsVisitor = <filename> String <behCodeType> String.