|
|
@@ -44,7 +44,7 @@ The following environment variables can be set to change the behavior of the run
|
|
|
The following Python modules are runnable from terminal:
|
|
|
|
|
|
* `sccd.test.run`, already mentioned, runs tests.
|
|
|
-* `sccd.render` will render test files and statecharts as SVG images. Depends on `state-machine-cat` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch.svg)
|
|
|
+* `sccd.statechart.cmd.render` will render test files and statecharts as SVG images. Depends on `state-machine-cat` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch.svg)
|
|
|
* `sccd.statechart.cmd.render_priorities` will render the statechart's transition priorities, as determined by the chosen semantics, as a graph. Depends on `dot` command. [Example of a rendered file](examples/digitalwatch/model_digitalwatch_priorities.svg)
|
|
|
* `sccd.statechart.cmd.check_model` will check if a model is valid.
|
|
|
* `sccd.action_lang.cmd.prompt` is an interactive prompt for the action language that is part of the statechart language.
|
