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
|
func foo(_ a: Bool) -> Int{
if a {
return 1
} else {
}
if a {
return 0
} else {
return 1
}
}
func foo1(_ a: Bool) {
if a {}
if a {}
else {}
if a {
return
} else {
return
}
}
enum MyEnum {
case Case1
case Case2
case Case3
}
func foo2(_ e : MyEnum) -> Int {
switch e {
case .Case1:
break
case .Case2:
break
case .Case3:
break
}
switch e {
case .Case1:
return 1
case .Case2:
return 2
case .Case3:
return 3
}
switch e {
case .Case1:
return 1
case .Case2:
return 2
case .Case3:
break
}
}
// RUN: %target-swift-ide-test -range -pos=2:1 -end-pos 5:4 -source-filename %s | %FileCheck %s -check-prefix=CHECK-ERR
// RUN: %target-swift-ide-test -range -pos=6:1 -end-pos 10:4 -source-filename %s | %FileCheck %s -check-prefix=CHECK-INT
// RUN: %target-swift-ide-test -range -pos=14:1 -end-pos 14:10 -source-filename %s | %FileCheck %s -check-prefix=CHECK-VOID-NO-RETURN
// RUN: %target-swift-ide-test -range -pos=15:1 -end-pos 16:10 -source-filename %s | %FileCheck %s -check-prefix=CHECK-VOID-NO-RETURN
// RUN: %target-swift-ide-test -range -pos=17:1 -end-pos 21:4 -source-filename %s | %FileCheck %s -check-prefix=CHECK-VOID-RETURN
// RUN: %target-swift-ide-test -range -pos=31:1 -end-pos 38:4 -source-filename %s | %FileCheck %s -check-prefix=CHECK-SWITCH1
// RUN: %target-swift-ide-test -range -pos=39:1 -end-pos 46:4 -source-filename %s | %FileCheck %s -check-prefix=CHECK-SWITCH2
// RUN: %target-swift-ide-test -range -pos=47:1 -end-pos 54:4 -source-filename %s | %FileCheck %s -check-prefix=CHECK-SWITCH3
// CHECK-ERR: <Type><<error type>></Type>
// CHECK-ERR-NOT: <Exit>true</Exit>
// CHECK-INT: <Type>Int</Type>
// CHECK-INT: <Exit>true</Exit>
// CHECK-VOID-NO-RETURN: <Type>Void</Type>
// CHECK-VOID-NO-RETURN-NOT: <Exit>true</Exit>
// CHECK-VOID-RETURN: <Type>Void</Type>
// CHECK-VOID-RETURN: <Exit>true</Exit>
// CHECK-SWITCH1: <Type>Void</Type><Exit>false</Exit>
// CHECK-SWITCH2: <Type>Int</Type><Exit>true</Exit>
// CHECK-SWITCH3: <Type><<error type>></Type><Exit>unsure</Exit>
|
