Commit 8f092113 authored by julien.delange's avatar julien.delange

* resources/AADLv2/components/devices/rasta-serial.aadl

   resources/AADLv2/components/devices/sockets-raw.aadl
   resources/AADLv2/components/devices/serial-raw.aadl
   resources/AADLv2/components/devices/leon-serial.aadl
   resources/AADLv2/components/devices.aadl
   - Add the relevant data component that describes
     the ASN.1 configuration for serial devices.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2055 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent b31765d6
......@@ -29,6 +29,22 @@ public
with GRSPW;
with TCP_IP_Protocol;
------------------------
-- Configuration Type --
------------------------
data configuration_type_ip
properties
Type_Source_Name => "__po_hi_c_ip_conf_t";
Source_Text => ("drivers/configuration/ip.h");
end configuration_type_ip;
data configuration_type_serial
properties
Type_Source_Name => "__po_hi_c_serial_conf_t";
Source_Text => ("drivers/configuration/serial.h");
end configuration_type_serial;
--------------
-- Keyboard --
--------------
......@@ -202,7 +218,7 @@ public
Provided_Virtual_Bus_Class => (classifier (ocarina_buses::pohi.c));
end generic_sockets_ip.pohiada;
------------------
------------------
-- RTEMS NE2000 --
------------------
......
......@@ -2,7 +2,9 @@ package ocarina_drivers_leon_serial
public
with Deployment;
with ocarina_buses;
with ocarina_drivers;
subprogram spg_serial_poller_leon
properties
......@@ -44,6 +46,8 @@ properties
end serial_poller.leon;
abstract serial_driver
properties
Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_serial);
end serial_driver;
abstract implementation serial_driver.leon
......
......@@ -2,7 +2,9 @@ package ocarina_drivers_rasta_serial
public
with Deployment;
with ocarina_buses;
with ocarina_drivers;
subprogram spg_serial_poller_rasta
properties
......@@ -42,6 +44,8 @@ properties
end serial_poller.rasta;
abstract serial_driver
properties
Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_serial);
end serial_driver;
abstract implementation serial_driver.rasta
......
......@@ -2,6 +2,8 @@ package ocarina_drivers_serial
public
with Deployment;
with ocarina_drivers;
subprogram spg_serial_poller_linux
properties
......@@ -35,9 +37,6 @@ properties
Source_Name => "__po_hi_c_driver_serial_linux_init_receiver";
end spg_serial_init_linux_receiver;
thread serial_poller
end serial_poller;
......@@ -53,6 +52,8 @@ end serial_poller.linux;
abstract serial_driver
properties
Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_serial);
end serial_driver;
abstract implementation serial_driver.linux
......
......@@ -2,6 +2,7 @@ package ocarina_drivers_ip_pohic
public
with Deployment;
with ocarina_drivers;
subprogram spg_sockets_init
properties
......@@ -19,16 +20,9 @@ end spg_eth_linux_sender;
subprogram implementation spg_eth_linux_sender.i
end spg_eth_linux_sender.i;
data configuration_type
properties
Type_Source_Name => "__po_hi_c_ip_conf_t";
Source_Text => ("drivers/configuration/ip.h");
end configuration_type;
abstract sockets_impl
properties
Deployment::Configuration_Type => classifier (ocarina_drivers_ip_pohic::configuration_type);
Deployment::Configuration_Type => classifier (ocarina_drivers::configuration_type_ip);
end sockets_impl;
abstract implementation sockets_impl.i
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment