2019-06-13 23:56:59 +02:00
|
|
|
use core::ops;
|
|
|
|
use std::collections::{BTreeMap, BTreeSet};
|
2017-07-15 01:54:54 +02:00
|
|
|
|
2020-06-11 19:18:29 +02:00
|
|
|
use rtic_syntax::{
|
2019-06-13 23:56:59 +02:00
|
|
|
analyze::{self, Priority},
|
2020-10-23 10:35:56 +02:00
|
|
|
ast::{App, ExternInterrupt},
|
2020-08-27 13:21:56 +02:00
|
|
|
P,
|
2019-06-13 23:56:59 +02:00
|
|
|
};
|
|
|
|
use syn::Ident;
|
2017-07-15 01:54:54 +02:00
|
|
|
|
2019-06-13 23:56:59 +02:00
|
|
|
/// Extend the upstream `Analysis` struct with our field
|
2018-11-03 17:02:41 +01:00
|
|
|
pub struct Analysis {
|
2019-06-13 23:56:59 +02:00
|
|
|
parent: P<analyze::Analysis>,
|
2020-10-23 10:35:56 +02:00
|
|
|
pub interrupts: BTreeMap<Priority, (Ident, ExternInterrupt)>,
|
2018-11-03 17:02:41 +01:00
|
|
|
}
|
|
|
|
|
2019-06-13 23:56:59 +02:00
|
|
|
impl ops::Deref for Analysis {
|
|
|
|
type Target = analyze::Analysis;
|
2018-11-04 18:50:42 +01:00
|
|
|
|
2019-06-13 23:56:59 +02:00
|
|
|
fn deref(&self) -> &Self::Target {
|
|
|
|
&self.parent
|
2018-11-04 18:50:42 +01:00
|
|
|
}
|
2017-07-15 01:54:54 +02:00
|
|
|
}
|
|
|
|
|
2020-10-23 10:35:56 +02:00
|
|
|
// Assign an interrupt to each priority level
|
2019-06-13 23:56:59 +02:00
|
|
|
pub fn app(analysis: P<analyze::Analysis>, app: &App) -> P<Analysis> {
|
2020-10-23 10:35:56 +02:00
|
|
|
// the set of priorities (each priority only once)
|
2020-09-01 16:39:05 +02:00
|
|
|
let priorities = app
|
|
|
|
.software_tasks
|
|
|
|
.values()
|
2020-10-13 16:16:33 +02:00
|
|
|
.map(|task| task.args.priority)
|
2020-09-01 16:39:05 +02:00
|
|
|
.collect::<BTreeSet<_>>();
|
2019-06-13 23:56:59 +02:00
|
|
|
|
2020-10-23 10:35:56 +02:00
|
|
|
// map from priorities to interrupts (holding name and attributes)
|
|
|
|
let interrupts: BTreeMap<Priority, _> = priorities
|
|
|
|
.iter()
|
|
|
|
.cloned()
|
|
|
|
.rev()
|
|
|
|
.zip(&app.args.extern_interrupts)
|
|
|
|
.map(|(p, (id, ext))| (p, (id.clone(), ext.clone())))
|
|
|
|
.collect();
|
2019-06-13 23:56:59 +02:00
|
|
|
|
|
|
|
P::new(Analysis {
|
|
|
|
parent: analysis,
|
|
|
|
interrupts,
|
|
|
|
})
|
2017-07-15 01:54:54 +02:00
|
|
|
}
|