From 7cf321447b3eb3d41c42fb7ae9ae7579c02b49a8 Mon Sep 17 00:00:00 2001 From: Marko Ristin-Kaufmann Date: Thu, 15 Oct 2026 18:51:08 +0200 Subject: [PATCH] Include fstream in C++ tests reading files Since #846, the generated tests no longer define ``CATCH_CONFIG_MAIN``, so ``catch.hpp`` no longer brings in ````, and clang refuses ``test_verification.cpp`` and ``test_xmlization_of_concrete_classes.cpp`` with ``implicit instantiation of undefined template 'std::basic_ifstream'``. We include ```` explicitly in both tests, which use ``std::ifstream``. --- aas_core_codegen/cpp/tests/_generate_test_verification.py | 2 ++ .../cpp/tests/_generate_test_xmlization_of_concrete_classes.py | 2 ++ .../aas_core_meta.v3/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../arithmetic/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../empty_class/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected/enum/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../float_only/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../for_statements/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../if_statements/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../is_instance/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../json_types/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../list_of_classes/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../list_of_enums/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../optional_lists/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../primitive_types/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected/sets/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected/tuples/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../expected/unions/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ .../visibility/expected_output/test/test_verification.cpp | 2 ++ .../test/test_xmlization_of_concrete_classes.cpp | 2 ++ 84 files changed, 168 insertions(+) diff --git a/aas_core_codegen/cpp/tests/_generate_test_verification.py b/aas_core_codegen/cpp/tests/_generate_test_verification.py index c93d71b9a..5fa893f9b 100644 --- a/aas_core_codegen/cpp/tests/_generate_test_verification.py +++ b/aas_core_codegen/cpp/tests/_generate_test_verification.py @@ -45,6 +45,8 @@ def generate_implementation( #include +#include + namespace our = {library_namespace};""" ), Stripped( diff --git a/aas_core_codegen/cpp/tests/_generate_test_xmlization_of_concrete_classes.py b/aas_core_codegen/cpp/tests/_generate_test_xmlization_of_concrete_classes.py index 6b62ce3cb..8f887002c 100644 --- a/aas_core_codegen/cpp/tests/_generate_test_xmlization_of_concrete_classes.py +++ b/aas_core_codegen/cpp/tests/_generate_test_xmlization_of_concrete_classes.py @@ -200,6 +200,8 @@ def generate_implementation( #include +#include + namespace our = {library_namespace};""" ), Stripped( diff --git a/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_verification.cpp index 344b2ad87..1bc00e069 100644 --- a/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = aas_core::aas_3_0; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_xmlization_of_concrete_classes.cpp index 3eba6c26c..924bac7f5 100644 --- a/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/aas_core_meta.v3/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = aas_core::aas_3_0; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_verification.cpp index 1f7d4072b..9ec97058b 100644 --- a/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_xmlization_of_concrete_classes.cpp index b29600e32..aed07aa9c 100644 --- a/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/annotated_assignments/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_xmlization_of_concrete_classes.cpp index 0d2fcb23f..749fb215b 100644 --- a/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/arithmetic/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_verification.cpp index 64ec5c44c..ff3f45bc4 100644 --- a/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp index a088e5f0d..db419df08 100644 --- a/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/assert_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_verification.cpp index aad024741..f840a78a5 100644 --- a/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_xmlization_of_concrete_classes.cpp index 7d9440d97..8a915303d 100644 --- a/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/assignment_targets/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_verification.cpp index 8b776f8f6..439cf7fd1 100644 --- a/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_xmlization_of_concrete_classes.cpp index ee63db841..e7d582c21 100644 --- a/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/collections_in_returns/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp index 385c1868c..aa5824b29 100644 --- a/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_verification.cpp index 09c661107..54682df74 100644 --- a/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_xmlization_of_concrete_classes.cpp index 8dbbc2e11..6dd3cadc8 100644 --- a/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/custom_serialization_names/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_verification.cpp index 460de0724..f14bfaa71 100644 --- a/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_xmlization_of_concrete_classes.cpp index 98f19f8f2..c50f5d278 100644 --- a/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/deep_class_hierarchy/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_xmlization_of_concrete_classes.cpp index 9c0aceeb2..8cf74a180 100644 --- a/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/empty_class/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/enum/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/enum/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/enum/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/enum/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/enum/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/enum/expected_output/test/test_xmlization_of_concrete_classes.cpp index 9b165db9c..0ada46236 100644 --- a/dev/test_data/main/cpp/expected/enum/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/enum/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_xmlization_of_concrete_classes.cpp index 3b8d3d515..989d95bff 100644 --- a/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/float_only/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_verification.cpp index aad024741..f840a78a5 100644 --- a/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp index 3f17f27ce..d8be38a1b 100644 --- a/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/for_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_verification.cpp index d7c636b39..da28fe80f 100644 --- a/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp index eec7fb943..206fc7253 100644 --- a/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/if_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_verification.cpp index 43c710053..3b17b8930 100644 --- a/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_xmlization_of_concrete_classes.cpp index aca1fc51f..de700cc19 100644 --- a/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/implementation_specific/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_verification.cpp index f50f00a38..f435f7966 100644 --- a/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp index b65dbb433..b0cd8879c 100644 --- a/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/infallible_dispatch_among_fallible_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_xmlization_of_concrete_classes.cpp index fa78dc379..00b85a206 100644 --- a/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/int_length_interplay/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_xmlization_of_concrete_classes.cpp index 6c50c6c24..02b80b425 100644 --- a/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/int_parsing_and_lstrip/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_verification.cpp index 6e380423b..1a650d205 100644 --- a/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_xmlization_of_concrete_classes.cpp index 65a8aa35a..9f7006611 100644 --- a/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/is_instance/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_xmlization_of_concrete_classes.cpp index 9567da9a0..7011b077d 100644 --- a/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/json_types/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp index 0e51a61e7..62ce0897f 100644 --- a/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/json_types_in_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_xmlization_of_concrete_classes.cpp index dec379f82..74a95f421 100644 --- a/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/json_types_in_invariants/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_verification.cpp index 95984329d..5bda6848d 100644 --- a/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp index a4c2d1018..734e5cc30 100644 --- a/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/list_of_classes/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp index cbd56ad18..385129c22 100644 --- a/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/list_of_constrained_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_xmlization_of_concrete_classes.cpp index dee76d3a9..b5a42e5d5 100644 --- a/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/list_of_enums/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp index 2674886af..74cbf719e 100644 --- a/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/list_of_primitives/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_verification.cpp index 86980164c..63946a9a0 100644 --- a/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_xmlization_of_concrete_classes.cpp index 78d321311..9393d3054 100644 --- a/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/method_references/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_verification.cpp index 33b6c8403..ebe5bb334 100644 --- a/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_xmlization_of_concrete_classes.cpp index 7862f6996..62f4f265f 100644 --- a/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/naming_collisions/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_verification.cpp index 9dee8f4ea..14e3df370 100644 --- a/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_xmlization_of_concrete_classes.cpp index a843fdc81..61c2d1265 100644 --- a/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/nested_any_in_all/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_verification.cpp index 7683f464b..eaed1c972 100644 --- a/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp index 3f2d96ac9..cd14e44da 100644 --- a/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/nested_collections/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_verification.cpp index aad024741..f840a78a5 100644 --- a/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_xmlization_of_concrete_classes.cpp index da0a1c0db..06f87052f 100644 --- a/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/optional_arguments/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_verification.cpp index aad024741..f840a78a5 100644 --- a/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_xmlization_of_concrete_classes.cpp index 7d9440d97..8a915303d 100644 --- a/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/optional_lists/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_xmlization_of_concrete_classes.cpp index e118ed9a4..21e05e288 100644 --- a/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/primitive_types/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_xmlization_of_concrete_classes.cpp index 125b2975f..f414d958d 100644 --- a/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/problematic_keywords/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/sets/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/sets/expected_output/test/test_verification.cpp index 0919a4168..e8d2d0248 100644 --- a/dev/test_data/main/cpp/expected/sets/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/sets/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/sets/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/sets/expected_output/test/test_xmlization_of_concrete_classes.cpp index f66fdf4b7..cf57d16c9 100644 --- a/dev/test_data/main/cpp/expected/sets/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/sets/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_xmlization_of_concrete_classes.cpp index a5160be0a..e8820bf0a 100644 --- a/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/string_slicing_and_find/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_verification.cpp index f33ec513e..75471666d 100644 --- a/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp index 0233f328f..d32d55e8b 100644 --- a/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/switch_statements/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_verification.cpp index f7ead15ea..392e2b4d4 100644 --- a/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_xmlization_of_concrete_classes.cpp index c236a13d2..554a08131 100644 --- a/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/transpiled_methods/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_verification.cpp index 7683f464b..eaed1c972 100644 --- a/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_xmlization_of_concrete_classes.cpp index 3f2d96ac9..cd14e44da 100644 --- a/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/tuples/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/unions/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/unions/expected_output/test/test_verification.cpp index b7b7c922f..dfbad962a 100644 --- a/dev/test_data/main/cpp/expected/unions/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/unions/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/unions/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/unions/expected_output/test/test_xmlization_of_concrete_classes.cpp index ea6b16815..f8586ee78 100644 --- a/dev/test_data/main/cpp/expected/unions/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/unions/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip( diff --git a/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_verification.cpp b/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_verification.cpp index 86980164c..63946a9a0 100644 --- a/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_verification.cpp +++ b/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_verification.cpp @@ -9,6 +9,8 @@ #include +#include + namespace our = dummy; void AssertNoVerificationError( diff --git a/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_xmlization_of_concrete_classes.cpp b/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_xmlization_of_concrete_classes.cpp index 5eff6a94d..a3131c7d0 100644 --- a/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_xmlization_of_concrete_classes.cpp +++ b/dev/test_data/main/cpp/expected/visibility/expected_output/test/test_xmlization_of_concrete_classes.cpp @@ -8,6 +8,8 @@ #include +#include + namespace our = dummy; void AssertRoundTrip(