public abstract void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,
public abstract void inspectResult(ClassContext classContext, MethodGen methodGen, CFG cfg,
	public abstract void inspectResult(JavaClass javaClass, MethodGen methodGen, CFG cfg,	                                   Dataflow<ResourceValueFrame, ResourceValueAnalysis<Resource>> dataflow, Resource resource);