edu.umd.cs.findbugs.ba.npe2

Class DefinitelyNullSetAnalysis

public class DefinitelyNullSetAnalysis extends ForwardDataflowAnalysis<DefinitelyNullSet>

A simple null-pointer analysis that keeps track of which value numbers are definitely known to be null.

Author: David Hovemeyer

Constructor Summary
	DefinitelyNullSetAnalysis(DepthFirstSearch dfs, ValueNumberDataflow vnaDataflow, CompactLocationNumbering compactLocationNumbering) Constructor.

Method Summary
void	copy(DefinitelyNullSet source, DefinitelyNullSet dest)
DefinitelyNullSet	createFact()
void	initEntryFact(DefinitelyNullSet result)
void	initResultFact(DefinitelyNullSet result)
boolean	isTop(DefinitelyNullSet fact)
static void	main(String[] args)
void	makeFactTop(DefinitelyNullSet fact)
void	meetInto(DefinitelyNullSet fact, Edge edge, DefinitelyNullSet result)
boolean	same(DefinitelyNullSet fact1, DefinitelyNullSet fact2)

Constructor Detail

DefinitelyNullSetAnalysis

public DefinitelyNullSetAnalysis(DepthFirstSearch dfs, ValueNumberDataflow vnaDataflow, CompactLocationNumbering compactLocationNumbering)

Constructor.

Parameters: dfs DepthFirstSearch for the method vnaDataflow value number dataflow for the method compactLocationNumbering CompactLocationNumbering for the method

Method Detail

copy

public void copy(DefinitelyNullSet source, DefinitelyNullSet dest)

createFact

public DefinitelyNullSet createFact()

initEntryFact

public void initEntryFact(DefinitelyNullSet result)

initResultFact

public void initResultFact(DefinitelyNullSet result)

isTop

public boolean isTop(DefinitelyNullSet fact)

main

public static void main(String[] args)

makeFactTop

public void makeFactTop(DefinitelyNullSet fact)

meetInto

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

same

public boolean same(DefinitelyNullSet fact1, DefinitelyNullSet fact2)