Это команда adactl, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
adactl - контроллер правил Ada
СИНТАКСИС
Adactl [кредита] Ед. изм[+ | -Ед. изм] | [@]файл ... [- ASIS_options]
Adactl -ч [править id... | все | команды | лицензия | список | варианты | правила | версия]
ОПИСАНИЕ
AdaControl - это контроллер правил Ada. Он используется для контроля соответствия программного обеспечения Ada требованиям
требования ряда параметризуемых правил. Он не предназначен для дополнения чеков.
сделано компилятором, а скорее для поиска конкретных нарушений надлежащей практики
rules или для проверки соблюдения некоторых правил в рамках всего проекта.
Для AdaControl доступна коммерческая поддержка, см. Файл
/usr/share/doc/adacontrol/support.txt. Если вы планируете использовать AdaControl для промышленных
проекты, или если вы хотите, чтобы он был настроен или расширен в соответствии с вашими потребностями, пожалуйста,
свяжитесь с Adalog по [электронная почта защищена].
SPECIAL РЕЖИМЫ
-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 файл
Используйте файл для уточнения правил
-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 Барьерные_выражения
Case_Statement Персонажи
Объявления Default_Parameter
Directly_Accessed_Globals Дубликаты_Инициализации_Вызовы
Сущности Entity_Inside_Exception
Exception_Propagation Выражения
Global_References Заголовок_Комментарии
Неподходящие экземпляры инициализации
Недостаточно_параметров Локальное_Скрытие
Max_Blank_Lines Max_Call_Depth
Max_Line_Length Max_Nesting
Max_Size Max_Statement_Nesting
Movable_Accept_Statements Multiple_Assignments
Соглашение об именовании
Not_Elaboration_Calls Not_Selected_Name
No_Operator_Usage Object_Declarations
Другие_зависимости Параметр_Алиасинг
Параметр_Декларации Потенциально_Блокирующие_Операции
Прагмы Reduceable_Scope
Предложения_представления Return_Type
Side_Effect_Parameters Silent_Exceptions
Упрощенные_выражения Упрощенные_операторы
Special_Comments Заявления
Стиль Terminating_Tasks
Type_Initial_Values Не отмечается
Единицы Ненужное_Использование_Предложение
Unsafe_Paired_Calls Unsafe_Unchecked_Conversion
Использование Use_Clauses
С_пунктами
Используйте adactl в Интернете с помощью сервисов onworks.net
