Packages

makina

0.2.1
0.3.2 0.3.1 0.3.0 0.2.2 0.2.1 0.2.0

Makina is a DSL for writing PBT models for stateful systems.

HexDocs

Current section

Files

Jump to
Readme
6 Versions
0 Dependencies
Dependants
Files
Activity
makina lib makina info.ex
Raw

lib/makina/info.ex 

defmodule Makina.Info do

  @moduledoc false



  alias Makina.Info.Server



  defdelegate _store_commands(env, bytecode), to: Server

  defdelegate _store_command(env, bytecode), to: Server

  defdelegate _store_state(env, bytecode), to: Server

  defdelegate _store_invariants(env, bytecode), to: Server

  defdelegate get_models, to: Server

  defdelegate get_command(module, command), to: Server

  defdelegate get_command!(module, command), to: Server

  defdelegate get_commands(module), to: Server

  defdelegate get_commands!(module), to: Server

  defdelegate get_state(module), to: Server

  defdelegate get_state!(module), to: Server

  defdelegate get_invariants(module), to: Server

  defdelegate get_invariants!(module), to: Server

end