21#include "llvm/ADT/StringSet.h"
22#include "llvm/Support/SourceMgr.h"
23#include "llvm/Support/VersionTuple.h"
24#include "llvm/Support/YAMLTraits.h"
45enum class APIAvailability {
53struct BoundsSafetyNotes {
55 std::optional<unsigned> Level;
56 StringRef BoundsExpr =
"";
64 IO.enumCase(AA,
"counted_by",
66 IO.enumCase(AA,
"counted_by_or_null",
69 IO.enumCase(AA,
"sized_by_or_null",
79template <>
struct ScalarEnumerationTraits<APIAvailability> {
81 IO.enumCase(AA,
"none", APIAvailability::None);
82 IO.enumCase(AA,
"nonswift", APIAvailability::NonSwift);
83 IO.enumCase(AA,
"available", APIAvailability::Available);
90enum class MethodKind {
98template <>
struct ScalarEnumerationTraits<MethodKind> {
100 IO.enumCase(MK,
"Class", MethodKind::Class);
101 IO.enumCase(MK,
"Instance", MethodKind::Instance);
110 std::optional<bool> NoEscape =
false;
111 std::optional<bool> Lifetimebound =
false;
112 std::optional<NullabilityKind> Nullability;
113 std::optional<RetainCountConventionKind> RetainCountConvention;
114 std::optional<BoundsSafetyNotes> BoundsSafety;
118typedef std::vector<Param> ParamsSeq;
121LLVM_YAML_IS_SEQUENCE_VECTOR(Param)
147 IO.enumCase(RCCK,
"CFReturnsRetained",
149 IO.enumCase(RCCK,
"CFReturnsNotRetained",
151 IO.enumCase(RCCK,
"NSReturnsRetained",
153 IO.enumCase(RCCK,
"NSReturnsNotRetained",
158template <>
struct MappingTraits<Param> {
160 IO.mapRequired(
"Position", P.Position);
161 IO.mapOptional(
"Nullability", P.Nullability, std::nullopt);
162 IO.mapOptional(
"RetainCountConvention", P.RetainCountConvention);
163 IO.mapOptional(
"NoEscape", P.NoEscape);
164 IO.mapOptional(
"Lifetimebound", P.Lifetimebound);
165 IO.mapOptional(
"Type", P.Type, StringRef(
""));
166 IO.mapOptional(
"BoundsSafety", P.BoundsSafety);
170template <>
struct MappingTraits<BoundsSafetyNotes> {
171 static void mapping(IO &IO, BoundsSafetyNotes &BS) {
172 IO.mapRequired(
"Kind", BS.Kind);
173 IO.mapRequired(
"BoundedBy", BS.BoundsExpr);
174 IO.mapOptional(
"Level", BS.Level);
181typedef std::vector<NullabilityKind> NullabilitySeq;
183struct AvailabilityItem {
184 APIAvailability Mode = APIAvailability::Available;
189enum class FactoryAsInitKind {
202 NullabilitySeq Nullability;
203 std::optional<NullabilityKind> NullabilityOfRet;
204 std::optional<RetainCountConventionKind> RetainCountConvention;
205 AvailabilityItem Availability;
206 std::optional<bool> SwiftPrivate;
208 FactoryAsInitKind FactoryAsInit = FactoryAsInitKind::Infer;
209 bool DesignatedInit =
false;
210 bool Required =
false;
211 StringRef ResultType;
212 StringRef SwiftReturnOwnership;
216typedef std::vector<Method> MethodsSeq;
219LLVM_YAML_IS_SEQUENCE_VECTOR(Method)
223template <>
struct ScalarEnumerationTraits<FactoryAsInitKind> {
225 IO.enumCase(FIK,
"A", FactoryAsInitKind::Infer);
226 IO.enumCase(FIK,
"C", FactoryAsInitKind::AsClassMethod);
227 IO.enumCase(FIK,
"I", FactoryAsInitKind::AsInitializer);
231template <>
struct MappingTraits<Method> {
233 IO.mapRequired(
"Selector", M.Selector);
234 IO.mapRequired(
"MethodKind", M.Kind);
235 IO.mapOptional(
"Parameters", M.Params);
236 IO.mapOptional(
"Nullability", M.Nullability);
237 IO.mapOptional(
"NullabilityOfRet", M.NullabilityOfRet, std::nullopt);
238 IO.mapOptional(
"RetainCountConvention", M.RetainCountConvention);
239 IO.mapOptional(
"Availability", M.Availability.Mode,
240 APIAvailability::Available);
241 IO.mapOptional(
"AvailabilityMsg", M.Availability.Msg, StringRef(
""));
242 IO.mapOptional(
"SwiftPrivate", M.SwiftPrivate);
243 IO.mapOptional(
"SwiftName", M.SwiftName, StringRef(
""));
244 IO.mapOptional(
"FactoryAsInit", M.FactoryAsInit, FactoryAsInitKind::Infer);
245 IO.mapOptional(
"DesignatedInit", M.DesignatedInit,
false);
246 IO.mapOptional(
"Required", M.Required,
false);
247 IO.mapOptional(
"ResultType", M.ResultType, StringRef(
""));
248 IO.mapOptional(
"SwiftReturnOwnership", M.SwiftReturnOwnership,
259 std::optional<MethodKind> Kind;
260 std::optional<NullabilityKind> Nullability;
261 AvailabilityItem Availability;
262 std::optional<bool> SwiftPrivate;
264 std::optional<bool> SwiftImportAsAccessors;
269typedef std::vector<Property> PropertiesSeq;
272LLVM_YAML_IS_SEQUENCE_VECTOR(Property)
276template <>
struct MappingTraits<Property> {
278 IO.mapRequired(
"Name", P.Name);
279 IO.mapOptional(
"PropertyKind", P.Kind);
280 IO.mapOptional(
"Nullability", P.Nullability, std::nullopt);
281 IO.mapOptional(
"Availability", P.Availability.Mode,
282 APIAvailability::Available);
283 IO.mapOptional(
"AvailabilityMsg", P.Availability.Msg, StringRef(
""));
284 IO.mapOptional(
"SwiftPrivate", P.SwiftPrivate);
285 IO.mapOptional(
"SwiftName", P.SwiftName, StringRef(
""));
286 IO.mapOptional(
"SwiftImportAsAccessors", P.SwiftImportAsAccessors);
287 IO.mapOptional(
"Type", P.Type, StringRef(
""));
297 bool AuditedForNullability =
false;
298 AvailabilityItem Availability;
299 std::optional<bool> SwiftPrivate;
301 std::optional<StringRef> SwiftBridge;
302 std::optional<StringRef> NSErrorDomain;
303 std::optional<bool> SwiftImportAsNonGeneric;
304 std::optional<bool> SwiftObjCMembers;
305 std::optional<std::string> SwiftConformance;
307 PropertiesSeq Properties;
311typedef std::vector<Class> ClassesSeq;
314LLVM_YAML_IS_SEQUENCE_VECTOR(Class)
318template <>
struct MappingTraits<Class> {
320 IO.mapRequired(
"Name",
C.Name);
321 IO.mapOptional(
"AuditedForNullability",
C.AuditedForNullability,
false);
322 IO.mapOptional(
"Availability",
C.Availability.Mode,
323 APIAvailability::Available);
324 IO.mapOptional(
"AvailabilityMsg",
C.Availability.Msg, StringRef(
""));
325 IO.mapOptional(
"SwiftPrivate",
C.SwiftPrivate);
326 IO.mapOptional(
"SwiftName",
C.SwiftName, StringRef(
""));
327 IO.mapOptional(
"SwiftBridge",
C.SwiftBridge);
328 IO.mapOptional(
"NSErrorDomain",
C.NSErrorDomain);
329 IO.mapOptional(
"SwiftImportAsNonGeneric",
C.SwiftImportAsNonGeneric);
330 IO.mapOptional(
"SwiftObjCMembers",
C.SwiftObjCMembers);
331 IO.mapOptional(
"SwiftConformsTo",
C.SwiftConformance);
332 IO.mapOptional(
"Methods",
C.Methods);
333 IO.mapOptional(
"Properties",
C.Properties);
344 NullabilitySeq Nullability;
345 std::optional<NullabilityKind> NullabilityOfRet;
346 std::optional<api_notes::RetainCountConventionKind> RetainCountConvention;
347 AvailabilityItem Availability;
348 std::optional<bool> SwiftPrivate;
351 StringRef ResultType;
352 StringRef SwiftReturnOwnership;
356typedef std::vector<Function> FunctionsSeq;
359LLVM_YAML_IS_SEQUENCE_VECTOR(Function)
363template <>
struct MappingTraits<Function> {
365 IO.mapRequired(
"Name", F.Name);
366 IO.mapOptional(
"Parameters", F.Params);
367 IO.mapOptional(
"Nullability", F.Nullability);
368 IO.mapOptional(
"NullabilityOfRet", F.NullabilityOfRet, std::nullopt);
369 IO.mapOptional(
"RetainCountConvention", F.RetainCountConvention);
370 IO.mapOptional(
"Availability", F.Availability.Mode,
371 APIAvailability::Available);
372 IO.mapOptional(
"AvailabilityMsg", F.Availability.Msg, StringRef(
""));
373 IO.mapOptional(
"SwiftPrivate", F.SwiftPrivate);
374 IO.mapOptional(
"SwiftName", F.SwiftName, StringRef(
""));
375 IO.mapOptional(
"ResultType", F.ResultType, StringRef(
""));
376 IO.mapOptional(
"SwiftReturnOwnership", F.SwiftReturnOwnership,
385struct GlobalVariable {
387 std::optional<NullabilityKind> Nullability;
388 AvailabilityItem Availability;
389 std::optional<bool> SwiftPrivate;
395typedef std::vector<GlobalVariable> GlobalVariablesSeq;
398LLVM_YAML_IS_SEQUENCE_VECTOR(GlobalVariable)
402template <>
struct MappingTraits<GlobalVariable> {
403 static void mapping(IO &IO, GlobalVariable &GV) {
404 IO.mapRequired(
"Name", GV.Name);
405 IO.mapOptional(
"Nullability", GV.Nullability, std::nullopt);
406 IO.mapOptional(
"Availability", GV.Availability.Mode,
407 APIAvailability::Available);
408 IO.mapOptional(
"AvailabilityMsg", GV.Availability.Msg, StringRef(
""));
409 IO.mapOptional(
"SwiftPrivate", GV.SwiftPrivate);
410 IO.mapOptional(
"SwiftName", GV.SwiftName, StringRef(
""));
411 IO.mapOptional(
"Type", GV.Type, StringRef(
""));
421 AvailabilityItem Availability;
422 std::optional<bool> SwiftPrivate;
427typedef std::vector<EnumConstant> EnumConstantsSeq;
430LLVM_YAML_IS_SEQUENCE_VECTOR(EnumConstant)
434template <>
struct MappingTraits<EnumConstant> {
435 static void mapping(IO &IO, EnumConstant &EC) {
436 IO.mapRequired(
"Name", EC.Name);
437 IO.mapOptional(
"Availability", EC.Availability.Mode,
438 APIAvailability::Available);
439 IO.mapOptional(
"AvailabilityMsg", EC.Availability.Msg, StringRef(
""));
440 IO.mapOptional(
"SwiftPrivate", EC.SwiftPrivate);
441 IO.mapOptional(
"SwiftName", EC.SwiftName, StringRef(
""));
450enum class EnumConvenienceAliasKind {
464template <>
struct ScalarEnumerationTraits<EnumConvenienceAliasKind> {
466 IO.enumCase(ECAK,
"none", EnumConvenienceAliasKind::None);
467 IO.enumCase(ECAK,
"CFEnum", EnumConvenienceAliasKind::CFEnum);
468 IO.enumCase(ECAK,
"NSEnum", EnumConvenienceAliasKind::CFEnum);
469 IO.enumCase(ECAK,
"CFOptions", EnumConvenienceAliasKind::CFOptions);
470 IO.enumCase(ECAK,
"NSOptions", EnumConvenienceAliasKind::CFOptions);
471 IO.enumCase(ECAK,
"CFClosedEnum", EnumConvenienceAliasKind::CFClosedEnum);
472 IO.enumCase(ECAK,
"NSClosedEnum", EnumConvenienceAliasKind::CFClosedEnum);
481 std::optional<NullabilityKind> Nullability;
482 AvailabilityItem Availability;
483 std::optional<bool> SwiftPrivate;
489typedef std::vector<Field> FieldsSeq;
492LLVM_YAML_IS_SEQUENCE_VECTOR(Field)
496template <>
struct MappingTraits<Field> {
498 IO.mapRequired(
"Name", F.Name);
499 IO.mapOptional(
"Nullability", F.Nullability, std::nullopt);
500 IO.mapOptional(
"Availability", F.Availability.Mode,
501 APIAvailability::Available);
502 IO.mapOptional(
"AvailabilityMsg", F.Availability.Msg, StringRef(
""));
503 IO.mapOptional(
"SwiftPrivate", F.SwiftPrivate);
504 IO.mapOptional(
"SwiftName", F.SwiftName, StringRef(
""));
505 IO.mapOptional(
"Type", F.Type, StringRef(
""));
514typedef std::vector<Tag> TagsSeq;
518 AvailabilityItem Availability;
520 std::optional<bool> SwiftPrivate;
521 std::optional<StringRef> SwiftBridge;
522 std::optional<StringRef> NSErrorDomain;
523 std::optional<std::string> SwiftImportAs;
524 std::optional<std::string> SwiftRetainOp;
525 std::optional<std::string> SwiftReleaseOp;
526 std::optional<std::string> SwiftDestroyOp;
527 std::optional<std::string> SwiftDefaultOwnership;
528 std::optional<std::string> SwiftConformance;
529 std::optional<EnumExtensibilityKind> EnumExtensibility;
530 std::optional<bool> FlagEnum;
531 std::optional<EnumConvenienceAliasKind> EnumConvenienceKind;
532 std::optional<bool> SwiftCopyable;
533 std::optional<bool> SwiftEscapable;
535 FunctionsSeq Methods;
544LLVM_YAML_IS_SEQUENCE_VECTOR(Tag)
556template <>
struct MappingTraits<Tag> {
558 IO.mapRequired(
"Name", T.Name);
559 IO.mapOptional(
"Availability", T.Availability.Mode,
560 APIAvailability::Available);
561 IO.mapOptional(
"AvailabilityMsg", T.Availability.Msg, StringRef(
""));
562 IO.mapOptional(
"SwiftPrivate", T.SwiftPrivate);
563 IO.mapOptional(
"SwiftName", T.SwiftName, StringRef(
""));
564 IO.mapOptional(
"SwiftBridge", T.SwiftBridge);
565 IO.mapOptional(
"NSErrorDomain", T.NSErrorDomain);
566 IO.mapOptional(
"SwiftImportAs", T.SwiftImportAs);
567 IO.mapOptional(
"SwiftReleaseOp", T.SwiftReleaseOp);
568 IO.mapOptional(
"SwiftRetainOp", T.SwiftRetainOp);
569 IO.mapOptional(
"SwiftDestroyOp", T.SwiftDestroyOp);
570 IO.mapOptional(
"SwiftDefaultOwnership", T.SwiftDefaultOwnership);
571 IO.mapOptional(
"SwiftConformsTo", T.SwiftConformance);
572 IO.mapOptional(
"EnumExtensibility", T.EnumExtensibility);
573 IO.mapOptional(
"FlagEnum", T.FlagEnum);
574 IO.mapOptional(
"EnumKind", T.EnumConvenienceKind);
575 IO.mapOptional(
"SwiftCopyable", T.SwiftCopyable);
576 IO.mapOptional(
"SwiftEscapable", T.SwiftEscapable);
577 IO.mapOptional(
"Methods", T.Methods);
578 IO.mapOptional(
"Fields", T.Fields);
579 IO.mapOptional(
"Tags", T.Tags);
589 AvailabilityItem Availability;
591 std::optional<bool> SwiftPrivate;
592 std::optional<StringRef> SwiftBridge;
593 std::optional<StringRef> NSErrorDomain;
594 std::optional<SwiftNewTypeKind> SwiftType;
595 std::optional<std::string> SwiftConformance;
599typedef std::vector<Typedef> TypedefsSeq;
602LLVM_YAML_IS_SEQUENCE_VECTOR(Typedef)
614template <>
struct MappingTraits<Typedef> {
616 IO.mapRequired(
"Name", T.Name);
617 IO.mapOptional(
"Availability", T.Availability.Mode,
618 APIAvailability::Available);
619 IO.mapOptional(
"AvailabilityMsg", T.Availability.Msg, StringRef(
""));
620 IO.mapOptional(
"SwiftPrivate", T.SwiftPrivate);
621 IO.mapOptional(
"SwiftName", T.SwiftName, StringRef(
""));
622 IO.mapOptional(
"SwiftBridge", T.SwiftBridge);
623 IO.mapOptional(
"NSErrorDomain", T.NSErrorDomain);
624 IO.mapOptional(
"SwiftWrapper", T.SwiftType);
625 IO.mapOptional(
"SwiftConformsTo", T.SwiftConformance);
633typedef std::vector<Namespace> NamespacesSeq;
635struct TopLevelItems {
637 ClassesSeq Protocols;
638 FunctionsSeq Functions;
639 GlobalVariablesSeq Globals;
640 EnumConstantsSeq EnumConstants;
642 TypedefsSeq Typedefs;
643 NamespacesSeq Namespaces;
650 IO.mapOptional(
"Classes", TLI.Classes);
651 IO.mapOptional(
"Protocols", TLI.Protocols);
652 IO.mapOptional(
"Functions", TLI.Functions);
653 IO.mapOptional(
"Globals", TLI.Globals);
654 IO.mapOptional(
"Enumerators", TLI.EnumConstants);
655 IO.mapOptional(
"Tags", TLI.Tags);
656 IO.mapOptional(
"Typedefs", TLI.Typedefs);
657 IO.mapOptional(
"Namespaces", TLI.Namespaces);
665 AvailabilityItem Availability;
667 std::optional<bool> SwiftPrivate;
673LLVM_YAML_IS_SEQUENCE_VECTOR(Namespace)
677template <>
struct MappingTraits<Namespace> {
679 IO.mapRequired(
"Name", T.Name);
680 IO.mapOptional(
"Availability", T.Availability.Mode,
681 APIAvailability::Available);
682 IO.mapOptional(
"AvailabilityMsg", T.Availability.Msg, StringRef(
""));
683 IO.mapOptional(
"SwiftPrivate", T.SwiftPrivate);
684 IO.mapOptional(
"SwiftName", T.SwiftName, StringRef(
""));
693 VersionTuple Version;
697typedef std::vector<Versioned> VersionedSeq;
700LLVM_YAML_IS_SEQUENCE_VECTOR(Versioned)
704template <>
struct MappingTraits<Versioned> {
706 IO.mapRequired(
"Version",
V.Version);
716 AvailabilityItem Availability;
717 TopLevelItems TopLevel;
718 VersionedSeq SwiftVersions;
720 std::optional<bool> SwiftInferImportAsMember;
722#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
723 LLVM_DUMP_METHOD
void dump() ;
730template <>
struct MappingTraits<
Module> {
732 IO.mapRequired(
"Name", M.
Name);
733 IO.mapOptional(
"Availability", M.Availability.Mode,
734 APIAvailability::Available);
735 IO.mapOptional(
"AvailabilityMsg", M.Availability.Msg, StringRef(
""));
736 IO.mapOptional(
"SwiftInferImportAsMember", M.SwiftInferImportAsMember);
738 IO.mapOptional(
"SwiftVersions", M.SwiftVersions);
744#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
746 llvm::yaml::Output OS(llvm::errs());
752bool parseAPINotes(StringRef YI,
Module &M, llvm::SourceMgr::DiagHandlerTy
Diag,
754 llvm::yaml::Input IS(YI,
nullptr,
Diag, DiagContext);
756 return static_cast<bool>(IS.error());
761 llvm::raw_ostream &OS) {
763 if (parseAPINotes(YI, M,
nullptr,
nullptr))
766 llvm::yaml::Output YOS(OS);
777 APINotesWriter Writer;
778 llvm::raw_ostream &
OS;
779 llvm::SourceMgr::DiagHandlerTy DiagHandler;
780 void *DiagHandlerCtxt;
784 bool emitError(llvm::Twine Message) {
786 llvm::SMDiagnostic(
"", llvm::SourceMgr::DK_Error,
Message.str()),
788 ErrorOccurred =
true;
793 YAMLConverter(
const Module &TheModule,
const FileEntry *SourceFile,
794 llvm::raw_ostream &OS,
795 llvm::SourceMgr::DiagHandlerTy DiagHandler,
796 void *DiagHandlerCtxt)
797 : M(TheModule), Writer(TheModule.Name, SourceFile),
OS(
OS),
798 DiagHandler(DiagHandler), DiagHandlerCtxt(DiagHandlerCtxt),
799 ErrorOccurred(
false) {}
801 void convertAvailability(
const AvailabilityItem &Availability,
802 CommonEntityInfo &CEI, llvm::StringRef APIName) {
804 CEI.
Unavailable = (Availability.Mode == APIAvailability::None);
809 if (!Availability.Msg.empty())
810 emitError(llvm::Twine(
"availability message for available API '") +
811 APIName +
"' will not be used");
815 void convertParams(
const ParamsSeq &Params, FunctionInfo &OutInfo,
816 std::optional<ParamInfo> &thisOrSelf) {
817 for (
const auto &P : Params) {
823 PI.
setType(std::string(P.Type));
825 if (P.BoundsSafety) {
826 BoundsSafetyInfo BSI;
828 if (P.BoundsSafety->Level)
833 if (
static_cast<int>(OutInfo.
Params.size()) <= P.Position)
834 OutInfo.
Params.resize(P.Position + 1);
835 if (P.Position == -1)
837 else if (P.Position >= 0)
838 OutInfo.
Params[P.Position] |= PI;
840 emitError(
"invalid parameter position " + llvm::itostr(P.Position));
844 void convertNullability(
const NullabilitySeq &Nullability,
845 std::optional<NullabilityKind> ReturnNullability,
846 FunctionInfo &OutInfo, llvm::StringRef APIName) {
848 emitError(llvm::Twine(
"nullability info for '") + APIName +
853 bool audited =
false;
854 unsigned int idx = 1;
855 for (
const auto &N : Nullability)
857 audited =
Nullability.size() > 0 || ReturnNullability;
860 ReturnNullability.value_or(NullabilityKind::NonNull));
868 template <
typename T>
869 void convertCommonEntity(
const T &Common, CommonEntityInfo &Info,
871 convertAvailability(Common.Availability, Info, APIName);
873 if (Common.SafetyKind != SwiftSafetyKind::None)
875 Info.
SwiftName = std::string(Common.SwiftName);
879 template <
typename T>
880 void convertCommonType(
const T &Common, CommonTypeInfo &Info,
882 convertCommonEntity(Common, Info, APIName);
883 if (Common.SwiftBridge)
886 if (
auto conformance = Common.SwiftConformance)
891 void convertMethod(
const Method &M, ContextID ClassID, StringRef ClassName,
892 VersionTuple SwiftVersion) {
894 convertCommonEntity(M, MI, M.Selector);
897 bool takesArguments = M.Selector.ends_with(
":");
900 llvm::SmallVector<StringRef, 4> Args;
901 M.Selector.split(Args,
":", -1,
false);
902 if (!takesArguments && Args.size() > 1) {
903 emitError(
"selector '" + M.Selector +
"' is missing a ':' at the end");
908 api_notes::ObjCSelectorRef Selector;
909 Selector.
NumArgs = !takesArguments ? 0 : Args.size();
915 if (M.FactoryAsInit != FactoryAsInitKind::Infer)
916 emitError(
"'FactoryAsInit' is no longer valid; use 'SwiftName' instead");
922 convertParams(M.Params, MI, MI.
Self);
925 convertNullability(M.Nullability, M.NullabilityOfRet, MI, M.Selector);
930 Writer.
addObjCMethod(ClassID, Selector, M.Kind == MethodKind::Instance, MI,
934 template <
typename T>
935 void convertVariable(
const T &Entity, VariableInfo &VI) {
936 convertAvailability(Entity.Availability, VI, Entity.Name);
938 VI.
SwiftName = std::string(Entity.SwiftName);
939 if (Entity.Nullability)
941 VI.
setType(std::string(Entity.Type));
944 void convertContext(std::optional<ContextID> ParentContextID,
const Class &
C,
948 convertCommonType(
C, CI,
C.Name);
950 if (
C.AuditedForNullability)
952 if (
C.SwiftImportAsNonGeneric)
954 if (
C.SwiftObjCMembers)
958 Writer.
addContext(ParentContextID,
C.Name, Kind, CI, SwiftVersion);
961 llvm::StringMap<std::pair<bool, bool>> KnownMethods;
962 for (
const auto &method :
C.Methods) {
966 : KnownMethods[method.Selector].second;
968 emitError(llvm::Twine(
"duplicate definition of method '") +
969 (IsInstanceMethod ?
"-" :
"+") +
"[" +
C.Name +
" " +
970 method.Selector +
"]'");
975 convertMethod(method, CtxID,
C.Name, SwiftVersion);
979 llvm::StringSet<> KnownInstanceProperties;
980 llvm::StringSet<> KnownClassProperties;
981 for (
const auto &
Property :
C.Properties) {
984 !KnownInstanceProperties.insert(
Property.Name).second) {
985 emitError(llvm::Twine(
"duplicate definition of instance property '") +
991 !KnownClassProperties.insert(
Property.Name).second) {
992 emitError(llvm::Twine(
"duplicate definition of class property '") +
1000 if (
Property.SwiftImportAsAccessors)
1006 *
Property.Kind == MethodKind::Instance, PI,
1015 void convertNamespaceContext(std::optional<ContextID> ParentContextID,
1017 VersionTuple SwiftVersion) {
1020 convertCommonEntity(TheNamespace, CI, TheNamespace.Name);
1023 Writer.
addContext(ParentContextID, TheNamespace.Name,
1024 ContextKind::Namespace, CI, SwiftVersion);
1026 convertTopLevelItems(Context(CtxID, ContextKind::Namespace),
1027 TheNamespace.Items, SwiftVersion);
1030 template <
typename FuncOrMethodInfo>
1033 FI.setSwiftPrivate(
Function.SwiftPrivate);
1034 if (
Function.SafetyKind != SwiftSafetyKind::None)
1035 FI.setSwiftSafety(
Function.SafetyKind);
1036 FI.SwiftName = std::string(
Function.SwiftName);
1037 std::optional<ParamInfo>
This;
1038 convertParams(
Function.Params, FI, This);
1039 if constexpr (std::is_same_v<FuncOrMethodInfo, CXXMethodInfo>)
1042 emitError(
"implicit instance parameter is only permitted on C++ and "
1043 "Objective-C methods");
1046 FI.ResultType = std::string(
Function.ResultType);
1047 FI.SwiftReturnOwnership = std::string(
Function.SwiftReturnOwnership);
1048 FI.setRetainCountConvention(
Function.RetainCountConvention);
1051 void convertTagContext(std::optional<Context> ParentContext,
const Tag &T,
1052 VersionTuple SwiftVersion) {
1054 std::optional<ContextID> ParentContextID =
1055 ParentContext ? std::optional<ContextID>(ParentContext->id)
1057 convertCommonType(T, TI, T.Name);
1059 if ((T.SwiftRetainOp || T.SwiftReleaseOp) && !T.SwiftImportAs) {
1060 emitError(llvm::Twine(
"should declare SwiftImportAs to use "
1061 "SwiftRetainOp and SwiftReleaseOp (for ") +
1065 if (T.SwiftReleaseOp.has_value() != T.SwiftRetainOp.has_value()) {
1066 emitError(llvm::Twine(
"should declare both SwiftReleaseOp and "
1067 "SwiftRetainOp (for ") +
1072 if (T.SwiftImportAs)
1074 if (T.SwiftRetainOp)
1076 if (T.SwiftReleaseOp)
1078 if (T.SwiftDestroyOp)
1080 if (T.SwiftDefaultOwnership)
1083 if (T.SwiftCopyable)
1085 if (T.SwiftEscapable)
1088 if (T.EnumConvenienceKind) {
1089 if (T.EnumExtensibility) {
1091 llvm::Twine(
"cannot mix EnumKind and EnumExtensibility (for ") +
1096 emitError(llvm::Twine(
"cannot mix EnumKind and FlagEnum (for ") +
1100 switch (*T.EnumConvenienceKind) {
1101 case EnumConvenienceAliasKind::None:
1105 case EnumConvenienceAliasKind::CFEnum:
1109 case EnumConvenienceAliasKind::CFOptions:
1113 case EnumConvenienceAliasKind::CFClosedEnum:
1123 Writer.
addTag(ParentContext, T.Name, TI, SwiftVersion);
1126 auto TagCtxID = Writer.
addContext(ParentContextID, T.Name, ContextKind::Tag,
1128 Context TagCtx(TagCtxID, ContextKind::Tag);
1130 for (
const auto &Field : T.Fields) {
1132 convertVariable(Field, FI);
1136 for (
const auto &CXXMethod : T.Methods) {
1138 convertFunction(CXXMethod, MI);
1139 Writer.
addCXXMethod(TagCtxID, CXXMethod.Name, MI, SwiftVersion);
1143 for (
const auto &
Tag : T.Tags)
1144 convertTagContext(TagCtx,
Tag, SwiftVersion);
1147 void convertTopLevelItems(std::optional<Context> Ctx,
1148 const TopLevelItems &TLItems,
1149 VersionTuple SwiftVersion) {
1150 std::optional<ContextID> CtxID =
1151 Ctx ? std::optional(Ctx->id) : std::nullopt;
1154 llvm::StringSet<> KnownClasses;
1155 for (
const auto &
Class : TLItems.Classes) {
1157 if (!KnownClasses.insert(
Class.Name).second) {
1158 emitError(llvm::Twine(
"multiple definitions of class '") +
Class.Name +
1163 convertContext(CtxID,
Class, ContextKind::ObjCClass, SwiftVersion);
1167 llvm::StringSet<> KnownProtocols;
1168 for (
const auto &Protocol : TLItems.Protocols) {
1170 if (!KnownProtocols.insert(
Protocol.Name).second) {
1171 emitError(llvm::Twine(
"multiple definitions of protocol '") +
1176 convertContext(CtxID, Protocol, ContextKind::ObjCProtocol, SwiftVersion);
1180 llvm::StringSet<> KnownNamespaces;
1181 for (
const auto &
Namespace : TLItems.Namespaces) {
1183 if (!KnownNamespaces.insert(
Namespace.Name).second) {
1184 emitError(llvm::Twine(
"multiple definitions of namespace '") +
1189 convertNamespaceContext(CtxID,
Namespace, SwiftVersion);
1193 llvm::StringSet<> KnownGlobals;
1194 for (
const auto &
Global : TLItems.Globals) {
1196 if (!KnownGlobals.insert(
Global.Name).second) {
1197 emitError(llvm::Twine(
"multiple definitions of global variable '") +
1202 GlobalVariableInfo GVI;
1203 convertVariable(
Global, GVI);
1208 llvm::StringSet<> KnownFunctions;
1209 for (
const auto &
Function : TLItems.Functions) {
1211 if (!KnownFunctions.insert(
Function.Name).second) {
1212 emitError(llvm::Twine(
"multiple definitions of global function '") +
1217 GlobalFunctionInfo GFI;
1223 llvm::StringSet<> KnownEnumConstants;
1224 for (
const auto &EnumConstant : TLItems.EnumConstants) {
1226 if (!KnownEnumConstants.insert(
EnumConstant.Name).second) {
1227 emitError(llvm::Twine(
"multiple definitions of enumerator '") +
1232 EnumConstantInfo ECI;
1240 llvm::StringSet<> KnownTags;
1241 for (
const auto &
Tag : TLItems.Tags) {
1243 if (!KnownTags.insert(
Tag.Name).second) {
1244 emitError(llvm::Twine(
"multiple definitions of tag '") +
Tag.Name +
1249 convertTagContext(Ctx,
Tag, SwiftVersion);
1253 llvm::StringSet<> KnownTypedefs;
1254 for (
const auto &
Typedef : TLItems.Typedefs) {
1256 if (!KnownTypedefs.insert(
Typedef.Name).second) {
1257 emitError(llvm::Twine(
"multiple definitions of typedef '") +
1270 bool convertModule() {
1272 convertTopLevelItems( std::nullopt, M.TopLevel,
1276 for (
const auto &Versioned : M.SwiftVersions)
1277 convertTopLevelItems( std::nullopt, Versioned.Items,
1283 return ErrorOccurred;
1289 llvm::raw_ostream &OS,
1290 llvm::SourceMgr::DiagHandlerTy DiagHandler,
1291 void *DiagHandlerCtxt) {
1292 YAMLConverter
C(M, SourceFile, OS, DiagHandler, DiagHandlerCtxt);
1293 return C.convertModule();
1298 Diag.print(
nullptr, llvm::errs());
1303 llvm::raw_ostream &OS,
1304 llvm::SourceMgr::DiagHandlerTy DiagHandler,
1305 void *DiagHandlerCtxt) {
1311 if (parseAPINotes(YAMLInput, TheModule, DiagHandler, DiagHandlerCtxt))
1314 return compile(TheModule, SourceFile, OS, DiagHandler, DiagHandlerCtxt);
static void printDiagnostic(const llvm::SMDiagnostic &Diag, void *Context)
Simple diagnostic handler that prints diagnostics to standard error.
static bool compile(const Module &M, const FileEntry *SourceFile, llvm::raw_ostream &OS, llvm::SourceMgr::DiagHandlerTy DiagHandler, void *DiagHandlerCtxt)
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
Defines various enumerations that describe declaration and type specifiers.
Cached information about one file (either on disk or in the virtual file system).
Describes a module or submodule.
std::string Name
The name of this module.
void dump() const
Dump the contents of this module to the given output stream.
void addObjCMethod(ContextID CtxID, ObjCSelectorRef Selector, bool IsInstanceMethod, const ObjCMethodInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a specific Objective-C method.
void addEnumConstant(llvm::StringRef Name, const EnumConstantInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about an enumerator.
ContextID addContext(std::optional< ContextID > ParentCtxID, llvm::StringRef Name, ContextKind Kind, const ContextInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a specific Objective-C class or protocol or a C++ namespace.
void addGlobalFunction(std::optional< Context > Ctx, llvm::StringRef Name, const GlobalFunctionInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a global function.
void addObjCProperty(ContextID CtxID, llvm::StringRef Name, bool IsInstanceProperty, const ObjCPropertyInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a specific Objective-C property.
void addField(ContextID CtxID, llvm::StringRef Name, const FieldInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a specific C record field.
void addGlobalVariable(std::optional< Context > Ctx, llvm::StringRef Name, const GlobalVariableInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a global variable.
void addTypedef(std::optional< Context > Ctx, llvm::StringRef Name, const TypedefInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a typedef.
void writeToStream(llvm::raw_ostream &OS)
void addCXXMethod(ContextID CtxID, llvm::StringRef Name, const CXXMethodInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a specific C++ method.
void addTag(std::optional< Context > Ctx, llvm::StringRef Name, const TagInfo &Info, llvm::VersionTuple SwiftVersion)
Add information about a tag (struct/union/enum/C++ class).
std::string ExternalBounds
void setKindAudited(BoundsSafetyKind kind)
void setLevelAudited(unsigned level)
unsigned UnavailableInSwift
Whether this entity is marked unavailable in Swift.
unsigned Unavailable
Whether this entity is marked unavailable.
std::string SwiftName
Swift name of this entity.
void setSwiftSafety(SwiftSafetyKind Safety)
void setSwiftPrivate(std::optional< bool > Private)
std::string UnavailableMsg
Message to use when this entity is unavailable.
void setSwiftConformance(std::optional< std::string > conformance)
void setNSErrorDomain(const std::optional< std::string > &Domain)
void setSwiftBridge(std::optional< std::string > SwiftType)
void setDefaultNullability(NullabilityKind Kind)
Set the default nullability for properties and methods of this class.
void setSwiftObjCMembers(std::optional< bool > Value)
void setSwiftImportAsNonGeneric(std::optional< bool > Value)
std::string SwiftReturnOwnership
Ownership convention for return value.
void addTypeInfo(unsigned index, NullabilityKind kind)
void setRetainCountConvention(std::optional< RetainCountConventionKind > Value)
std::vector< ParamInfo > Params
The function parameters.
unsigned NumAdjustedNullable
Number of types whose nullability is encoded with the NullabilityPayload.
std::string ResultType
The result type of this function, as a C type.
static unsigned getMaxNullabilityIndex()
unsigned NullabilityAudited
Whether the signature has been audited with respect to nullability.
unsigned DesignatedInit
Whether this is a designated initializer of its class.
std::optional< ParamInfo > Self
unsigned RequiredInit
Whether this is a required initializer.
void setSwiftImportAsAccessors(std::optional< bool > Value)
std::optional< BoundsSafetyInfo > BoundsSafety
void setNoEscape(std::optional< bool > Value)
void setLifetimebound(std::optional< bool > Value)
void setRetainCountConvention(std::optional< RetainCountConventionKind > Value)
std::optional< std::string > SwiftReleaseOp
std::optional< std::string > SwiftRetainOp
std::optional< std::string > SwiftImportAs
std::optional< std::string > SwiftDefaultOwnership
std::optional< EnumExtensibilityKind > EnumExtensibility
void setSwiftCopyable(std::optional< bool > Value)
std::optional< std::string > SwiftDestroyOp
void setSwiftEscapable(std::optional< bool > Value)
void setFlagEnum(std::optional< bool > Value)
std::optional< SwiftNewTypeKind > SwiftWrapper
void setNullabilityAudited(NullabilityKind kind)
void setType(const std::string &type)
RetainCountConventionKind
bool compileAPINotes(llvm::StringRef YAMLInput, const FileEntry *SourceFile, llvm::raw_ostream &OS, llvm::SourceMgr::DiagHandlerTy DiagHandler=nullptr, void *DiagHandlerCtxt=nullptr)
Converts API notes from YAML format to binary format.
SwiftNewTypeKind
The kind of a swift_wrapper/swift_newtype.
EnumExtensibilityKind
The payload for an enum_extensibility attribute.
bool parseAndDumpAPINotes(llvm::StringRef YI, llvm::raw_ostream &OS)
Parses the APINotes YAML content and writes the representation back to the specified stream.
@ OS
Indicates that the tracking object is a descendant of a referenced-counted OSObject,...
bool This(InterpState &S, CodePtr OpPC)
The JSON file list parser is used to communicate input to InstallAPI.
NullabilityKind
Describes the nullability of a particular type.
@ Nullable
Values of this type can be null.
@ Unspecified
Whether values of this type can be null is (explicitly) unspecified.
@ NonNull
Values of this type can never be null.
@ Module
Module linkage, which indicates that the entity can be referred to from other translation units withi...
@ Property
The type of a property.
@ Class
The "class" keyword introduces the elaborated-type-specifier.
static void mapTopLevelItems(IO &IO, TopLevelItems &TLI)
Diagnostic wrappers for TextAPI types for error reporting.
llvm::ArrayRef< llvm::StringRef > Identifiers
static void mapping(IO &IO, BoundsSafetyNotes &BS)
static void mapping(IO &IO, Class &C)
static void mapping(IO &IO, EnumConstant &EC)
static void mapping(IO &IO, Field &F)
static void mapping(IO &IO, Function &F)
static void mapping(IO &IO, GlobalVariable &GV)
static void mapping(IO &IO, Method &M)
static void mapping(IO &IO, Module &M)
static void mapping(IO &IO, Namespace &T)
static void mapping(IO &IO, Param &P)
static void mapping(IO &IO, Property &P)
static void mapping(IO &IO, Tag &T)
static void mapping(IO &IO, Typedef &T)
static void mapping(IO &IO, Versioned &V)
static void enumeration(IO &IO, APIAvailability &AA)
static void enumeration(IO &IO, BoundsSafetyInfo::BoundsSafetyKind &AA)
static void enumeration(IO &IO, EnumConvenienceAliasKind &ECAK)
static void enumeration(IO &IO, EnumExtensibilityKind &EEK)
static void enumeration(IO &IO, FactoryAsInitKind &FIK)
static void enumeration(IO &IO, MethodKind &MK)
static void enumeration(IO &IO, NullabilityKind &NK)
static void enumeration(IO &IO, RetainCountConventionKind &RCCK)
static void enumeration(IO &IO, SwiftNewTypeKind &SWK)
static void enumeration(IO &IO, SwiftSafetyKind &SK)