From b71df58f2fb4ed85d4c8cf806d5837ce63c73f31 Mon Sep 17 00:00:00 2001
From: Emil Fresk <emil.fresk@gmail.com>
Date: Wed, 22 Sep 2021 13:22:45 +0200
Subject: The great docs update

---
 examples/declared_locals.rs | 46 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 46 insertions(+)
 create mode 100644 examples/declared_locals.rs

(limited to 'examples/declared_locals.rs')

diff --git a/examples/declared_locals.rs b/examples/declared_locals.rs
new file mode 100644
index 0000000..52d354b
--- /dev/null
+++ b/examples/declared_locals.rs
@@ -0,0 +1,46 @@
+//! examples/declared_locals.rs
+
+#![deny(unsafe_code)]
+#![deny(warnings)]
+#![no_main]
+#![no_std]
+
+use panic_semihosting as _;
+
+#[rtic::app(device = lm3s6965, dispatchers = [UART0])]
+mod app {
+    use cortex_m_semihosting::debug;
+
+    #[shared]
+    struct Shared {}
+
+    #[local]
+    struct Local {}
+
+    #[init(local = [a: u32 = 0])]
+    fn init(cx: init::Context) -> (Shared, Local, init::Monotonics) {
+        // Locals in `#[init]` have 'static lifetime
+        let _a: &'static mut u32 = cx.local.a;
+
+        debug::exit(debug::EXIT_SUCCESS); // Exit QEMU simulator
+
+        (Shared {}, Local {}, init::Monotonics())
+    }
+
+    #[idle(local = [a: u32 = 0])]
+    fn idle(cx: idle::Context) -> ! {
+        // Locals in `#[idle]` have 'static lifetime
+        let _a: &'static mut u32 = cx.local.a;
+
+        loop {}
+    }
+
+    #[task(local = [a: u32 = 0])]
+    fn foo(cx: foo::Context) {
+        // Locals in `#[task]`s have a local lifetime
+        let _a: &mut u32 = cx.local.a;
+
+        // error: explicit lifetime required in the type of `cx`
+        // let _a: &'static mut u32 = cx.local.a;
+    }
+}
-- 
cgit v1.2.3