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
|
// RUN: %target-typecheck-verify-swift -verify-ignore-unknown
class SimpleClass : Codable {
var x: Int = 1
var y: Double = .pi
static var z: String = "foo"
}
// The synthesized CodingKeys type should not be accessible from outside the
// class.
let _ = SimpleClass.CodingKeys.self // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
// Classes which inherit from classes that are codable should synthesize Codable
// conformance as well.
class SimpleChildClass : SimpleClass {
var w: Bool = true
// NOTE: These tests will fail in the future as Codable classes are updated
// to derive Codable conformance instead of inheriting their
// superclass's. Classes currently inherit their parent's Codable
// conformance and we never get the chance to derive a CodingKeys
// type, nor overridden methods.
// These lines have to be within the SimpleChildClass type because
// CodingKeys should be private.
func foo() {
// They should receive a synthesized CodingKeys enum.
// NOTE: This expected error will need to be removed in the future.
let _ = SimpleChildClass.CodingKeys.self // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
// The enum should have a case for each of the vars.
// NOTE: This expected error will need to be removed in the future.
let _ = SimpleChildClass.CodingKeys.w
// expected-error@-1 {{'CodingKeys' is inaccessible due to 'private' protection level}}
// expected-error@-2 {{type 'SimpleClass.CodingKeys' has no member 'w'}}
// Inherited vars should not be part of the CodingKeys enum.
// NOTE: This expected error will need to be updated in the future.
// Should be `type 'SimpleClass.CodingKeys' has no member 'x'`
let _ = SimpleChildClass.CodingKeys.x // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
// NOTE: This expected error will need to be updated in the future.
// Should be `type 'SimpleClass.CodingKeys' has no member 'y'`
let _ = SimpleChildClass.CodingKeys.y // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
}
}
// They should receive synthesized init(from:) and an encode(to:).
let _ = SimpleChildClass.init(from:)
let _ = SimpleChildClass.encode(to:)
// The synthesized CodingKeys type should not be accessible from outside the
// class.
let _ = SimpleChildClass.CodingKeys.self // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
// Check access level issues around 'private'.
private class PrivateClass: Codable {
var x: Int = 1
}
private class PrivateClassChild: PrivateClass {}
_ = PrivateClass.init(from:)
_ = PrivateClass.encode(to:)
_ = PrivateClassChild.init(from:)
_ = PrivateClassChild.encode(to:)
_ = PrivateClass.CodingKeys.self // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
// Check access level issues around 'open'.
open class OpenClass: Codable {
var x: Int = 1
}
open class OpenClassChild: OpenClass {}
_ = OpenClass.init(from:)
_ = OpenClass.encode(to:)
_ = OpenClassChild.init(from:)
_ = OpenClassChild.encode(to:)
_ = OpenClass.CodingKeys.self // expected-error {{'CodingKeys' is inaccessible due to 'private' protection level}}
|
