Class ResourceValueAnalysis<Resource>

java.lang.Object

edu.umd.cs.findbugs.ba.BasicAbstractDataflowAnalysis<ResourceValueFrame>

edu.umd.cs.findbugs.ba.AbstractDataflowAnalysis<ResourceValueFrame>

edu.umd.cs.findbugs.ba.ForwardDataflowAnalysis<ResourceValueFrame>

edu.umd.cs.findbugs.ba.FrameDataflowAnalysis<ResourceValue, ResourceValueFrame>

edu.umd.cs.findbugs.ba.ResourceValueAnalysis<Resource>

All Implemented Interfaces:

DataflowAnalysis<ResourceValueFrame>, EdgeTypes

@NullMarked
public class ResourceValueAnalysis<Resource>
extends FrameDataflowAnalysis<ResourceValue, ResourceValueFrame>
implements EdgeTypes

Field Summary

Fields

Modifier and Type	Field	Description
private final CFG	cfg
private static final boolean	DEBUG
private final boolean	ignoreImplicitExceptions
private final org.apache.bcel.generic.MethodGen	methodGen
private final Resource	resource
private final ResourceTracker<Resource>	resourceTracker
private final ResourceValueFrameModelingVisitor	visitor

Fields inherited from interface EdgeTypes

BACKEDGE_SOURCE_EDGE, BACKEDGE_TARGET_EDGE, CHECKED_EXCEPTIONS_FLAG, EXIT_EDGE, EXPLICIT_EXCEPTIONS_FLAG, FALL_THROUGH_EDGE, GOTO_EDGE, HANDLED_EXCEPTION_EDGE, IFCMP_EDGE, JSR_EDGE, RET_EDGE, RETURN_EDGE, START_EDGE, SWITCH_DEFAULT_EDGE, SWITCH_EDGE, UNHANDLED_EXCEPTION_EDGE, UNKNOWN_EDGE

Constructor Summary

Constructors

Constructor	Description
ResourceValueAnalysis(org.apache.bcel.generic.MethodGen methodGen, CFG cfg, DepthFirstSearch dfs, ResourceTracker<Resource> resourceTracker, Resource resource)

Method Summary

Modifier and Type	Method	Description
ResourceValueFrame	createFact()	Create empty (uninitialized) dataflow facts for one program point.
void	initEntryFact(ResourceValueFrame result)	Initialize the "entry" fact for the graph.
void	meetInto(ResourceValueFrame fact, Edge edge, ResourceValueFrame result)	Meet a dataflow fact associated with an incoming edge into another fact.
protected void	mergeInto(ResourceValueFrame frame, ResourceValueFrame result)	Merge one frame into another.
protected void	mergeValues(ResourceValueFrame otherFrame, ResourceValueFrame resultFrame, int slot)	Merge the values contained in a given slot of two Frames.
void	transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, ResourceValueFrame fact)	Transfer function for a single instruction.

Methods inherited from class FrameDataflowAnalysis

copy, getFactAtPC, getFactBeforeExceptionCheck, getLastUpdateTimestamp, isFactValid, isTop, makeFactTop, modifyFrame, same, setLastUpdateTimestamp

Methods inherited from class ForwardDataflowAnalysis

getBlockOrder, getDepthFirstSearch, isForwards

Methods inherited from class AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, transfer

Methods inherited from class BasicAbstractDataflowAnalysis

edgeTransfer, factToString, finishIteration, getFactOnEdge, getResultFact, getStartFact, resultFactIterator, startIteration

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

DEBUG

private static final boolean DEBUG

methodGen

private final org.apache.bcel.generic.MethodGen methodGen

cfg

private final CFG cfg

resourceTracker

private final ResourceTracker<Resource> resourceTracker

resource

private final Resource resource

visitor

private final ResourceValueFrameModelingVisitor visitor

ignoreImplicitExceptions

private final boolean ignoreImplicitExceptions

Constructor Details

ResourceValueAnalysis

public ResourceValueAnalysis(org.apache.bcel.generic.MethodGen methodGen,
 CFG cfg,
 DepthFirstSearch dfs,
 ResourceTracker<Resource> resourceTracker,
 Resource resource)

Method Details

createFact

public ResourceValueFrame createFact()

Description copied from interface: DataflowAnalysis

Create empty (uninitialized) dataflow facts for one program point. A valid value will be copied into it before it is used.

Specified by:

createFact in interface DataflowAnalysis<Resource>

initEntryFact

public void initEntryFact(ResourceValueFrame result)

Description copied from interface: DataflowAnalysis

Initialize the "entry" fact for the graph.

Specified by:

initEntryFact in interface DataflowAnalysis<Resource>

meetInto

public void meetInto(ResourceValueFrame fact,
 Edge edge,
 ResourceValueFrame result)
              throws DataflowAnalysisException

Description copied from interface: DataflowAnalysis

Meet a dataflow fact associated with an incoming edge into another fact. This is used to determine the start fact for a basic block.

Specified by:

meetInto in interface DataflowAnalysis<Resource>

Parameters:

fact - the predecessor fact (incoming edge)

edge - the edge from the predecessor

result - the result fact

Throws:

DataflowAnalysisException

mergeInto

protected void mergeInto(ResourceValueFrame frame,
 ResourceValueFrame result)
                  throws DataflowAnalysisException

Description copied from class: FrameDataflowAnalysis

Merge one frame into another.

Overrides:

mergeInto in class FrameDataflowAnalysis<ResourceValue, ResourceValueFrame>

Parameters:

frame - the frame to merge with the result

result - the result frame, which is modified to be the merge of the two frames

Throws:

DataflowAnalysisException

mergeValues

protected void mergeValues(ResourceValueFrame otherFrame,
 ResourceValueFrame resultFrame,
 int slot)

Description copied from class: FrameDataflowAnalysis

Merge the values contained in a given slot of two Frames.

Specified by:

mergeValues in class FrameDataflowAnalysis<ResourceValue, ResourceValueFrame>

Parameters:

otherFrame - a Frame

resultFrame - a Frame which will contain the resulting merged value

slot - a slot in both frames

transferInstruction

public void transferInstruction(org.apache.bcel.generic.InstructionHandle handle,
 BasicBlock basicBlock,
 ResourceValueFrame fact)
                         throws DataflowAnalysisException

Description copied from class: AbstractDataflowAnalysis

Transfer function for a single instruction.

Specified by:

transferInstruction in class AbstractDataflowAnalysis<ResourceValueFrame>

Parameters:

handle - the instruction

basicBlock - the BasicBlock containing the instruction; needed to disambiguate instructions in inlined JSR subroutines

fact - which should be modified based on the instruction

Throws:

DataflowAnalysisException