aboutsummaryrefslogtreecommitdiff
path: root/examples/generics.rs
blob: ca7726d0b7735f599319cb4fadca168ac1fc7db9 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
//! Working with resources in a generic fashion
#![deny(unsafe_code)]
#![deny(warnings)]
#![feature(proc_macro)]
#![no_std]

extern crate cortex_m_rtfm as rtfm;
extern crate stm32f103xx;

use rtfm::{app, Resource, Threshold};
use stm32f103xx::{SPI1, GPIOA};

app! {
    device: stm32f103xx,

    resources: {
        static GPIOA: GPIOA;
        static SPI1: SPI1;
    },

    tasks: {
        EXTI0: {
            path: exti0,
            priority: 1,
            resources: [GPIOA, SPI1],
        },

        EXTI1: {
            path: exti1,
            priority: 2,
            resources: [GPIOA, SPI1],
        },
    },
}

fn init(p: init::Peripherals) -> init::LateResources {
    init::LateResources {
        GPIOA: p.device.GPIOA,
        SPI1: p.device.SPI1,
    }
}

fn idle() -> ! {
    loop {
        rtfm::wfi();
    }
}

// A generic function that uses some resources
fn work<G, S>(t: &mut Threshold, gpioa: &G, spi1: &S)
where
    G: Resource<Data = GPIOA>,
    S: Resource<Data = SPI1>,
{
    gpioa.claim(t, |_gpioa, t| {
        // drive NSS low

        spi1.claim(t, |_spi1, _| {
            // transfer data
        });

        // drive NSS high
    });
}

// This task needs critical sections to access the resources
fn exti0(t: &mut Threshold, r: EXTI0::Resources) {
    work(t, &r.GPIOA, &r.SPI1);
}

// This task has direct access to the resources
fn exti1(t: &mut Threshold, r: EXTI1::Resources) {
    work(t, &r.GPIOA, &r.SPI1);
}