定义文件是用一种类scheme的语言编写的,虽然对于小型界面来说它们很容易生成,但对于大型界面或初学者来说编写它们会很吃力。
Definition files are written in a Scheme-like language, and although they are easy to produce for small interfaces, they can be tiresome to write for large interfaces or for beginners.
正如您可以从本文样例文件(参见下载)看到的,一种类似的方法定义了后置条件和不变式。
As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants.
自定义工具是可用于在设计时将文件从一种类型转换为另一种类型的组件。
Custom tools are components that can be used to transform files from one type to another at design time.
应用推荐