Это команда gnatelim, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.
ПРОГРАММА:
ИМЯ
gnatelim - удалить мертвый код из программ Ada
СИНТАКСИС
Gnatelim [ВАРИАНТ] ... имя
ОПИСАНИЕ
Когда вы работаете с программой, которая разделяет один набор пакетов Ada с другими
программ, может случиться так, что ваша программа использует только часть подпрограммы, определенной в этих
пакеты, тогда как код, созданный для неиспользуемых подпрограмм, увеличивает размер
исполняемый файл вашей программы.
Gnatelim это утилита, отслеживающая неиспользуемые подпрограммы в программе Ada. Его вывод состоит
списка прагм Eliminate, отмечающих все объявленные подпрограммы, но никогда
вызывается в данной программе. Eliminate - это прагма, специфичная для GNAT. Компилируя вашу программу
с этими прагмами вы можете уменьшить размер его исполняемого файла, потому что компилятор будет
не создавать код для неиспользуемых подпрограмм.
Gnatelim это приложение ASIS, разработанное на основе реализации ASIS для GNAT. Это
требуется набор файлов дерева, представляющих программу для анализа, и файл привязки для ее основного
подпрограмма, которая будет создана в текущем каталоге. Для текущей версии это
ответственность пользователя за поддержание согласованности набора файлов дерева, обрабатываемых
Gnatelim, если пользователь также изменяет исходные коды обрабатываемой программы Ada.
Чтобы создать список прагм Eliminate, Gnatelim необходимо провести обширный анализ, и это
может занять некоторое время. Например, чтобы обработать себя, Gnatelim занимает 4 минуты процессорного времени
на Pentium 200.
ДОПОЛНИТЕЛЬНЫЕ УСЛУГИ, НЕ ВКЛЮЧЕННЫЕ В ПАКЕТ
-v подробный режим: Gnatelim выводится информация о версии (в виде комментариев Ada)
в stdout; имена обрабатываемых файлов печатаются со стандартным значением ошибки.
-vf То же, что и -v, но дополнительно различная отладочная информация и информация
отражающие некоторые детали анализа, проведенного Gnatelim печатаются на
стандартная ошибка.
-a Обрабатывать компоненты RTL: по умолчанию Gnatelim не анализирует единицы, которые
компоненты GNAT Run-Time Library (RTL), и он не генерирует
Удалите прагмы для подпрограмм, объявленных в RTL. Если установлена опция '-a', RTL
также анализируются компоненты (кроме некоторых модулей, которые содержат подпрограммы
неявно вызывается компилятором).
-m Проверять пропущенные единицы: если эта опция установлена, Gnatelim проверяет, что все блоки,
(согласно файлу привязки) должен быть проанализирован Gnatelim действительно представлены
набором файлов дерева, обрабатываемых Gnatelim (в зависимости от того, действительно ли '-a'
опция установлена). По умолчанию (то есть, если опция '-m' не установлена), Gnatelim анализы
набор единиц, представленный заданным набором файлов дерева «как есть» (за исключением библиотеки
пакеты, требующие тел, но для которых тела недоступны).
Используйте gnatelim онлайн с помощью сервисов onworks.net