diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:38:39 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-04-21 21:38:39 -0500 |
| commit | d0ddc322e378e498743121121c8849260d2f1726 (patch) | |
| tree | 489b8857b60f3b8808c87816c96fde0b0592ca51 /tests/cfail/lock.rs | |
| parent | 296c88c49cbe72aea9d3726147a9436902b3446b (diff) | |
rename `borrow` to `access`
Diffstat (limited to 'tests/cfail/lock.rs')
| -rw-r--r-- | tests/cfail/lock.rs | 6 |
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()); } |
