Merge pull request #3827 from asmorkalov:as/gapi_migration

Migrate G-API module from main repo to opencv_contrib #3827

Related to https://github.com/opencv/opencv/pull/26469
Required https://github.com/opencv/opencv/pull/26527
CI: https://github.com/opencv/ci-gha-workflow/pull/201

TODO:
- [x]  Python types generator fix
- [x] CI update

### Pull Request Readiness Checklist

See details at https://github.com/opencv/opencv/wiki/How_to_contribute#making-a-good-pull-request

- [x] I agree to contribute to the project under Apache 2 License.
- [x] To the best of my knowledge, the proposed patch is not based on a code under GPL or another license that is incompatible with OpenCV
- [ ] The PR is proposed to the proper branch
- [ ] There is a reference to the original bug report and related work
- [ ] There is accuracy test, performance test and test data in opencv_extra repository, if applicable
      Patch to opencv_extra has the same branch name.
- [ ] The feature is well documented and sample code can be built with the project CMake

modules/gapi/test/gapi_util_tests.cpp

@@ -0,0 +1,75 @@
+// This file is part of OpenCV project.
+// It is subject to the license terms in the LICENSE file found in the top-level directory
+// of this distribution and at http://opencv.org/license.html.
+//
+// Copyright (C) 2018 Intel Corporation
+
+#include <type_traits>
+#include "test_precomp.hpp"
+#include <opencv2/gapi/gtype_traits.hpp>
+#include <opencv2/gapi/util/util.hpp>
+
+namespace cv
+{
+struct Own {};
+namespace gapi
+{
+namespace own
+{
+struct ConvertibleToOwn{};
+struct NotConvertibleToOwn{};
+} // own
+} // gapi
+} // cv
+
+struct NoGhape {};
+struct HasGShape {
+    static constexpr cv::GShape shape = cv::GShape::GFRAME;
+};
+struct MimicGShape {
+     static constexpr int shape = 0;
+};
+#define DISALLOWED_LIST  cv::gapi::own::NotConvertibleToOwn
+namespace opencv_test
+{
+
+TEST(GAPIUtil, AllSatisfy)
+{
+    static_assert(true == cv::detail::all_satisfy<std::is_integral, long, int, char>::value,
+                  "[long, int, char] are all integral types");
+    static_assert(true == cv::detail::all_satisfy<std::is_integral, char>::value,
+                  "char is an integral type");
+
+    static_assert(false == cv::detail::all_satisfy<std::is_integral, float, int, char>::value,
+                  "[float, int, char] are NOT all integral types");
+    static_assert(false == cv::detail::all_satisfy<std::is_integral, int, char, float>::value,
+                  "[int, char, float] are NOT all integral types");
+    static_assert(false == cv::detail::all_satisfy<std::is_integral, float>::value,
+                  "float is not an integral types");
+}
+
+TEST(GAPIUtil, AllButLast)
+{
+    using test1 = cv::detail::all_but_last<long, int, float>::type;
+    static_assert(true == cv::detail::all_satisfy<std::is_integral, test1>::value,
+                  "[long, int] are all integral types (float skipped)");
+
+    using test2 = cv::detail::all_but_last<int, float, char>::type;
+    static_assert(false == cv::detail::all_satisfy<std::is_integral, test2>::value,
+                  "[int, float] are NOT all integral types");
+}
+
+TEST(GAPIUtil, GShaped)
+{
+    static_assert(!cv::detail::has_gshape<NoGhape>::value, "NoGhape hasn't got any shape");
+    static_assert(cv::detail::has_gshape<HasGShape>::value, "HasGShape has got GShape shape");
+    static_assert(!cv::detail::has_gshape<MimicGShape>::value, "MimicGShape hasn't got right shape");
+}
+
+TEST(GAPIUtil, GTypeList)
+{
+    static_assert(cv::detail::contains<cv::gapi::own::NotConvertibleToOwn, GAPI_OWN_TYPES_LIST, DISALLOWED_LIST>::value, "NotConvertibleToOwn is in denial list");
+    static_assert(!cv::detail::contains<cv::gapi::own::ConvertibleToOwn>::value, "ConvertibleToOwn is not in empty denial list");
+    static_assert(!cv::detail::contains<cv::gapi::own::ConvertibleToOwn, GAPI_OWN_TYPES_LIST, DISALLOWED_LIST>::value, "ConvertibleToOwn is not in denial list");
+}
+} // namespace opencv_test