oxilean-parse 0.1.2

OxiLean parser - Concrete syntax to abstract syntax
Documentation 
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

//! # CommandParser - predicates Methods
//!
//! This module contains method implementations for `CommandParser`.
//!
//! 🤖 Generated with [SplitRS](https://github.com/cool-japan/splitrs)

use crate::TokenKind;

use super::commandparser_type::CommandParser;

impl CommandParser {
    /// Check if a token is a command keyword.
    pub fn is_command_keyword(token: &TokenKind) -> bool {
        matches!(
            token,
            TokenKind::Axiom
                | TokenKind::Definition
                | TokenKind::Theorem
                | TokenKind::Lemma
                | TokenKind::Inductive
                | TokenKind::Structure
                | TokenKind::Class
                | TokenKind::Instance
                | TokenKind::Opaque
                | TokenKind::Constant
                | TokenKind::Constants
                | TokenKind::Namespace
                | TokenKind::Section
                | TokenKind::Variable
                | TokenKind::Variables
                | TokenKind::Parameter
                | TokenKind::Parameters
                | TokenKind::End
                | TokenKind::Import
                | TokenKind::Export
                | TokenKind::Open
                | TokenKind::Attribute
                | TokenKind::Hash
        ) || matches!(
            token, TokenKind::Ident(s) if matches!(s.as_str(), "set_option" |
            "universe" | "universes" | "notation" | "prefix" | "infix" | "infixl" |
            "infixr" | "postfix" | "derive" | "deriving" | "syntax" | "precedence")
        )
    }
}