Struct naga::diagnostic_filter::DiagnosticFilterMap

pub(crate) struct DiagnosticFilterMap(IndexMap<FilterableTriggeringRule, (Severity, Span)>);

A map from diagnostic filters to their severity and span.

Front ends can use this to collect the set of filters applied to a particular language construct, and detect duplicate/conflicting filters.

For example, WGSL has global diagnostic filters that apply to the entire module, and diagnostic range filter attributes that apply to a specific function, statement, or other smaller construct. The set of filters applied to any given construct must not conflict, but they can be overridden by filters on other constructs nested within it. A front end can use a DiagnosticFilterMap to collect the filters applied to a single construct, using the add method’s error checking to forbid conflicts.

For each filter it contains, a DiagnosticFilterMap records the requested severity, and the source span of the filter itself.

Tuple Fields

0: IndexMap<FilterableTriggeringRule, (Severity, Span)>

Implementations

impl DiagnosticFilterMap

pub(crate) fn new() -> Self

pub(crate) fn add( &mut self, diagnostic_filter: DiagnosticFilter, span: Span, should_conflict_on_full_duplicate: ShouldConflictOnFullDuplicate, ) -> Result<(), ConflictingDiagnosticRuleError>

Add the given diagnostic_filter parsed at the given span to this map.

pub(crate) fn is_empty(&self) -> bool

Were any rules specified?

pub(crate) fn spans(&self) -> impl Iterator<Item = Span> + '_

Returns the spans of all contained rules.

Trait Implementations

impl Clone for DiagnosticFilterMap

fn clone(&self) -> DiagnosticFilterMap

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for DiagnosticFilterMap

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

Formats the value using the given formatter.

impl Default for DiagnosticFilterMap

fn default() -> DiagnosticFilterMap

Returns the “default value” for a type.

impl IntoIterator for DiagnosticFilterMap

type Item = (FilterableTriggeringRule, (Severity, Span))

The type of the elements being iterated over.

type IntoIter = IntoIter<FilterableTriggeringRule, (Severity, Span)>

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.