Lines Matching full:invariant

173  *                        (invariant after initialized)
182  *                        (invariant after initialized)
202  *                        (invariant, no lock needed)
204  *                        (invariant, no lock needed)
220  *                        (invariant after initialized)
222  *                        (invariant after initialized)
224  *                        (invariant after initialized)
258 		 * invariant after initialization
343  *                        (invariant after initialized)
345  *                        (invariant after initialized)
348  *                        (invariant after initialized)
388  *                        (invariant after initialized)
392  *                        (invariant after initialized)
441  *                        (invariant after initialization)
447  *                        (invariant after initialization)