[SwiftStaticMirror] Create API to query an opaque associated type's protocol requirements

Author: artemcm

include/swift-c/StaticMirror/BinaryScan.h

@@ -25,7 +25,7 @@
 /// SWIFTSTATICMIRROR_VERSION_MINOR should increase when there are API additions.
 /// SWIFTSTATICMIRROR_VERSION_MAJOR is intended for "major" source/ABI breaking changes.
 #define SWIFTSTATICMIRROR_VERSION_MAJOR 0
-#define SWIFTSTATICMIRROR_VERSION_MINOR 3 // Added filed type info gather
+#define SWIFTSTATICMIRROR_VERSION_MINOR 4 // Added opaque associated type's protocol requirements
 
 SWIFTSTATICMIRROR_BEGIN_DECLS
 
@@ -115,6 +115,9 @@ SWIFTSTATICMIRROR_PUBLIC swift_static_mirror_string_ref_t
 SWIFTSTATICMIRROR_PUBLIC swift_static_mirror_string_ref_t
     swift_static_mirror_type_alias_get_substituted_type_mangled_name(
         swift_static_mirror_type_alias_t);
+SWIFTSTATICMIRROR_PUBLIC swiftscan_string_set_t *
+swift_static_mirror_type_alias_get_opaque_type_requirements(
+        swift_static_mirror_type_alias_t);
 
 // swift_static_mirror_associated_type_info query methods
 SWIFTSTATICMIRROR_PUBLIC swift_static_mirror_string_ref_t

include/swift/StaticMirror/BinaryScanImpl.h

@@ -34,6 +34,7 @@ struct swift_static_mirror_type_alias_s {
   swift_static_mirror_string_ref_t type_alias_name;
   swift_static_mirror_string_ref_t substituted_type_name;
   swift_static_mirror_string_ref_t substituted_type_mangled_name;
+  swift_static_mirror_string_set_t *opaque_requirements_set;
 };
 
 struct swift_static_mirror_associated_type_info_s {

tools/libStaticMirror/libStaticMirror.cpp

@@ -43,6 +43,14 @@ swiftscan_string_ref_t create_clone(const char *string) {
   return str;
 }
 
+swiftscan_string_set_t *create_set(const std::vector<std::string> &strings) {
+  swiftscan_string_set_t *set = new swiftscan_string_set_t;
+  set->count = strings.size();
+  set->strings = new swiftscan_string_ref_t[set->count];
+  for (unsigned SI = 0, SE = set->count; SI < SE; ++SI)
+    set->strings[SI] = create_clone(strings[SI].c_str());
+  return set;
+}
 } // namespace c_string_utils
 } // namespace swift
 
@@ -177,6 +185,9 @@ convertAssociatedTypeQueryResult(
               typeAliasInfo.SubstitutedTypeMangledName.c_str());
       info->type_alias_set->type_aliases[typealiasIndex] = typeAliasDetails;
       typealiasIndex += 1;
+      typeAliasDetails->opaque_requirements_set =
+          swift::c_string_utils::create_set(
+              typeAliasInfo.OpaqueTypeProtocolConformanceRequirements);
     }
     result->associated_type_infos[associatedTypeInfoIndex] = info;
     associatedTypeInfoIndex += 1;
@@ -270,6 +281,11 @@ swift_static_mirror_type_alias_get_substituted_type_mangled_name(
     swift_static_mirror_type_alias_t type_alias) {
   return type_alias->substituted_type_mangled_name;
 }
+swiftscan_string_set_t *
+swift_static_mirror_type_alias_get_opaque_type_requirements(
+    swift_static_mirror_type_alias_t type_alias) {
+  return type_alias->opaque_requirements_set;
+}
 
 // swift_static_mirror_associated_type_info query methods
 swift_static_mirror_string_ref_t

tools/libStaticMirror/libStaticMirror.exports

@@ -7,6 +7,7 @@ swift_static_mirror_conformance_info_get_mangled_type_name
 swift_static_mirror_type_alias_get_type_alias_name
 swift_static_mirror_type_alias_get_substituted_type_name
 swift_static_mirror_type_alias_get_substituted_type_mangled_name
+swift_static_mirror_type_alias_get_opaque_type_requirements
 swift_static_mirror_associated_type_info_get_mangled_type_name
 swift_static_mirror_associated_type_info_get_type_alias_set
 swift_static_mirror_associated_type_info_set_create