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 priv docs model.md
Raw

priv/docs/model.md 

This module defines a Makina model called `<%= inspect(name) %>`.



# State



<%= if attrs != [] do %>



Defines the attributes:



<%  attrs = for attr <- attrs, do: " - `#{attr}`. " %>

<%= Enum.join(attrs, "\n") %>



<% else %>



Empty state.



<% end %>



# Commands





<%= if cmds != [] do %>



Defines the commands:



<%  cmds = for cmd <- cmds, do: " - `#{cmd}`. " %>

<%= Enum.join(cmds, "\n") %>





<% else %>



Does not define any command.



<% end %>





# Invariants



<%= if invs != [] do %>



Defines the invariants:



<%  invs = for inv <- invs, do: " - `#{inv}`. " %>

<%= Enum.join(invs, "\n") %>



<% else %>



Does not define any invariant.



<% end %>