Ex Contract v0.1.0 API Reference
Modules
This is Elixir library application that adds support for design by contract. For intro to DbC methodology see DbC
This is implementation module used by ExContract.Contract
for making calls that check for
requires, ensures, check, and fail conditions
Base module for contract exceptions that provides common implementation and data representation
Holds compilation state for JdContracts storing each condition and optional message in corresponding requires or ensures lists
Holds data related to contract condition and optional message that is reported when such condition fails
Exceptions
Custom exception raised by ExContract.Contract.check
macro
Custom exception raised by ExContract.Contract.ensures
macro
Custom exception raised by ExContract.Contract.fail
macro
Custom exception raised by ExContract.Contract.requires
macro