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 and Description
static ObligationPolicyDatabaseAction	CLEAR

Constructor Summary

Constructors

Constructor and Description
ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType, Obligation obligation)

Method Summary

Methods

Modifier and Type	Method and 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