ex_contract

defmodule ExContract.RequiresException do
  @moduledoc """
  Custom exception raised by `ExContract.requires/1` macro.
  """

  use ExContract.BaseContractException

  @spec new(condition_txt :: String.t(), env :: any, msg :: String.t()) :: t
  def new(condition_txt, env, msg) do
    %__MODULE__{message: message(condition_txt, env, msg)}
  end

  defp message(condition_txt, env, msg) do
    "Pre-condition [#{inspect(condition_txt)}] violated. " <>
    "Invalid implementation of caller to function [#{function_desc(env.function)}] #{msg}"
  end
end