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
|
/*
This source file is part of the Swift.org open source project
Copyright (c) 2021-2023 Apple Inc. and the Swift project authors
Licensed under Apache License v2.0 with Runtime Library Exception
See https://swift.org/LICENSE.txt for license information
See https://swift.org/CONTRIBUTORS.txt for Swift project authors
*/
import Foundation
extension SymbolGraph.Symbol.Swift {
/// A generic constraint between two types.
public struct GenericConstraint: Codable, Hashable {
public enum Kind: String, Codable {
/**
A conformance constraint, such as:
```swift
extension Thing where Thing.T: Sequence {
// ...
}
```
*/
case conformance
/**
A superclass constraint, such as:
```swift
extension Thing where Thing.T: NSObject {
// ...
}
```
*/
case superclass
/**
A same-type constraint, such as:
```swift
extension Thing where Thing.T == Int {
// ...
}
```
*/
case sameType
}
enum CodingKeys: String, CodingKey {
case kind
case leftTypeName = "lhs"
case rightTypeName = "rhs"
}
/**
The kind of generic constraint.
*/
public var kind: Kind
/**
The spelling of the left-hand side of the constraint.
*/
public var leftTypeName: String
/**
The spelling of the right-hand side of the constraint.
*/
public var rightTypeName: String
/// Create a new GenericConstraint for the given kind and type names.
public init(kind: Kind, leftTypeName: String, rightTypeName: String) {
self.kind = kind
self.leftTypeName = leftTypeName
self.rightTypeName = rightTypeName
}
/// Create a new GenericConstraint by decoding a native format.
public init(from decoder: Decoder) throws {
let container = try decoder.container(keyedBy: CodingKeys.self)
kind = try container.decode(Kind.self, forKey: .kind)
leftTypeName = try container.decode(String.self, forKey: .leftTypeName)
rightTypeName = try container.decode(String.self, forKey: .rightTypeName)
}
/// Encode a GenericConstraint to a native format.
public func encode(to encoder: Encoder) throws {
var container = encoder.container(keyedBy: CodingKeys.self)
try container.encode(kind, forKey: .kind)
try container.encode(leftTypeName, forKey: .leftTypeName)
try container.encode(rightTypeName, forKey: .rightTypeName)
}
}
}
|
