@@ -137,28 +137,28 @@ void QActive_register_(QActive * const me) {
137137 if (me -> pthre == 0U ) { /* preemption-threshold not defined? */
138138 me -> pthre = me -> prio ; /* apply the default */
139139 }
140- uint8_t prev_ceil = me -> pthre ;
141- uint8_t next_ceil = me -> pthre ;
140+ uint8_t prev_thre = me -> pthre ;
141+ uint8_t next_thre = me -> pthre ;
142142
143143 uint_fast8_t p ;
144144 for (p = (uint_fast8_t )prio - 1U ; p > 0U ; -- p ) {
145145 if (QActive_registry_ [p ] != (QActive * )0 ) {
146- prev_ceil = QActive_registry_ [p ]-> pthre ;
146+ prev_thre = QActive_registry_ [p ]-> pthre ;
147147 break ;
148148 }
149149 }
150150 for (p = (uint_fast8_t )prio + 1U ; p <= QF_MAX_ACTIVE ; ++ p ) {
151151 if (QActive_registry_ [p ] != (QActive * )0 ) {
152- next_ceil = QActive_registry_ [p ]-> pthre ;
152+ next_thre = QActive_registry_ [p ]-> pthre ;
153153 break ;
154154 }
155155 }
156156
157- /* @post The preemption threshold of the AO (me->pthre) must be
157+ /*! @post The preemption threshold of the AO (me->pthre) must be
158158 * between the threshold of the previous AO and the next AO
159159 */
160- Q_ENSURE_ID (101 , (prev_ceil <= me -> pthre )
161- && (me -> pthre <= next_ceil ));
160+ Q_ENSURE_ID (101 , (prev_thre <= me -> pthre )
161+ && (me -> pthre <= next_thre ));
162162 QF_CRIT_STAT_
163163 QF_CRIT_E_ ();
164164 QActive_registry_ [prio ] = me ; /* register the AO at this QF priority */
@@ -169,17 +169,17 @@ void QActive_register_(QActive * const me) {
169169
170170/*${QF::QActive::unregister_} ..............................................*/
171171void QActive_unregister_ (QActive * const me ) {
172- uint_fast8_t const prio = (uint_fast8_t )me -> prio ;
172+ uint_fast8_t const p = (uint_fast8_t )me -> prio ;
173173
174174 /*! @pre the priority of the active object must not be zero and cannot
175175 * exceed the maximum #QF_MAX_ACTIVE. Also, the priority of the active
176176 * object must be already registered with the framework.
177177 */
178- Q_REQUIRE_ID (200 , (0U < prio ) && (prio <= QF_MAX_ACTIVE )
179- && (QActive_registry_ [prio ] == me ));
178+ Q_REQUIRE_ID (200 , (0U < p ) && (p <= QF_MAX_ACTIVE )
179+ && (QActive_registry_ [p ] == me ));
180180 QF_CRIT_STAT_
181181 QF_CRIT_E_ ();
182- QActive_registry_ [prio ] = (QActive * )0 ; /* free-up the priority level */
182+ QActive_registry_ [p ] = (QActive * )0 ; /* free-up the priority level */
183183 me -> super .state .fun = Q_STATE_CAST (0 ); /* invalidate the state */
184184 QF_CRIT_X_ ();
185185}
0 commit comments