Syntax error on record []

[stevevestal]

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;

[yoogx]

There are many areas where Ocarina has to be updated to support AADLv2.1 syntax. This will be adjusted in the next months.