我了解到Ada规范文件(*.ads)中有公共部分和私有部分,只有公共部分应该考虑编译单元的用户(通常是包).
实际上,在不同的文件中将规范的公共部分和私有部分分开是不常见的?
因此,最后,这样的包的用户知道规范层上的包的内部但不能使用它.我在这儿吗?
感谢和欢呼,沃尔夫冈
ada
ada ×1