Lines Matching full:precondition
1984 *Precondition:* ``value`` is null or a pointer to a valid object.
1997 *Precondition:* ``pool`` is the result of a previous call to
2025 *Precondition:* ``value`` is null or a pointer to a valid object.
2041 *Precondition:* ``src`` is a valid pointer which either contains a null pointer
2061 *Precondition:* ``object`` is a valid pointer which either contains a null
2081 *Precondition:* ``object`` is a valid pointer which has not been registered as
2106 *Precondition:* ``object`` is a valid pointer which either contains a null
2132 *Precondition:* ``object`` is a valid pointer which either contains a null
2146 *Precondition:* ``src`` is a valid pointer which either contains a null pointer
2162 *Precondition:* ``value`` is null or a pointer to a valid object.
2173 *Precondition:* ``value`` is null or a pointer to a valid object.
2185 *Precondition:* ``value`` is null or a pointer to a valid object.
2204 *Precondition:* ``value`` is null or a pointer to a valid object.
2224 *Precondition:* ``value`` is null or a pointer to a valid object.
2240 *Precondition:* ``value`` is null or a pointer to a valid block object.
2252 *Precondition:* ``object`` is a valid pointer to a ``__strong`` object which is
2281 *Precondition:* ``object`` is a valid pointer which either contains a null
