org.aspectj.weaver
Class PoliceExtensionUse

java.lang.Object
  extended by org.aspectj.weaver.patterns.AbstractPatternNodeVisitor
      extended by org.aspectj.weaver.PoliceExtensionUse
All Implemented Interfaces:
PatternNodeVisitor

public class PoliceExtensionUse
extends AbstractPatternNodeVisitor

Walks a pointcut and determines if the synchronization related designators have been used: lock() or unlock()


Constructor Summary
PoliceExtensionUse(World w, Pointcut p)
           
 
Method Summary
 boolean synchronizationDesignatorEncountered()
           
 java.lang.Object visit(AndPointcut node, java.lang.Object data)
           
 java.lang.Object visit(KindedPointcut node, java.lang.Object data)
           
 java.lang.Object visit(NotPointcut node, java.lang.Object data)
           
 java.lang.Object visit(OrPointcut node, java.lang.Object data)
           
 
Methods inherited from class org.aspectj.weaver.patterns.AbstractPatternNodeVisitor
visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PoliceExtensionUse

public PoliceExtensionUse(World w,
                          Pointcut p)
Method Detail

synchronizationDesignatorEncountered

public boolean synchronizationDesignatorEncountered()

visit

public java.lang.Object visit(KindedPointcut node,
                              java.lang.Object data)
Specified by:
visit in interface PatternNodeVisitor
Overrides:
visit in class AbstractPatternNodeVisitor

visit

public java.lang.Object visit(AndPointcut node,
                              java.lang.Object data)
Specified by:
visit in interface PatternNodeVisitor
Overrides:
visit in class AbstractPatternNodeVisitor

visit

public java.lang.Object visit(NotPointcut node,
                              java.lang.Object data)
Specified by:
visit in interface PatternNodeVisitor
Overrides:
visit in class AbstractPatternNodeVisitor

visit

public java.lang.Object visit(OrPointcut node,
                              java.lang.Object data)
Specified by:
visit in interface PatternNodeVisitor
Overrides:
visit in class AbstractPatternNodeVisitor