-
Notifications
You must be signed in to change notification settings - Fork 929
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(wgsl-in): parse
diagnostic(…) directives (with no effect)
- Loading branch information
1 parent
334d36d
commit 555c643
Showing
6 changed files
with
266 additions
and
27 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,123 @@ | ||
| //! [`DiagnosticFilter`]s and supporting functionality. | ||
|
|
||
| use crate::{Handle, Span}; | ||
|
|
||
| use indexmap::IndexMap; | ||
|
|
||
| /// A severity set on a [`DiagnosticFilter`]. | ||
| #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)] | ||
| pub enum Severity { | ||
| Off, | ||
| Info, | ||
| Warning, | ||
| Error, | ||
| } | ||
|
|
||
| impl Severity { | ||
| const ERROR: &'static str = "error"; | ||
| const WARNING: &'static str = "warning"; | ||
| const INFO: &'static str = "info"; | ||
| const OFF: &'static str = "off"; | ||
|
|
||
| /// Convert from a sentinel word in WGSL into its associated [`Severity`], if possible. | ||
| pub fn from_ident(s: &str) -> Option<Self> { | ||
| Some(match s { | ||
| Self::ERROR => Self::Error, | ||
| Self::WARNING => Self::Warning, | ||
| Self::INFO => Self::Info, | ||
| Self::OFF => Self::Off, | ||
| _ => return None, | ||
| }) | ||
| } | ||
| } | ||
|
|
||
| /// The rule being configured in a [`DiagnosticFilter`]. | ||
| #[derive(Clone, Copy, Debug, Eq, Hash, Ord, PartialEq, PartialOrd)] | ||
| pub enum DiagnosticTriggeringRule { | ||
| DerivativeUniformity, | ||
| } | ||
|
|
||
| impl DiagnosticTriggeringRule { | ||
| const DERIVATIVE_UNIFORMITY: &'static str = "derivative_uniformity"; | ||
|
|
||
| /// Convert from a sentinel word in WGSL into its associated [`DiagnosticTriggeringRule`], if possible. | ||
| pub fn from_ident(s: &str) -> Option<Self> { | ||
| Some(match s { | ||
| Self::DERIVATIVE_UNIFORMITY => Self::DerivativeUniformity, | ||
| _ => return None, | ||
| }) | ||
| } | ||
|
|
||
| /// Maps this [`DiagnosticTriggeringRule`] into the sentinel word associated with it in WGSL. | ||
| pub const fn to_ident(self) -> &'static str { | ||
| match self { | ||
| Self::DerivativeUniformity => Self::DERIVATIVE_UNIFORMITY, | ||
| } | ||
| } | ||
| } | ||
|
|
||
| /// A filter that modifies how diagnostics are emitted for shaders. | ||
| /// | ||
| /// <https://www.w3.org/TR/WGSL/#diagnostic-filter> | ||
| #[derive(Clone, Debug)] | ||
| pub struct DiagnosticFilter { | ||
| pub new_severity: Severity, | ||
| pub triggering_rule: DiagnosticTriggeringRule, | ||
| } | ||
|
|
||
| /// A map of diagnostic filters to their severity and first occurrence's span. | ||
| /// | ||
| /// Intended for front ends' first step into storing parsed [`DiagnosticFilter`]s. | ||
| #[derive(Clone, Debug, Default)] | ||
| pub(crate) struct DiagnosticFilterMap(IndexMap<DiagnosticTriggeringRule, (Severity, Span)>); | ||
|
|
||
| #[cfg(feature = "wgsl-in")] | ||
| impl DiagnosticFilterMap { | ||
| pub(crate) fn new() -> Self { | ||
| Self::default() | ||
| } | ||
|
|
||
| /// Add the given `diagnostic_filter` parsed at the given `span` to this map. | ||
| pub(crate) fn add( | ||
| &mut self, | ||
| diagnostic_filter: DiagnosticFilter, | ||
| span: Span, | ||
| ) -> Result<(), ConflictingDiagnosticRuleError> { | ||
| use indexmap::map::Entry; | ||
|
|
||
| let &mut Self(ref mut diagnostic_filters) = self; | ||
| let DiagnosticFilter { | ||
| new_severity, | ||
| triggering_rule, | ||
| } = diagnostic_filter; | ||
|
|
||
| match diagnostic_filters.entry(triggering_rule) { | ||
| Entry::Vacant(entry) => { | ||
| entry.insert((new_severity, span)); | ||
| Ok(()) | ||
| } | ||
| Entry::Occupied(entry) => { | ||
| return Err(ConflictingDiagnosticRuleError { | ||
| triggering_rule, | ||
| triggering_rule_spans: [entry.get().1, span], | ||
| }) | ||
| } | ||
| } | ||
| } | ||
| } | ||
|
|
||
| /// An error yielded by [`DiagnosticFilterMap::add`]. | ||
| #[cfg(feature = "wgsl-in")] | ||
| #[derive(Clone, Debug)] | ||
| pub(crate) struct ConflictingDiagnosticRuleError { | ||
| pub triggering_rule: DiagnosticTriggeringRule, | ||
| pub triggering_rule_spans: [Span; 2], | ||
| } | ||
|
|
||
| /// Represents a single link in a linked list of [`DiagnosticFilter`]s backed by a | ||
| /// [`crate::Arena`]. | ||
| #[derive(Clone, Debug)] | ||
| pub struct DiagnosticFilterNode { | ||
| pub inner: DiagnosticFilter, | ||
| pub parent: Option<Handle<DiagnosticFilterNode>>, | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.