gnatcheck - Інтернет у хмарі

ПРОГРАМА:

ІМ'Я

gnatcheck - інструмент перевірки правил GNAT

СИНТАКСИС

gnatcheck [ВАРІАНТ]... ім'я файлу [- вантажівки gcc_switches] [-правила rule_switches]

gnatcheck [ВАРІАНТ]... -файли=ім'я файлу [- вантажівки gcc_switches] [-правила rule_switches]

ОПИС

gnatcheck перевіряє відповідність вихідного тексту Ada правилам і створює файл звіту
для подальшого аналізу, а також на стандартний вихід.

У першій формі, gnatcheck перевіряє вказані вихідні файли Ada (знаки узагальнення є
дозволено).

У другій формі, gnatcheck перевіряє вихідні файли Ada, перелічені у вказаному файлі.

gnatcheck це програма ASIS, розроблена на основі реалізації ASIS для GNAT. як
наприклад, він читає файли дерева (*.adt), створений компілятором для досягнення своїх цілей, і
викликає gnatgcc для цього.

ВАРІАНТИ

-a Обробляйте одиниці RTL.

- вантажівки gcc_switches
Проходити gcc_switches до GCC під час створення файлів дерева.

-d Режим налагодження.

-дд Режим індикатора прогресу для використання в GNAT Programming Studio.

-h Роздрукуйте список вбудованих правил.

-l Повні ланцюжки розташування джерела у файлі звіту.

-q Тихий режим: не повідомляти про виявлення на стандартному виході.

-правила rule_switches
rule_switches може бути будь-якою комбінацією з наступного:

-від=файл
Прочитайте варіанти правил з файл

+УСІ Увімкніть усі правила.

-ВСЕ Вимкніть усі правила.

+RІдентифікатор_правила[:парам[,парам...]]
Увімкніть вказане правило, передавши йому додаткові параметри.

-RІдентифікатор_правила
Вимкніть вказане правило.

+RІдентифікатор_правила[:парам[,парам...]]
Вимкніть деякі перевірки для вказаного правила.

Ідентифікатор_правила це будь-яке з правил, перелічених разом із -h варіант.

-s Коротка форма файлу звіту.

-sn Включити лише розділ n (n в 1 .. 3) у файлі звіту.

-v Детальний режим.

Використовуйте gnatcheck онлайн за допомогою сервісів onworks.net