org.valid4j

Interface AssertiveProvider

All Known Implementing Classes:

AssertiveDefaultProvider, AssertiveDisabledProvider

public interface AssertiveProvider

Provider of assertive policies.

Method Summary

Modifier and Type	Method and Description
CheckPolicy	ensurePolicy()
UnreachablePolicy	neverGetHerePolicy()
CheckPolicy	requirePolicy()

Method Detail

requirePolicy

CheckPolicy requirePolicy()

Returns:

the policy to use for checking preconditions

ensurePolicy

CheckPolicy ensurePolicy()

Returns:

the policy to use for checking postconditions

neverGetHerePolicy

UnreachablePolicy neverGetHerePolicy()

Returns:

the policy to use for reaching presumably unreachable code.