63 lines
1.9 KiB
C#
63 lines
1.9 KiB
C#
using System;
|
|
using System.Collections.Generic;
|
|
using System.Diagnostics.CodeAnalysis;
|
|
using Cpp2IlInjected;
|
|
|
|
namespace System.Dynamic.Utils
|
|
{
|
|
// Token: 0x02000275 RID: 629
|
|
[Token(Token = "0x2000275")]
|
|
internal static class ContractUtils
|
|
{
|
|
// Token: 0x17000285 RID: 645
|
|
// (get) Token: 0x06000CA3 RID: 3235 RVA: 0x00002050 File Offset: 0x00000250
|
|
[Token(Token = "0x17000285")]
|
|
[ExcludeFromCodeCoverage]
|
|
public static Exception Unreachable
|
|
{
|
|
[Token(Token = "0x6000CA3")]
|
|
[Address(RVA = "0x85FB70", Offset = "0x85EB70", VA = "0x18085FB70")]
|
|
get
|
|
{
|
|
return null;
|
|
}
|
|
}
|
|
|
|
// Token: 0x06000CA4 RID: 3236 RVA: 0x00002053 File Offset: 0x00000253
|
|
[Token(Token = "0x6000CA4")]
|
|
[Address(RVA = "0x85FB10", Offset = "0x85EB10", VA = "0x18085FB10")]
|
|
public static void Requires(bool precondition, string paramName)
|
|
{
|
|
}
|
|
|
|
// Token: 0x06000CA5 RID: 3237 RVA: 0x00002053 File Offset: 0x00000253
|
|
[Token(Token = "0x6000CA5")]
|
|
[Address(RVA = "0x85FAA0", Offset = "0x85EAA0", VA = "0x18085FAA0")]
|
|
public static void RequiresNotNull(object value, string paramName)
|
|
{
|
|
}
|
|
|
|
// Token: 0x06000CA6 RID: 3238 RVA: 0x00002053 File Offset: 0x00000253
|
|
[Token(Token = "0x6000CA6")]
|
|
[Address(RVA = "0x85FA10", Offset = "0x85EA10", VA = "0x18085FA10")]
|
|
public static void RequiresNotNull(object value, string paramName, int index)
|
|
{
|
|
}
|
|
|
|
// Token: 0x06000CA7 RID: 3239 RVA: 0x00002053 File Offset: 0x00000253
|
|
[Token(Token = "0x6000CA7")]
|
|
[Address(RVA = "0x25097C0", Offset = "0x25087C0", VA = "0x1825097C0")]
|
|
public static void RequiresNotNullItems<T>(IList<T> array, string arrayName)
|
|
{
|
|
}
|
|
|
|
// Token: 0x06000CA8 RID: 3240 RVA: 0x00002050 File Offset: 0x00000250
|
|
[Token(Token = "0x6000CA8")]
|
|
[Address(RVA = "0x85F990", Offset = "0x85E990", VA = "0x18085F990")]
|
|
private static string GetParamName(string paramName, int index)
|
|
{
|
|
return null;
|
|
}
|
|
}
|
|
}
|