Home | History | Annotate | Download | only in verifier

Lines Matching refs:kind

12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
320 // Verification result for method(s). Includes a (maximum) failure kind, and (the union of)
323 FailureKind kind = kNoFailure;
326 // Merge src into this. Uses the most severe failure kind, and the union of types.