4.2.11 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 option... FILE

Running

ide system examples/Camera.dzn

will have the system.html view show

The options can be among the following:

--help

-h

Display help on invoking ide system, and then exit.

--import=dir

-I dir

Add directory dir to import path.