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
96
|
//===----------------------------------------------------------------------===//
//
// This source file is part of the Swift.org open source project
//
// Copyright (c) 2014 - 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 the list of Swift project authors
//
//===----------------------------------------------------------------------===//
import SwiftSyntax
import SwiftFormat
/// Encapsulates the locations of emoji markers extracted from source text.
public struct MarkedText {
/// A mapping from marker names to the UTF-8 offset where the marker was found in the string.
public let markers: [String: Int]
/// The text with all markers removed.
public let textWithoutMarkers: String
/// If the marked text contains "⏩" and "⏪", they're used to create a selection
public var selection: Selection
/// Creates a new `MarkedText` value by extracting emoji markers from the given text.
public init(textWithMarkers markedText: String) {
var text = ""
var markers = [String: Int]()
var lastIndex = markedText.startIndex
var offsets = [Range<Int>]()
var lastRangeStart = 0
for marker in findMarkedRanges(in: markedText) {
text += markedText[lastIndex..<marker.range.lowerBound]
lastIndex = marker.range.upperBound
if marker.name == "⏩" {
lastRangeStart = text.utf8.count
} else if marker.name == "⏪" {
offsets.append(lastRangeStart ..< text.utf8.count)
} else {
assert(markers[marker.name] == nil, "Marker names must be unique")
markers[marker.name] = text.utf8.count
}
}
text += markedText[lastIndex..<markedText.endIndex]
self.markers = markers
self.textWithoutMarkers = text
self.selection = Selection(offsetRanges: offsets)
}
}
private struct Marker {
/// The name (i.e., emoji identifier) of the marker.
var name: String
/// The range of the marker.
///
/// If the marker contains all the non-whitespace characters on the line, then this is the range
/// of the entire line. Otherwise, it's the range of the marker itself.
var range: Range<String.Index>
}
private func findMarkedRanges(in text: String) -> [Marker] {
var markers = [Marker]()
while let marker = nextMarkedRange(in: text, from: markers.last?.range.upperBound ?? text.startIndex) {
markers.append(marker)
}
return markers
}
private func nextMarkedRange(in text: String, from index: String.Index) -> Marker? {
guard let start = text[index...].firstIndex(where: { $0.isMarkerEmoji }) else {
return nil
}
let end = text.index(after: start)
let markerRange = start..<end
let name = String(text[start..<end])
return Marker(name: name, range: markerRange)
}
extension Character {
/// A value indicating whether or not the character is an emoji that we recognize as a source
/// location marker.
fileprivate var isMarkerEmoji: Bool {
switch self {
case "0️⃣", "1️⃣", "2️⃣", "3️⃣", "4️⃣", "5️⃣", "6️⃣", "7️⃣", "8️⃣", "9️⃣", "🔟", "ℹ️", "⏩", "⏪":
return true
default: return false
}
}
}
|
