}
public void check(ISourceContext ctx, World world) {
// this is a quick visitor...
PoliceExtensionUse pointcutPolice = new PoliceExtensionUse(world, this);
this.accept(pointcutPolice, null);
if (pointcutPolice.synchronizationDesignatorEncountered()) {
world.setSynchronizationPointcutsInUse();
}
}