edu.umd.cs.findbugs.ba.obl

Class State

public class State extends Object

Error-handling obligation analysis state. This is a set of obligations and a program path on which they are outstanding (not cleaned up).

See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.

Author: David Hovemeyer

Constructor Summary
State(int maxObligationTypes, ObligationFactory factory)
Method Summary
Stateduplicate()
ObligationSetgetObligationSet()
PathgetPath()

Constructor Detail

State

public State(int maxObligationTypes, ObligationFactory factory)

Method Detail

duplicate

public State duplicate()

getObligationSet

public ObligationSet getObligationSet()

Returns: Returns the obligationSet.

getPath

public Path getPath()

Returns: Returns the path.

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.