AdaControl 1.13r8下载地址

检测使用的各种结构的Ada程序

AdaControl的开发是一个免费的工具，Ada程序结构中的各种检测。它的第一个目标是控制风格或编程规则的正确使用，但它也可以作为一个功能强大的工具，搜索各种形式的编程风格或设计模式的神器出山:www.shenqi73.com使用（或不使用）。

搜寻的元素范围从非常简单的，如发生certaine的实体，宣言或声明，以非常复杂的，如验证，一定的编程模式正在被服从..

搜索元素或结构是指由一组规则，下表给出的规则检查AdaControl的一个简短的总结。规则名称后括号中的数字给出了数子规则，如果有的话。考虑到所有可能的规则和子规则，这使得388的测试，目前可以通过AdaControl！

AdaControl是一个命令行工具，但它已完全集成到AdaCore的GPS环境。从GPS，你可以运行AdaControl，修复的侵犯，或编辑规则文件，只需点击几下。

但的AdaControl以上是一组编码规则：它是一个完整的环境，可以很容易地扩展。如果没有提供您最喜爱的规则，你可以添加你自己！当然，我们会在未来继续延长一些规则。