(@ import java.util.*;
@)
EdgeDistinctionVisitor = <c> int <a> int.
ClassNameRetVisitor = <cn> ClassName.
ClassNameTranspVisitor = <pcn> ParamClassName.
EdgeVisitor = 
  <cntv> ClassNameTranspVisitor.
// demjava.cd -- class dictionary for Demeter/Java

Program			= [ <preamble> JavaCode ] ClassGraph 
  ["hashtable" <d> MyHashtable].
MyHashtable = *extends* Hashtable.

ClassGraph		= <classes> DList(ClassDef).

ClassDef		= ParamClassName ClassParts [ ClassMethods ] "."
 			  [ DFS_mark ] [ PP_mark ] .

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

ClassParts		: ConstOrAltClass | RepetitionClass.

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

PartOrSyntax		: Part | OptionalPart | Syntax.

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

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

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

ConstructionClass	= "=".

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

Subclass		= ClassSpec.

Common			= *l + + + "*" "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) ")" ]
			[ PP_mark ]
			.

Syntax			: PlainSyntax | PrintCommand.

PlainSyntax		= <string> String.

PrintCommand		: PrintIndent | PrintUnindent | PrintSkip | PrintSpace.

PrintIndent		= "+" .

PrintUnindent		= "-" .

PrintSkip		= "*l" .

PrintSpace		= "*s" .

// Marks for traversal bookkeeping.
DFS_mark		= "*dfs*".
PP_mark			= "*pp*".


//////////////////////
// Behavior (methods).
//////////////////////
ProgramBehavior		= [ <behavior> DList(ClassBehavior) ] .

ClassBehavior		= ClassName ClassMethods.

ClassMethods		= "{" *l + [ <methods> SList(Method) ] - "}" .

Method			: Traversal | Wrapper | Verbatim.


// Class graph traversal specifications.
Traversal		= "traversal" TraversalName TraversalArgs "{" *l
			+ PathDirective ";" - *l
			"}".

TraversalArgs		= "(" [ <visitors> Commalist(Visitor) ] ")" .

Visitor			= ClassName VisitorName.

PathDirective		= [ "bypassing" Bypassing ] Target.

Bypassing		= <globs> Commalist(Glob).
Glob			: ClassGlob | EdgeGlob.
EdgeGlob		: PartGlob | SubclassGlob.

ClassGlob		= <dest> ClassNameGlob.
PartGlob		= "->" <source> ClassNameGlob ","
			       <edge> PartNameGlob "," <dest> ClassNameGlob.
SubclassGlob		= "=>" <source> ClassNameGlob "," <dest> ClassNameGlob.

ClassNameGlob		: ClassNameExact | AnyClass.
ClassNameExact		= ClassName.
AnyClass		= "*".

PartNameGlob		: PartNameExact | AnyPart.
PartNameExact		= PartName.
AnyPart			= "*".

Target			: To | ToStop *common* ClassName.

To			= "to".
ToStop			= "to-stop".


// Before and after wrappers.
Wrapper			: Before | After *common* ClassName JavaCode.

Before			= "before".
After			= "after".


// Verbatim java code.
Verbatim		= JavaCode.


// Terminal buffer classes.
ClassName		= <name> Ident.
PartName		= <name> Ident.
TraversalName		= <name> Ident.
VisitorName		= <name> Ident.
MethodName		= <name> Ident.
JavaCode		= "(@" <code> String "@)".


// Parameterized class definitions.
List(S) ~ {S}.
SList(S) ~ S { *l S } *l .
DList(S) ~ S { *l *l S } *l .
Commalist(S) ~ S {"," S}.
Barlist(S) ~ S { *l "|" S}.

// Extra utility parameterized classes.
Parameterized		= Commalist(Part).
SyntaxTable		= List(PlainSyntax).


// Visitors.
PrintVisitor		= .
Main = .