throw new Error("if we cannot filter statically, we should not be here");
}
protected boolean doIsSpecialEvent(CodeJoinPoint jpe) {
try {
CodeJoinPoint upper = jpe.getEnclosingJoinPoint();
while (upper != null) {
if (mcut.equivalentSpecializer().isSpecialEvent(upper))
return true;
upper=upper.getEnclosingJoinPoint();
}
return false;
}
catch (ch.ethz.jvmai.JVMAIRuntimeException e) {
// System.err.println("hitting the ceiling");