Struct Parser 

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

Implementations

impl<'a> Parser<'a>

pub fn new( db: &'a dyn SyntaxGroup, file_id: FileId, text: &'a str, diagnostics: &'a mut DiagnosticsBuilder<ParserDiagnostic>, ) -> 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 SyntaxGroup, diagnostics: &mut DiagnosticsBuilder<ParserDiagnostic>, file_id: FileId, text: &'a str, ) -> SyntaxFile

Parses a file.

pub fn parse_file_expr( db: &'a dyn SyntaxGroup, diagnostics: &mut DiagnosticsBuilder<ParserDiagnostic>, file_id: FileId, text: &'a str, ) -> Expr

Parses a file expr.

pub fn parse_file_statement_list( db: &'a dyn SyntaxGroup, diagnostics: &'a mut DiagnosticsBuilder<ParserDiagnostic>, file_id: FileId, text: &'a str, ) -> StatementList

Parses a file as a list of statements.

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 SyntaxGroup, diagnostics: &mut DiagnosticsBuilder<ParserDiagnostic>, file_id: FileId, token_stream: &'a dyn ToPrimitiveTokenStream<Iter = impl Iterator<Item = PrimitiveToken>>, ) -> SyntaxFile

Parses a token stream.

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

Parses a token stream expression.

pub fn parse_syntax_file(self) -> SyntaxFileGreen

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

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>

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>

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>

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

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>

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>

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

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>(&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.