abc.ltl.visit.transform
Class PropositionLabels

java.lang.Object
  NodeVisitor
      abc.ltl.visit.transform.PointcutsVisitor
          abc.ltl.visit.transform.PropositionLabels

public class PropositionLabels
extends PointcutsVisitor

Field Summary

Fields inherited from class abc.ltl.visit.transform.PointcutsVisitor

enclosingAspect, formula, nf, pointcuts, ts

Constructor Summary

PropositionLabels(AJNodeFactory nf, TypeSystem ts)

Method Summary

void	finish()
Node	leave(Node old, Node n, NodeVisitor v)
AJNodeFactory	nf()
java.lang.String	propositionLabel(Pointcut pc)
TypeSystem	ts()

Methods inherited from class abc.ltl.visit.transform.PointcutsVisitor

enter, seal, visitEdge

Methods inherited from class java.lang.Object

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

Constructor Detail

PropositionLabels

public PropositionLabels(AJNodeFactory nf,
                         TypeSystem ts)

Parameters:

nf -

Method Detail

leave

public Node leave(Node old,
                  Node n,
                  NodeVisitor v)

Overrides:

leave in class PointcutsVisitor

propositionLabel

public java.lang.String propositionLabel(Pointcut pc)

Parameters:

pc -

Returns:

finish

public void finish()

nf

public AJNodeFactory nf()

ts

public TypeSystem ts()