public class AssertiveDefaultProvider extends Object implements AssertiveProvider
Constructor and Description |
---|
AssertiveDefaultProvider() |
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() |
public static List<ContractViolation> getFirstTrackedViolations()
public CheckPolicy requirePolicy()
requirePolicy
in interface AssertiveProvider
public CheckPolicy ensurePolicy()
ensurePolicy
in interface AssertiveProvider
public UnreachablePolicy neverGetHerePolicy()
neverGetHerePolicy
in interface AssertiveProvider
Copyright © 2014–2015 valid4j. All rights reserved.