Ada_Ru форум

Обсуждение языка Ада

Preelaborable_Initialization vs. Root_Storage_Pool

Оставить новое сообщение

Сообщения

Иван Левашев
Preelaborable_Initialization vs. Root_Storage_Pool
2010-01-16 11:32:06

Имеется проблема такого рода:

 

Есть у меня иерархия пакетов, все пакеты Preelaborable.

 

http://adaic.org/standards/05rm/html/RM-13-11.html

 

Здесь объявлен Root_Storage_Pool, к нему применяется

pragma Preelaborable_Initialization.

 

Я аналогично хочу определить потомка Root_Storage_Pool,

но вот pragma Preelaborable_Initialization компилятор

отвергает (full view does not have preelaborable

initialization). Не понимаю, в чём проблема. Уж упростил

по максимуму, не определяю дополнительных примитивных

операций, расширяю null record в private, и всё равно

does not have траляля. Что мешает?

 

Если определять потомка Limited_Controlled, не капризничает,

а от Root_Storage_Pool — ни в какую.

Новое сообщение:
Страницы: 1

Чтобы оставить новое сообщение необходимо Зарегистрироваться и Войти