edu.umd.cs.findbugs.ba.npe

Class ReturnPathTypeAnalysis

public class ReturnPathTypeAnalysis extends Object implements DataflowAnalysis<ReturnPathType>

Author: David Hovemeyer

Constructor Summary
ReturnPathTypeAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
Constructor.
Method Summary
voidcopy(ReturnPathType source, ReturnPathType dest)
ReturnPathTypecreateFact()
voidedgeTransfer(Edge edge, ReturnPathType fact)
voidfinishIteration()
BlockOrdergetBlockOrder(CFG cfg)
intgetLastUpdateTimestamp(ReturnPathType fact)
ReturnPathTypegetResultFact(BasicBlock block)
ReturnPathTypegetStartFact(BasicBlock block)
voidinitEntryFact(ReturnPathType result)
voidinitResultFact(ReturnPathType result)
booleanisForwards()
booleanisTop(ReturnPathType fact)
voidmakeFactTop(ReturnPathType fact)
voidmeetInto(ReturnPathType fact, Edge edge, ReturnPathType result)
booleansame(ReturnPathType fact1, ReturnPathType fact2)
voidsetLastUpdateTimestamp(ReturnPathType fact, int timestamp)
voidstartIteration()
voidtransfer(BasicBlock basicBlock, InstructionHandle end, ReturnPathType start, ReturnPathType result)

Constructor Detail

ReturnPathTypeAnalysis

public ReturnPathTypeAnalysis(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs)
Constructor.

Parameters: cfg the method's CFG rdfs a ReverseDepthFirstSearch on the method's CFG dfs a DepthFirstSearch on the method's CFG

Method Detail

copy

public void copy(ReturnPathType source, ReturnPathType dest)

createFact

public ReturnPathType createFact()

edgeTransfer

public void edgeTransfer(Edge edge, ReturnPathType fact)

finishIteration

public void finishIteration()

getBlockOrder

public BlockOrder getBlockOrder(CFG cfg)

getLastUpdateTimestamp

public int getLastUpdateTimestamp(ReturnPathType fact)

getResultFact

public ReturnPathType getResultFact(BasicBlock block)

getStartFact

public ReturnPathType getStartFact(BasicBlock block)

initEntryFact

public void initEntryFact(ReturnPathType result)

initResultFact

public void initResultFact(ReturnPathType result)

isForwards

public boolean isForwards()

isTop

public boolean isTop(ReturnPathType fact)

makeFactTop

public void makeFactTop(ReturnPathType fact)

meetInto

public void meetInto(ReturnPathType fact, Edge edge, ReturnPathType result)

same

public boolean same(ReturnPathType fact1, ReturnPathType fact2)

setLastUpdateTimestamp

public void setLastUpdateTimestamp(ReturnPathType fact, int timestamp)

startIteration

public void startIteration()

transfer

public void transfer(BasicBlock basicBlock, InstructionHandle end, ReturnPathType start, ReturnPathType result)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.