// Class Dictionary for PPtrans
//
// By: Michael Theroux
//     Michael Ruelle
//     Jim Pappas
//
// COM1205
// 4/97

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

//--------------------------------------------------------------
//	Input CD
//--------------------------------------------------------------

// Class graph traversal specifications.

InTraversalPP	 	  = InTraversalClassName "{" InTraversal "}".

InTraversal	          = "traversal-pp" 
                          <returnType> InReturnTypeName
                          InTraversalName
                          InArgs
                          InBody.

InArgs                    = "(" [ <l> Commalist(InArg) ] ")".

InArg                     = <className> InJavaTypeName  <tran> InVariable. 
InBody                    = "{" [InInitialize] InPathDirective InWrappers "}".

InWrappers                = [ <wrappers> SList( InWrapper ) ] .

InVisitor                 = InClassName InVisitorName.

InPathDirective           = [InBypassDirective]
			    [InThroughDirective] 
                            InTargetDirective.

InThroughDirective        = "through" InSpecClassesList.
InBypassDirective         = "bypassing" InSpecClassesList.

InTargetDirective         : InTo.

InTo                      = "to" <t> InTarget ";".

InInitialize		= "initialize" InInitializeText.

// Before and after wrappers.

InWrapper		  = InWrapperPosition InSpecClassesList InJavaCode.

InSpecClassesList	  : InSpec | InSpecList.

InWrapperPosition         : InBefore | InAfter .

InBefore                  = "before".
InAfter                   = "after".

InSpec  		  : InEdgeSpec | InClassSpec.

InClassSpec              =  InClassNameExact.
InSpecList	  	  = "{" Commalist( InSpec ) "}".

InEdgeSpec		  = InEdgeType <source> InClassNameExact "," 
			    InPartNameGlob "," <dest> InClassNameExact.

InPartNameGlob		  : InGlobalEdgeName | InPartName.

InEdgeType		  : InPartEdge | InSuperEdge | InSubEdge.

InPartEdge	          = "->".
InSuperEdge	  	  = ":>".
InSubEdge                 = "=>".

InClassNameExact	  : InSpecificClassName | InGlobalClassName.

InSpecificClassName	  =  [ ":" <tran> InVariable ] 
                             <className>InJavaTypeName.

InGlobalEdgeName	  =  InGlobalClassName.
InGlobalClassName	  =  "*".


InTarget		  : InClassNameExact | InClassNamesExact.

InClassNamesExact 	  = "{" Commalist( InClassNameExact ) "}".

// Terminal buffer classes.

InClassName               = <name> Ident.
InPartName                = <name> Ident.
InTraversalName           = <name> Ident.
InVisitorName             = <name> Ident.
InJavaCode                = <code> Text.
InInitializeText          = <code> Text.

InReturnTypeName	  = <name> Ident.
InJavaTypeName            = <name> Ident.
InVariable                = <name> Ident.
InTraversalClassName	  = <name> Ident.

// Parameterized class definitions.
SList(S) ~ S { S } .
List(S) ~ { S }.
Commalist(S) ~ S {"," S}.

//------------------------------------------------------------------
//	Output Behavior
//------------------------------------------------------------------

OutTraversal               =    OutClass OutVisitor.

OutClass		   =    OutTraverseCode OutTraversalDecl.

OutTraverseCode            =    OutTraversalArgs
				OutTraversalInit 
				OutPathDirective
				OutBody.

OutVisitor		   =    OutWrappers.

OutWrappers		= .

OutTraversalDecl        = .
OutBody			= .
OutTraversalArgs        = .
OutTransportationInit   = .
OutTraversalInit        = .
OutPathDirective        = .

//-----------------------------------------------------------------
// Output CD
//-----------------------------------------------------------------

OutCD = OutTraversalSpecification.

OutTraversalSpecification = .


PPtrans = .

//------------------------------------------------------------------
//	Visitors
//------------------------------------------------------------------

GeneralInformationVisitor = <classList>       ClassListVector 
		            <variableList>    VariableListVector
		            <argClassList>    ArgumentClassListVector
		            <argVariableList> ArgumentVariableListVector
		            <type>            ReturnValueType
			    <className>       ClassName
			    <traversalName>   TraversalName
			    <initialize>      InitializationText
			    <targets>	      TargetVectorList.

InitializationText   =  <code> Text.

PathDirectiveVisitor =  <directives> Directives
			<dclasslist> DirectiveClassesList
		        <dedgelist>  DirectiveEdgesList
			<dclasses>   DirectiveClasses.

InitializationVisitor = <classList> ClassListVector
			<variableList> VariableListVector.

ClassDictionaryVisitor = <giv> GeneralInformationVisitor.

TraversalName      = <name> Ident.
ClassName          = <name> Ident.

TargetVectorList    = *extends* Vector.

Directives	    = *extends* Vector.
DirectiveClassesList  = *extends* Vector.
DirectiveEdgesList    = *extends* Vector.
DirectiveClasses    = *extends* Vector.

DirectiveVectorList = *extends* Vector.

ClassListVector    = *extends* Vector.
VariableListVector = *extends* Vector.

ArgumentClassListVector    = *extends* Vector.
ArgumentVariableListVector = *extends* Vector.

CWrapInfoVis      = <wrapperPrefixList> WrapperPrefixList
		    <wrapperPrefix>     WrapperPrefix
		    <codeList>          WrapperCodeList
		    <classListList>     WrapperClassListList
		    <classList>         WrapperClassList.

EWrapInfoVis	  = <wrapperPrefixList> WrapperPrefixList
		    <wrapperPrefix>     WrapperPrefix
		    <codeList>          WrapperCodeList
             	    <classListList>     WrapperClassListList
		    <classList>         WrapperClassList
		    <edgeTypeList>	WrapperEdgeTypes
		    <edgeType>		WrapperEdgeType.

WrapperEdgeTypes  = *extends* Vector.
WrapperEdgeType   = *extends* Vector.

WrapperCodeList   = *extends* Vector.
WrapperCode       = <code> String.

WrapperClassList  = *extends* Vector.
 
WrapperPrefix     = <prefix>Ident.
WrapperPrefixList = *extends* Vector.

WrapperClassListList = *extends* Vector.

ReturnValueType    = <type> Ident.

PrintingVisitor    = <giv>   GeneralInformationVisitor
                     <cwiv>  CWrapInfoVis
                     <ewiv>  EWrapInfoVis
		     <pdv>   PathDirectiveVisitor
		     <iiv>   InitializationVisitor
		     <tcount> TabCount
		     <wcount> WrapperCount.

TabCount           = <count> Integer.
WrapperCount	   = <count> Integer.