bugReporter.reportBug(new BugInstance("NN_NAKED_NOTIFY", NORMAL_PRIORITY)
bugReporter.reportBug(new BugInstance(this, "NN_NAKED_NOTIFY", NORMAL_PRIORITY)
	public void sawOpcode(int seen) {		switch (stage) {		case 0:			if (seen == MONITORENTER)				stage = 1;			break;		case 1:			stage = 2;			break;		case 2:			if (seen == INVOKEVIRTUAL			        && (getNameConstantOperand().equals("notify")			        || getNameConstantOperand().equals("notifyAll"))			        && getSigConstantOperand().equals("()V")) {				stage = 3;				notifyPC = getPC();			} else				stage = 0;			break;		case 3:			stage = 4;			break;		case 4:			if (seen == MONITOREXIT) {				bugReporter.reportBug(new BugInstance("NN_NAKED_NOTIFY", NORMAL_PRIORITY)				        .addClassAndMethod(this)				        .addSourceLine(this, notifyPC));				stage = 5;			} else				stage = 0;			break;		case 5:			break;		default:			assert false;		}	}