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