With the introduction of java-based preprocessors such as icontract, it is possible to place assertions into your source code and have them automatically converted into java code that checks to ensure that the assertions are never violated 引入了基于java的预处理器,如icontract之后,就有可能将断言放入源代码中并使它们自动转换为进行检查以确保断言永远有效的java代码。
By studying the iges data exchange standard and analyzing iges files produced by the preprocessors of cad systems, comprehend basic line elements and basic face elements constituting parts and summarize the means to get data information of parts and assemblies . 2 通过对iges数据交换标准本身的研究,分析比较由cad系统的前处理器生成的iges文件,了解组成零件的基本线元和基本面元的实体类型,总结出从iges文件中提取零件和装配体数据信息的方法。