Consider the class dictionary AspectJFragment from a previous question
and extend it so that it also accepts the input given below.
Find the UNKNOWNs.


import edu.neu.ccs.demeter.dj.*;
import java.util.*;

AspectJFragment = <pointcuts> List(PointCut) List(Advice) EOF.

Advice = AdviceKind 
  <lhs> PCList(ArgDecl) ":" <rhs> PCExp "{" "}" ";".
AdviceKind : Before | After.
Before = "before".
After  = "after".

PointCut = "pointcut" PCName 
  <lhs> PCList(ArgDecl) ":" <rhs> PCExp ";".
PCExp : Simple | Compound.
Simple : This | Target | Call | Args | PCRef.
Compound : AndOrExp | NotExp | CFlow.
CFlow = "cflow" "(" PCExp ")".
NotExp = "!" PCExp.
Op : AndOp | OrOp.
OpPCExp = Op PCExp.
AndOrExp = "(" PCExp List(OpPCExp) ")".
AndOp = "&&".
OrOp = "||".

PCRef = "*" PCName PCList(Variable).

This = "this" PVariable.
Target = "target" PVariable.
PVariable = "(" Variable ")".
Call = "call" "(" <t> Type FName "(..)" ")".
Args = "args" PCList(Variable).

ArgDecl = <t> Type Variable.

Variable = Ident.
PCName = Ident.
FName = Ident.
Type = Ident.

PCList(S) ~ "(" S { "," S } ")". 
List(S) ~ {S}.

Main = <s> String.

CommandVisitor = extends Visitor.


pointcut X1(S s1) : 
  this(s1);
pointcut X2(S s2, T t2) : 
  (call(void crossing_x(..)) 
      && this(s2) 
      && target(t2)
  );
pointcut X3(A a1, B b2, C c3) : 
  cflow( * visiting_A1(a1));
pointcut Y4(Source s):
  ! cflow(this(s));

before(S s1) : this(s1) {  };
after(S s2, T t2) :
  (call(void crossing_x(..)) 
      && this(s2) 
      && target(t2)
  ) { } ;