abc.ltl.visit.transform
Class PointcutsVisitor
java.lang.Object
NodeVisitor
abc.ltl.visit.transform.PointcutsVisitor
- Direct Known Subclasses:
- AdviceGeneration, PropositionLabels
public abstract class PointcutsVisitor
- extends NodeVisitor
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
nf
protected AJNodeFactory nf
ts
protected TypeSystem ts
pointcuts
protected java.util.Set<Pointcut> pointcuts
formula
protected PCFormula formula
enclosingAspect
protected AspectDecl enclosingAspect
PointcutsVisitor
public PointcutsVisitor(AJNodeFactory nf,
TypeSystem ts)
- Parameters:
nf
-
enter
public NodeVisitor enter(Node n)
-
visitEdge
public Node visitEdge(Node parent,
Node child)
-
leave
public Node leave(Node old,
Node n,
NodeVisitor v)
-
seal
protected Pointcut seal(Position pos,
Pointcut pc)