Ada_Ru форум

hi

собс-но сабж

на шару :)

Alex

Ну уж про ASIS я точно почитаю! :)

 

Oleksandr Havva wrote:

hi,

"Sergey I. Rybin" wrote:

Ну уж про ASIS я точно почитаю! :)

>

провокационный вопрос: когда? ;)

Alex

 

 

 

провокационный вопрос: когда? ;)

да вот уже читаю!

 

Начал с ASIS UG. В целом - нормально, есть очепятки и пропущщенные/лишние

запятые. Пок лишь одно серьезное замечание:

 

2.6 Запуск ASIS-приложения

 

 

В текущей реализации, реализация компонентов ASIS рассматривается как модули определяемые пользователем,

а не модули определяемые реализацией. Следует также заметить, что некоторые компоненты библиотеки

времени выполнения GNAT (GNAT Run-Time Library) могут быть неявно указаны в спецификаторе контекста

withed внутри некоторых Ада-модулей, и, следовательно, они могут быть представлены в файле дерева.

^^^^^^??????????????

Благодаря этому Вы видете System.File_Control_Block в показанном выше списке.

продолжаем разговор...

 

3.1 Главные абстракции ASIS

 

(Я б сказал - ОСНОВНЫЕ абстракции)

 

Контекст Context

Контекст ASIS - это логический дескриптор окружения Ады,

^^^^^^^^^^^^^^^^^^^^ почему б просто не сказать - "абстракция"?

которое описывается в RM 95 Chapter 10. Во избежание трудностей

языкового уровня, при попытке понять формальное отношение между

^^^^^^^^^^^^^^^

 

Имелись в виду тонкости формального определения понятия environment

в RM95 и расплывчатость определения понятия Context в стандарте ASIS.

 

Данный текст может быть истолкован как проблемы перевода с английского

языка на русский.

 

3.2 Иерархия пакетов ASIS

 

Asis.Elements - Он также содержит запросы, которые работают с программами;

^^^^^^^^^^^^^

С ПРАГМАМИ!

 

3.5 Динамическая проверка допустимости запросов ASIS

 

Я бы в тексте явно употребил бы английские слова appropriate и expected,

чтобы ясно было, на что обращать внимание в тексте определения

запросов.

 

3.6 ASIS-итератор

 

Сканирование? Разве "обход дерева" не является (более) общеупотребительным

термином?

 

3.7 Навигация по спецификации ASIS

 

(например, пакет Asis.Statements начинается с запроса получения меток,

а заканчивается запросом декомпозиции инструкции).

^^^^^^^^^^^^^^^^^^^^^^^

 

Это что за зверь?

 

4. Контекст ASIS

 

4.1 Файлы контекста и дерева ASIS

^^^^^^^^^^^^^^^^^^^^^^^^^^^

 

"Файлов контекста" не бывает. Tree file - это файл, содержащий слегка

заархивированный "моментальный снимок" дерева, которое построил компилятор.

 

4.2 Создание файлов дерева для использования с ASIS

 

При создании файла дерева для ASIS, используйте раздельное указание

опций -gnatc и -gnatt. Не следует комбинировать их в одиночную опцию

-gnatct или -gnattc, поскольку это приведет к генерации фиктивного

объектного файла.

 

Это уже починено. Можно использовать -gnatct

 

========================

Временно убегаю... Вечером дочитаю

hi,

судя по обилию замечательств

"коллегу Рыбина" (С) Зуев

явно прорвало :)

"Sergey I. Rybin" wrote:

продолжаем разговор...

обязательно!

3.1 Главные абстракции ASIS

>

(Я б сказал - ОСНОВНЫЕ абстракции)

>

Контекст Context

Контекст ASIS - это логический дескриптор окружения Ады,

^^^^^^^^^^^^^^^^^^^^ почему б

просто не сказать - "абстракция"?

которое описывается в RM 95 Chapter 10. Во избежание трудностей языкового уровня, при попытке понять формальное отношение между ^^^^^^^^^^^^^^^

>

Имелись в виду тонкости формального определения понятия environment в RM95 и расплывчатость определения понятия Context в стандарте ASIS. >

Данный текст может быть истолкован как проблемы перевода с английского языка на русский.

>

3.2 Иерархия пакетов ASIS

>

Asis.Elements - Он также содержит запросы, которые работают с

программами;

>

^^^^^^^^^^^^^

С ПРАГМАМИ!

таки да... директивы

>

3.5 Динамическая проверка допустимости запросов ASIS

>

Я бы в тексте явно употребил бы английские слова appropriate и expected, чтобы ясно было, на что обращать внимание в тексте определения

запросов.

"appropriate и expected"... ага... там еще любимое слово Кирилла есть validity ---> валидированность

давай напишем - он нас обоих поколотит...

3.6 ASIS-итератор

>

Сканирование? Разве "обход дерева" не является (более) общеупотребительным термином?

>

3.7 Навигация по спецификации ASIS

>

(например, пакет Asis.Statements начинается с запроса получения меток, а заканчивается запросом декомпозиции инструкции).

^^^^^^^^^^^^^^^^^^^^^^^

>

Это что за зверь?

а эт тот зверь, которого ты оператором величаешь

(а теперича ответь на вопрос: что такое есть оператор?

hint: operator, statement)

4. Контекст ASIS

>

4.1 Файлы контекста и дерева ASIS

^^^^^^^^^^^^^^^^^^^^^^^^^^^

>

"Файлов контекста" не бывает. Tree file - это файл, содержащий слегка заархивированный "моментальный снимок" дерева, которое построил компилятор.

чес слово, прокол перевода... спешил :(

должно быть "ASIS контекст и файлы деревьев"

>

>

4.2 Создание файлов дерева для использования с ASIS

>

При создании файла дерева для ASIS, используйте раздельное указание опций -gnatc и -gnatt. Не следует комбинировать их в одиночную опцию -gnatct или -gnattc, поскольку это приведет к генерации фиктивного объектного файла.

>

Это уже починено. Можно использовать -gnatct

угу, только я делал ПЕРЕВОД из того, что значится для 3.15p

...а за разглашение более новых фирменных таинств

некоторых подписавшихся на фирме могут поколотить (шутка)

Alex

Этот дурацкий новый нетскейп с переменными шрифтами!

 

С ПРАГМАМИ!

 

таки да... директивы

Виноват, исправлись :)

 

3.5 Динамическая проверка допустимости запросов ASIS

 

Я бы в тексте явно употребил бы английские слова appropriate и expected,

чтобы ясно было, на что обращать внимание в тексте определения

запросов.

 

"appropriate и expected"... ага... там еще любимое слово Кирилла есть

validity ---> валидированность

давай напишем - он нас обоих поколотит...

 

 

Нет, в данном случае имеет полный смысл указать (пусть в скобках)

appropriate (по-английски!), там, где речь идет о возбуждении

исключения, и expected - там, где воспринимаются все элементы,

а осмысленный результат - только для expected. Дело в том, что

документация многих запросов завершается фрагментом:

 

-- Appropriate Element_Kinds:

 

или

 

-- Expected Element_Kinds:

 

Т.е. слова appropriate и expected - ключевые.

 

 

3.6 ASIS-итератор

 

Сканирование? Разве "обход дерева" не является (более) общеупотребительным

термином?

 

3.7 Навигация по спецификации ASIS

 

(например, пакет Asis.Statements начинается с запроса получения меток,

а заканчивается запросом декомпозиции инструкции).

^^^^^^^^^^^^^^^^^^^^^^^

 

Это что за зверь?

 

а эт тот зверь, которого ты оператором величаешь

(а теперича ответь на вопрос: что такое есть оператор?

hint: operator, statement)

 

 

А вот и нет - фишка в том. что пакет Asis.Statements начинается

с меток, потом идут запросы для операторов из главы 5 в том же

порядке, как те операторы описаны в главе 5, потом - запросы

для операторов из глав 9 и 11, а уж потом - для оператора кода.

 

 

Это уже починено. Можно использовать -gnatct

 

угу, только я делал ПЕРЕВОД из того, что значится для 3.15p

...а за разглашение более новых фирменных таинств

некоторых подписавшихся на фирме могут поколотить (шутка)

 

 

Не, не поколотят :)

 

Наверное, имеет смысл оставить как есть - оно не повредит, а когда

именно починили, я толком не помню

 

Постораюсь почитать хотя бы UG сегодня

hi,

"Sergey I. Rybin" wrote:

>угу, только я делал ПЕРЕВОД из того, что значится для 3.15p

>

[skip]

>

Постораюсь почитать хотя бы UG сегодня

тю, елы-палы, приплыли...

раз начались всяческие "постараюсь", знач "бензин кончился" :(

...а вообче, некоторые, как непосрейсьвенно учавствующие

в сочинительстве GNAT-ского ASIS-а, могли бы,

так сказать - "из первых рук", сотворить эти буквари на русском... че, слабо/лениво?

Alex

 

 

тю, елы-палы, приплыли...

раз начались всяческие "постараюсь", знач "бензин кончился" :(

 

А вот назло дочитаю!

 

...а вообче, некоторые, как непосрейсьвенно учавствующие

в сочинительстве GNAT-ского ASIS-а, могли бы,

так сказать - "из первых рук", сотворить эти буквари на русском...

че, слабо/лениво?

Некогда, ....ь!

 

К тому же с "GNAT-ского ASIS-а" переброшен на другой фронт работ :(

Значится, продолжим:

 

4.2.1 Создание дерева для дополнения декомпозиции данных

 

(второй абзац)

 

...Фактически, создание дерева для подчиненного модуля не является

ограничением, пользователь должен также иметь исходный текст

тела модуля-родителя.

 

Так речь же идет не о создании, а о ЗАПРЕТЕ создани деревьев для subunuts

в случае использования DDA!

 

4.3 Различные способы определения контекста ASIS в ASIS-для-GNAT

 

-SA

Файлы с исходными текстами для всех модулей компиляции,

которые принадлежат к контексту Context (кроме предопределенного

пакета Standard), будут учтены при проверке согласованности в процессе

открытия контекста Context (см. 3.4, где рассмотривается проблема

согласованности в ASIS-для-GNAT).

 

Тут суть в том, что требуется НАЛИЧИЕ файлов исходных текстов для ВСЕХ

"модулей компиляции, которые принадлежат к контексту Context

(кроме предопределенного пакета Standard),"

 

4.4.1 Несогласованные версии ASIS и GNAT

Когда ASIS-для-GNAT читает файл дерева, созданный версией компилятора для

которой не предполагается использование ASIS-для-GNAT,

 

Неудачная формулировка. ASIS существует для каждой версии компилятора.

я бы сказал что-то вроде:

 

Когда ASIS-для-GNAT читает файл дерева, созданный версией компилятора,

отличной от той версии, которой соответствует данная версия

ASIS-для-GNAT,...

 

4.5 Одновременная обработка нескольких контекстов

 

Следовательно, чтобы безопасно обрабатывать более одного одновременно

открытого контекста, приложение ASIS должно обладать как минимум

^^^^^^^^^^^

одним контекстом, который определен с использованием опции -FS или -FM.

 

Все наоборот! Такой контекст может быть максимум один!

 

9. Обработка Ада-библиотеки с помощью средств основанных на ASIS

 

инструментальное средство обнаруживает Compilation_Which

^^^^^^^^^^^^^^^'

интересная очепятка

==========================================

Пожалуй, это все. ОЧепятки и пунктуацию не отлавливал.

Приступил к ASIS RM

 

1. ASIS-для-GNAT и стандарт ASIS

ASIS-для-GNAT содержит спецификации для всех интерфейсных пакетов

ASIS, которые определены стандартом ASIS, за исключением необязательного

^^^^^^^^^^^^^^^^^^^^^^^^^^^^

дополнения декомпозиции данных (Data Decomposition Annex).

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

 

К сожалению, в 3.15 здесь плюха. ASIS UG рассуждает о специфике работы

с DDA, ASIS RM утверждает, что DDA отсутствует. На самом деле он ЕСТЬ.

 

3. Свойства характерные для реализации и привилегии реализации

 

В оригинале - "Implementation-Specific Features and Implementation Permissions"

 

Я бы перевел как "Свойства, зависящие от реализации, и допустимые вариации"

Permissions - это э когда стандарт разрешает поступать либо так, либо эдак.

 

Во-вторых, некоторые массивы ASIS рассматриваются как создающие

^^^^^^^ -??? элементы функциональности???

проблемы для реализации ASIS. Для таких массивов,

рабочий черновик ASIS (Asis Working Draft) содержит явные

^^^^^^^^^^^^^^^^^^^^^

Working Draft - это проект стандарта. Но это второе. Первое - здесь плюха в оригинале.

Стоит ссылаться на ASIS ISO-шный стандарт.

 

привилегии реализации, которые позволяют какой-либо реализации

^^^^^^^^^^

 

"допущения" или "разрешения" Или еще что-нибудь, но никак не "привилегии"!

 

3.1 Взаимодействие с внутренними структурами Ада-реализации

^^^^^^^^^^^^^^^^^^^^^^^^^

 

В оригинале - "Interacting with the Underlying Ada Implementation"

 

Я бы перевел как "Взаимодействие с базовой реализацей Ады", или, длиннее,

но точнее "Взаимодействие с реализацией Ады, в состав которой взодит данная

реализация ASIS"

 

Потому что "внутренние структуры" здесь совсем не по делу - мы ж от них пытаемся

абстрагироваться!

 

3.1.4 Параметры процедуры Asis.Implementation.Associate

 

...ASIS рассматривает для поиска исходных текстов (файлов деревьев) только

текущий каталог, в противном случае текущий каталог включается в путь

поиска исходных текстов (файлов деревьев) только в случае его явного указания

с помощью '-I' или '-T' соответственно.

^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

 

Должно быть '-I.' и '-T.' ! "." - это ж указание текущего каталога как параметра!!!

=============================================

С точностью до очепяток и причесывания стиля - вроде как все.

 

Обидно, что перевод будет иметь смысл только для 3.15 - в 3.16 ASIS-ная

документация существенно переработана.

Sergey I. Rybin wrote:

Обидно, что перевод будет иметь смысл только для 3.15 - в 3.16 ASIS-ная

документация существенно переработана.

 

Может тогда не мучиться Алексанру с переводом, а дать ему документацию по 3.16. Думаю мы на это имеем право, а если не имеем, спросить разрешение у ACT. Цели то благородные.

 

 

Dmitriy Anisimkov wrote:

 

Sergey I. Rybin wrote:

Обидно, что перевод будет иметь смысл только для 3.15 - в 3.16 ASIS-ная

документация существенно переработана.

 

Может тогда не мучиться Алексанру с переводом, а дать ему документацию по 3.16.

Ну, для 3.15 все практически сделано. Я бы не стал убиваться с вылизыванием стиля.

 

Тем более, пока абсолютному большинству доступна именно 3.15. Когда появится 3.16 -

сказать не берусь

 

Думаю мы на это имеем право, а если не имеем, спросить разрешение у ACT. Цели то благородные.

А вроде как теперь весь ГНАТ в FSF tree. Вася, проясните?

А вроде как теперь весь ГНАТ в FSF tree. Вася, проясните?

 

Дык, открыт только репозиторий компилятора.

Вам ли не знать что ASIS в другом репозитории... :)

 

Вася.