package edu.neu.ccs.demeter.tools.daj;

import edu.neu.ccs.demeter.dj.*;
import java.io.*;
import java.lang.reflect.*;
import java.util.*;


// Class dictionary for the traversal aspect declaration

TraversalAspectList = ListL(TraversalAspect).
TraversalAspect = "aspect" AspectName "{" *l List(AspectDecl) *l "}" *l.
AspectDecl : TraversalDecl | ClassGraphDecl | VisitorDecl.
TraversalDecl = "declare" "traversal" <tv> TraversalVar 
	[ TraversalDeclOptions ] 
	":" <ts> TraversalStrategy ";"
	.
TraversalDeclOptions = "(" <cgvar> ClassGraphVar [ "," VisitorVar ] ")".
TraversalVar = <i> Ident.
TraversalStrategy = <s> String.
VisitorDecl = "Visitor" VisitorVar ";".
VisitorVar = Ident.

ListL(s) ~ { *l s}.
List(S) ~ { S }.


AspectName = <aname> Ident.
ClassGraphDecl : lookahead {{3}} ClassGraphSliceDecl | DefaultClassGraphDecl .
ClassGraphVar = <cgName> Ident.
ClassGraphVarDecl = "ClassGraph" <cgvar> ClassGraphVar.
DefaultClassGraphDecl = <vardecl> ClassGraphVarDecl ";".
ClassGraphSliceDecl = <vardecl> ClassGraphVarDecl "=" "new" "ClassGraph" 
	"(" <supercg> Ident "," <ts> TraversalStrategy ")" ";".

public ClassGraphListenerFactory = .
public ClassGraphListener : MyClassGraphListener.
MyClassGraphListener = <cgHash> java.util.Hashtable .


// class dictionary for the visitor code generation
// it's used to parse a visitor class and it's methods

VisitorClass = "class" ClassName *s "{" *l LineList(VisitorMethod) "}" *l.
VisitorMethod = ReturnType MethodName "(" [AdviceArgumentList] ")" ";" *l.
MethodName = Ident.
ReturnType = Ident.
Argument = Ident.
ClassName = Ident.
AdviceArgumentList = CommaList(Argument).
LineList(S) ~ { S *l }.
CommaList(S) ~ S { "," S}.




noparse
StreamFunnel = <s1> StreamConnector <s2> StreamConnector.
StreamConnector = <src> java.io.InputStream <target> java.io.OutputStream extends Thread.