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