Policy for handling contract violations
Provider of default assertive policies for valid4j.
An assertive policy provider that disables all checks and assertive handling
An implementation of the assertive policy that checks the given conditions for violations.
Policy for handling post-conditions by throwing a contract violation.
Policy for handling unreachable code by throwing an unrecoverable exception.
An assertive policy that performs no checking at all.
Policy for handling pre-conditions by throwing a contract violation.
A violation policy that tracks thrown contract violations
Copyright © 2014–2015 valid4j. All rights reserved.