Interfaces
ObligationPolicyDatabaseEntry |
Classes
InstructionActionCache MatchMethodEntry Obligation ObligationAnalysis ObligationDataflow ObligationFactory ObligationPolicyDatabase ObligationPolicyDatabaseAction ObligationSet State StateSet |
Enums
ObligationPolicyDatabaseActionType ObligationPolicyDatabaseEntryType |
Exceptions
NonexistentObligationException ObligationAcquiredOrReleasedInLoopException |