DAJ = List(TraversalAspect).
TraversalAspect = "aspect" AspectName <decls> CurlyList(Definition).
Definition = "declare" DefinitionBody ";".
DefinitionBody : CG | Strategy | AdaptiveMethod.
CG = "ClassGraph" ClassGraphName.
Strategy = "Strategy" StrategyName "=" StrategyExpression.
StrategyExpression : Simple | Compound.
Simple : StrategyName | StrategyString.
StrategyString = String.
Compound = "(" Op List(StrategyExpression) ")".
Op : And.
And = "&&".

AdaptiveMethod = "Method" MethodSignature MethodBody.
MethodSignature = 
  <keywords> List(MethodKeyword)
  <returnType> JavaType <name> MethodName
  "(" [ <parms> Commalist(MethodParm) ] ")"
  <throwsclause> Throws.
MethodKeyword : PublicMethod | ProtectedMethod | PrivateMethod
	        | StaticMethod | FinalMethod .
PublicMethod            = "public".
ProtectedMethod         = "protected".
PrivateMethod           = "private".
StaticMethod            = "static".
FinalMethod             = "final".
MethodParm              = <type> JavaType <name> ParmName
  <array> List(ArraySpec).
Throws          = [ *s "throws" <exceptions> Commalist(ClassName) ].
MethodBody      = <trv> StrategyExpression <vis> VisitorRef.
VisitorRef      = "(" <visitorClasses> Commalist(ClassName) ")" .

JavaType        = <type> Name <array> List(ArraySpec).
ArraySpec       = "[" "]".

Name ~ Ident { "." Ident }.
ClassGraphName = Ident.
StrategyName = Ident.
MethodName = Ident.
ClassName = Name.
ParmName = <name> Ident.
AspectName = Name.

List(S) ~ {*s S}.
NList(S) ~ S {*s S}.
CurlyList(S) ~ "{" S {*s S} "}".
Commalist(S) ~ S {"," *s S}.



Main = <s> String.