public class ObligationPolicyDatabaseAction
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static ObligationPolicyDatabaseAction |
CLEAR |
Constructor | Description |
---|---|
ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType,
Obligation obligation) |
Modifier and Type | Method | Description |
---|---|---|
void |
apply(StateSet stateSet,
int basicBlockId) |
|
ObligationPolicyDatabaseActionType |
getActionType() |
|
Obligation |
getObligation() |
|
java.lang.String |
toString() |
public static final ObligationPolicyDatabaseAction CLEAR
public ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType, @Nullable Obligation obligation)
public ObligationPolicyDatabaseActionType getActionType()
public Obligation getObligation()
public void apply(StateSet stateSet, int basicBlockId) throws ObligationAcquiredOrReleasedInLoopException
public java.lang.String toString()
toString
in class java.lang.Object
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.