ThisValueFrame frame = getFrame(handle);
ThisValueFrame frame = getFrame(handle, basicBlock);
	public void transferInstruction(InstructionHandle handle, LockCount fact) throws DataflowAnalysisException {		Instruction ins = handle.getInstruction();		// Optimization: don't even bother with instructions		// other than MONITORENTER and MONITOREXIT		if (!(ins instanceof MONITORENTER || ins instanceof MONITOREXIT))			return;		// Determine where the "this" reference values are in the frame.		// (Note that null is returned if we are analyzing a static method.)		ThisValueFrame frame = getFrame(handle);		// Get the lock count delta for the instruction		int delta = getDelta(ins, frame);		int count = fact.getCount() + delta;		if (count < 0)			throw new DataflowAnalysisException("lock count going negative! " + ins);		fact.setCount(count);	}