DAVE用户手册-Getting Started 21

21.DAVE Preferences

文档

DAVE Preferences用于修改DAVE操作的设置。要修改任何preference，先打开preference窗口。

图1：打开preference窗口

这个窗口包含了Eclipse平台提供的很多功能的preference。要访问DAVE preference，点击DAVE CE Preferences

图2：DAVE preference

该页面包括解析器配置、resource管理器和在线帮助。

解析器配置

解析器的如下preference可以修改。

1. Solver Eclipse Path - 解析器eclipse可执行文件的路径。
2. Timeout - DAVE等待解析器完成序列执行的秒数（超时后，如果解析器没有返回任何结果，用户会看到一个解析器错误对话框）
3. Minimize solver mapping changes - 该设置用于指定解析器是否要保存和复用相同指令的之前的执行结果（默认不勾选）。

其他设置见文知义。