File: SkipProtocolImplementations.swift

package info (click to toggle)
swiftlang 6.2.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,856,264 kB
  • sloc: cpp: 9,995,718; ansic: 2,234,019; asm: 1,092,167; python: 313,940; objc: 82,726; f90: 80,126; lisp: 38,373; pascal: 25,580; sh: 20,378; ml: 5,058; perl: 4,751; makefile: 4,725; awk: 3,535; javascript: 3,018; xml: 918; fortran: 664; cs: 573; ruby: 396
file content (88 lines) | stat: -rw-r--r-- 3,341 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend %s -module-name SkipProtocolImplementations -emit-module -emit-module-path %t/SkipProtocolImplementations.swiftmodule -emit-symbol-graph -emit-symbol-graph-dir %t/ -skip-protocol-implementations
// RUN: %validate-json %t/SkipProtocolImplementations.symbols.json %t/SkipProtocolImplementations.formatted.symbols.json
// RUN: %FileCheck %s --input-file %t/SkipProtocolImplementations.formatted.symbols.json
// RUN: %FileCheck %s --input-file %t/SkipProtocolImplementations.formatted.symbols.json --check-prefix COUNT

// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend %s -module-name SkipProtocolImplementations -emit-module -emit-module-path %t/SkipProtocolImplementations.swiftmodule -emit-module-doc-path %t/SkipProtocolImplementations.swiftdoc
// RUN: %target-swift-symbolgraph-extract -module-name SkipProtocolImplementations -I %t -skip-protocol-implementations -pretty-print -output-dir %t
// RUN: %FileCheck %s --input-file %t/SkipProtocolImplementations.symbols.json
// RUN: %FileCheck %s --input-file %t/SkipProtocolImplementations.symbols.json --check-prefix COUNT

// make sure that using `-skip-protocol-implementations` removes the functions from `SomeProtocol` on `SomeStruct`
// CHECK-NOT: s:27SkipProtocolImplementations04SomeB0PAAE9bonusFuncyyF::SYNTHESIZED::s:27SkipProtocolImplementations10SomeStructV
// CHECK-NOT: s:27SkipProtocolImplementations10SomeStructV8someFuncyyF

// ...as well as the inner type from `OtherProtocol` on `OtherStruct`
// CHECK-NOT: "s:27SkipProtocolImplementations11OtherStructV5InnerV"

// CHECK-LABEL: "symbols": [

// SomeStruct.otherFunc() should be present because it has its own doc comment
// CHECK-DAG: s:27SkipProtocolImplementations10SomeStructV9otherFuncyyF

// Same for ExtraStruct.Inner
// CHECK-DAG: s:27SkipProtocolImplementations11ExtraStructV5InnerV

// HiddenStruct.T should be present because its source protocol is underscored
// CHECK-DAG: "precise": "s:27SkipProtocolImplementations12HiddenStructV1TV",

// CHECK-LABEL: "relationships": [

// we want to make sure that the conformance relationship itself stays
// CHECK-DAG: conformsTo

// There should only be three symbols with sourceOrigin information:
// - SomeStruct.otherFunc()
// - ExtraStruct.Inner
// (ExtraStruct.Inner will have two sourceOrigins because it has two relationships: a memberOf and a
// conformsTo)
// COUNT-COUNT-4: sourceOrigin
// COUNT-NOT: sourceOrigin

public protocol SomeProtocol {
    /// Base docs
    func someFunc()

    /// Base docs
    func otherFunc()
}

public extension SomeProtocol {
    func bonusFunc() {}
}

public struct SomeStruct: SomeProtocol {
    public func someFunc() {}

    /// Local docs
    public func otherFunc() {}
}

// Make sure that protocol conformances added in extensions don't create bogus symbol relationships (rdar://107432084)

public protocol OtherProtocol {
    associatedtype Inner
}

public struct OtherStruct: OtherProtocol {
    public struct Inner {}
}

extension OtherStruct.Inner: Sendable {}

public struct ExtraStruct: OtherProtocol {
    /// This time with a doc comment!
    public struct Inner {}
}

extension ExtraStruct.Inner: Sendable {}

public protocol _HiddenProtocol {
    associatedtype T
}

public struct HiddenStruct: _HiddenProtocol {
    public struct T {}
}