Struct DiagnosticDeriveVariantBuilder 

pub(crate) struct DiagnosticDeriveVariantBuilder {
    pub formatting_init: TokenStream,
    pub span: Span,
    pub field_map: IndexMap<String, (Ident, TokenStream)>,
    pub message: Option<Message>,
    pub code: Option<((), Span)>,
    pub used_fields: HashSet<Ident>,
}

Tracks persistent information required for a specific variant when building up individual calls to diagnostic methods for generated diagnostic derives.

Fields

formatting_init: TokenStream

Initialization of format strings for code suggestions.

span: Span

Span of the struct or the enum variant.

field_map: IndexMap<String, (Ident, TokenStream)>

Store a map of field name to its corresponding field. This is built on construction of the derive builder.

message: Option<Message>

Message is a mandatory part of the struct attribute as corresponds to the Fluent message that has the actual diagnostic message.

code: Option<((), Span)>

Error codes are a optional part of the struct attribute - this is only set to detect multiple specifications.

used_fields: HashSet<Ident>

Implementations

impl DiagnosticDeriveVariantBuilder

pub(crate) fn primary_message(&self) -> Option<&Message>

pub(crate) fn preamble(&mut self, variant: &VariantInfo<'_>) -> TokenStream

Generates calls to code and similar functions based on the attributes on the type or variant.

pub(crate) fn body(&mut self, variant: &VariantInfo<'_>) -> TokenStream

Generates calls to span_label and similar functions based on the attributes on fields or calls to arg when no attributes are present.

fn is_used_in_message(&self, binding: &BindingInfo<'_>) -> bool

fn parse_subdiag_attribute( &mut self, attr: &Attribute, ) -> Result<Option<(SubdiagnosticKind, Message, bool)>, DiagnosticDeriveError>

Parse a SubdiagnosticKind from an Attribute.

fn generate_structure_code_for_attr( &mut self, attr: &Attribute, ) -> Result<TokenStream, DiagnosticDeriveError>

Establishes state in the DiagnosticDeriveBuilder resulting from the struct attributes like #[diag(..)], such as the message and error code. Generates diagnostic builder calls for setting error code and creating note/help messages.

fn generate_field_code(&mut self, binding_info: &BindingInfo<'_>) -> TokenStream

fn generate_field_attrs_code( &mut self, binding_info: &BindingInfo<'_>, ) -> TokenStream

fn generate_inner_field_code( &mut self, attr: &Attribute, info: FieldInfo<'_>, binding: TokenStream, ) -> Result<TokenStream, DiagnosticDeriveError>

fn add_spanned_subdiagnostic( &self, field_binding: TokenStream, kind: &Ident, message: Message, ) -> TokenStream

Adds a spanned subdiagnostic by generating a diag.span_$kind call with the current message and fluent_attr_identifier.

fn add_subdiagnostic(&self, kind: &Ident, message: Message) -> TokenStream

Adds a subdiagnostic by generating a diag.span_$kind call with the current message and fluent_attr_identifier.

fn span_and_applicability_of_ty( &self, info: FieldInfo<'_>, ) -> Result<(TokenStream, Option<(TokenStream, Span)>), DiagnosticDeriveError>