FindBugs™ 1.3.9

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

java.lang.Object
  extended by 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
static ObligationPolicyDatabaseAction CLEAR
           
 
Constructor Summary
ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType, Obligation obligation)
           
 
Method Summary
 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

FindBugs™ 1.3.9

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