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
|
// RUN: %empty-directory(%t)
// RUN: %target-swift-frontend -emit-module-path %t/a.swiftmodule -module-name a %s -disable-availability-checking
// RUN: llvm-bcanalyzer -dump %t/a.swiftmodule | %FileCheck --implicit-check-not UnknownCode %s
// RUN: %target-swift-ide-test -print-module -module-to-print a -source-filename x -I %t | %FileCheck -check-prefix MODULE-CHECK %s
///////////
// This test checks for correct serialization & deserialization of
// effectful properties and subscripts
// look for correct members in module's deserialization pretty-print:
// MODULE-CHECK: actor A {
// MODULE-CHECK-NEXT: var normalProp: Int
// MODULE-CHECK-NEXT: var computedProp: Int { get }
// MODULE-CHECK-NEXT: var asyncProp: Int { get async }
// MODULE-CHECK: class C {
// MODULE-CHECK-NEXT: var prop_asyncThrows: Int { get async throws }
// MODULE-CHECK-NEXT: var prop_async: Int { get async }
// MODULE-CHECK-NEXT: var prop_throws: Int { get throws }
// MODULE-CHECK: enum E {
// MODULE-CHECK-NEXT: subscript(e: Int) -> Int { get async throws }
// MODULE-CHECK: protocol P {
// MODULE-CHECK-NEXT: var propA: Int { get async }
// MODULE-CHECK-NEXT: var propT: Int { get throws }
// MODULE-CHECK-NEXT: var propAT: Int { get async throws }
// MODULE-CHECK-NEXT: subscript(p: Int) -> Int { get async }
// MODULE-CHECK-NEXT: subscript(p: Double) -> Int { get throws }
// MODULE-CHECK-NEXT: subscript(p: String) -> Int { get async throws }
// MODULE-CHECK: struct S {
// MODULE-CHECK-NEXT: subscript(s: Int) -> Int { get async }
// MODULE-CHECK-NEXT: subscript(s: Double) -> Int { get throws }
class C {
var prop_asyncThrows : Int {
get async throws { 0 }
}
var prop_async : Int {
get async { 1 }
}
var prop_throws : Int {
get throws { 2 }
}
}
struct S {
subscript(_ s : Int) -> Int {
get async { 0 }
}
subscript(_ s : Double) -> Int {
get throws { 0 }
}
}
enum E {
subscript(_ e : Int) -> Int {
get async throws { 0 }
}
}
actor A {
var normalProp : Int = 0
var computedProp : Int { get { 0 } }
var asyncProp : Int {
get async { 0 }
}
}
protocol P {
var propA : Int { get async }
var propT : Int { get throws }
var propAT : Int { get async throws }
subscript(_ p : Int) -> Int { get async }
subscript(_ p : Double) -> Int { get throws }
subscript(_ p : String) -> Int { get async throws }
}
|
