From d0ddc322e378e498743121121c8849260d2f1726 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Fri, 21 Apr 2017 21:38:39 -0500
Subject: rename `borrow` to `access`

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

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

diff --git a/tests/cfail/access.rs b/tests/cfail/access.rs
new file mode 100644
index 0000000..db77602
--- /dev/null
+++ b/tests/cfail/access.rs
@@ -0,0 +1,37 @@
+extern crate cortex_m_rtfm as rtfm;
+
+use rtfm::{C1, C2, C3, C4, C5, P2, Resource};
+
+static R1: Resource<i32, C4> = Resource::new(0);
+static R2: Resource<i32, C3> = Resource::new(0);
+static R3: Resource<i32, C4> = Resource::new(0);
+static R4: Resource<i32, C5> = Resource::new(0);
+static R5: Resource<i32, C1> = Resource::new(0);
+static R6: Resource<i32, C2> = Resource::new(0);
+
+fn j1(prio: P2) {
+    let ceil = prio.as_ceiling();
+
+    ceil.raise(
+        &R1, |ceil| {
+            // NOTE SC = System Ceiling, P = task Priority
+
+            // CAN access a resource with ceiling RC when SC > RC
+            let r2 = R2.access(&prio, ceil);
+
+            // CAN access a resource with ceiling RC when SC == RC
+            let r3 = R3.access(&prio, ceil);
+
+            // CAN'T access a resource with ceiling RC when SC < RC
+            let r4 = R4.access(&prio, ceil);
+            //~^ error
+
+            // CAN'T access a resource with ceiling RC when RC < P
+            let r5 = R5.access(&prio, ceil);
+            //~^ error
+
+            // CAN access a resource with ceiling RC when RC == P
+            let r6 = R6.access(&prio, ceil);
+        }
+    );
+}
-- 
cgit v1.2.3