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

Class ObligationPolicyDatabaseAction

java.lang.Object

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

public class ObligationPolicyDatabaseAction
extends java.lang.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 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()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

CLEAR

public static final ObligationPolicyDatabaseAction CLEAR

Constructor Detail

ObligationPolicyDatabaseAction

public ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType,
                                      @Nullable
                                      Obligation obligation)

Method Detail

getActionType

public ObligationPolicyDatabaseActionType getActionType()

getObligation

public Obligation getObligation()

apply

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

Throws:

ObligationAcquiredOrReleasedInLoopException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object