diff --git a/resources/AADLv2/components/devices.aadl b/resources/AADLv2/components/devices.aadl index a392b66f9a48575fa53bc4f86b5d6b6ae26ddf93..89f7cdf02f84a3242fb248c1a2f8b3a399812b65 100644 --- a/resources/AADLv2/components/devices.aadl +++ b/resources/AADLv2/components/devices.aadl @@ -40,7 +40,7 @@ public properties Type_Source_Name => "IP-Conf-T"; Deployment::ASN1_Module_Name => "POHICDRIVER-IP"; - Source_Language => ASN1; + Source_Language => (ASN1); Source_Text => ("OCARINA_INCLUDE_PATH/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn" , "drivers/configuration/ip.h"); end configuration_type_ip; @@ -48,7 +48,7 @@ public properties Type_Source_Name => "Serial-Conf-T"; Deployment::ASN1_Module_Name => "POHICDRIVER-UART"; - Source_Language => ASN1; + Source_Language => (ASN1); Source_Text => ("OCARINA_INCLUDE_PATH/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn", "drivers/configuration/serial.h"); end configuration_type_serial; @@ -56,7 +56,7 @@ public properties Type_Source_Name => "Spacewire-Conf-T"; Deployment::ASN1_Module_Name => "POHICDRIVER-SPACEWIRE"; - Source_Language => ASN1; + Source_Language => (ASN1); Source_Text => ("OCARINA_INCLUDE_PATH/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/spacewire.asn", "drivers/configuration/spacewire.h"); end configuration_type_spacewire; diff --git a/resources/AADLv2/components/devices/exarm-ni-6071e-analog.aadl b/resources/AADLv2/components/devices/exarm-ni-6071e-analog.aadl index cb86894d1c70417f7d34c044c82afa971a8afa9d..e54ad1181fc3c3195983c9830d917689f05c6f38 100644 --- a/resources/AADLv2/components/devices/exarm-ni-6071e-analog.aadl +++ b/resources/AADLv2/components/devices/exarm-ni-6071e-analog.aadl @@ -7,7 +7,7 @@ with Deployment; subprogram spg_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_exarm_ni_6071e_analog_init"; end spg_init; @@ -31,7 +31,7 @@ features data15 : out parameter Base_Types::Float_64; data16 : out parameter Base_Types::Float_64; properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_exarm_ni_6071e_analog_poller"; end spg_poller; diff --git a/resources/AADLv2/components/devices/exarm-ni-6071e-digital.aadl b/resources/AADLv2/components/devices/exarm-ni-6071e-digital.aadl index 1d0f2d67c8fd53100cda69c1182a81b58141bbf7..d0eb1233f5b660c58524e8ac862974e124e260b3 100644 --- a/resources/AADLv2/components/devices/exarm-ni-6071e-digital.aadl +++ b/resources/AADLv2/components/devices/exarm-ni-6071e-digital.aadl @@ -7,7 +7,7 @@ with Deployment; subprogram spg_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_exarm_ni_6071e_digital_init"; end spg_init; @@ -17,7 +17,7 @@ features data1 : out parameter Base_Types::Unsigned_32; data2 : out parameter Base_Types::Unsigned_32; properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_exarm_ni_6071e_digital_poller"; end spg_poller; diff --git a/resources/AADLv2/components/devices/generic-keyboard.aadl b/resources/AADLv2/components/devices/generic-keyboard.aadl index 37ac3fb38d2b8ae2a51e7de20f70770fe1e9d8df..070a1e103390314d0f05cf6669fbc431255d1df6 100644 --- a/resources/AADLv2/components/devices/generic-keyboard.aadl +++ b/resources/AADLv2/components/devices/generic-keyboard.aadl @@ -7,7 +7,7 @@ with Deployment; subprogram spg_generic_keyboard_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_generic_keyboard_init"; end spg_generic_keyboard_init; @@ -34,7 +34,7 @@ subprogram spg_generic_keyboard_poller features key_pressed : out parameter Base_Types::Integer; properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_generic_keyboard_poller"; end spg_generic_keyboard_poller; diff --git a/resources/AADLv2/components/devices/grspw.aadl b/resources/AADLv2/components/devices/grspw.aadl index 375d7570f8db39d42ded02694572102381817bb5..dcc69b2b7695d5a60dbb3e64c47da8c8258dd441 100644 --- a/resources/AADLv2/components/devices/grspw.aadl +++ b/resources/AADLv2/components/devices/grspw.aadl @@ -104,7 +104,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_GRSPW.Initialize"; - Source_Language => Ada; + Source_Language => (Ada); end Initialize; ------------- @@ -117,7 +117,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_GRSPW.Receive"; - Source_Language => Ada; + Source_Language => (Ada); end Receive; ------------- @@ -130,7 +130,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_GRSPW.Send"; - Source_Language => Ada; + Source_Language => (Ada); end Send; end GRSPW; diff --git a/resources/AADLv2/components/devices/gruart.aadl b/resources/AADLv2/components/devices/gruart.aadl index c1cc49f6e4d6b66abc5344be6b10a04efaeef90e..2d481a1df35283b3ba66cead80a69b1d1e10c101 100644 --- a/resources/AADLv2/components/devices/gruart.aadl +++ b/resources/AADLv2/components/devices/gruart.aadl @@ -106,7 +106,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_GRUART.Initialize"; - Source_Language => Ada; + Source_Language => (Ada); end Initialize; ------------- @@ -119,7 +119,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_GRUART.Receive"; - Source_Language => Ada; + Source_Language => (Ada); end Receive; ------------- @@ -132,7 +132,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_GRUART.Send"; - Source_Language => Ada; + Source_Language => (Ada); end Send; end GRUART; diff --git a/resources/AADLv2/components/devices/leon-eth.aadl b/resources/AADLv2/components/devices/leon-eth.aadl index 4f71f8368be91bf012e17b50114e6d6225901d75..2d53e44e10059cb7df8c3d5b8bf7f5973d0b4f5f 100644 --- a/resources/AADLv2/components/devices/leon-eth.aadl +++ b/resources/AADLv2/components/devices/leon-eth.aadl @@ -8,20 +8,20 @@ with ocarina_drivers; subprogram spg_leon_eth_poller properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_eth_leon_poller"; end spg_leon_eth_poller; subprogram spg_leon_eth_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_eth_leon_sender"; end spg_leon_eth_sender; subprogram spg_leon_eth_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_eth_leon_init"; end spg_leon_eth_init; diff --git a/resources/AADLv2/components/devices/leon-serial.aadl b/resources/AADLv2/components/devices/leon-serial.aadl index e58b1c41a39930da2d06d2472b4364436eb96511..3372c78fe4ce3d291d5c2077bb22f726804b9bf6 100644 --- a/resources/AADLv2/components/devices/leon-serial.aadl +++ b/resources/AADLv2/components/devices/leon-serial.aadl @@ -8,26 +8,26 @@ with ocarina_drivers; subprogram spg_serial_poller_leon properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_leon_poller"; end spg_serial_poller_leon; subprogram spg_serial_sender_leon properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_leon_sender"; end spg_serial_sender_leon; subprogram spg_serial_init_leon properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_leon_init"; end spg_serial_init_leon; subprogram spg_serial_init_leon_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_leon_init_sender"; end spg_serial_init_leon_sender; diff --git a/resources/AADLv2/components/devices/native_uart.aadl b/resources/AADLv2/components/devices/native_uart.aadl index 25b6cf5c946867aba498f066b2edef5f862e7360..aa7dfc46d5d435de50b631acf9247aaffe82fbe1 100644 --- a/resources/AADLv2/components/devices/native_uart.aadl +++ b/resources/AADLv2/components/devices/native_uart.aadl @@ -104,7 +104,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_Native_UART.Initialize"; - Source_Language => Ada; + Source_Language => (Ada); end Initialize; ------------- @@ -117,7 +117,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_Native_UART.Receive"; - Source_Language => Ada; + Source_Language => (Ada); end Receive; ------------- @@ -130,7 +130,7 @@ public properties Source_Name => "PolyORB_HI_Drivers_Native_UART.Send"; - Source_Language => Ada; + Source_Language => (Ada); end Send; end Native_UART; diff --git a/resources/AADLv2/components/devices/rasta-1553.aadl b/resources/AADLv2/components/devices/rasta-1553.aadl index b4c7e49d228df4cdd4ebbe66b45d767188428c34..b393d6fd0d5009683890b2fb2bb381d9631ed4d8 100644 --- a/resources/AADLv2/components/devices/rasta-1553.aadl +++ b/resources/AADLv2/components/devices/rasta-1553.aadl @@ -5,39 +5,39 @@ with Deployment; subprogram spg_1553_controller_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_1553_rasta_controller"; end spg_1553_controller_rasta; subprogram spg_1553_poller_rasta_terminal properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_1553_rasta_terminal_poller"; end spg_1553_poller_rasta_terminal; subprogram spg_1553_sender_rasta_controller properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_1553_rasta_sender_controller"; end spg_1553_sender_rasta_controller; subprogram spg_1553_sender_rasta_terminal properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_1553_rasta_sender_terminal"; end spg_1553_sender_rasta_terminal; subprogram spg_1553_init_rasta_controller properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_1553_rasta_init_controller"; end spg_1553_init_rasta_controller; subprogram spg_1553_init_rasta_terminal properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_1553_rasta_init_terminal"; end spg_1553_init_rasta_terminal; diff --git a/resources/AADLv2/components/devices/rasta-serial.aadl b/resources/AADLv2/components/devices/rasta-serial.aadl index 68bfab957b032a901d1026d4f7e1280af563e5ca..0c6e78d7baf3aaadbaa76f9abe9b2eeea10f2316 100644 --- a/resources/AADLv2/components/devices/rasta-serial.aadl +++ b/resources/AADLv2/components/devices/rasta-serial.aadl @@ -8,14 +8,14 @@ with ocarina_drivers; subprogram spg_serial_poller_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_rasta_poller"; end spg_serial_poller_rasta; subprogram spg_serial_sender_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_rasta_sender"; end spg_serial_sender_rasta; @@ -24,7 +24,7 @@ end spg_serial_sender_rasta; subprogram spg_serial_init_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_rasta_init"; end spg_serial_init_rasta; diff --git a/resources/AADLv2/components/devices/rasta-spacewire.aadl b/resources/AADLv2/components/devices/rasta-spacewire.aadl index d2a4e2041a99fde427576a8ec09cde9ab459c4bb..56492e0b08046447f482e8d2f67c988cb742f3f4 100644 --- a/resources/AADLv2/components/devices/rasta-spacewire.aadl +++ b/resources/AADLv2/components/devices/rasta-spacewire.aadl @@ -7,19 +7,19 @@ with Deployment; subprogram spg_spacewire_poller_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spacewire_rasta_poller"; end spg_spacewire_poller_rasta; subprogram spg_spacewire_sender_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spacewire_rasta_sender"; end spg_spacewire_sender_rasta; subprogram spg_spacewire_init_rasta properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spacewire_rasta_init"; end spg_spacewire_init_rasta; diff --git a/resources/AADLv2/components/devices/scoc3-spacewire.aadl b/resources/AADLv2/components/devices/scoc3-spacewire.aadl index 55641cdf050cb96d0dae920d6d421baaae54e222..07e05e2d49e2b242b0d336a9ef31a2f724bcfc2c 100644 --- a/resources/AADLv2/components/devices/scoc3-spacewire.aadl +++ b/resources/AADLv2/components/devices/scoc3-spacewire.aadl @@ -7,19 +7,19 @@ with Deployment; subprogram spg_poller properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spacewire_scoc3_poller"; end spg_poller; subprogram spg_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spacewire_scoc3_sender"; end spg_sender; subprogram spg_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spacewire_scoc3_init"; end spg_init; diff --git a/resources/AADLv2/components/devices/sd-spw-usb.aadl b/resources/AADLv2/components/devices/sd-spw-usb.aadl index 3c82c895d787bfe972b1657a1212cca6eee00a0c..f0e56127e6ec5cfc0d511a39d38e3c164616f675 100644 --- a/resources/AADLv2/components/devices/sd-spw-usb.aadl +++ b/resources/AADLv2/components/devices/sd-spw-usb.aadl @@ -6,19 +6,19 @@ with Deployment; subprogram spg_poller properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spw_usb_brick_poller"; end spg_poller; subprogram spg_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spw_usb_brick_sender"; end spg_sender; subprogram spg_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_spw_usb_brick_init"; end spg_init; diff --git a/resources/AADLv2/components/devices/serial-raw.aadl b/resources/AADLv2/components/devices/serial-raw.aadl index 86a993db38e0f8cd02c389fd3a79ee62fd44c752..da454fa716111457b4241b43dd79f7c0e2773570 100644 --- a/resources/AADLv2/components/devices/serial-raw.aadl +++ b/resources/AADLv2/components/devices/serial-raw.aadl @@ -7,33 +7,33 @@ with ocarina_drivers; subprogram spg_serial_poller_linux properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_linux_poller"; end spg_serial_poller_linux; subprogram spg_serial_sender_linux properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_linux_sender"; end spg_serial_sender_linux; subprogram spg_serial_init_linux properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_linux_init"; end spg_serial_init_linux; subprogram spg_serial_init_linux_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_linux_init_sender"; end spg_serial_init_linux_sender; subprogram spg_serial_init_linux_receiver properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_c_driver_serial_linux_init_receiver"; end spg_serial_init_linux_receiver; diff --git a/resources/AADLv2/components/devices/sockets-raw.aadl b/resources/AADLv2/components/devices/sockets-raw.aadl index 786a5bf2e16858f31c2ade054910e7d781ce8d0b..533af7cdce1d8346ce644858df42124000c13557 100644 --- a/resources/AADLv2/components/devices/sockets-raw.aadl +++ b/resources/AADLv2/components/devices/sockets-raw.aadl @@ -6,14 +6,14 @@ with ocarina_drivers; subprogram spg_sockets_init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_sockets_init"; end spg_sockets_init; subprogram spg_eth_linux_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_sockets_send"; end spg_eth_linux_sender; diff --git a/resources/AADLv2/components/devices/sockets-rtems-ne2000.aadl b/resources/AADLv2/components/devices/sockets-rtems-ne2000.aadl index c418600e6be3f777b90135f881008a7410d75c51..177f62b1d64099ab7154f767ee8b02a5e0701d16 100644 --- a/resources/AADLv2/components/devices/sockets-rtems-ne2000.aadl +++ b/resources/AADLv2/components/devices/sockets-rtems-ne2000.aadl @@ -6,7 +6,7 @@ with Deployment; subprogram init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_rtems_ne2000_init"; end init; @@ -26,14 +26,14 @@ end poller.i; subprogram spg_poller properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_rtems_ne2000_poller"; end spg_poller; subprogram spg_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_sockets_send"; end spg_sender; diff --git a/resources/AADLv2/components/devices/tcp_protocol.aadl b/resources/AADLv2/components/devices/tcp_protocol.aadl index b81a8d570f11c43bf822dc0543255c0e445fac80..48a66cb7cca77b234c855e26106d1f9ca47a1e32 100644 --- a/resources/AADLv2/components/devices/tcp_protocol.aadl +++ b/resources/AADLv2/components/devices/tcp_protocol.aadl @@ -102,7 +102,7 @@ public properties Source_Name => "POlyORB_HI_Drivers_Native_TCP_IP.Initialize"; - Source_Language => Ada; + Source_Language => (Ada); end Initialize; ------------- @@ -113,7 +113,7 @@ public properties Source_Name => "POlyORB_HI_Drivers_Native_TCP_IP.Initialize_Receiver"; - Source_Language => Ada; + Source_Language => (Ada); end Initialize_Receiver; ------------- @@ -126,7 +126,7 @@ public properties Source_Name => "POlyORB_HI_Drivers_Native_TCP_IP.Receive"; - Source_Language => Ada; + Source_Language => (Ada); end Receive; ------------- @@ -139,7 +139,7 @@ public properties Source_Name => "POlyORB_HI_Drivers_Native_TCP_IP.Send"; - Source_Language => Ada; + Source_Language => (Ada); end Send; end TCP_IP_Protocol; diff --git a/resources/AADLv2/components/devices/udp-exarm.aadl b/resources/AADLv2/components/devices/udp-exarm.aadl index fa2fcb0405d068202a19dbda1af706990a0e1ef7..43ac19f721a7cc938e61d24764af2be9467ab251 100644 --- a/resources/AADLv2/components/devices/udp-exarm.aadl +++ b/resources/AADLv2/components/devices/udp-exarm.aadl @@ -72,13 +72,13 @@ end protocol.vr; subprogram init properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_exarm_init"; end init; subprogram spg_sender properties - Source_Language => C; + Source_Language => (C); Source_Name => "__po_hi_driver_exarm_send"; end spg_sender;