Struct TraitImpl

pub struct TraitImpl<'a> {
    pub ident: &'a Ident,
    pub generics: &'a Generics,
    pub data: Data<Variant<'a>, Field<'a>>,
    pub default: Option<DefaultExpression<'a>>,
    pub post_transform: Option<&'a PostfixTransform>,
    pub allow_unknown_fields: bool,
}

Fields

ident: &'a Ident

generics: &'a Generics

data: Data<Variant<'a>, Field<'a>>

default: Option<DefaultExpression<'a>>

post_transform: Option<&'a PostfixTransform>

allow_unknown_fields: bool

Implementations

impl<'a> TraitImpl<'a>

pub fn declared_type_params(&self) -> IdentSet

Get all declared type parameters.

pub fn used_type_params(&self) -> IdentSet

Get the type parameters which are used by non-skipped, non-magic fields. These type parameters will have a FromMeta bound applied to them in emitted code.

fn type_params_matching<F, V>( &self, field_filter: F, variant_filter: V, ) -> IdentSet

where F: Fn(&&Field<'_>) -> bool, V: Fn(&&Variant<'_>) -> bool,

fn type_params_in_fields<'b, F>( &'b self, fields: &'b Fields<Field<'a>>, field_filter: F, declared: &IdentSet, ) -> IdentSet

where F: Fn(&&'b Field<'_>) -> bool,

Get the type parameters of all fields in a set matching some filter

impl<'a> TraitImpl<'a>

pub fn declare_errors(&self) -> ErrorDeclaration

Gets the let declaration for errors accumulated during parsing.

pub fn check_errors(&self) -> ErrorCheck<'_>

Gets the check which performs an early return if errors occurred during parsing.

pub(super) fn local_declarations(&self) -> TokenStream

Generate local variable declarations for all fields.

pub(super) fn post_transform_call(&self) -> Option<TokenStream>

pub(super) fn fallback_decl(&self) -> TokenStream

Generate local variable declaration and initialization for instance from which missing fields will be taken.

pub fn require_fields(&self) -> TokenStream

pub(super) fn initializers(&self) -> TokenStream

pub(super) fn core_loop(&self) -> TokenStream

Generate the loop which walks meta items looking for property matches.

fn make_field_ctx(&'a self) -> FieldsGen<'a>

Trait Implementations

impl<'a> Debug for TraitImpl<'a>

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

Formats the value using the given formatter.

impl<'a> From<&'a Core> for TraitImpl<'a>

fn from(v: &'a Core) -> Self

Converts to this type from the input type.