Struct Parser 

pub struct Parser<'a, 'mt> { /* private fields */ }

Implementations

impl<'a, 'mt> Parser<'a, 'mt>

pub fn new( db: &'a dyn Database, file_id: FileId<'a>, text: &'a str, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, ) -> Self

Creates a new parser.

pub fn add_diagnostic(&mut self, kind: ParserDiagnosticKind, span: TextSpan)

Adds a diagnostic to the parser diagnostics collection.

pub fn parse_file( db: &'a dyn Database, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, file_id: FileId<'a>, text: &'a str, ) -> SyntaxFile<'a>

Parses a file.

pub fn parse_file_green( db: &'a dyn Database, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, file_id: FileId<'a>, text: &'a str, ) -> SyntaxFileGreen<'a>

Parses a file, returning the green root. Used by callers that control root node creation, such as the canonical parsing query, which creates the root in its own query context so that node ids are reused when the file is reparsed.

pub fn parse_file_expr_green( db: &'a dyn Database, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, file_id: FileId<'a>, text: &'a str, ) -> ExprGreen<'a>

Parses a file expr, returning the green root. See Self::parse_file_green.

pub fn parse_file_statement_list_green( db: &'a dyn Database, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, file_id: FileId<'a>, text: &'a str, ) -> StatementListGreen<'a>

Parses a file as a list of statements, returning the green root. See Self::parse_file_green.

pub fn is_eof(kind: SyntaxKind) -> bool

Checks if the given kind is an end of file token.

pub fn parse_token_stream( db: &'a dyn Database, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, file_id: FileId<'a>, token_stream: &dyn ToPrimitiveTokenStream<Iter = impl Iterator<Item = PrimitiveToken>>, ) -> SyntaxFile<'a>

Parses a token stream.

pub fn parse_token_stream_expr( db: &'a dyn Database, diagnostics: &'mt mut DiagnosticsBuilder<'a, ParserDiagnostic<'a>>, file_id: FileId<'a>, offset: Option<TextOffset>, ) -> Expr<'a>

Parses a token stream expression.

pub fn parse_syntax_file(self) -> SyntaxFileGreen<'a>

pub fn try_parse_module_item(&mut self) -> TryParseResult<ModuleItemGreen<'a>>

Returns a GreenId of a node with an Item.* kind (see syntax::node::ast::ModuleItem), or TryParseFailure if a module item can’t be parsed. In case of an identifier not followed by a !, it is skipped inside the function and thus a TryParseFailure::DoNothing is returned.

pub fn try_parse_trait_item(&mut self) -> TryParseResult<TraitItemGreen<'a>>

Returns a GreenId of a node with a TraitItem.* kind (see syntax::node::ast::TraitItem), or TryParseFailure if a trait item can’t be parsed.

pub fn try_parse_impl_item(&mut self) -> TryParseResult<ImplItemGreen<'a>>

Returns a GreenId of a node with a ImplItem.* kind (see syntax::node::ast::ImplItem), or TryParseFailure if an impl item can’t be parsed.

pub fn try_parse_expr(&mut self) -> TryParseResult<ExprGreen<'a>>

Returns a GreenId of a node with an Expr.* kind (see syntax::node::ast::Expr) or TryParseFailure if an expression can’t be parsed.

pub fn parse_expr(&mut self) -> ExprGreen<'a>

Returns a GreenId of a node with an Expr.* kind (see syntax::node::ast::Expr) or a node with kind ExprMissing if an expression can’t be parsed.

pub fn try_parse_match_arm(&mut self) -> TryParseResult<MatchArmGreen<'a>>

Returns a GreenId of a node with a MatchArm kind or TryParseFailure if a match arm can’t be parsed.

pub fn try_parse_statement(&mut self) -> TryParseResult<StatementGreen<'a>>

Returns a GreenId of a node with a Statement.* kind (see syntax::node::ast::Statement) or TryParseFailure if a statement can’t be parsed.

pub fn peek(&self) -> &LexerTerminal<'a>

Peeks at the next terminal from the Lexer without taking it.

pub fn peek_next_next_kind(&mut self) -> SyntaxKind

Peeks at the token following the next one. Assumption: the next token is not EOF.

pub fn take<Terminal: Terminal<'a>>(&mut self) -> Terminal::Green

Takes a token from the Lexer and place it in self.current. If tokens were skipped, glue them to this token as leading trivia.