bugReporter.reportBug(new BugInstance("NO_NOTIFY_NOT_NOTIFYALL", NORMAL_PRIORITY).addClassAndMethod(this));
bugReporter.reportBug(new BugInstance("NO_NOTIFY_NOT_NOTIFYALL", NORMAL_PRIORITY) .addClassAndMethod(this) .addSourceLine(this, notifyPC));
    public void visit(Code obj) {	sawWait = false;	sawNotify = false;	earliestJump = 9999999;	super.visit(obj);	if (sawWait && waitAt < earliestJump) 		//bugReporter.reportBug(BugInstance.inMethod("WA_NOT_IN_LOOP", UNKNOWN_PRIORITY, this));		bugReporter.reportBug(new BugInstance("WA_NOT_IN_LOOP", NORMAL_PRIORITY).addClassAndMethod(this));	if (sawNotify)		//bugReporter.reportBug(BugInstance.inMethod("NO_NOTIFY_NOT_NOTIFYALL", UNKNOWN_PRIORITY, this));		bugReporter.reportBug(new BugInstance("NO_NOTIFY_NOT_NOTIFYALL", NORMAL_PRIORITY).addClassAndMethod(this));	}