Доступ к неустойчивому регистру в Ada

Я хочу написать очень простой драйвер для инициализации, записи/чтения с некоторых периферийных устройств на микроконтроллере, так же, как я это сделал в C. Я использую в качестве примера GPIO периферийные для инициализации, записи и чтения.Доступ к неустойчивому регистру в Ada

GPIOA : GPIO_Register with 
    Volatile, 
    Address => System'To_Address (GPIOA_Base); 
    pragma Import (Ada, GPIOA);

Если я объявляю список доступа ко всем GPIOs:

type GPIO_Register_ptr is access all GPIO_Register with volatile; 

Gpio_List_Pointers : array (Integer range 1 .. 8) of aliased GPIO_Register_ptr;

А затем назначить:

Gpio_List_Pointers(1) := GPIOA'Access;

Я получаю ошибку:

142:29 prefix of "ACCESS" attribute must be aliased

Любые идеи как разобраться?

источник

2015-02-10 Elisabeth

Я не думаю, что 'GPIO_Register_ptr' должен быть изменчивым или что компоненты «Gpio_List_Pointers» должны быть псевдонимом. –

Если вы этого не сделаете, вы получите еще один тип ошибок ошибок, связанных с проверкой строгого типа. – Elisabeth

Если я это сделаю, я по-прежнему получаю ту же ошибку: '142: 29 префикс атрибута« ACCESS »должен быть aliased.' – Elisabeth

Короткий ответ:

объявить GPIOA, как алиас, как это:

GPIOA : aliased GPIO_Register

EDIT:

немного длиннее ответ:

GPIOA объявляется следующим образом:

GPIOA : aliased GPIO_Register with 
    Volatile, 
    Address => System'To_Address (GPIOA_Base);

Это означает, что это изменчивый объект . тип объекта по-прежнему GPIO_Register, что составляет не неустойчивый. Итак, когда вы делаете

Gpio_List_Pointers(1) := GPIOA'Access;

'Access возвращает доступ к объекту типа GPIO_Register, который не изменчивы, и компилятор не позволит вам сделать это.

Для этого необходимо, чтобы GPIO_Register был летучим типом. Это делается путем изменения определения типа включает спецификацию аспекта:

type GPIO_Register is record 
    MODER : Bits_16x2; 
    IDR : Word; 
    ODR : Word; 
end record 
    with Volatile;

Теперь у нас есть летучего типа, а не только летучего объект

источник

2015-02-10 15:59:14 egilhh

Затем я получаю следующую ошибку:' 142: 29 доступ к изменчивому объекту не может дать доступ к не-non -устойчивый тип ' – Elisabeth

Тогда вам нужно также сделать' GPIO_Register' изменчивым типом. – egilhh

'GPIO_Register' является зависимой от платформы записью:' type GPIO_Register - это запись MODER: Bits_16x2; IDR: Word; ODR: Word; end record; ' – Elisabeth

Доступ к неустойчивому регистру в Ada

ответ

Смежные вопросы