aboutsummaryrefslogtreecommitdiff
path: root/tests/cfail/lock.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/lock.rs
parent296c88c49cbe72aea9d3726147a9436902b3446b (diff)
rename `borrow` to `access`
Diffstat (limited to 'tests/cfail/lock.rs')
-rw-r--r--tests/cfail/lock.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/tests/cfail/lock.rs b/tests/cfail/lock.rs
index ca4ea73..073e1dd 100644
--- a/tests/cfail/lock.rs
+++ b/tests/cfail/lock.rs
@@ -21,7 +21,7 @@ fn j2(prio: P2) {
//~^ error
// OK
- let r1 = R1.borrow(&prio, ceil);
+ let r1 = R1.access(&prio, ceil);
}
// You CAN access a resource with ceiling C from a task with priority P if C > P
@@ -30,7 +30,7 @@ fn j3(prio: P1) {
let ceil = prio.as_ceiling();
// OK
- ceil.raise(&R1, |ceil| { let r1 = R1.borrow(&prio, ceil); })
+ ceil.raise(&R1, |ceil| { let r1 = R1.access(&prio, ceil); })
}
static R2: Resource<i32, C16> = Resource::new(0);
@@ -46,5 +46,5 @@ fn j4(prio: P1) {
// Only tasks with priority P16 can access a resource with ceiling C16
fn j5(prio: P16) {
// OK
- let r2 = R2.borrow(&prio, prio.as_ceiling());
+ let r2 = R2.access(&prio, prio.as_ceiling());
}