CLI-I-2 符合性

 

2     符合性

一个声明符合本国际标准的系统应该实现本标准的所有标准化需求，并应该详细说明它所实现的具体档案（profile）——见第四部分。最小的实现是内核档案（Kernel Profile）。一个符合要求的实现也可以包含附加的功能，只要其不影响只基于本标准的代码的运行。例如，一个符合要求的实现可以提供附加的类、现有类的新方法或者一个标准类的新接口，但是它不应该向本标准中定义的接口中添加方法或者属性（property）。

一个产生公共中间语言（CIL，见第三部分）并声称符合本国际标准的编译器应该生成本标准中指定格式的输出文件，而且它所产生的公共中间语言（CIL）也必须是在本标准中正确的公共中间语言（CIL）。这样的编译器可以声明它产生的是可校验（verifiable）的代码——意味着它产生的公共中间代码可用本标准来检验。