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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
|
// RUN: %empty-directory(%t)
// RUN: split-file %s %t
/// Generate a package swiftinterface. Note -package-name is repeated; the last value should be picked.
// RUN: %target-swift-frontend -emit-module %t/Bar.swift -I %t \
// RUN: -module-name Bar -package-name foopkg -package-name barpkg \
// RUN: -enable-library-evolution -swift-version 5 \
// RUN: -emit-module-interface-path %t/Bar.swiftinterface \
// RUN: -emit-private-module-interface-path %t/Bar.private.swiftinterface \
// RUN: -emit-package-module-interface-path %t/Bar.package.swiftinterface
// RUN: %target-swift-typecheck-module-from-interface(%t/Bar.swiftinterface) -I %t
// RUN: %target-swift-typecheck-module-from-interface(%t/Bar.package.swiftinterface) -I %t -module-name Bar
// RUN: %target-swift-typecheck-module-from-interface(%t/Bar.private.swiftinterface) -I %t -module-name Bar
// RUN: %FileCheck --check-prefixes=CHECK %s < %t/Bar.swiftinterface
// RUN: %FileCheck --check-prefixes=CHECK,CHECK-PRIV %s < %t/Bar.private.swiftinterface
// RUN: %FileCheck --check-prefixes=CHECK,CHECK-PRIV,CHECK-PKG %s < %t/Bar.package.swiftinterface
//--- Bar.swift
public enum PubEnum {
case red, green
}
// CHECK: -package-name barpkg
// CHECK: public enum PubEnum {
// CHECK: case red, green
// CHECK: public static func == (a: Bar.PubEnum, b: Bar.PubEnum) -> Swift.Bool
// CHECK: public func hash(into hasher: inout Swift.Hasher)
// CHECK: public var hashValue: Swift.Int {
// CHECK: get
// CHECK: }
// CHECK: }
@_transparent
public func pubFunc(arg: PubEnum) {
switch arg {
case .red:
print("r")
case .green:
print("g")
@unknown default:
print("def")
}
}
// CHECK: @_transparent public func pubFunc(arg: Bar.PubEnum) {
// CHECK: switch arg {
// CHECK: case .red:
// CHECK: print("r")
// CHECK: case .green:
// CHECK: print("g")
// CHECK: @unknown default:
// CHECK: print("def")
// CHECK: }
// CHECK: }
package enum PkgEnum {
case blue, yellow
}
// CHECK-PKG: package enum PkgEnum {
// CHECK-PKG: case blue, yellow
// CHECK-PKG: package static func == (a: Bar.PkgEnum, b: Bar.PkgEnum) -> Swift.Bool
// CHECK-PKG: package func hash(into hasher: inout Swift.Hasher)
// CHECK-PKG: package var hashValue: Swift.Int {
// CHECK-PKG: get
// CHECK-PKG: }
// CHECK-PKG: }
@usableFromInline
package enum UfiPkgEnum {
case one, two
}
// CHECK: @usableFromInline
// CHECK: package enum UfiPkgEnum {
// CHECK: case one, two
// CHECK: @usableFromInline
// CHECK: package static func == (a: Bar.UfiPkgEnum, b: Bar.UfiPkgEnum) -> Swift.Bool
// CHECK: @usableFromInline
// CHECK: package func hash(into hasher: inout Swift.Hasher)
// CHECK: @usableFromInline
// CHECK: package var hashValue: Swift.Int {
// CHECK: @usableFromInline
// CHECK: get
// CHECK: }
// CHECK: }
@inlinable
package func pkgFunc(arg: UfiPkgEnum) {
switch arg {
case .one:
print("1")
case .two:
print("2")
@unknown default:
print("def")
}
}
// CHECK: @inlinable package func pkgFunc(arg: Bar.UfiPkgEnum) {
// CHECK: switch arg {
// CHECK: case .one:
// CHECK: print("1")
// CHECK: case .two:
// CHECK: print("2")
// CHECK: @unknown default:
// CHECK: print("def")
// CHECK: }
// CHECK: }
@frozen public struct FrozenPub {
public var one: String
var two: String // expected to be printed in public .swiftinterface since contained in @frozen
private var three: String // expected to be printed in public .swiftinterface since contained in @frozen
public private(set) var four: String
public package(set) var five: String
}
// CHECK: @frozen public struct FrozenPub {
// CHECK: public var one: Swift.String
// CHECK: internal var two: Swift.String
// CHECK: private var three: Swift.String
// CHECK: @_hasStorage public var four: Swift.String {
// CHECK: get
// CHECK: }
// CHECK: @_hasStorage public var five: Swift.String {
// CHECK: get
// CHECK: }
// CHECK: }
package struct PkgStruct {
package var one: String
var two: String // expected be printed in package.swiftinterface since contained in non-resilient type
private var three: String // expected be printed in package.swiftinterface since contained in non-resilient type
package private(set) var four: String
}
// CHECK-PKG: package struct PkgStruct {
// CHECK-PKG: package var one: Swift.String
// CHECK-PKG: package var four: Swift.String {
// CHECK-PKG: get
// CHECK-PKG: }
// CHECK-PKG: }
public class PubKlass {
public var pubVarInPub: String
var intrnVarInPub: String
package var pkgVarInPub: String
public private(set) var pubVarPrivSetInPub: Int
public package(set) var pubVarPkgSetInPub: Int
public init() {
pubVarInPub = ""
intrnVarInPub = ""
pkgVarInPub = ""
pubVarPrivSetInPub = 1
pubVarPkgSetInPub = 1
}
}
// CHECK: public class PubKlass {
// CHECK: public var pubVarInPub: Swift.String
// CHECK-PKG: package var pkgVarInPub: Swift.String
// CHECK: public var pubVarPrivSetInPub: Swift.Int {
// CHECK: get
// CHECK: }
// CHECK: public var pubVarPkgSetInPub: Swift.Int {
// CHECK: get
// CHECK: }
// CHECK: public init()
// CHECK: deinit
// CHECK: }
class IntrnKlass {
var intrnVarInIntrn: String
init() { intrnVarInIntrn = "" }
}
package class PkgKlass {
package var pkgVarInPkg: String
var intrnVarInPkg: String
package private(set) var pkgVarPrivSetInPkg: Int
package init() {
pkgVarInPkg = ""
intrnVarInPkg = ""
pkgVarPrivSetInPkg = 1
}
}
// CHECK-PKG: package class PkgKlass {
// CHECK-PKG: package var pkgVarInPkg: Swift.String
// CHECK-PKG: package var pkgVarPrivSetInPkg: Swift.Int {
// CHECK-PKG: get
// CHECK-PKG: }
// CHECK-PKG: package init()
// CHECK-PKG: deinit
// CHECK-PKG: }
public protocol PubProto {
var p1: String { get set }
func f1()
}
// CHECK: public protocol PubProto {
// CHECK: var p1: Swift.String { get set }
// CHECK: func f1()
// CHECK: }
public extension PubProto {
var p2: Int { return 2 }
func f1() { print("f1 ext") }
@_spi(PubExt)
func f2() { print("f2") }
}
// CHECK: extension Bar.PubProto {
// CHECK: public var p2: Swift.Int {
// CHECK: get
// CHECK: }
// CHECK: public func f1()
// CHECK-PRIV: @_spi(PubExt) public func f2()
// CHECK: }
extension PubProto {
public var p3: Int { return 3 }
package var p4: Int { return 4 }
var p5: Int { return 5 }
public func f3() { print("f3") } // expected to show up in public interface
}
// CHECK: extension Bar.PubProto {
// CHECK: public var p3: Swift.Int {
// CHECK: get
// CHECK: }
// CHECK-PKG: package var p4: Swift.Int {
// CHECK-PKG: get
// CHECK-PKG: }
// CHECK: public func f3()
// CHECK: }
package protocol PkgProto {
var k1: String { get set }
func g1()
}
// CHECK-PKG: package protocol PkgProto {
// CHECK-PKG: var k1: Swift.String { get set }
// CHECK-PKG: func g1()
// CHECK-PKG: }
package extension PkgProto {
var k2: Int { return 2 }
func g1() { print("g1 ext") }
func g2() { print("g2") }
}
// CHECK-PKG: extension Bar.PkgProto {
// CHECK-PKG: package var k2: Swift.Int {
// CHECK-PKG: get
// CHECK-PKG: }
// CHECK-PKG: package func g1()
// CHECK-PKG: package func g2()
// CHECK-PKG: }
extension PkgProto {
package var k3: Int { return 3 }
var k4: Int { return 4 }
package func g3() { print("g3") }
}
// CHECK-PKG: extension Bar.PkgProto {
// CHECK-PKG: package var k3: Swift.Int {
// CHECK-PKG: get
// CHECK-PKG: }
// CHECK-PKG: package func g3()
// CHECK-PKG: }
public func pub(x: Int, y: String) { print("pub func") }
// CHECK: public func pub(x: Swift.Int, y: Swift.String)
@_spi(LibBar) public func spi(x: Int, y: String) { print("spi func") }
// CHECK-PRIV: @_spi(LibBar) public func spi(x: Swift.Int, y: Swift.String)
@usableFromInline
package func ufipkg(x: Int, y: String) { print("ufi pkg func") }
// CHECK: @usableFromInline
// CHECK: package func ufipkg(x: Swift.Int, y: Swift.String)
package func pkg(x: Int, y: String) { print("pkg func") }
// CHECK-PKG: package func pkg(x: Swift.Int, y: Swift.String)
func int(x: Int, y: String) { print("int func") }
private func priv(x: Int, y: String) { print("priv func") }
// CHECK: extension Bar.PubEnum : Swift.Equatable {}
// CHECK: extension Bar.PubEnum : Swift.Hashable {}
// CHECK: extension Bar.FrozenPub : Swift.Sendable {}
|
