* Correct usage of Source_Language property

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;
 
@@ -395,4 +395,3 @@ public
   end exarm_ni_6071e_digital.i;
 
 end ocarina_drivers;
-

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;
 
@@ -62,22 +62,22 @@ calls
 	  pspg : subprogram spg_poller;
 	};
 connections
-   parameter pspg.data1 -> data1;   
-   parameter pspg.data2 -> data2;   
-   parameter pspg.data3 -> data3;   
-   parameter pspg.data4 -> data4;   
-   parameter pspg.data5 -> data5;   
-   parameter pspg.data6 -> data6;   
-   parameter pspg.data7 -> data7;   
-   parameter pspg.data8 -> data8;   
-   parameter pspg.data9 -> data9;   
-   parameter pspg.data10 -> data10;   
-   parameter pspg.data11 -> data11;   
-   parameter pspg.data12 -> data12;   
-   parameter pspg.data13 -> data13;   
-   parameter pspg.data14 -> data14;   
-   parameter pspg.data15 -> data15;   
-   parameter pspg.data16 -> data16; 
+   parameter pspg.data1 -> data1;
+   parameter pspg.data2 -> data2;
+   parameter pspg.data3 -> data3;
+   parameter pspg.data4 -> data4;
+   parameter pspg.data5 -> data5;
+   parameter pspg.data6 -> data6;
+   parameter pspg.data7 -> data7;
+   parameter pspg.data8 -> data8;
+   parameter pspg.data9 -> data9;
+   parameter pspg.data10 -> data10;
+   parameter pspg.data11 -> data11;
+   parameter pspg.data12 -> data12;
+   parameter pspg.data13 -> data13;
+   parameter pspg.data14 -> data14;
+   parameter pspg.data15 -> data15;
+   parameter pspg.data16 -> data16;
 properties
    Period => 100 ms;
    Dispatch_Protocol => Periodic;
@@ -108,22 +108,22 @@ abstract implementation driver.i
 subcomponents
    ni6071e_analog_poller : thread thr_poller.i;
 connections
-   port ni6071e_analog_poller.data1 -> data1;   
-   port ni6071e_analog_poller.data2 -> data2;   
-   port ni6071e_analog_poller.data3 -> data3;   
-   port ni6071e_analog_poller.data4 -> data4;   
-   port ni6071e_analog_poller.data5 -> data5;   
-   port ni6071e_analog_poller.data6 -> data6;   
-   port ni6071e_analog_poller.data7 -> data7;   
-   port ni6071e_analog_poller.data8 -> data8;   
-   port ni6071e_analog_poller.data9 -> data9;   
-   port ni6071e_analog_poller.data10 -> data10;   
-   port ni6071e_analog_poller.data11 -> data11;   
-   port ni6071e_analog_poller.data12 -> data12;   
-   port ni6071e_analog_poller.data13 -> data13;   
-   port ni6071e_analog_poller.data14 -> data14;   
-   port ni6071e_analog_poller.data15 -> data15;   
-   port ni6071e_analog_poller.data16 -> data16; 
+   port ni6071e_analog_poller.data1 -> data1;
+   port ni6071e_analog_poller.data2 -> data2;
+   port ni6071e_analog_poller.data3 -> data3;
+   port ni6071e_analog_poller.data4 -> data4;
+   port ni6071e_analog_poller.data5 -> data5;
+   port ni6071e_analog_poller.data6 -> data6;
+   port ni6071e_analog_poller.data7 -> data7;
+   port ni6071e_analog_poller.data8 -> data8;
+   port ni6071e_analog_poller.data9 -> data9;
+   port ni6071e_analog_poller.data10 -> data10;
+   port ni6071e_analog_poller.data11 -> data11;
+   port ni6071e_analog_poller.data12 -> data12;
+   port ni6071e_analog_poller.data13 -> data13;
+   port ni6071e_analog_poller.data14 -> data14;
+   port ni6071e_analog_poller.data15 -> data15;
+   port ni6071e_analog_poller.data16 -> data16;
 end driver.i;
 
 end ocarina_drivers_exarm_ni_6071e_analog;

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;
 
@@ -34,8 +34,8 @@ calls
 	  pspg : subprogram spg_poller;
 	};
 connections
-   parameter pspg.data1 -> data1;   
-   parameter pspg.data2 -> data2;   
+   parameter pspg.data1 -> data1;
+   parameter pspg.data2 -> data2;
 properties
    Period => 100 ms;
    Dispatch_Protocol => Periodic;
@@ -55,8 +55,8 @@ abstract implementation driver.i
 subcomponents
    ni6071e_digital_poller : thread thr_poller.i;
 connections
-   port ni6071e_digital_poller.data1 -> data1; 
-   port ni6071e_digital_poller.data2 -> data2; 
+   port ni6071e_digital_poller.data1 -> data1;
+   port ni6071e_digital_poller.data2 -> data2;
 end driver.i;
 
 end ocarina_drivers_exarm_ni_6071e_digital;

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;
 

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;

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;

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;
 

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;
 

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;

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;
 

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;
 

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;
 

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;
 

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;
 

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;
 

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;
 

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;
 

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;

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;