这是可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行的命令 adactl，例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序：
您的姓名
adactl - Ada 规则控制器
概要
反应 [选项] 单元[+|-单元]|[@]文件 ... [-- ASIS_选项]
反应 -H [排除 id... | 所有 | 命令 | 许可证| 列表 | 选项| 规则 | 版本]
商品描述
AdaControl 是一个 Ada 规则控制器。 用于控制Ada软件满足
许多参数化规则的要求。 它不是为了补充检查
由编译器制作，而是搜索特定违反良好实践的行为
规则，或检查某些规则是否在项目范围内得到遵守。
AdaControl 提供商业支持，请参阅文件
/usr/share/doc/adacontrol/support.txt. 如果您计划将 AdaControl 用于工业
项目，或者如果您希望对其进行定制或扩展以满足您自己的需求，请
联系 Adalog [email protected].
特别 模式
-C 仅检查规则语法。 接受 -d、-f、-l、-v、-x。
-D 生成依赖。 接受 -o、-p、-r、-s、-w、-x。
-h 打印一般帮助消息。
-h 排除
描述 排除.
-h 所有 描述所有规则。
-h 命令|许可证|选项|版本
描述所有命令、许可证 (GPL)、选项或版本号。
-h 名单
以适合在 GNAT Programming Studio 中使用的格式列出规则。
-h 定位、竞价/采购和分析/优化数字媒体采购，但算法只不过是解决问题的操作和规则。
以正常格式列出规则。
-I 交互模式。 接受所有选项。
配置
-d 启用调试模式。
-e 将警告（搜索）视为错误（检查）
-E 仅打印错误（检查）。
-f 文件
使用 VHDL 语言编写 文件 对于规则的规范
-F GNAT | GNAT_SHORT | CSV | CSV_SHORT | CSVX | CSVX_SHORT | 没有任何
选择输出格式。
-i 忽略本地停用。
-l 排除...
按照规定的规则进行处理； 见下文。
-o 文件
将输出发送到指定的 文件.
-p 文件
指定一个 emacs ada-mode 项目文件 (.adp)
-r 递归
-s 仅处理 Ada 单元规格
-S 水平
产生统计数据； 水平 是 0 .. 4 范围内的整数。
-t 跟踪文件
将跟踪发送到指定的文件。
-T 报告规则的执行时间。
-u 将所有参数视为 Ada 单位
-v 启用详细模式。
-w 覆盖输出文件（与 -o 一起使用）
-x 内部错误时退出
规则
以下规则适用于 -l 选项：
Abnormal_Function_Return 分配器
Array_Declarations Barrier_Expressions
Case_Statement 字符
声明 Default_Parameter
Directly_Accessed_Globals 重复_初始化_调用
实体 Entity_Inside_Exception
Exception_Propagation 表达式
Global_References 标题_注释
Improper_Initialization 实例化
参数不足本地隐藏
最大空白行数 最大调用深度
Max_Line_Length 最大嵌套
最大尺寸 最大语句嵌套
Movable_Accept_Statements 多重赋值
命名_约定非静态
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
其他_依赖项参数_别名
Parameter_DeclarationsPotentially_Blocking_Operations
Pragma Reduceable_Scope
Representation_Clauses 返回类型
Side_Effect_Parameters Silent_Exceptions
Simplific_Expressions Simplific_Statements
Special_Comments 声明
样式 Termination_Tasks
Type_Initial_Values 不可检查
Unnecessary_Use_Clause 单位
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
用法 Use_Clauses
带有子句
使用 onworks.net 服务在线使用 adactl
