use std::fmt; use ra_parser::ParseError; use crate::{TextRange, TextUnit}; #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub struct SyntaxError { kind: SyntaxErrorKind, location: Location, } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub enum Location { Offset(TextUnit), Range(TextRange), } impl Into for TextUnit { fn into(self) -> Location { Location::Offset(self) } } impl Into for TextRange { fn into(self) -> Location { Location::Range(self) } } impl SyntaxError { pub fn new>(kind: SyntaxErrorKind, loc: L) -> SyntaxError { SyntaxError { kind, location: loc.into() } } pub fn kind(&self) -> SyntaxErrorKind { self.kind.clone() } pub fn location(&self) -> Location { self.location.clone() } pub fn offset(&self) -> TextUnit { match self.location { Location::Offset(offset) => offset, Location::Range(range) => range.start(), } } pub fn add_offset(mut self, plus_offset: TextUnit, minus_offset: TextUnit) -> SyntaxError { self.location = match self.location { Location::Range(range) => Location::Range(range + plus_offset - minus_offset), Location::Offset(offset) => Location::Offset(offset + plus_offset - minus_offset), }; self } } impl fmt::Display for SyntaxError { fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { self.kind.fmt(f) } } #[derive(Debug, Clone, PartialEq, Eq, Hash)] pub enum SyntaxErrorKind { ParseError(ParseError), UnescapedCodepoint, EmptyChar, UnclosedChar, OverlongChar, EmptyByte, UnclosedByte, OverlongByte, ByteOutOfRange, UnescapedByte, EmptyByteEscape, InvalidByteEscape, TooShortByteCodeEscape, MalformedByteCodeEscape, UnicodeEscapeForbidden, EmptyAsciiEscape, InvalidAsciiEscape, TooShortAsciiCodeEscape, AsciiCodeEscapeOutOfRange, MalformedAsciiCodeEscape, UnclosedUnicodeEscape, MalformedUnicodeEscape, EmptyUnicodeEcape, OverlongUnicodeEscape, UnicodeEscapeOutOfRange, UnclosedString, InvalidSuffix, InvalidBlockAttr, InvalidMatchInnerAttr, InvalidTupleIndexFormat, } impl fmt::Display for SyntaxErrorKind { fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { use self::SyntaxErrorKind::*; match self { UnescapedCodepoint => write!(f, "This codepoint should always be escaped"), EmptyAsciiEscape => write!(f, "Empty escape sequence"), InvalidAsciiEscape => write!(f, "Invalid escape sequence"), EmptyChar => write!(f, "Empty char literal"), UnclosedChar => write!(f, "Unclosed char literal"), OverlongChar => write!(f, "Char literal should be one character long"), EmptyByte => write!(f, "Empty byte literal"), UnclosedByte => write!(f, "Unclosed byte literal"), OverlongByte => write!(f, "Byte literal should be one character long"), ByteOutOfRange => write!(f, "Byte should be a valid ASCII character"), UnescapedByte => write!(f, "This byte should always be escaped"), EmptyByteEscape => write!(f, "Empty escape sequence"), InvalidByteEscape => write!(f, "Invalid escape sequence"), TooShortByteCodeEscape => write!(f, "Escape sequence should have two digits"), MalformedByteCodeEscape => write!(f, "Escape sequence should be a hexadecimal number"), UnicodeEscapeForbidden => { write!(f, "Unicode escapes are not allowed in byte literals or byte strings") } TooShortAsciiCodeEscape => write!(f, "Escape sequence should have two digits"), AsciiCodeEscapeOutOfRange => { write!(f, "Escape sequence should be between \\x00 and \\x7F") } MalformedAsciiCodeEscape => write!(f, "Escape sequence should be a hexadecimal number"), UnclosedUnicodeEscape => write!(f, "Missing `}}`"), MalformedUnicodeEscape => write!(f, "Malformed unicode escape sequence"), EmptyUnicodeEcape => write!(f, "Empty unicode escape sequence"), OverlongUnicodeEscape => { write!(f, "Unicode escape sequence should have at most 6 digits") } UnicodeEscapeOutOfRange => write!(f, "Unicode escape code should be at most 0x10FFFF"), UnclosedString => write!(f, "Unclosed string literal"), InvalidSuffix => write!(f, "Invalid literal suffix"), InvalidBlockAttr => { write!(f, "A block in this position cannot accept inner attributes") } InvalidMatchInnerAttr => { write!(f, "Inner attributes are only allowed directly after the opening brace of the match expression") } InvalidTupleIndexFormat => { write!(f, "Tuple (struct) field access is only allowed through decimal integers with no underscores or suffix") } ParseError(msg) => write!(f, "{}", msg.0), } } }