1
/*
2
 * Hurl (https://hurl.dev)
3
 * Copyright (C) 2026 Orange
4
 *
5
 * Licensed under the Apache License, Version 2.0 (the "License");
6
 * you may not use this file except in compliance with the License.
7
 * You may obtain a copy of the License at
8
 *
9
 *          http://www.apache.org/licenses/LICENSE-2.0
10
 *
11
 * Unless required by applicable law or agreed to in writing, software
12
 * distributed under the License is distributed on an "AS IS" BASIS,
13
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
14
 * See the License for the specific language governing permissions and
15
 * limitations under the License.
16
 *
17
 */
18
use std::cmp;
19

            
20
use crate::ast::SourceInfo;
21
use crate::error;
22
use crate::error::DisplaySourceError;
23
use crate::reader::Pos;
24
use crate::text::{Style, StyledString};
25

            
26
/// Represents a parser error.
27
#[derive(Clone, Debug, PartialEq, Eq)]
28
pub struct ParseError {
29
    pub pos: Pos,
30
    pub recoverable: bool,
31
    pub kind: ParseErrorKind,
32
}
33

            
34
#[derive(Clone, Debug, PartialEq, Eq)]
35
pub enum ParseErrorKind {
36
    DuplicateSection,
37
    EscapeChar,
38
    Expecting { value: String },
39
    FileContentType,
40
    Filename,
41
    GraphQlVariables,
42
    HexDigit,
43
    InvalidCookieAttribute,
44
    InvalidDurationUnit(String),
45
    InvalidOption(String),
46
    Json(JsonErrorVariant),
47
    JsonPathExpr,
48
    Method { name: String },
49
    Multiline,
50
    MultilineLanguageHint(String),
51
    OddNumberOfHexDigits,
52
    Predicate,
53
    PredicateValue,
54
    RegexExpr { message: String },
55
    RequestSection,
56
    RequestSectionName { name: String },
57
    ResponseSection,
58
    ResponseSectionName { name: String },
59
    Space,
60
    Status,
61
    TemplateVariable,
62
    Unicode,
63
    UrlIllegalCharacter(char),
64
    UrlInvalidStart,
65
    Variable(String),
66
    Version,
67
    XPathExpr,
68
    Xml,
69
}
70

            
71
#[derive(Clone, Debug, PartialEq, Eq)]
72
pub enum JsonErrorVariant {
73
    TrailingComma,
74
    ExpectingElement,
75
    EmptyElement,
76
}
77

            
78
impl ParseError {
79
    /// Creates a new error for the position `pos`, of type `inner`.
80
12707075
    pub fn new(pos: Pos, recoverable: bool, kind: ParseErrorKind) -> ParseError {
81
12707075
        ParseError {
82
12707075
            pos,
83
12707075
            recoverable,
84
12707075
            kind,
85
        }
86
    }
87
}
88

            
89
impl DisplaySourceError for ParseError {
90
1300
    fn source_info(&self) -> SourceInfo {
91
1300
        SourceInfo {
92
1300
            start: self.pos,
93
1300
            end: self.pos,
94
        }
95
    }
96

            
97
495
    fn description(&self) -> String {
98
495
        match self.kind {
99
20
            ParseErrorKind::DuplicateSection => "Parsing section".to_string(),
100
10
            ParseErrorKind::EscapeChar => "Parsing escape character".to_string(),
101
110
            ParseErrorKind::Expecting { .. } => "Parsing literal".to_string(),
102
10
            ParseErrorKind::FileContentType => "Parsing file content type".to_string(),
103
20
            ParseErrorKind::Filename => "Parsing filename".to_string(),
104
            ParseErrorKind::GraphQlVariables => "Parsing GraphQL variables".to_string(),
105
10
            ParseErrorKind::HexDigit => "Parsing hexadecimal number".to_string(),
106
10
            ParseErrorKind::InvalidCookieAttribute => "Parsing cookie attribute".to_string(),
107
20
            ParseErrorKind::InvalidOption(_) => "Parsing option".to_string(),
108
10
            ParseErrorKind::InvalidDurationUnit(_) => "Parsing duration".to_string(),
109
60
            ParseErrorKind::Json(_) => "Parsing JSON".to_string(),
110
            ParseErrorKind::JsonPathExpr => "Parsing JSONPath expression".to_string(),
111
60
            ParseErrorKind::Method { .. } => "Parsing method".to_string(),
112
            ParseErrorKind::Multiline => "Parsing multiline".to_string(),
113
10
            ParseErrorKind::MultilineLanguageHint(..) => "Parsing multiline".to_string(),
114
            ParseErrorKind::OddNumberOfHexDigits => "Parsing hex bytearray".to_string(),
115
10
            ParseErrorKind::Predicate => "Parsing predicate".to_string(),
116
20
            ParseErrorKind::PredicateValue => "Parsing predicate value".to_string(),
117
10
            ParseErrorKind::RegexExpr { .. } => "Parsing regex".to_string(),
118
            ParseErrorKind::RequestSection => "Parsing section".to_string(),
119
20
            ParseErrorKind::RequestSectionName { .. } => "Parsing request section name".to_string(),
120
            ParseErrorKind::ResponseSection => "Parsing section".to_string(),
121
            ParseErrorKind::ResponseSectionName { .. } => {
122
                "Parsing response section name".to_string()
123
            }
124
25
            ParseErrorKind::Space => "Parsing space".to_string(),
125
10
            ParseErrorKind::Status => "Parsing status code".to_string(),
126
10
            ParseErrorKind::TemplateVariable => "Parsing template variable".to_string(),
127
10
            ParseErrorKind::Unicode => "Parsing unicode literal".to_string(),
128
            ParseErrorKind::UrlIllegalCharacter(_) => "Parsing URL".to_string(),
129
            ParseErrorKind::UrlInvalidStart => "Parsing URL".to_string(),
130
10
            ParseErrorKind::Variable(_) => "Parsing variable".to_string(),
131
10
            ParseErrorKind::Version => "Parsing version".to_string(),
132
            ParseErrorKind::XPathExpr => "Parsing XPath expression".to_string(),
133
10
            ParseErrorKind::Xml => "Parsing XML".to_string(),
134
        }
135
    }
136

            
137
260
    fn fixme(&self, content: &[&str]) -> StyledString {
138
260
        let message = match &self.kind {
139
10
            ParseErrorKind::DuplicateSection => "the section is already defined".to_string(),
140
5
            ParseErrorKind::EscapeChar => "the escaping sequence is not valid".to_string(),
141
55
            ParseErrorKind::Expecting { value } => format!("expecting '{value}'"),
142
5
            ParseErrorKind::FileContentType => "expecting a content type".to_string(),
143
10
            ParseErrorKind::Filename => "expecting a filename".to_string(),
144
            ParseErrorKind::GraphQlVariables => {
145
                "GraphQL variables is not a valid JSON object".to_string()
146
            }
147
5
            ParseErrorKind::HexDigit => "expecting a valid hexadecimal number".to_string(),
148
            ParseErrorKind::InvalidCookieAttribute => {
149
5
                "the cookie attribute is not valid".to_string()
150
            }
151
5
            ParseErrorKind::InvalidDurationUnit(name) => {
152
5
                let valid_values = ["ms", "s"];
153
5
                let default = format!("Valid values are {}", valid_values.join(", "));
154
5
                let did_you_mean = did_you_mean(&valid_values, name.as_str(), &default);
155
5
                format!("the duration unit is not valid. {did_you_mean}")
156
            }
157
10
            ParseErrorKind::InvalidOption(name) => {
158
10
                let valid_values = [
159
10
                    "aws-sigv4",
160
10
                    "cacert",
161
10
                    "cert",
162
10
                    "compressed",
163
10
                    "connect-timeout",
164
10
                    "connect-to",
165
10
                    "delay",
166
10
                    "digest",
167
10
                    "header",
168
10
                    "http1.0",
169
10
                    "http1.1",
170
10
                    "http2",
171
10
                    "http2-prior-knowledge",
172
10
                    "http3",
173
10
                    "insecure",
174
10
                    "ipv4",
175
10
                    "ipv6",
176
10
                    "key",
177
10
                    "limit-rate",
178
10
                    "location",
179
10
                    "location-trusted",
180
10
                    "max-redirs",
181
10
                    "max-time",
182
10
                    "negotiate",
183
10
                    "netrc",
184
10
                    "netrc-file",
185
10
                    "netrc-optional",
186
10
                    "no-proxy",
187
10
                    "ntlm",
188
10
                    "output",
189
10
                    "path-as-is",
190
10
                    "pinnedpubkey",
191
10
                    "proxy",
192
10
                    "repeat",
193
10
                    "resolve",
194
10
                    "retry",
195
10
                    "retry-interval",
196
10
                    "skip",
197
10
                    "unix-socket",
198
10
                    "user",
199
10
                    "variable",
200
10
                    "verbose",
201
10
                    "verbosity",
202
10
                    "very-verbose",
203
10
                ];
204
10
                let default = format!("Valid values are {}", valid_values.join(", "));
205
10
                let did_you_mean = did_you_mean(&valid_values, name.as_str(), &default);
206
10
                format!("the option name is not valid. {did_you_mean}")
207
            }
208
30
            ParseErrorKind::Json(variant) => match variant {
209
10
                JsonErrorVariant::TrailingComma => "trailing comma is not allowed".to_string(),
210
                JsonErrorVariant::EmptyElement => {
211
5
                    "expecting an element; found empty element instead".to_string()
212
                }
213
                JsonErrorVariant::ExpectingElement => {
214
15
                    "expecting a boolean, number, string, array, object or null".to_string()
215
                }
216
            },
217
            ParseErrorKind::JsonPathExpr => "expecting a JSONPath expression".to_string(),
218
35
            ParseErrorKind::Method { name } => {
219
35
                let valid_values = [
220
35
                    "GET", "HEAD", "POST", "PUT", "DELETE", "CONNECT", "OPTIONS", "TRACE", "PATCH",
221
35
                ];
222
35
                let default = format!("Valid values are {}", valid_values.join(", "));
223
35
                let did_you_mean = did_you_mean(&valid_values, name.as_str(), &default);
224
35
                format!("the HTTP method <{name}> is not valid. {did_you_mean}")
225
            }
226
            ParseErrorKind::Multiline => "the multiline is not valid".to_string(),
227
5
            ParseErrorKind::MultilineLanguageHint(name) => format!("Invalid language hint {name}"),
228
            ParseErrorKind::OddNumberOfHexDigits => {
229
                "expecting an even number of hex digits".to_string()
230
            }
231
5
            ParseErrorKind::Predicate => "expecting a predicate".to_string(),
232
10
            ParseErrorKind::PredicateValue => "invalid predicate value".to_string(),
233
5
            ParseErrorKind::RegexExpr { message } => format!("invalid Regex expression: {message}"),
234
            ParseErrorKind::RequestSection => {
235
                "this is not a valid section for a request".to_string()
236
            }
237
10
            ParseErrorKind::RequestSectionName { name } => {
238
10
                let valid_values = ["Query", "Form", "Multipart", "Cookies", "Options"];
239
10
                let default = format!("Valid values are {}", valid_values.join(", "));
240
10
                let did_you_mean = did_you_mean(&valid_values, name.as_str(), &default);
241
10
                format!("the section is not valid. {did_you_mean}")
242
            }
243
            ParseErrorKind::ResponseSection => {
244
                "this is not a valid section for a response".to_string()
245
            }
246
            ParseErrorKind::ResponseSectionName { name } => {
247
                let valid_values = ["Captures", "Asserts"];
248
                let default = "Valid values are Captures or Asserts";
249
                let did_your_mean = did_you_mean(&valid_values, name.as_str(), default);
250
                format!("the section is not valid. {did_your_mean}")
251
            }
252
20
            ParseErrorKind::Space => "expecting a space".to_string(),
253
5
            ParseErrorKind::Status => "HTTP status code is not valid".to_string(),
254
5
            ParseErrorKind::TemplateVariable => "expecting a variable".to_string(),
255
5
            ParseErrorKind::Unicode => "Invalid unicode literal".to_string(),
256
            ParseErrorKind::UrlIllegalCharacter(c) => format!("illegal character <{c}>"),
257
            ParseErrorKind::UrlInvalidStart => "expecting http://, https:// or {{".to_string(),
258
5
            ParseErrorKind::Variable(message) => message.clone(),
259
            ParseErrorKind::Version => {
260
5
                "HTTP version must be HTTP, HTTP/1.0, HTTP/1.1, HTTP/2 or HTTP/3".to_string()
261
            }
262
            ParseErrorKind::XPathExpr => "expecting a XPath expression".to_string(),
263
5
            ParseErrorKind::Xml => "invalid XML".to_string(),
264
        };
265

            
266
260
        let message = error::add_carets(&message, self.source_info(), content);
267
260
        let mut s = StyledString::new();
268
260
        s.push_with(&message, Style::new().red().bold());
269
260
        s
270
    }
271
}
272

            
273
impl crate::combinator::ParseError for ParseError {
274
3225660
    fn is_recoverable(&self) -> bool {
275
3225660
        self.recoverable
276
    }
277

            
278
217510
    fn to_recoverable(self) -> Self {
279
217510
        ParseError {
280
217510
            recoverable: true,
281
217510
            ..self
282
        }
283
    }
284

            
285
165
    fn to_non_recoverable(self) -> Self {
286
165
        ParseError {
287
165
            recoverable: false,
288
165
            ..self
289
        }
290
    }
291
}
292

            
293
60
fn did_you_mean(valid_values: &[&str], actual: &str, default: &str) -> String {
294
60
    if let Some(suggest) = suggestion(valid_values, actual) {
295
15
        format!("Did you mean {suggest}?")
296
    } else {
297
45
        default.to_string()
298
    }
299
}
300

            
301
60
fn suggestion(valid_values: &[&str], actual: &str) -> Option<String> {
302
770
    for value in valid_values {
303
770
        if levenshtein_distance(
304
770
            value.to_lowercase().as_str(),
305
770
            actual.to_lowercase().as_str(),
306
770
        ) < 2
307
        {
308
15
            return Some(value.to_string());
309
        }
310
    }
311
45
    None
312
}
313

            
314
// From https://en.wikibooks.org/wiki/Algorithm_Implementation/Strings/Levenshtein_distance#Rust
315
770
fn levenshtein_distance(s1: &str, s2: &str) -> usize {
316
770
    let v1: Vec<char> = s1.chars().collect();
317
770
    let v2: Vec<char> = s2.chars().collect();
318

            
319
33050
    fn min3<T: Ord>(v1: T, v2: T, v3: T) -> T {
320
33050
        cmp::min(v1, cmp::min(v2, v3))
321
    }
322
33050
    fn delta(x: char, y: char) -> usize {
323
33050
        usize::from(x != y)
324
    }
325

            
326
770
    let mut column: Vec<usize> = (0..=v1.len()).collect();
327
4490
    for x in 1..=v2.len() {
328
4490
        column[0] = x;
329
4490
        let mut lastdiag = x - 1;
330
33050
        for y in 1..=v1.len() {
331
33050
            let olddiag = column[y];
332
33050
            column[y] = min3(
333
33050
                column[y] + 1,
334
33050
                column[y - 1] + 1,
335
33050
                lastdiag + delta(v1[y - 1], v2[x - 1]),
336
33050
            );
337
33050
            lastdiag = olddiag;
338
        }
339
    }
340
770
    column[v1.len()]
341
}
342

            
343
#[cfg(test)]
344
mod tests {
345
    use super::*;
346
    use crate::error::OutputFormat;
347

            
348
    #[test]
349
    fn test_levenshtein() {
350
        assert_eq!(levenshtein_distance("kitten", "sitting"), 3);
351
        assert_eq!(levenshtein_distance("Saturday", "Sunday"), 3);
352
    }
353

            
354
    #[test]
355
    fn test_suggestion() {
356
        let valid_values = ["Captures", "Asserts"];
357
        assert_eq!(
358
            suggestion(&valid_values, "Asserts"),
359
            Some("Asserts".to_string())
360
        );
361
        assert_eq!(
362
            suggestion(&valid_values, "Assert"),
363
            Some("Asserts".to_string())
364
        );
365
        assert_eq!(
366
            suggestion(&valid_values, "assert"),
367
            Some("Asserts".to_string())
368
        );
369
        assert_eq!(suggestion(&valid_values, "asser"), None);
370
    }
371

            
372
    #[test]
373
    fn test_parsing_error() {
374
        let content = "GET abc";
375
        let filename = "test.hurl";
376
        let error = ParseError {
377
            pos: Pos::new(1, 5),
378
            recoverable: false,
379
            kind: ParseErrorKind::UrlInvalidStart,
380
        };
381
        assert_eq!(
382
            error.render(filename, content, None, OutputFormat::Terminal(false)),
383
            r#"Parsing URL
384
  --> test.hurl:1:5
385
   |
386
 1 | GET abc
387
   |     ^ expecting http://, https:// or {{
388
   |"#
389
        );
390
    }
391
}