Struct InvariantInner 

pub struct InvariantInner {
    pub _kw_invariants: KInvariants,
    pub _eq: Eq,
    pub expr: VerbatimUntil<Comma>,
}

Represents invariants for a type.

Fields

_kw_invariants: KInvariants

The “invariants” keyword.

_eq: Eq

The equality operator.

expr: VerbatimUntil<Comma>

The invariant value

Trait Implementations

impl Debug for InvariantInner

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

Formats the value using the given formatter.

impl Parser for InvariantInner

fn parser(tokens: &mut TokenIter<'_>) -> Result<Self>

The actual parsing function that must be implemented. This mutates the tokens iterator directly. It should not be called from user code except for implementing parsers itself and then only when the rules below are followed.

impl ToTokens for InvariantInner

fn to_tokens(&self, tokens: &mut TokenStream)

Write &self to the given TokenStream.

fn to_token_iter( &self, ) -> ShadowCountedIter<'_, <TokenStream as IntoIterator>::IntoIter>

Convert &self into a TokenIter object.

fn into_token_iter<'a>( self, ) -> ShadowCountedIter<'a, <TokenStream as IntoIterator>::IntoIter>

where Self: Sized,

Convert self into a TokenIter object.

fn to_token_stream(&self) -> TokenStream

Convert &self into a TokenStream object.

fn into_token_stream(self) -> TokenStream

where Self: Sized,

Convert self into a TokenStream object.

fn tokens_to_string(&self) -> String

Convert &self into a String object. This is mostly used in the test suite to compare the outputs. When the input is a &str then this parses it and returns a normalized String.