Enum VampireSyntaxKind 

pub enum VampireSyntaxKind {
    Root,
    Text,
    Whitespace,
    Newline,
    Error,
    Eof,
    LeftParen,
    RightParen,
    LeftBracket,
    RightBracket,
    LeftBrace,
    RightBrace,
    Colon,
    Semicolon,
    Dot,
    Comma,
    Question,
    Bang,
    At,
    Hash,
    Dollar,
    Percent,
    Caret,
    Ampersand,
    Star,
    Plus,
    Minus,
    Eq,
    LessThan,
    GreaterThan,
    Slash,
    Backslash,
    Pipe,
    Tilde,
    EqEq,
    NotEq,
    LessEq,
    GreaterEq,
    AndAnd,
    OrOr,
    PlusPlus,
    MinusMinus,
    PlusEq,
    MinusEq,
    StarEq,
    SlashEq,
    PercentEq,
    LeftShift,
    RightShift,
    Arrow,
    FofKw,
    CnfKw,
    TffKw,
    ThfKw,
    TpiKw,
    IncludeKw,
    AxiomKw,
    HypothesisKw,
    DefinitionKw,
    AssumptionKw,
    LemmaKw,
    TheoremKw,
    ConjectureKw,
    NegatedConjectureKw,
    PlainKw,
    TypeKw,
    FiDomainKw,
    FiFunctorsKw,
    FiPredicatesKw,
    UnknownKw,
    ForallKw,
    ExistsKw,
    AndKw,
    OrKw,
    NotKw,
    ImpliesKw,
    IffKw,
    XorKw,
    NorKw,
    NandKw,
    BoolKw,
    IntKw,
    RealKw,
    RatKw,
    IndividualKw,
    OTypeKw,
    ITypeKw,
    TTypeKw,
    IntegerLiteral,
    RealLiteral,
    StringLiteral,
    BoolLiteral,
    Identifier,
    LineComment,
    BlockComment,
}

Variants

Root

Text

Whitespace

Newline

Error

Eof

LeftParen

RightParen

LeftBracket

RightBracket

LeftBrace

RightBrace

Colon

Semicolon

Dot

Comma

Question

Bang

At

Hash

Dollar

Percent

Caret

Ampersand

Star

Plus

Minus

Eq

LessThan

GreaterThan

Slash

Backslash

Pipe

Tilde

EqEq

NotEq

LessEq

GreaterEq

AndAnd

OrOr

PlusPlus

MinusMinus

PlusEq

MinusEq

StarEq

SlashEq

PercentEq

LeftShift

RightShift

Arrow

FofKw

CnfKw

TffKw

ThfKw

TpiKw

IncludeKw

AxiomKw

HypothesisKw

DefinitionKw

AssumptionKw

LemmaKw

TheoremKw

ConjectureKw

NegatedConjectureKw

PlainKw

TypeKw

FiDomainKw

FiFunctorsKw

FiPredicatesKw

UnknownKw

ForallKw

ExistsKw

AndKw

OrKw

NotKw

ImpliesKw

IffKw

XorKw

NorKw

NandKw

BoolKw

IntKw

RealKw

RatKw

IndividualKw

OTypeKw

ITypeKw

TTypeKw

IntegerLiteral

RealLiteral

StringLiteral

BoolLiteral

Identifier

LineComment

BlockComment

Trait Implementations

impl Clone for VampireSyntaxKind

fn clone(&self) -> VampireSyntaxKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VampireSyntaxKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VampireSyntaxKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl ElementType for VampireSyntaxKind

type Role = UniversalElementRole

The associated role type for this element kind.

fn role(&self) -> Self::Role

Returns the general syntactic role of this element.

fn is_role(&self, role: Self::Role) -> bool

Returns true if this element matches the specified language-specific role.

fn is_universal(&self, role: UniversalElementRole) -> bool

Returns true if this element matches the specified universal role.

fn is_root(&self) -> bool

Returns true if this element represents the root of the parsed tree.

fn is_error(&self) -> bool

Returns true if this element represents an error condition.

impl Hash for VampireSyntaxKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for VampireSyntaxKind

fn eq(&self, other: &VampireSyntaxKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VampireSyntaxKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TokenType for VampireSyntaxKind

const END_OF_STREAM: Self = Self::Eof

A constant representing the end of the input stream.

type Role = UniversalTokenRole

The associated role type for this token kind.

fn role(&self) -> Self::Role

Returns the general syntactic role of this token.

fn is_role(&self, role: Self::Role) -> bool

Returns true if this token matches the specified language-specific role.

fn is_universal(&self, role: UniversalTokenRole) -> bool

Returns true if this token matches the specified universal role.

fn is_comment(&self) -> bool

Returns true if this token represents a comment.

fn is_whitespace(&self) -> bool

Returns true if this token represents whitespace.

fn is_error(&self) -> bool

Returns true if this token represents an error condition.

fn is_ignored(&self) -> bool

Returns true if this token represents trivia (whitespace, comments, etc.).

fn is_end_of_stream(&self) -> bool

Returns true if this token represents the end of the input stream.

impl Copy for VampireSyntaxKind

impl Eq for VampireSyntaxKind

impl StructuralPartialEq for VampireSyntaxKind