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

Field Summary

protected AspectDecl	enclosingAspect
protected PCFormula	formula
protected AJNodeFactory	nf
protected java.util.Set<Pointcut>	pointcuts
protected TypeSystem	ts

Constructor Summary

PointcutsVisitor(AJNodeFactory nf, TypeSystem ts)

Method Summary

NodeVisitor	enter(Node n)
Node	leave(Node old, Node n, NodeVisitor v)
protected Pointcut	seal(Position pos, Pointcut pc)
Node	visitEdge(Node parent, Node child)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

nf

protected AJNodeFactory nf

ts

protected TypeSystem ts

pointcuts

protected java.util.Set<Pointcut> pointcuts

formula

protected PCFormula formula

enclosingAspect

protected AspectDecl enclosingAspect

Constructor Detail

PointcutsVisitor

public PointcutsVisitor(AJNodeFactory nf,
                        TypeSystem ts)

Parameters:

nf -

Method Detail

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)