From d0ddc322e378e498743121121c8849260d2f1726 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Fri, 21 Apr 2017 21:38:39 -0500 Subject: rename `borrow` to `access` --- tests/cfail/borrow.rs | 37 ------------------------------------- 1 file changed, 37 deletions(-) delete mode 100644 tests/cfail/borrow.rs (limited to 'tests/cfail/borrow.rs') 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 = Resource::new(0); -static R2: Resource = Resource::new(0); -static R3: Resource = Resource::new(0); -static R4: Resource = Resource::new(0); -static R5: Resource = Resource::new(0); -static R6: Resource = 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); - } - ); -} -- cgit v1.2.3