Syntax error on record [] #1
Description
I am running the latest Ocarina within the latest OSATE. The two now enforce a different syntax for property value records, Ocarina wanting () and OSATE []. The following is accepted by OSATE but not by Ocarina.
package PropValue
public
bus Ethernet_Cable
end Ethernet_Cable;
bus implementation Ethernet_Cable.ARINC_664
properties
-- The following is legal AADL 2 and accepted by OSATE
-- but not by Ocarina. Ocarina only accepts () and OSATE
-- only accepts [] for records.
Transmission_Time => [Fixed => 3360 ns .. 3360 ns; PerByte => 80 ns .. 80 ns;];
end Ethernet_Cable.ARINC_664;
system Test
end Test;
system implementation Test.Imp
subcomponents
aBus : bus Ethernet_Cable.ARINC_664;
end Test.Imp;
end PropValue;