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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module -o %t/Test.swiftmodule -emit-module-interface-path %t/Test.swiftinterface -module-name Test -disable-objc-attr-requires-foundation-module -enable-objc-interop %s
// RUN: %target-swift-typecheck-module-from-interface(%t/Test.swiftinterface) -module-name Test
// RUN: %FileCheck %s --check-prefix FROMSOURCE --check-prefix CHECK < %t/Test.swiftinterface
// RUN: %target-swift-frontend -emit-module -o /dev/null -merge-modules %t/Test.swiftmodule -disable-objc-attr-requires-foundation-module -emit-module-interface-path - -module-name Test -enable-objc-interop | %FileCheck %s --check-prefix FROMMODULE --check-prefix CHECK
// CHECK-LABEL: final public class FinalClass {
public final class FinalClass {
// CHECK: @inlinable final public class var a: Swift.Int {
// FROMSOURCE-NEXT: {{^}} get {
// FROMSOURCE-NEXT: return 3
// FROMSOURCE-NEXT: }
// FROMMODULE-NEXT: get{{$}}
// CHECK-NEXT: }
@inlinable
public final class var a: Int {
return 3
}
// CHECK: final public class var b: Swift.Int {
// FROMSOURCE-NEXT: {{^}} @inlinable get {
// FROMSOURCE-NEXT: return 3
// FROMSOURCE-NEXT: }
// FROMMODULE-NEXT: {{^}} @inlinable get{{$}}
// CHECK-NEXT: set[[NEWVALUE:(\(newValue\))?]]{{$}}
// CHECK-NEXT: }
public final class var b: Int {
@inlinable get {
return 3
}
set {
print("x")
}
}
// CHECK: public static var c: Swift.Int {
// CHECK-NEXT: {{^}} get
// FROMSOURCE-NEXT: @inlinable set[[NEWVALUE]] {}
// FROMMODULE-NEXT: @inlinable set[[NEWVALUE]]{{$}}
// CHECK-NEXT: }
public static var c: Int {
get {
return 0
}
@inlinable set {}
}
// CHECK: @objc dynamic final public var d: Swift.Int {
// CHECK-NEXT: {{^}} @objc get{{$}}
// CHECK-NEXT: {{^}} @objc set[[NEWVALUE]]{{$}}
// CHECK-NEXT: }
@objc public dynamic var d: Int {
get {
return 0
}
set {}
}
}
// CHECK-LABEL: public class Base {
public class Base {
// CHECK-NEXT: @objc public init(){{$}}
@objc public init() {}
// CHECK-NEXT: @objc required public init(x: Swift.Int){{$}}
@objc public required init(x: Int) {}
// CHECK-NEXT: @objc deinit{{$}}
} // CHECK-NEXT: {{^}$}}
// CHECK-LABEL: public class SubImplicit : {{(Test[.])?Base}} {
public class SubImplicit: Base {
// CHECK-NEXT: @objc override public init(){{$}}
// CHECK-NEXT: @objc required public init(x: Swift.Int){{$}}
// CHECK-NEXT: @objc deinit{{$}}
} // CHECK-NEXT: {{^}$}}
// CHECK-LABEL: public class SubExplicit : {{(Test[.])?Base}} {
public class SubExplicit: Base {
// Make sure adding "required" preserves both "required" and "override".
// CHECK-NEXT: @objc override required public init(){{$}}
public override required init() { super.init() }
// CHECK-NEXT: @objc required public init(x: Swift.Int){{$}}
public required init(x: Int) { super.init() }
// CHECK-NEXT: @objc deinit{{$}}
} // CHECK-NEXT: {{^}$}}
// CHECK-LABEL: public struct MyStruct {
public struct MyStruct {
// CHECK: public var e: Swift.Int {
// CHECK-NEXT: {{^}} mutating get{{$}}
// FROMSOURCE-NEXT: {{^}} @inlinable nonmutating set[[NEWVALUE]] {}
// FROMMODULE-NEXT: {{^}} @inlinable nonmutating set[[NEWVALUE]]{{$}}
// CHECK-NEXT: }
public var e: Int {
mutating get { return 0 }
@inlinable nonmutating set {}
}
// CHECK-NEXT: }
}
|
