ClassGraph		= <classes> DList(ClassDef).

ClassDef		= ParamClassName ClassParts ".".

ParamClassName		= ClassName ["(" <parameters> Commalist(ClassName) ")"].

ClassParts		: ConstOrAltClass | RepetitionClass.

ConstOrAltClass		: ConstructionClass | AlternationClass
			*common* 
				<parts> List(PartOrSyntax)
				<parents> ClassParents.

ClassParents		= [ "*extends*" <parents> ClassSpec ]
			  [ "*implements*" <interfaces> Commalist(ClassSpec) ] .

ConstructionClass	= "=".

PartOrSyntax		: Part | OptionalPart | Syntax.

Part			= [ "<" EdgeName ">" ] ClassSpec.

OptionalPart		= "[" <part> Sandwich(Part) "]".

AlternationClass	= ":" <subclasses> Barlist(Subclass) [ Common ].

Subclass		= ClassSpec.

Common			= "*" "common" "*".

RepetitionClass		= "~" <sandwiched> Sandwich(RepeatedPart).

RepeatedPart		= [ <nonempty> ClassSpec ]
			"{" <repeated> Sandwich(ClassSpec) "}".

Sandwich(S)		= <first> List(Syntax) <inner> S <second> List(Syntax) .

ClassSpec		= ClassName
			["(" <actual_parameters> Commalist(ClassSpec) ")" ].

Syntax	                = <string> String.

ClassName = <name> Ident.  
EdgeName = <name> Ident. 

List(S) ~ {S}.
DList(S) ~ S { S }.
Commalist(S) ~ S {"," S}. 
Barlist(S) ~ S { "|" S}. 

Main=.
DemeterJavaVisitor = <classDefName> Ident <edgeName> String <edgeClass> Ident. 
ClassSpecNameVisitor = <name> Ident.
ClassDefNameVisitor = <name> Ident.
EdgeNameVisitor = <name> Ident.
EdgeClassVisitor = <name> Ident.