niko
31 lines
1.6 KiB
C#
31 lines
1.6 KiB
C#
using System;
|
|
using System.Collections.Generic;
|
|
using System.Runtime.ConstrainedExecution;
|
|
using Cpp2IlInjected;
|
|
|
|
namespace System.Diagnostics.Contracts
|
|
{
|
|
/// <summary>Contains static methods for representing program contracts such as preconditions, postconditions, and object invariants.</summary>
|
|
// Token: 0x02000646 RID: 1606
|
|
[Token(Token = "0x2000646")]
|
|
public static class Contract
|
|
{
|
|
/// <summary>Determines whether all the elements in a collection exist within a function.</summary>
|
|
/// <param name="collection">The collection from which elements of type T will be drawn to pass to <paramref name="predicate" />.</param>
|
|
/// <param name="predicate">The function to evaluate for the existence of all the elements in <paramref name="collection" />.</param>
|
|
/// <typeparam name="T">The type that is contained in <paramref name="collection" />.</typeparam>
|
|
/// <returns>
|
|
/// <see langword="true" /> if and only if <paramref name="predicate" /> returns <see langword="true" /> for all elements of type <paramref name="T" /> in <paramref name="collection" />.</returns>
|
|
/// <exception cref="T:System.ArgumentNullException">
|
|
/// <paramref name="collection" /> or <paramref name="predicate" /> is <see langword="null" />.</exception>
|
|
// Token: 0x060031A7 RID: 12711 RVA: 0x0001B198 File Offset: 0x00019398
|
|
[Token(Token = "0x60031A7")]
|
|
[Address(RVA = "0x21ACAB0", Offset = "0x21ABAB0", VA = "0x1821ACAB0")]
|
|
[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
|
|
public static bool ForAll<T>(IEnumerable<T> collection, Predicate<T> predicate)
|
|
{
|
|
return default(bool);
|
|
}
|
|
}
|
|
}
|