Enum email_parser::fsm::State

pub enum State {
    AddrSpec,
    LocalAtom,
    LocalQText,
    LocalDot,
    LocalEscape,
    LocalQString,
    LocalPart,
    DomainAtom,
    DomainDText,
    DomainDot,
    DomainLiteral,
    Error,
}

The set of possible states in a DFA that represents a language accepting all valid email addresses. State::Error is a dead state (or trap state).

Variants

AddrSpec

LocalAtom

LocalQText

LocalDot

LocalEscape

LocalQString

LocalPart

DomainAtom

DomainDText

DomainDot

DomainLiteral

Error

Implementations

impl State

Certain symbols and group of symbols useful for determining transition rules.

const DQUOTE: char = '"'

const DOT: char = '.'

const BACKSLASH: char = '\\'

const AT: char = '@'

const OPEN_BRACKET: char = '['

const CLOSE_BRACKET: char = ']'

fn is_atext(c: char) -> bool

fn is_qtext(c: char) -> bool

fn is_dtext(c: char) -> bool

fn is_escape(c: char) -> bool

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for State

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

Formats the value using the given formatter.

impl FSM<State> for State

State implements FSM and defines a DFA for language accepting all valid email addresses. The set of states in DFA is itself. All transitions are defined in the implementation itself. Start state of DFA is State::AddrSpec.

type Symbol = char

fn transition(state: Self, c: char) -> State

fn is_final(state: &Self) -> bool

fn start() -> Self

impl Copy for State