(@
    import java.util.*;
    import java.io.*;
@)

ClassGraph		= <classes> DList(ClassDef).

ClassDef		= ParamClassName ClassParts "." .

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> Superclass ]
			  [ "*implements*" <interfaces> Commalist(Interface) ] .

Superclass		= ClassSpec.
Interface		= 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) ")" ]
			.

Syntax			: PlainSyntax | PrintCommand
			.

PlainSyntax		= <string> String.

PrintCommand		: PrintIndent | PrintUnindent | PrintSkip | PrintSpace.
PrintIndent		= "+" .
PrintUnindent		= "-" .
PrintSkip		= "*l" .
PrintSpace		= "*s" .


// Terminal buffer classes.
DirName			= <name> Ident.
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).


// Visitors added by j-sem-check group.
//

//Part 1 & 4
//
ClassCollector          = <lparams> ClassContainer <pparams> ClassContainer <level> Integer.
PartCollector           = <lparts> ClassContainer <pparts> ClassContainer.
ParamCollector          = <aparams> ClassContainer.
ActualPCollector        = <aparts> ClassContainer.

ClassContainer = *extends* Vector.
TranspVisitor = *extends* Vector.


//Part 2
//
SimpleChecker           = .
DeeperVisitor           = <carried> ClassName <level> Integer.

//Part 3
//
CompleteChecker		= <rc> RightChecker <lc> LeftChecker.
RightChecker            = <rcnt> RightCounter <rcon> ComplexContainer.
LeftChecker             = <lcnt> LeftCounter <lcon> ComplexContainer.

ComplexContainer 	= *extends* Vector.

RightCounter		= <nparams> Integer <classik> ClassName <level> Integer.
LeftCounter             = <nparams> Integer <classik> ClassName.

//Main Class
//
Main = .