// demjava.cd -- class dictionary for Demeter/Java
// from /proj/asl/lieber/java/new-java-envs/mihran

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

Main = .


ClassGraph		= <classes> DList(ClassDef) EOF.

ClassDef		= "(" ClassName ClassParts ")". 

ClassParts		: ConstOrAltClass | RepetitionClass.

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

PartOrSyntax		: Part | OptionalPart | Syntax.

Part			= [ "(" PartName ")" ] ClassSpec.

OptionalPart		= "(opt" <part> Sandwich(Part) ")".

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.

Syntax                  : PlainSyntax .

PlainSyntax             = <string> String.


// Terminal buffer classes.
DirName			= <name> Ident.
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 ")" .
Barlist(S) ~ "(" S { *l "|" S} ")".