replace the ceiling token with a preemption threshold token

1 files changed, 15 insertions, 15 deletions

diff --git a/tests/cfail/access.rs b/tests/cfail/access.rs
index 7524b06..b35fb37 100644
--- a/tests/cfail/access.rs
+++ b/tests/cfail/access.rs
@@ -1,6 +1,6 @@
 extern crate cortex_m_rtfm as rtfm;
 
-use rtfm::{C1, C2, C3, C4, C5, P2, Resource};
+use rtfm::{C1, C2, C3, C4, C5, P2, Resource, T2};
 
 static R1: Resource<i32, C4> = Resource::new(0);
 static R2: Resource<i32, C3> = Resource::new(0);
@@ -9,27 +9,27 @@ 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, ceil: C2) {
-    ceil.raise(
-        &R1, |ceil| {
-            // NOTE SC = System Ceiling, P = task Priority
+fn j1(prio: P2, thr: T2) {
+    thr.raise(
+        &R1, |thr| {
+            // NOTE PT = Preemption Threshold, TP = Task Priority
 
-            // CAN access a resource with ceiling RC when SC > RC
-            let r2 = R2.access(&prio, ceil);
+            // CAN access a resource with ceiling RC when PT > RC
+            let r2 = R2.access(&prio, thr);
 
-            // CAN access a resource with ceiling RC when SC == RC
-            let r3 = R3.access(&prio, ceil);
+            // CAN access a resource with ceiling RC when PT == RC
+            let r3 = R3.access(&prio, thr);
 
-            // CAN'T access a resource with ceiling RC when SC < RC
-            let r4 = R4.access(&prio, ceil);
+            // CAN'T access a resource with ceiling RC when PT < RC
+            let r4 = R4.access(&prio, thr);
             //~^ error
 
-            // CAN'T access a resource with ceiling RC when RC < P
-            let r5 = R5.access(&prio, ceil);
+            // CAN'T access a resource with ceiling RC when RC < TP
+            let r5 = R5.access(&prio, thr);
             //~^ error
 
-            // CAN access a resource with ceiling RC when RC == P
-            let r6 = R6.access(&prio, ceil);
+            // CAN access a resource with ceiling RC when RC == tP
+            let r6 = R6.access(&prio, thr);
         }
     );
 }