Method parse

src/attribute.rs:435–505

(&self, attr: &Attribute)

    }

    fn parse(&self, attr: &Attribute) -> Option<KlintAttribute> {
        let Attribute::Unparsed(item) = attr else {
            return None;
        };
        if item.path.segments[0] != crate::symbol::klint {
            return None;
        };
        if item.path.segments.len() != 2 {
            self.tcx
                .dcx()
                .emit_err(InvalidAttribute { span: item.span });
            return None;
        }
        match item.path.segments[1] {
            // Shorthands
            crate::symbol::any_context | crate::symbol::atomic_context => {
                Some(KlintAttribute::PreemptionCount(PreemptionCount {
                    adjustment: None,
                    expectation: Some(ExpectationRange::top()),
                    unchecked: false,
                }))
            }
            crate::symbol::atomic_context_only => {
                Some(KlintAttribute::PreemptionCount(PreemptionCount {
                    adjustment: None,
                    expectation: Some(ExpectationRange { lo: 1, hi: None }),
                    unchecked: false,
                }))
            }
            crate::symbol::process_context => {
                Some(KlintAttribute::PreemptionCount(PreemptionCount {
                    adjustment: None,
                    expectation: Some(ExpectationRange::single_value(0)),
                    unchecked: false,
                }))
            }

            crate::symbol::preempt_count => Some(KlintAttribute::PreemptionCount(
                self.parse_preempt_count(attr, item).ok()?,
            )),
            crate::symbol::drop_preempt_count => Some(KlintAttribute::DropPreemptionCount(
                self.parse_preempt_count(attr, item).ok()?,
            )),
            crate::symbol::report_preempt_count => Some(KlintAttribute::ReportPreeptionCount),
            crate::symbol::dump_mir => Some(KlintAttribute::DumpMir),
            crate::symbol::diagnostic_item => {
                let AttrArgs::Eq {
                    eq_span: _,
                    expr:
                        MetaItemLit {
                            kind: LitKind::Str(value, _),
                            ..
                        },
                } = item.args
                else {
                    self.tcx
                        .dcx()
                        .emit_err(InvalidDiagnosticItem { span: attr.span() });