## ToolDef interpreter

ToolDef scripts can be executed using the ToolDef interpreter, either on the command line, or in the ESCET IDE.

### Command line

To execute a ToolDef script on the command line, use the `tooldef` executable. To start executing a ToolDef script, enter something like this on the command line:

    tooldef some_script.tooldef

Additional options are available, to influence how the script is executed. For details, execute the ToolDef interpreter with the `--help` or `-h` command line option:

    tooldef --help

In particular, consider the following options:

- Tool invocation (`--invoke=INVOCATION` or `-i INVOCATION`)

  The tool to invoke, and its arguments, in ToolDef syntax. For example: `tooldef some_script.tooldef --invoke='mytool(1, true)'` to invoke the `mytool` tool with arguments `1` and `true`. If the option is not used, the entire ToolDef script is executed instead. By default, the entire script is executed.

### ESCET IDE

To execute a ToolDef script in the ESCET IDE, right click the `.tooldef` file or an open text editor for the script, and choose Execute ToolDef. Alternatively, choose Execute ToolDef…​ to first shown an option dialog. The dialog shows several options that influence how the script is executed. These options can be configured as desired before executing the script.

It is also possible to start executing a script by pressing `F10`, while a `.tooldef` file is selected or an open text editor for such a file has the focus. Finally, clicking the corresponding toolbar icon () has the same effect.

Execution of ToolDef script can be manually terminated by means of the termination features of the Applications view.