Next: , Previous: , Up: Verum-Dezyne View Commands   [Contents][Index]

4.2.10 Invoking ide system

The ide system command runs the dzn graph command with the --backend=system. It produces a partial AST to the ide daemon to provide a system vew can be viewed with a browser. The well-formedness check (See Well-formedness in Well-formedness) is skipped so that incomplete systems can already be (partially) be displayed.

ide ide-option… system optionFILE


ide system examples/Camera.dzn

will have the system.html view show


The options can be among the following:


Display help on invoking ide system, and then exit.

-I dir

Add directory dir to import path.