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 themytool
tool with arguments1
andtrue
. 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.