From 595404c5ffc37ce95ffb2b6999ab85e6818bfa50 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <japaricious@gmail.com>
Date: Sun, 9 Apr 2017 22:42:17 -0500
Subject: compile time verified ceilings

---
 tests/cfail/lock.rs | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 tests/cfail/lock.rs

(limited to 'tests/cfail/lock.rs')

diff --git a/tests/cfail/lock.rs b/tests/cfail/lock.rs
new file mode 100644
index 0000000..6b1a411
--- /dev/null
+++ b/tests/cfail/lock.rs
@@ -0,0 +1,41 @@
+extern crate cortex_m_srp;
+
+use cortex_m_srp::{C16, C2, P1, P16, P2, P3, Resource};
+
+static R1: Resource<i32, C2> = Resource::new(0);
+
+// You CAN'T lock a resource with ceiling C from a task with priority P if P > C
+fn j1(prio: P3) {
+    R1.lock(&prio, |_, _| {});
+    //~^ error
+}
+
+// DON'T lock a resource with ceiling equal to the task priority.
+// Instead use `claim`
+fn j2(prio: P2) {
+    R1.lock(&prio, |_, _| {});
+    //~^ error
+
+    // OK
+    let r1 = R1.claim(&prio);
+}
+
+// You CAN lock a resource with ceiling C from a task with priority P if C > P
+fn j3(prio: P1) {
+    // OK
+    R1.lock(&prio, |r1, _| {});
+}
+
+static R2: Resource<i32, C16> = Resource::new(0);
+
+// Tasks with priority less than P16 can't lock a resource with ceiling C16
+fn j4(prio: P1) {
+    R2.lock(&prio, |_, _| {});
+    //~^ error
+}
+
+// Only tasks with priority P16 can claim a resource with ceiling C16
+fn j5(prio: P16) {
+    // OK
+    let r2 = R2.claim(&prio);
+}
-- 
cgit v1.2.3