//	*Use flattened .cd file as input ** 

//*****************************************************************************
//

(@
import java.awt.*;
import java.io.*;
import java.util.*;
import java.lang.Math ;
@)

// Topmost class in class structure is Graph

UGraph 		= 	"#Class" "#Dictionary" "#Graph"
        		< vertices >UVertex_List
        		< edges > UEdge_List .

// Following is description of class Vertex_List and its parts

UVertex_List 	~	"#Vertex" "#List" { UVertex } .

UVertex 		:  	UAltVertex | UConstVertex | UTerm
        	  		*common*
	  			< vid > UID
          				< vertexname > UVertexName
          				< position > Coordinates
	  			[< incoming > IEdge_List]
	  			[< outgoing > OEdge_List] 
				[<vdeco>Decorator].
IEdge_List 	~ 	"#Incoming" { UID }.
OEdge_List 	~ 	"#Outgoing" { UID }.

UConstVertex 	= 	"#ConstVertex" .
UAltVertex 	=  	"#AltVertex" .
UTerm 		=	"#TermVertex" .


// Following is description of class Edge_List and its parts

UEdge_List 	~ 	"#Edge" "#List" { UEdge } .

UEdge 		:   	UAltEdge | UConstEdge
	        		*common*
	  			< eid >UID
				[<edeco>Decorator]
	  			< fromVertex > UID 
	  			< toVertex > UID. 
	  		

UAltEdge 	= 	"#AltEdge" .

UConstEdge 	= 	"#ConstEdge" < edgename > UEdgeName <card> Cardinality.
Cardinality 	= 	< lower > Lower [ < upper > Upper].
Lower		=	<l>Integer.
Upper		=	"." "." <u>String.

// Classes common to Vertex and Edge

UID 		= 	< id > Integer.
UEdgeName 	=  	<name> Ident.
UVertexName 	=  	<name> Ident.

// Classes common to Vertex , VertexName ,  Edge and EdgeName

Coordinates 	=	"{" <x> X <y> Y "}".
X		=	<x>Integer .
Y		=	<y>Integer .

//Decorator to store the attribute(color?) of vertices and edges
Decorator	=	<tag>TravTag   PList(Attributes).
Attributes	= Integer.
TravTag		= "travstat" Integer.

IndependantTraversal	= <sourceid>UID <destid>UID <bypassings> List(UID).
UniqueIDGenerator	=  .

//**********reduced demjava.cd . actual source********
//*****from*****/proj/demsys/demjava/sourceC++/Java/demjava.cd ******
//*******as of Oct 29th 1996******
// demjava.cd -- class dictionary for Demeter/Java

Program			= [ <preamble> JavaCode ] ClassGraph.

ClassGraph		= <classes> DList(ClassDef).

ClassDef		= ParamClassName ClassParts "."
 			  [ 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*" <extend> ClassSpec ]
			  [ "*implements*" <implement> 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*".




// 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}.
PList(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 (text-uml ones)

PrintVisitor = <ugraph>UGraph .
PlacementVisitor = <ugraph>UGraph .
EdgeDistinctionVisitor = <edgetype> String.
ClassNameRetVisitor = <cn> ClassName.
ClassNameTranspVisitor = <pcn> ParamClassName.
EdgeVisitor =  <edv> EdgeDistinctionVisitor <cntv> ClassNameTranspVisitor 
		<ugraph>UGraph.
//************
// Visitors and Main class (the GUI ones)

ReadVertexVisitor= 	<elements> VertexContainer .
VertexContainer  = .//< construction > Vector < alternation > Vector < termination > Vector.
ReadEdgeVisitor  =	< elements > EdgeContainer .
EdgeContainer    = .//< construction > Vector < alternation > Vector .
SaveGraphVisitor	 = < graphString > String .
Main 			= 	.

CountingVisitor = <total> Integer.