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
|
// RUN: %empty-directory(%t)
// RUN: %target-build-swift-dylib(%t/%target-library-name(resilient_enums)) -enable-library-evolution %S/Inputs/reflect_Enum_values_resilient_enums.swift -emit-module -emit-module-path %t/resilient_enums.swiftmodule -module-name resilient_enums
// RUN: %target-codesign %t/%target-library-name(resilient_enums)
// RUN: %target-build-swift -lswiftSwiftReflectionTest %s -L %t -I %t -lresilient_enums -o %t/reflect_Enum_values_resilient %target-rpath(%t)
// RUN: %target-codesign %t/reflect_Enum_values_resilient
// RUN: %target-run %target-swift-reflection-test %t/reflect_Enum_values_resilient | tee /dev/stderr | %FileCheck %s --dump-input=fail
// REQUIRES: executable_test
// REQUIRES: objc_interop, OS=macosx
// UNSUPPORTED: use_os_stdlib
import SwiftReflectionTest
import resilient_enums
// Non-resilient enum wrapping a resilient enum
// This doesn't use spare bits of the inner enum
enum E2 {
case y(E1_resilient)
case z(E1_resilient)
}
// Contrast:
// E2_resilient is a resilient enum wrapping a resilient enum
// This does use spare bits of the inner enum
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values_resilient.E2)
// CHECK-NEXT: Value: .y(.a)
reflect(enumValue: E2.y(.a))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values_resilient.E2)
// CHECK-NEXT: Value: .z(.b)
reflect(enumValue: E2.z(.b))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum resilient_enums.E1_resilient)
// CHECK-NEXT: Value: .a
reflect(enumValue: E1_resilient.a)
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum resilient_enums.E1_resilient)
// CHECK-NEXT: Value: .b
reflect(enumValue: E1_resilient.b)
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum resilient_enums.E2_resilient)
// CHECK-NEXT: Value: .c(.a)
reflect(enumValue: E2_resilient.c(.a))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum resilient_enums.E2_resilient)
// CHECK-NEXT: Value: .d(.b)
reflect(enumValue: E2_resilient.d(.b))
doneReflecting()
// CHECK: Done.
|
