Package edu.umd.cs.findbugs.ba.obl

Class ObligationPolicyDatabaseAction

java.lang.Object

edu.umd.cs.findbugs.ba.obl.ObligationPolicyDatabaseAction

public class ObligationPolicyDatabaseAction
extends Object

An action applied by an entry in the ObligationPolicyDatabase. Adds or removes an obligation.

Author:

David Hovemeyer

Field Summary

Fields

Modifier and Type	Field	Description
static final ObligationPolicyDatabaseAction	CLEAR

Constructor Summary

Constructors

Constructor	Description
ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType, Obligation obligation)

Method Summary

Modifier and Type	Method	Description
void	apply(StateSet stateSet, int basicBlockId)
ObligationPolicyDatabaseActionType	getActionType()
Obligation	getObligation()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

CLEAR

public static final ObligationPolicyDatabaseAction CLEAR

Constructor Details

ObligationPolicyDatabaseAction

public ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType,
 @Nullable
 Obligation obligation)

Method Details

getActionType

public ObligationPolicyDatabaseActionType getActionType()

getObligation

public Obligation getObligation()

apply

public void apply(StateSet stateSet,
 int basicBlockId)
           throws ObligationAcquiredOrReleasedInLoopException

Throws:

ObligationAcquiredOrReleasedInLoopException

toString

public String toString()

Overrides:

toString in class Object