public void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,
public void inspectResult(ClassContext classContext, MethodGen methodGen, CFG cfg,
	public void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,	                          Dataflow<ResourceValueFrame, ResourceValueAnalysis<Stream>> dataflow, Stream stream) {		ResourceValueFrame exitFrame = dataflow.getResultFact(cfg.getExit());		int exitStatus = exitFrame.getStatus();		if (exitStatus == ResourceValueFrame.OPEN		        || exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {			// FIXME: Stream object should be queried for the			// priority.			String bugType = stream.getBugType();			int priority = NORMAL_PRIORITY;			if (exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {				bugType += "_EXCEPTION_PATH";				priority = LOW_PRIORITY;			}			potentialOpenStreamList.add(new PotentialOpenStream(bugType, priority, stream));		} else if (exitStatus == ResourceValueFrame.CLOSED) {			// Remember that this stream was closed on all paths.			// Later, we will mark all of the streams in its equivalence class			// as having been closed.			stream.setClosed();		}	}