Packages

makina

0.2.0
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 templates next_callback.md
Raw

priv/docs/templates/next_callback.md 

This callback computes the next state of the model after the execution of the command `<%= info.name %>`.



## Available variables



### State



- `state` contains the complete symbolic state of the model.

<%= for attr <- info.attrs, do: "- `#{Macro.var(attr, nil) |> Macro.to_string}` attribute defined in the state declaration.\n" %>



### Arguments



- `arguments` contains all the generated arguments of the command.

<%= for arg <- info.args, do: "- `#{Macro.var(arg, nil) |> Macro.to_string}` argument defined in the command declaration.\n" %>



### Result



- `result` variable that contains the symbolic result of the command execution.