Class BackwardTypeQualifierDataflowAnalysis

java.lang.Object

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

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

edu.umd.cs.findbugs.ba.jsr305.TypeQualifierDataflowAnalysis

edu.umd.cs.findbugs.ba.jsr305.BackwardTypeQualifierDataflowAnalysis

All Implemented Interfaces:

DataflowAnalysis<TypeQualifierValueSet>

public class BackwardTypeQualifierDataflowAnalysis
extends TypeQualifierDataflowAnalysis

Backwards type qualifier dataflow analysis.

Field Summary

Fields

Modifier and Type	Field	Description
private final DepthFirstSearch	dfs
private ForwardTypeQualifierDataflow	forwardTypeQualifierDataflow
private static final boolean	PRUNE_CONFLICTING_VALUES
private final ReverseDepthFirstSearch	rdfs

Fields inherited from class TypeQualifierDataflowAnalysis

cfg, cpg, DEBUG_VERBOSE, typeQualifierValue, vnaDataflow, xmethod

Constructor Summary

Constructors

Constructor	Description
BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs, ReverseDepthFirstSearch rdfs, XMethod xmethod, CFG cfg, ValueNumberDataflow vnaDataflow, org.apache.bcel.generic.ConstantPoolGen cpg, TypeQualifierValue<?> typeQualifierValue)	Constructor.

Method Summary

Modifier and Type	Method	Description
void	edgeTransfer(Edge edge, TypeQualifierValueSet fact)	Edge transfer function.
BlockOrder	getBlockOrder(CFG cfg1)	Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.
boolean	isForwards()	Returns true if the analysis is forwards, false if backwards.
private void	modelArguments(Location location)
private void	modelFieldStore(Location location)
private void	modelReturn(TypeQualifierAnnotation returnValueAnnotation, Location location)
protected void	propagateAcrossPhiNode(TypeQualifierValueSet fact, ValueNumber sourceVN, ValueNumber targetVN)
private void	pruneConflictingValues(TypeQualifierValueSet fact, TypeQualifierValueSet forwardFact)
private void	registerInstructionSinks()
void	registerSourceSinkLocations()	This method must be called before the dataflow analysis is executed.
void	setForwardTypeQualifierDataflow(ForwardTypeQualifierDataflow forwardTypeQualifierDataflow)
void	transferInstruction(org.apache.bcel.generic.InstructionHandle handle, BasicBlock basicBlock, TypeQualifierValueSet fact)	Transfer function for a single instruction.

Methods inherited from class TypeQualifierDataflowAnalysis

copy, createFact, getSourceSinkInfoSet, initEntryFact, isFactValid, isIdentifyFunctionForTypeQualifiers, isTop, makeFactTop, meetInto, primitiveType, registerSourceSink, same

Methods inherited from class AbstractDataflowAnalysis

getFactAfterLocation, getFactAtLocation, transfer

Methods inherited from class BasicAbstractDataflowAnalysis

factToString, finishIteration, getFactOnEdge, getLastUpdateTimestamp, getResultFact, getStartFact, resultFactIterator, setLastUpdateTimestamp, startIteration

Methods inherited from class Object

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

Field Details

PRUNE_CONFLICTING_VALUES

private static final boolean PRUNE_CONFLICTING_VALUES

See Also:

• Constant Field Values

dfs

private final DepthFirstSearch dfs

rdfs

private final ReverseDepthFirstSearch rdfs

forwardTypeQualifierDataflow

private ForwardTypeQualifierDataflow forwardTypeQualifierDataflow

Constructor Details

BackwardTypeQualifierDataflowAnalysis

public BackwardTypeQualifierDataflowAnalysis(DepthFirstSearch dfs,
 ReverseDepthFirstSearch rdfs,
 XMethod xmethod,
 CFG cfg,
 ValueNumberDataflow vnaDataflow,
 org.apache.bcel.generic.ConstantPoolGen cpg,
 TypeQualifierValue<?> typeQualifierValue)

Constructor.

Parameters:

dfs - DepthFirstSearch on the analyzed method

rdfs - ReverseDepthFirstSearch on the analyzed method

xmethod - XMethod for the analyzed method

cfg - CFG of the analyzed method

vnaDataflow - ValueNumberDataflow on the analyzed method

cpg - ConstantPoolGen of the analyzed method

typeQualifierValue - TypeQualifierValue representing type qualifier the analysis should check

Method Details

setForwardTypeQualifierDataflow

public void setForwardTypeQualifierDataflow(ForwardTypeQualifierDataflow forwardTypeQualifierDataflow)

Parameters:

forwardTypeQualifierDataflow - The forwardTypeQualifierDataflow to set.

edgeTransfer

public void edgeTransfer(Edge edge,
 TypeQualifierValueSet fact)
                  throws DataflowAnalysisException

Description copied from interface: DataflowAnalysis

Edge transfer function. Modify the given fact that is true on the (logical) edge source to modify it so that it is true at the (logical) edge target.

A do-nothing implementation is legal, and appropriate for analyses where branches are not significant.

Specified by:

edgeTransfer in interface DataflowAnalysis<TypeQualifierValueSet>

Overrides:

edgeTransfer in class TypeQualifierDataflowAnalysis

Parameters:

edge - the Edge

fact - a dataflow fact

Throws:

DataflowAnalysisException

transferInstruction

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

Description copied from class: AbstractDataflowAnalysis

Transfer function for a single instruction.

Overrides:

transferInstruction in class TypeQualifierDataflowAnalysis

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

pruneConflictingValues

private void pruneConflictingValues(TypeQualifierValueSet fact,
 TypeQualifierValueSet forwardFact)

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg1)

Description copied from interface: DataflowAnalysis

Return the BlockOrder specifying the order in which BasicBlocks should be visited in the main dataflow loop.

Parameters:

cfg1 - the CFG upon which we're performing dataflow analysis

isForwards

public boolean isForwards()

Description copied from interface: DataflowAnalysis

Returns true if the analysis is forwards, false if backwards.

registerSourceSinkLocations

public void registerSourceSinkLocations()
                                 throws DataflowAnalysisException

Description copied from class: TypeQualifierDataflowAnalysis

This method must be called before the dataflow analysis is executed.

Specified by:

registerSourceSinkLocations in class TypeQualifierDataflowAnalysis

Throws:

DataflowAnalysisException

registerInstructionSinks

private void registerInstructionSinks()
                               throws DataflowAnalysisException

Throws:

DataflowAnalysisException

modelReturn

private void modelReturn(TypeQualifierAnnotation returnValueAnnotation,
 Location location)
                  throws DataflowAnalysisException

Throws:

DataflowAnalysisException

modelFieldStore

private void modelFieldStore(Location location)
                      throws DataflowAnalysisException

Throws:

DataflowAnalysisException

modelArguments

private void modelArguments(Location location)
                     throws DataflowAnalysisException

Throws:

DataflowAnalysisException

propagateAcrossPhiNode

protected void propagateAcrossPhiNode(TypeQualifierValueSet fact,
 ValueNumber sourceVN,
 ValueNumber targetVN)

Specified by:

propagateAcrossPhiNode in class TypeQualifierDataflowAnalysis