Interface | Description |
---|---|
ViolationPolicy |
Policy for handling contract violations
|
Class | Description |
---|---|
AssertiveDefaultProvider |
Provider of default assertive policies for valid4j.
|
AssertiveDisabledProvider |
An assertive policy provider that disables all checks and assertive handling
|
CheckingPolicy |
An implementation of the assertive policy that checks the given conditions
for violations.
|
EnsureViolationPolicy |
Policy for handling post-conditions by throwing a contract violation.
|
NeverGetHerePolicy |
Policy for handling unreachable code by throwing an unrecoverable exception.
|
NonCheckingPolicy |
An assertive policy that performs no checking at all.
|
RequireViolationPolicy |
Policy for handling pre-conditions by throwing a contract violation.
|
TrackingViolationPolicy |
A violation policy that tracks thrown contract violations
|
Copyright © 2014–2015 valid4j. All rights reserved.