Enum VampireTokenType 

pub enum VampireTokenType {
    Eof,
    Whitespace,
    LineComment,
    BlockComment,
    StringLiteral,
    IntegerLiteral,
    RealLiteral,
    Identifier,
    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,
    IndividualKw,
    IntKw,
    RealKw,
    RatKw,
    TTypeKw,
    OTypeKw,
    ITypeKw,
    BoolLiteral,
    DoubleEq,
    NotEq,
    LessEq,
    GreaterEq,
    AndAnd,
    OrOr,
    PlusPlus,
    MinusMinus,
    PlusEq,
    MinusEq,
    StarEq,
    SlashEq,
    PercentEq,
    LeftShift,
    RightShift,
    Arrow,
    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,
}

Vampire token types.

Variants

Eof

End of file.

Whitespace

Whitespace.

LineComment

Line comment.

BlockComment

Block comment.

StringLiteral

String literal.

IntegerLiteral

Integer literal.

RealLiteral

Real literal.

Identifier

Identifier.

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

IndividualKw

IntKw

RealKw

RatKw

TTypeKw

OTypeKw

ITypeKw

BoolLiteral

DoubleEq

NotEq

LessEq

GreaterEq

AndAnd

OrOr

PlusPlus

MinusMinus

PlusEq

MinusEq

StarEq

SlashEq

PercentEq

LeftShift

RightShift

Arrow

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

Trait Implementations

impl Clone for VampireTokenType

fn clone(&self) -> VampireTokenType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VampireTokenType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VampireTokenType

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<VampireTokenType> for VampireElementType

fn from(_: VampireTokenType) -> Self

Converts to this type from the input type.

impl From<VampireTokenType> for u16

fn from(t: VampireTokenType) -> u16

Converts to this type from the input type.

impl From<u16> for VampireTokenType

fn from(i: u16) -> Self

Converts to this type from the input type.

impl Hash for VampireTokenType

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 VampireTokenType

fn eq(&self, other: &VampireTokenType) -> 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 VampireTokenType

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 VampireTokenType

const END_OF_STREAM: Self = VampireTokenType::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 VampireTokenType

impl Eq for VampireTokenType

impl StructuralPartialEq for VampireTokenType