ValueNumberFrame vnaFrame = vnaDataflow.getFactAtLocation(new Location(handle, basicBlock));
		public void transferInstruction(InstructionHandle handle, BasicBlock basicBlock) throws DataflowAnalysisException {			final Instruction ins = handle.getInstruction();			final ConstantPoolGen cpg = getCPG();			final ResourceValueFrame frame = getFrame();			int status = -1;			// Is a lock acquired or released by this instruction?			Location creationPoint = lock.getLocation();			if (handle == creationPoint.getHandle() && basicBlock == creationPoint.getBasicBlock()) {				status = ResourceValueFrame.OPEN;			} else if (resourceTracker.isResourceClose(basicBlock, handle, cpg, lock, frame)) {				status = ResourceValueFrame.CLOSED;			}			// Model use of instance values in frame slots			ins.accept(this);			// If needed, update frame status			if (status != -1) {				frame.setStatus(status);				if (status == ResourceValueFrame.OPEN) {					// Look in the value number frame to see which slots have					// the same value as the Lock object.  Mark those slots					// in the resource value frame as containing the resource instance.					ValueNumberFrame vnaFrame = vnaDataflow.getFactAtLocation(new Location(handle, basicBlock));					ValueNumber instanceValueNumber = vnaFrame.getTopValue();					int numSlots = frame.getNumSlots();					for (int i = 0; i < numSlots; ++i) {						if (vnaFrame.getValue(i).equals(instanceValueNumber))							frame.setValue(i, ResourceValue.instance());					}				}			}		}