Ex Contract v0.1.0 ExContract.Assert View Source

This is implementation module used by ExContract.Contract for making calls that check for requires, ensures, check, and fail conditions.

Link to this section Summary

Link to this section Functions

Link to this function check(condition, condition_txt, env, msg) View Source
check(condition :: boolean, condition_txt :: String.t, env :: any, msg :: String.t) ::
  nil |
  no_return
Link to this function ensures(condition, condition_txt, env, msg) View Source
ensures(condition :: boolean, condition_txt :: String.t, env :: any, msg :: String.t) ::
  nil |
  no_return
Link to this function fail(env, msg) View Source
fail(env :: any, msg :: String.t) :: nil | no_return
Link to this function requires(condition, condition_txt, env, msg) View Source
requires(condition :: boolean, condition_txt :: String.t, env :: any, msg :: String.t) ::
  nil |
  no_return