Files
swift-mirror/test/SymbolGraph/Symbols/PathComponents.swift
Max Obermeier 453fd2231b Allow for emission of swift.extension symbols for extensions to external types in swiftSymbolGraphGen (#59047)
This includes:
 - bumping the SWIFT_SYMBOLGRAPH_FORMAT_MINOR version
 - introduction of the "swift.extension" symbol and "extensionTo" relationship
 - adding support for ExtensionDecl to the Symbol class
 - adding a "typeKind" field to the symbol's extension mixin which indicates what kind
   of symbol was extended
 - intoduction of the -emit-extension-block-symbols flag, which enables the behavior
   outlined below
 - adaptions to SymbolGraphASTWalker that ensure a swift.extension symbol is emitted
   for each extension to a type that does not exist in the local symbol graph
 - adaptions to SymbolGraph and SymbolGraphASTWalker that ensure member and conformance
   relationships are correctly associated with the swift.extension symbol instead of
   the original type declaration's (extended nominal's) symbol where applicable
 - adaptions to SymbolGraphASTWalker that ensure swift.extension symbols are connected
   to their respective extended nominal's symbol using an extensionTo relationship

Testing:
- adds SymbolGraph tests that test behavior only relevant in
  -emit-extension-block-symbols mode
- adapts some SymbolGraph tests to additionally test similar behavior for
  extensions to external types in -emit-extension-block-symbols mode
- adapts some SymbolGraph tests to (additionally or exclusively) test the
  behavior with -emit-extension-block-symbols mode enabled

Bugfixes:
- fixes a bug where some conformsTo relationships implicated by the conformances
  declared on an extension to an external type were not emitted
  (see test/SymbolGraph/Relationships/ConformsTo/Indirect.swift)

Further changes:
- documents the strategy for naming and associating children declared in extensions
  to typealiases (see test/SymbolGraph/Relationships/MemberOf/Typealias.swift,
  test/SymbolGraph/Symbols/Names.swift)
2022-09-16 12:02:40 -06:00

45 lines
1.5 KiB
Swift

// RUN: %empty-directory(%t)
// RUN: %target-build-swift %s -module-name PathComponents -emit-module -emit-module-path %t/
// RUN: %target-swift-symbolgraph-extract -module-name PathComponents -I %t -pretty-print -output-dir %t -emit-extension-block-symbols
// RUN: %FileCheck %s --input-file %t/PathComponents.symbols.json
// RUN: %FileCheck %s --input-file %t/PathComponents@Swift.symbols.json --check-prefix EXTENSION
// RUN: %FileCheck %s --input-file %t/PathComponents@Swift.symbols.json --check-prefix EXTENSION_EBS
public struct Outer {
public struct Inner {
public var x = 1
}
}
// CHECK: "precise": "s:14PathComponents5OuterV5InnerV1xSivp"
// CHECK-NEXT: "interfaceLanguage": "swift"
// CHECK-NEXT: },
// CHECK-NEXT: "pathComponents": [
// CHECK-NEXT: "Outer"
// CHECK-NEXT: "Inner"
// CHECK-NEXT: "x"
// CHECK-NEXT: ]
public extension String {
public struct Inner {
public var x: Int { 1 }
}
}
// EXTENSION: "precise": "s:SS14PathComponentsE5InnerV1xSivp"
// EXTENSION-NEXT: "interfaceLanguage": "swift"
// EXTENSION-NEXT: },
// EXTENSION-NEXT: "pathComponents": [
// EXTENSION-NEXT: "String"
// EXTENSION-NEXT: "Inner"
// EXTENSION-NEXT: "x"
// EXTENSION-NEXT: ]
// EXTENSION_EBS: "precise": "s:e:s:SS14PathComponentsE5InnerV"
// EXTENSION_EBS-NEXT: "interfaceLanguage": "swift"
// EXTENSION_EBS-NEXT: },
// EXTENSION_EBS-NEXT: "pathComponents": [
// EXTENSION_EBS-NEXT: "String"
// EXTENSION_EBS-NEXT: ]