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
|
//===----------------------------------------------------------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
#if swift(>=6)
internal import SwiftDiagnostics
internal import SwiftParserDiagnostics
public import SwiftSyntax
#else
import SwiftDiagnostics
import SwiftParserDiagnostics
import SwiftSyntax
#endif
extension SyntaxProtocol {
/// If `node` has contains no syntax errors, return `node`, otherwise
/// throw an error with diagnostics describing the syntax errors.
///
/// This allows clients to e.g. write `try DeclSyntax(validating: "struct Foo {}")`
/// which constructs a ``DeclSyntax`` that's guaranteed to be free of syntax
/// errors.
public init(validating node: Self) throws {
if node.hasError {
let diagnostics = ParseDiagnosticsGenerator.diagnostics(for: node)
precondition(!diagnostics.isEmpty)
throw SyntaxStringInterpolationDiagnosticError(diagnostics: diagnostics, tree: Syntax(node))
}
self = node
}
}
extension Trivia {
/// If `trivia` contains no unexpected trivia, return `trivia`, otherwise
/// throw an error with diagnostics describing the unexpected trivia.
public init(validating trivia: Trivia) throws {
self = trivia
if pieces.contains(where: { $0.isUnexpected }) {
var diagnostics: [Diagnostic] = []
let tree = SourceFileSyntax(statements: [], endOfFileToken: .endOfFileToken(leadingTrivia: self))
var offset = 0
for piece in pieces {
if case .unexpectedText(let contents) = piece {
diagnostics.append(
Diagnostic(
node: Syntax(tree),
position: tree.position.advanced(by: offset),
message: UnexpectedTrivia(triviaContents: contents)
)
)
}
offset += piece.sourceLength.utf8Length
}
throw SyntaxStringInterpolationDiagnosticError(diagnostics: diagnostics, tree: Syntax(tree))
}
}
}
|
