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
voidcopy(DefinitelyNullSet source, DefinitelyNullSet dest)
DefinitelyNullSetcreateFact()
voidinitEntryFact(DefinitelyNullSet result)
voidinitResultFact(DefinitelyNullSet result)
booleanisTop(DefinitelyNullSet fact)
static voidmain(String[] args)
voidmakeFactTop(DefinitelyNullSet fact)
voidmeetInto(DefinitelyNullSet fact, Edge edge, DefinitelyNullSet result)
booleansame(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)
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.