aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/borrow.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-04-21 21:38:39 -0500
committerJorge Aparicio <jorge@japaric.io>2017-04-21 21:38:39 -0500
commitd0ddc322e378e498743121121c8849260d2f1726 (patch)
tree489b8857b60f3b8808c87816c96fde0b0592ca51 /tests/cfail/borrow.rs
parent296c88c49cbe72aea9d3726147a9436902b3446b (diff)
rename `borrow` to `access`
Diffstat (limited to 'tests/cfail/borrow.rs')
-rw-r--r--tests/cfail/borrow.rs37
1 files changed, 0 insertions, 37 deletions
diff --git a/tests/cfail/borrow.rs b/tests/cfail/borrow.rs
deleted file mode 100644
index 6f9e1a8..0000000
--- a/tests/cfail/borrow.rs
+++ /dev/null
@@ -1,37 +0,0 @@
-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 CC = Current Ceiling, P = task Priority
-
- // CAN borrow a resource with ceiling RC when CC > RC
- let r2 = R2.borrow(&prio, ceil);
-
- // CAN borrow a resource with ceiling RC when CC == RC
- let r3 = R3.borrow(&prio, ceil);
-
- // CAN'T borrow a resource with ceiling RC when CC < RC
- let r4 = R4.borrow(&prio, ceil);
- //~^ error
-
- // CAN'T borrow a resource with ceiling RC when RC < P
- let r5 = R5.borrow(&prio, ceil);
- //~^ error
-
- // CAN borrow a resource with ceiling RC when RC == P
- let r6 = R6.borrow(&prio, ceil);
- }
- );
-}