public class PoliceExtensionUse extends AbstractPatternNodeVisitor
Constructor and Description |
---|
PoliceExtensionUse(World w,
Pointcut p) |
Modifier and Type | Method and Description |
---|---|
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) |
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
public boolean synchronizationDesignatorEncountered()
public java.lang.Object visit(KindedPointcut node, java.lang.Object data)
visit
in interface PatternNodeVisitor
visit
in class AbstractPatternNodeVisitor
public java.lang.Object visit(AndPointcut node, java.lang.Object data)
visit
in interface PatternNodeVisitor
visit
in class AbstractPatternNodeVisitor
public java.lang.Object visit(NotPointcut node, java.lang.Object data)
visit
in interface PatternNodeVisitor
visit
in class AbstractPatternNodeVisitor
public java.lang.Object visit(OrPointcut node, java.lang.Object data)
visit
in interface PatternNodeVisitor
visit
in class AbstractPatternNodeVisitor