From 4e6818eb2cd396dde39f05bd85628326b0492fe9 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Wed, 19 Apr 2017 17:21:13 -0500 Subject: remove claim, add Priority.as_ceiling --- tests/cfail/lock.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests/cfail/lock.rs') diff --git a/tests/cfail/lock.rs b/tests/cfail/lock.rs index 6b1a411..83f3ec8 100644 --- a/tests/cfail/lock.rs +++ b/tests/cfail/lock.rs @@ -11,13 +11,13 @@ fn j1(prio: P3) { } // DON'T lock a resource with ceiling equal to the task priority. -// Instead use `claim` +// Instead use `borrow` fn j2(prio: P2) { R1.lock(&prio, |_, _| {}); //~^ error // OK - let r1 = R1.claim(&prio); + let r1 = R1.borrow(&prio, prio.as_ceiling()); } // You CAN lock a resource with ceiling C from a task with priority P if C > P @@ -37,5 +37,5 @@ fn j4(prio: P1) { // Only tasks with priority P16 can claim a resource with ceiling C16 fn j5(prio: P16) { // OK - let r2 = R2.claim(&prio); + let r2 = R2.borrow(&prio, prio.as_ceiling()); } -- cgit v1.2.3