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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
CLEAR
public static final ObligationPolicyDatabaseAction CLEAR
ObligationPolicyDatabaseAction
public ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType,
@Nullable
Obligation obligation)
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™ is licenced under the LGPL. Copyright © 2006 University of Maryland.