AspectName = <name> Name .
ProtectedMethod = extends MethodKeyword.
Op : And .
TraversalAspect_List = [ <first> Nonempty_TraversalAspect_List ] .
MethodParm_Commalist = <first> Nonempty_MethodParm_Commalist .
Strategy = <strategyname> StrategyName <strategyexpression> StrategyExpression extends DefinitionBody.
DAJ = <traversalaspect_list> TraversalAspect_List .
Name = <first> Nonempty_Name .
Compound = <op> Op <strategyexpression_list> StrategyExpression_List extends StrategyExpression.
MethodSignature = <keywords> MethodKeyword_List <returnType> JavaType <name> MethodName [ <parms> MethodParm_Commalist ] <throwsclause> Throws .
JavaType = <type> Name <array> ArraySpec_List .
StrategyExpression : Simple | Compound .
ClassName = <name> Name .
ClassName_Commalist = <first> Nonempty_ClassName_Commalist .
Nonempty_StrategyExpression_List = <it> StrategyExpression [ <next> Nonempty_StrategyExpression_List ] .
AdaptiveMethod = <methodsignature> MethodSignature <methodbody> MethodBody extends DefinitionBody.
CG = <classgraphname> ClassGraphName extends DefinitionBody.
MethodName = <ident> Ident .
PublicMethod = extends MethodKeyword.
Nonempty_Definition_CurlyList = <it> Definition [ <next> Nonempty_Definition_CurlyList ] .
FinalMethod = extends MethodKeyword.
Definition = <definitionbody> DefinitionBody .
And = extends Op.
MethodParm = <type> JavaType <name> ParmName <array> ArraySpec_List .
TraversalAspect = <aspectname> AspectName <decls> Definition_CurlyList .
Simple : StrategyName | StrategyString extends StrategyExpression.
Nonempty_Name = <it> Ident [ <next> Nonempty_Name ] .
MethodBody = <trv> StrategyExpression <vis> VisitorRef .
VisitorRef = <visitorClasses> ClassName_Commalist .
DefinitionBody : CG | Strategy | AdaptiveMethod .
ParmName = <name> Ident .
MethodKeyword_List = [ <first> Nonempty_MethodKeyword_List ] .
MethodKeyword : PublicMethod | ProtectedMethod | PrivateMethod | StaticMethod | FinalMethod .
Nonempty_ClassName_Commalist = <it> ClassName [ <next> Nonempty_ClassName_Commalist ] .
Nonempty_MethodParm_Commalist = <it> MethodParm [ <next> Nonempty_MethodParm_Commalist ] .
Nonempty_TraversalAspect_List = <it> TraversalAspect [ <next> Nonempty_TraversalAspect_List ] .
Definition_CurlyList = <first> Nonempty_Definition_CurlyList .
Throws = [ <exceptions> ClassName_Commalist ] .
StaticMethod = extends MethodKeyword.
ClassGraphName = <ident> Ident .
StrategyString = <string> String extends Simple.
Nonempty_ArraySpec_List = <it> ArraySpec [ <next> Nonempty_ArraySpec_List ] .
PrivateMethod = extends MethodKeyword.
StrategyName = <ident> Ident extends Simple.
StrategyExpression_List = [ <first> Nonempty_StrategyExpression_List ] .
ArraySpec = .
Nonempty_MethodKeyword_List = <it> MethodKeyword [ <next> Nonempty_MethodKeyword_List ] .
ArraySpec_List = [ <first> Nonempty_ArraySpec_List ] .