org.valid4j.impl

Class AssertiveDefaultProvider

java.lang.Object

org.valid4j.impl.AssertiveDefaultProvider

All Implemented Interfaces:

AssertiveProvider

public class AssertiveDefaultProvider
extends Object
implements AssertiveProvider

Provider of default assertive policies for valid4j.

Constructor Summary

Constructors

Constructor and Description
AssertiveDefaultProvider()

Method Summary

Modifier and Type	Method and Description
CheckPolicy	ensurePolicy()
static List<ContractViolation>	getFirstTrackedViolations() Get the first contract violations that have occurred in current process.
UnreachablePolicy	neverGetHerePolicy()
CheckPolicy	requirePolicy()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AssertiveDefaultProvider

public AssertiveDefaultProvider()

Method Detail

getFirstTrackedViolations

public static List<ContractViolation> getFirstTrackedViolations()

Get the first contract violations that have occurred in current process.

Returns:

the (up to 10) first contract violations in the order of occurrence

requirePolicy

public CheckPolicy requirePolicy()

Specified by:

requirePolicy in interface AssertiveProvider

Returns:

the policy to use for checking preconditions

ensurePolicy

public CheckPolicy ensurePolicy()

Specified by:

ensurePolicy in interface AssertiveProvider

Returns:

the policy to use for checking postconditions

neverGetHerePolicy

public UnreachablePolicy neverGetHerePolicy()

Specified by:

neverGetHerePolicy in interface AssertiveProvider

Returns:

the policy to use for reaching presumably unreachable code.