// demjava.cd -- class dictionary for Demeter/Java j-semcheck2
// Final Phase
(@
import java.io.*;
import java.util.*;
import java.lang.*;
@)


ClassGraph		= <classes> DList(ClassDef).

ClassDef		= ParamClassName ClassParts  "." .

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

ClassParts		: ConstOrAltClass | RepetitionClass.

ConstOrAltClass		: ConstructionClass | AlternationClass  *common* + + +
				<parts> List(PartOrSyntax) <parents> ClassParents - - -.
RepetitionClass         = "~" <sandwiched> Sandwich(RepeatedPart).

PartOrSyntax		: Part  | OptionalPart | Syntax.

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

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


ClassParents		= [ "*extends*" <parent> Superclass ]
			  [ "*implements*" <interfaces> Commalist(Interface) ] .

Superclass		= ClassSpec.
Interface		= ClassSpec.

ConstructionClass	= "=".

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

Subclass		= ClassSpec.

Common			= *l + + + "*common*" - - -.


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

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

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

Syntax			=  PlainSyntax .

PlainSyntax		= <string> String.



// Terminal buffer classes.
ClassName		= <name> Ident.
PartName		= <name> Ident.


// 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).


// Begin j-sem-check2

NameCollector		    = <cparams> ParamContainer.
AltCheckVisitor         = <passed> Boolean
			              <lexists>Boolean
			              <lside> ParamContainer
			              <rside> ParamContainer.

LeftSide_ClassVisitor   = <left_side> NameContainer.
RightSide_ClassVisitor  = <right_side> NameContainer.
Node =.

ParamContainer = *extends* Vector.
NameContainer  = *extends* Vector.
// Inheritance checking
ClassNameRetVisitor = <cn> ClassName.
ClassNameTranspVisitor = <pcn> ParamClassName.
EdgeVisitor = <cntv> ClassNameTranspVisitor
	      <tree> Vector.

// End j-sem-check2


Main = .