Revision 9ae027f8 src/tools/stateflow/json-parser/json_parser.ml
| src/tools/stateflow/json-parser/json_parser.ml | ||
|---|---|---|
| 67 | 67 |
Logs.debug (fun m -> m "parse_transition"); |
| 68 | 68 |
{
|
| 69 | 69 |
event = json |> member "event" |> Ext.parse_event; |
| 70 |
condition = json |> member "condition" |> Ext.parse_condition;
|
|
| 70 |
condition = json |> member "condition" |> Ext.parse_condition; |
|
| 71 | 71 |
condition_act = json |> member "condition_act" |> Ext.parse_action; |
| 72 | 72 |
transition_act = json |> member "transition_act" |> Ext.parse_action; |
| 73 | 73 |
dest = json |> member "dest" |> parse_dest |
| ... | ... | |
| 158 | 158 |
Some initial_value |
| 159 | 159 |
) |
| 160 | 160 |
end |
| 161 |
|
|
Also available in: Unified diff