Skip to content

Commit

Permalink
Add Ada_2012 pragma to all generated files
Browse files Browse the repository at this point in the history 
Ref. eng/recordflux/RecordFlux#1509
  • Loading branch information
@senier
senier committed Jan 18, 2024
1 parent abc8d9f commit cdba8e0
Show file tree
Hide file tree
Showing 223 changed files with 231 additions and 0 deletions.
7 changes: 7 additions & 0 deletions CHANGELOG.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,12 @@ All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [Unreleased]

### Added

- Pragma marking all generated files as Ada 2012 (eng/recordflux/RecordFlux#1509, AdaCore/RecordFlux#1293)

## [0.17.0] - 2024-01-03

### Fixed
Expand Down Expand Up @@ -446,6 +452,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0

## [0.1.0] - 2019-05-14

[Unreleased]: https://github.com/AdaCore/RecordFlux/compare/v0.17.0...HEAD
[0.17.0]: https://github.com/AdaCore/RecordFlux/compare/v0.16.0...v0.17.0
[0.16.0]: https://github.com/AdaCore/RecordFlux/compare/v0.15.0...v0.16.0
[0.15.0]: https://github.com/AdaCore/RecordFlux/compare/v0.14.0...v0.15.0
Expand Down
1 change: 1 addition & 0 deletions rflx/generator/const.py
View file
Original file line number Diff line number Diff line change
Expand Up @@ -73,6 +73,7 @@
UNREACHABLE = ada.Call(TYPES * "Unreachable")

CONFIGURATION_PRAGMAS = [
ada.Pragma("Ada_2012"),
ada.Pragma("Style_Checks", [ada.String("N3aAbCdefhiIklnOprStux")]),
# Eng/RecordFlux/RecordFlux#508
ada.Pragma("Warnings", [ada.Variable("Off"), ada.String("redundant conversion")]),
Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_implict_size/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_implict_size/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_implict_size/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_implict_size/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_implict_size/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test-message.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test-message.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/messages_with_single_opaque_field/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test-message.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test-message.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/parameterized_messages/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_append_unconstrained/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Universal.Options;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_append_unconstrained/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_append_unconstrained/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_append_unconstrained/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_append_unconstrained/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_aggregate/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_aggregate/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_aggregate/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_aggregate/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_aggregate/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test-message.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types.Operations;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test-message.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_case_expression_numeric/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channel_multiplexing/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channel_multiplexing/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channel_multiplexing/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channel_multiplexing/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channel_multiplexing/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channels/generated/rflx-test-session.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channels/generated/rflx-test-session.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@
------------------------------------------------------------------------------

pragma Restrictions (No_Streams);
pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.Test.Session_Allocator;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channels/generated/rflx-test-session_allocator.adb
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channels/generated/rflx-test-session_allocator.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");
with RFLX.RFLX_Types;
Expand Down
1 change: 1 addition & 0 deletions tests/feature/session_channels/generated/rflx-test.ads
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
-- --
------------------------------------------------------------------------------

pragma Ada_2012;
pragma Style_Checks ("N3aAbCdefhiIklnOprStux");
pragma Warnings (Off, "redundant conversion");

Expand Down
Loading

0 comments on commit cdba8e0

Please sign in to comment.