if (DEBUG) System.out.println("Outcome of stream " + stream + ": " + exitFrame);
	public void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,		Dataflow<ResourceValueFrame, ResourceValueAnalysis<Stream>> dataflow, Stream stream) {		if (PRINT_CFG) {			System.out.println("CFG for " + SignatureConverter.convertMethodSignature(methodGen) +				", stream " + stream);			DataflowCFGPrinter<ResourceValueFrame, ResourceValueAnalysis<Stream>> cfgPrinter = 				new DataflowCFGPrinter<ResourceValueFrame, ResourceValueAnalysis<Stream>>(cfg,dataflow,dataflow.getAnalysis());				cfgPrinter.print(System.out);		}		ResourceValueFrame exitFrame = dataflow.getResultFact(cfg.getExit());		if (DEBUG) System.out.println("Outcome of stream " + stream + ": " + exitFrame);		int exitStatus = exitFrame.getStatus();		if (!exitFrame.isEscaped() &&			(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();		}	}