public void inspectResult(MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame> dataflow, Stream stream) {
public void inspectResult(MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame> dataflow, ResourceCreationPoint stream) {
	public void inspectResult(MethodGen methodGen, CFG cfg, Dataflow<ResourceValueFrame> dataflow, Stream stream) {		ResourceValueFrame exitFrame = dataflow.getResultFact(cfg.getExit());		int exitStatus = exitFrame.getStatus();		if (exitStatus == ResourceValueFrame.OPEN || exitStatus == ResourceValueFrame.OPEN_ON_EXCEPTION_PATH) {			String bugType;			int priority;			if (exitStatus == ResourceValueFrame.OPEN) {				bugType = "OS_OPEN_STREAM";				priority = NORMAL_PRIORITY;			} else {				bugType = "OS_OPEN_STREAM_EXCEPTION_PATH";				priority = LOW_PRIORITY;			}			bugReporter.reportBug(new BugInstance(bugType, priority)				.addClassAndMethod(methodGen)				.addSourceLine(methodGen, stream.creationPoint.getHandle())			);		}	}