// demjava.cd -- class dictionary for Demeter/Java

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

Main = .

GenerateCopyVisitor = <ClassDefName> Ident <PartName> String <PartClass> Ident.
GetCSNameVisitor = <theName> Ident.
GetCDNameVisitor = <theName> Ident.
GetPNameVisitor = <theName> Ident.
GetPCNameVisitor = <theName> Ident.
IsDemeterClassVisitor = .

Program			= [ <pkg> Package ] [ <preamble> JavaCode ] ClassGraph.

Package			~ "package" DirName { "." DirName } ";".

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*" <parents> 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 | Behavior.
Behavior		: Wrapper | Verbatim.

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

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

Visitor                 = ClassName VisitorName.

PathDirective		= [ BypassingDirective ]
			  [ ThroughDirective ]
			  TargetDirective.

BypassingDirective	= "bypassing" <bypass> GlobSpec.
ThroughDirective	= "through" <thru> GlobSpec.

TargetDirective		: To | ToStop *common* <targets> ClassGlobSpec.
To			= "to".
ToStop			= "to-stop".

GlobSpec		: OneGlob | GlobSet.
OneGlob			= Glob.
GlobSet			= "{" [ <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                 = "*".

ClassGlobSpec		: OneClassGlob | ClassGlobSet.
OneClassGlob		= ClassGlob.
ClassGlobSet		= "{" <classglobs> Commalist(ClassGlob) "}".

// Before and after wrappers.
Wrapper			: Before | After *common* <hosts> HostSpec JavaCode.

HostSpec		: ClassGlobSpec.

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

// Verbatim java code.
Verbatim                = JavaCode.


// 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 .
Commalist(S) ~ S {"," S}.
Barlist(S) ~ S { *l "|" S}.

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

// Visitors.
PrintVisitor            = .

//
// findClassDef visitors
//
ClassDefFinder =ClassDef ClassName. 
//--rm from ClassDefFinder: <found> Boolean 

ClassNameMole = "mole" <classname> ClassName.

//
// setInheritedLinks visitors
//

ParentalUnit = "pu" <parent_name> ClassName <parent_spec> ClassSpec.
ParentalCarrier = <pu> ParentalUnit.

//
// Glob visitor
//
GlobMatchVisitor = "gmv" <edge> PartName  <source> ClassName <dest> ClassName.
// <matched> Boolean 

//
// Subgraph calculation
//
GraphDFSVisitor = "gdfsv" <bypass> BypassingDirective <target> TargetDirective <source> ClassDef.

//removed for new version of demjava. (sj/kv)
// <markers> Markers <visitor> SubgraphVisitor <hit> Boolean.

Tracer = .

//Digout visitor
DigOutVisitor = <classname> ClassName.

TestTraversal = "from" ClassName Traversal.

// $Id: demjava.cd,v 1.2 1996/11/20 20:04:03 shiney Exp $
//
// $Log: demjava.cd,v $
// # Revision 1.2  1996/11/20  20:04:03  shiney
//  # Globs for TargetDirective implementation
//  #
// Revision 1.1  1996/11/19 21:34:20  shiney
// Initial revision
//
// Revision 1.4  1996/11/16 20:07:12  fox
// Traversing works for class-bypassing.
//
// Revision 1.3  1996/11/13 22:14:04  fox
// Glob (and hence Bypassing) matching implemented.
//
// Revision 1.2  1996/11/13 14:24:08  fox
// Untabified.
//
// Revision 1.1  1996/11/13 07:25:42  fox
// Initial revision
//
//