(@ import java.io.*; @)

Schcmp =    "Class Definitions"     <classes>    ClassList 
            "Attribute Definitions" <attributes> AttrList 
            "Syntax Definitions" <syntaxes> SyntaxList *EOF*.

SyntaxList = <syntaxlist> List(SyntaxDef).
SyntaxDef = "[" <Syntaxname> Syntaxname "]"
            ["Flags"    <sflist>      List(SyntaxFlags)].

//List(SyntaxDef)     ~ { SyntaxDef }.
//List(SyntaxFlags)     ~ { SyntaxFlags }.

SyntaxFlags  = <s> String.
Syntaxname   = <s> String.

AttrList = <attrlist> List(AttrDef).
AttrDef = "[" <attrname> Attrname "]"
            ["Flags"    <aflist>      List(AttrFlags)]
            ["Syntax"   <asyntaxlist> List(AttrSyntax)].                       

//List(AttrDef)     ~ { AttrDef }.
//List(AttrFlags)     ~ { AttrFlags }.
//List(AttrSyntax)    ~ { AttrSyntax }.

AttrFlags  = <s> String.
AttrSyntax = <s> String.
Attrname   = <s> String.

ClassDef =   "[" <classname> Classname "]"
            ["Flags"                <flist> List(Flags)] 
            ["Super Class"          <sclass> List(SuperClasses)] 
            ["Containment"          <clist> List(Containment)]
            ["Named By"             <nlist> List(NamedBy)]
            ["Mandatory Attributes" <mlist> List(Mandatory)]
            ["Optional Attributes"  <olist> List(Opt)].

ClassList = <list> List(ClassDef).
List(S)            ~ {S}.
//List(ClassDef)     ~ { ClassDef }.
//List(Flags)        ~ { Flags }.
//List(SuperClasses) ~ { SuperClasses }.
//List(Containment)  ~ { Containment }.
//List(NamedBy)      ~ { NamedBy }.
//List(Mandatory)    ~ Mandatory { Mandatory }.
//List(Opt)          ~ Opt { Opt }.

Flags        = <s> String.
SuperClasses = <s> String.
Containment  = <s> String.
NamedBy      = <s> String.
Mandatory    = <s> String.
Opt          = <s> String.

Classname = <s> String.

Main = .

ClistVisitor = <clist> List(ClassDef).
ClassNameVisitor = <classlist> ClassDef_List <inlist> boolean <same> boolean.

AlistVisitor = <alist> List(AttrDef).
AttrNameVisitor = <attrlist> AttrDef_List <inlist> boolean <same> boolean.

SlistVisitor = <slist> List(SyntaxDef).
SyntaxNameVisitor = <Syntaxlist> SyntaxDef_List <inlist> boolean <same> boolean.

IsDiffVisitor =     <classlist> ClassDef_List
                    <clistdflag> boolean
                    <dflag> boolean 
                    <inlist> boolean 
                    <newClist> ClassDef_List.