import java.util.*;
import java.io.*;
import edu.neu.ccs.demeter.dj.*;


//******************************************************************************
// Basic definitions
//******************************************************************************
Main		= .
Preprocessor	= .
Lookup		= .
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		= "<" [ <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)
		    ">"
		    [ 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)
		    ">"
		    [ 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)
		    ">"
		    [ 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)
		    ">"
		    [ lookahead (@4@) Annotation ]
		    [ lookahead (@4@) SimpleType ]
		    L4List(ConstrainingFacet)
		    List(AttributeItem)
		    "</" [ <prefixE> NSRef ] "restriction>".

ConstrainingFacet : lookahead (@4@) Duration |
		    lookahead (@4@) Encoding |
		    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@) Period |
		    lookahead (@4@) Precision |
		    lookahead (@4@) Scale |
		    lookahead (@4@) Whitespace.

Duration	= "<" [ <prefixS> NSRef ] "duration" <attrs> List(AttrValue)
		    RestOfDuration.
RestOfDuration	: EmptyDuration | NonEmptyDuration.
EmptyDuration	= "/>".
NonEmptyDuration = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "duration>".

Encoding	= "<" [ <prefixS> NSRef ] "encoding" <attrs> List(AttrValue)
		    RestOfEncoding.
RestOfEncoding	: EmptyEncoding | NonEmptyEncoding.
EmptyEncoding	= "/>".
NonEmptyEncoding = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "encoding>".

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

Period	= "<" [ <prefixS> NSRef ] "period" <attrs> List(AttrValue)
		    RestOfPeriod.
RestOfPeriod : EmptyPeriod | NonEmptyPeriod.
EmptyPeriod	= "/>".
NonEmptyPeriod = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "period>".

Precision	= "<" [ <prefixS> NSRef ] "precision" <attrs> List(AttrValue)
		    RestOfPrecision.
RestOfPrecision : EmptyPrecision | NonEmptyPrecision.
EmptyPrecision	= "/>".
NonEmptyPrecision = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "precision>".

Scale	= "<" [ <prefixS> NSRef ] "scale" <attrs> List(AttrValue)
		    RestOfScale.
RestOfScale : EmptyScale | NonEmptyScale.
EmptyScale	= "/>".
NonEmptyScale = ">" [ Annotation ] "</" [ <prefixE> NSRef ] "scale>".

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


Extension	= "<" [ <prefixS> NSRef ] "extension"
		    <attrs> List(AttrValue)
		    ">"
		    [ lookahead (@4@) Annotation ]
		    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 |
		  lookahead (@4@) AnyContent.

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


AnyContent	= "<" [ <prefixS> NSRef ] "any"
		    <attrs> List(AttrValue)
		    RestOfAnyContent.
RestOfAnyContent : EmptyAnyContent | NonEmptyAnyContent.
EmptyAnyContent	= "/>".
NonEmptyAnyContent = ">"
		       List(Word)
		       "</" [ <prefixE> NSRef ] "any>".


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.
DataElement	= "DataElement".
ClassPart	: AttrClassPart | ElementClassPart
		    common <constraint> Constraint.
AttrClassPart	= "AttrClassPart".
ElementClassPart = "ElementClassPart".

GlobalGroup	= "GlobalGroup" <name> String <elements> List(DataElement).
GlobalAttrGroup	= "GlobalAttrGroup" <name> String <attributes> List(DataElement).

DataClass	= "DataClass" <name> String
		    <category> String
		    <abstract_ind> boolean
		    "(" <subclasses> List(String) ")"
		    "(" <attr_parts> List(AttrClassPart) ")"
		    "(" <element_parts> List(ElementClassPart) ")"
		    [ <superclass> String ]
		    <part_constraints> List(GroupConstraint).

GroupConstraint	= "GroupConstraint" <group_type> char
		    <partnames> List(String).

Constraint	= "Constraint"
		    <min_occurs> int <max_occurs> int
		    ["minV" <min_value> String] ["minI" <min_included> Boolean]
		    ["maxV" <max_value> String] ["maxI" <max_included> Boolean]
		    ["pat" <pattern> String].


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

CDPrintVisitor		= <filename> String
			    extends Visitor.
BehPrintVisitor		: BehDJPrintVisitor | BehDemeterJPrintVisitor
			    common <filename> String
			    extends Visitor.
BehDJPrintVisitor	= "DJ".
BehDemeterJPrintVisitor	= "DEMETERJ".