State (findbugs 3.0.1)

java.lang.Object
- edu.umd.cs.findbugs.ba.obl.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

Constructors
Constructor and Description

State(ObligationFactory factory)

Method Summary

Methods
Modifier and Type	Method and Description
`State`	`duplicate()`
`boolean`	`equals(Object o)`
`ObligationSet`	`getObligationSet()`
`Path`	`getPath()`
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - State
```
public State(ObligationFactory factory)
```
- Method Detail
  - getObligationSet
```
public ObligationSet getObligationSet()
```
    Returns:
    Returns the obligationSet.
  - getPath
```
public Path getPath()
```
    Returns:
    Returns the path.
  - duplicate
```
public State duplicate()
```
  - equals
```
public boolean equals(Object o)
```
    Overrides:
    
    equals in class Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class Object
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object

Copyright © 2003–2015. All rights reserved.