Lines Matching full:invariant

176  *                        (invariant after initialized)
185  *                        (invariant after initialized)
205  *                        (invariant, no lock needed)
207  *                        (invariant, no lock needed)
223  *                        (invariant after initialized)
225  *                        (invariant after initialized)
227  *                        (invariant after initialized)
261 		 * invariant after initialization
357  *                        (invariant after initialized)
359  *                        (invariant after initialized)
362  *                        (invariant after initialized)
406  *                        (invariant after initialized)
410  *                        (invariant after initialized)
460  *                        (invariant after initialization)
466  *                        (invariant after initialization)