scripts
This commit is contained in:
niko
@@ -0,0 +1,155 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000064 RID: 100
|
||||
[Token(Token = "0x200004C")]
|
||||
[StructLayout(3)]
|
||||
public sealed class AppliedGenericType : CircuitType, IEquatable<AppliedGenericType>
|
||||
{
|
||||
// Token: 0x17000084 RID: 132
|
||||
// (get) Token: 0x060002A4 RID: 676 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000081")]
|
||||
public GenericType OriginalGenericType
|
||||
{
|
||||
[Token(Token = "0x6000219")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x17000085 RID: 133
|
||||
// (get) Token: 0x060002A5 RID: 677 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000082")]
|
||||
public sealed override CircuitType OriginalType
|
||||
{
|
||||
[Token(Token = "0x600021A")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240", Slot = "5")]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x17000086 RID: 134
|
||||
// (get) Token: 0x060002A6 RID: 678 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000083")]
|
||||
public IReadOnlyList<CircuitType> TypeParameterAssignments
|
||||
{
|
||||
[Token(Token = "0x600021B")]
|
||||
[Address(RVA = "0x3C1220", Offset = "0x3BFC20", VA = "0x1803C1220")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002A7 RID: 679 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600021C")]
|
||||
[Address(RVA = "0x21890B0", Offset = "0x2187AB0", VA = "0x1821890B0", Slot = "6")]
|
||||
public sealed override CircuitType ApplyTypeParameters(IReadOnlyDictionary<string, CircuitType> typeSubstitutions)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x17000087 RID: 135
|
||||
// (get) Token: 0x060002A8 RID: 680 RVA: 0x00002EC4 File Offset: 0x000010C4
|
||||
[Token(Token = "0x17000084")]
|
||||
public sealed override bool ReferencesTypeParameters
|
||||
{
|
||||
[Token(Token = "0x600021D")]
|
||||
[Address(RVA = "0x2189B50", Offset = "0x2188550", VA = "0x182189B50", Slot = "7")]
|
||||
get
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002A9 RID: 681 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600021E")]
|
||||
[Address(RVA = "0x2189190", Offset = "0x2187B90", VA = "0x182189190", Slot = "8")]
|
||||
public sealed override void CrawlAppliedTypeParameters(Action<CircuitType> onPrimitiveVisit, Action<TypeParameterReferenceType> onReferenceVisit, Action<AppliedGenericType> onAppliedEntry, Action<AppliedGenericType> onAppliedExit)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002AA RID: 682 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600021F")]
|
||||
[Address(RVA = "0x21899E0", Offset = "0x21883E0", VA = "0x1821899E0")]
|
||||
public AppliedGenericType(GenericType originalType, IEnumerable<CircuitType> typeParameterAssignments)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002AB RID: 683 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000220")]
|
||||
[Address(RVA = "0x21899B0", Offset = "0x21883B0", VA = "0x1821899B0", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002AC RID: 684 RVA: 0x00002EDC File Offset: 0x000010DC
|
||||
[Token(Token = "0x6000221")]
|
||||
[Address(RVA = "0x2189660", Offset = "0x2188060", VA = "0x182189660", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002AD RID: 685 RVA: 0x00002EF4 File Offset: 0x000010F4
|
||||
[Token(Token = "0x6000222")]
|
||||
[Address(RVA = "0x21895D0", Offset = "0x2187FD0", VA = "0x1821895D0", Slot = "11")]
|
||||
public bool Equals(AppliedGenericType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002AE RID: 686 RVA: 0x00002F0C File Offset: 0x0000110C
|
||||
[Token(Token = "0x6000223")]
|
||||
[Address(RVA = "0x2189730", Offset = "0x2188130", VA = "0x182189730", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002AF RID: 687 RVA: 0x00002F24 File Offset: 0x00001124
|
||||
[Token(Token = "0x6000224")]
|
||||
[Address(RVA = "0x2189780", Offset = "0x2188180", VA = "0x182189780")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002B0 RID: 688 RVA: 0x00002F3C File Offset: 0x0000113C
|
||||
[Token(Token = "0x6000225")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002B1 RID: 689 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000226")]
|
||||
[Address(RVA = "0x21897F0", Offset = "0x21881F0", VA = "0x1821897F0", Slot = "10")]
|
||||
public sealed override CircuitTypeData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002B2 RID: 690 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000227")]
|
||||
[Address(RVA = "0x21893D0", Offset = "0x2187DD0", VA = "0x1821893D0")]
|
||||
public static AppliedGenericType DeserializeFromProtobuf(AppliedGenericTypeData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,84 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000067 RID: 103
|
||||
[Token(Token = "0x200004D")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ArrayType : GenericType, IEquatable<ArrayType>
|
||||
{
|
||||
// Token: 0x060002BA RID: 698 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000228")]
|
||||
[Address(RVA = "0x2189FC0", Offset = "0x21889C0", VA = "0x182189FC0")]
|
||||
public ArrayType()
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002BB RID: 699 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000229")]
|
||||
[Address(RVA = "0x2189F10", Offset = "0x2188910", VA = "0x182189F10", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002BC RID: 700 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600022A")]
|
||||
[Address(RVA = "0x2189E80", Offset = "0x2188880", VA = "0x182189E80", Slot = "11")]
|
||||
public sealed override string ToString(IReadOnlyList<CircuitType> typeParameterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002BD RID: 701 RVA: 0x00002F6C File Offset: 0x0000116C
|
||||
[Token(Token = "0x600022B")]
|
||||
[Address(RVA = "0x2189F70", Offset = "0x2188970", VA = "0x182189F70", Slot = "12")]
|
||||
public override bool TypeParamsEqual(IReadOnlyList<CircuitType> self, IReadOnlyList<CircuitType> other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002BE RID: 702 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600022C")]
|
||||
[Address(RVA = "0x2189E40", Offset = "0x2188840", VA = "0x182189E40")]
|
||||
private static string ToStringImpl(string typeName)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002BF RID: 703 RVA: 0x00002F84 File Offset: 0x00001184
|
||||
[Token(Token = "0x600022D")]
|
||||
[Address(RVA = "0x2189DF0", Offset = "0x21887F0", VA = "0x182189DF0", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002C0 RID: 704 RVA: 0x00002F9C File Offset: 0x0000119C
|
||||
[Token(Token = "0x600022E")]
|
||||
[Address(RVA = "0x5C5EC0", Offset = "0x5C48C0", VA = "0x1805C5EC0", Slot = "13")]
|
||||
public bool Equals(ArrayType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002C1 RID: 705 RVA: 0x00002FB4 File Offset: 0x000011B4
|
||||
[Token(Token = "0x600022F")]
|
||||
[Address(RVA = "0x2189DA0", Offset = "0x21887A0", VA = "0x182189DA0", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002C2 RID: 706 RVA: 0x00002FCC File Offset: 0x000011CC
|
||||
[Token(Token = "0x6000230")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,52 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x0200007A RID: 122
|
||||
[Token(Token = "0x200005E")]
|
||||
[StructLayout(3)]
|
||||
public interface ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
// Token: 0x170000A4 RID: 164
|
||||
// (get) Token: 0x0600036C RID: 876
|
||||
[Token(Token = "0x170000A1")]
|
||||
TOutputPort SrcPort
|
||||
{
|
||||
[Token(Token = "0x60002C6")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x170000A5 RID: 165
|
||||
// (get) Token: 0x0600036D RID: 877
|
||||
[Token(Token = "0x170000A2")]
|
||||
TNode SrcNode
|
||||
{
|
||||
[Token(Token = "0x60002C7")]
|
||||
[Address(Slot = "1")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x170000A6 RID: 166
|
||||
// (get) Token: 0x0600036E RID: 878
|
||||
[Token(Token = "0x170000A3")]
|
||||
TInputPort DstPort
|
||||
{
|
||||
[Token(Token = "0x60002C8")]
|
||||
[Address(Slot = "2")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x170000A7 RID: 167
|
||||
// (get) Token: 0x0600036F RID: 879
|
||||
[Token(Token = "0x170000A4")]
|
||||
TNode DstNode
|
||||
{
|
||||
[Token(Token = "0x60002C9")]
|
||||
[Address(Slot = "3")]
|
||||
get;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,22 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x0200007B RID: 123
|
||||
[Token(Token = "0x200005F")]
|
||||
[StructLayout(3)]
|
||||
public interface ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> : ICheckablePort where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
// Token: 0x170000A8 RID: 168
|
||||
// (get) Token: 0x06000370 RID: 880
|
||||
[Token(Token = "0x170000A5")]
|
||||
TCheckableConnection FirstConnection
|
||||
{
|
||||
[Token(Token = "0x60002CA")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,48 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x0200007C RID: 124
|
||||
[Token(Token = "0x2000060")]
|
||||
[StructLayout(3)]
|
||||
public interface ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
// Token: 0x170000A9 RID: 169
|
||||
// (get) Token: 0x06000371 RID: 881
|
||||
[Token(Token = "0x170000A6")]
|
||||
FunctionType Type
|
||||
{
|
||||
[Token(Token = "0x60002CB")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x170000AA RID: 170
|
||||
// (get) Token: 0x06000372 RID: 882
|
||||
[Token(Token = "0x170000A7")]
|
||||
IEnumerable<TInputPort> InputPorts
|
||||
{
|
||||
[Token(Token = "0x60002CC")]
|
||||
[Address(Slot = "1")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x170000AB RID: 171
|
||||
// (get) Token: 0x06000373 RID: 883
|
||||
[Token(Token = "0x170000A8")]
|
||||
IEnumerable<TOutputPort> OutputPorts
|
||||
{
|
||||
[Token(Token = "0x60002CD")]
|
||||
[Address(Slot = "2")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x06000374 RID: 884
|
||||
[Token(Token = "0x60002CE")]
|
||||
[Address(Slot = "3")]
|
||||
IEnumerable<ValueTuple<TypeParameterId<TNode>, TypeParameterId<TNode>>> GetAdditionalEquivalentTypeParameters();
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,23 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x0200007D RID: 125
|
||||
[Token(Token = "0x2000061")]
|
||||
[StructLayout(3)]
|
||||
public interface ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> : ICheckablePort where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
// Token: 0x170000AC RID: 172
|
||||
// (get) Token: 0x06000375 RID: 885
|
||||
[Token(Token = "0x170000A9")]
|
||||
IEnumerable<TCheckableConnection> Connections
|
||||
{
|
||||
[Token(Token = "0x60002CF")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,22 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x0200007E RID: 126
|
||||
[Token(Token = "0x2000062")]
|
||||
[StructLayout(3)]
|
||||
public interface ICheckablePort
|
||||
{
|
||||
// Token: 0x170000AD RID: 173
|
||||
// (get) Token: 0x06000376 RID: 886
|
||||
[Token(Token = "0x170000AA")]
|
||||
CircuitType GenericPortType
|
||||
{
|
||||
[Token(Token = "0x60002D0")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,139 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Types.Checker.Unification;
|
||||
using CircuitsV2.Types.Checker.Unification.Reference;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x0200007F RID: 127
|
||||
[Token(Token = "0x2000063")]
|
||||
[StructLayout(3)]
|
||||
public static class TypeChecker
|
||||
{
|
||||
// Token: 0x06000377 RID: 887 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002D1")]
|
||||
[Address(RVA = "0x20E2C20", Offset = "0x20E1620", VA = "0x1820E2C20")]
|
||||
public static Dictionary<TNode, List<ValueTuple<string, CircuitType>>> InferTypes<TNode, TInputPort, TOutputPort, TCheckableConnection>(params TNode[] nodes) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000378 RID: 888 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002D2")]
|
||||
[Address(RVA = "0x20E2B10", Offset = "0x20E1510", VA = "0x1820E2B10")]
|
||||
public static Dictionary<TNode, List<ValueTuple<string, CircuitType>>> InferTypes<TNode, TInputPort, TOutputPort, TCheckableConnection>(IEnumerable<TNode> nodes) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000379 RID: 889 RVA: 0x00003614 File Offset: 0x00001814
|
||||
[Token(Token = "0x60002D3")]
|
||||
[Address(RVA = "0x204E270", Offset = "0x204CC70", VA = "0x18204E270")]
|
||||
private static ValueTuple<Dictionary<int, TypeParameterId<TNode>>, List<ValueTuple<int, CircuitType>>> GenerateConstraintsForNodes<TNode, TInputPort, TOutputPort, TCheckableConnection, TUnificationArena, TTerm>(IEnumerable<TNode> nodes, TUnificationArena unificationArena) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
return default(ValueTuple<Dictionary<int, TypeParameterId<TNode>>, List<ValueTuple<int, CircuitType>>>);
|
||||
}
|
||||
|
||||
// Token: 0x0600037A RID: 890 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002D4")]
|
||||
[Address(RVA = "0x204DCF0", Offset = "0x204C6F0", VA = "0x18204DCF0")]
|
||||
private static void GenerateConstraintsForNode<TNode, TInputPort, TOutputPort, TCheckableConnection, TUnificationArena, TTerm>(TNode node, TUnificationArena unificationArena, Dictionary<ICheckablePort, int> portToId, Dictionary<int, TypeParameterId<TNode>> idToTypeParameter, Dictionary<TypeParameterId<TNode>, int> typeParameterToIdAll, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x179710", Offset = "0x178B10")] List<ValueTuple<int, CircuitType>> idToType, Stack<TNode> potentialNodes, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x179A70", Offset = "0x178E70")] List<ValueTuple<TypeParameterId<TNode>, TypeParameterId<TNode>>> additionalEquivalentTypeParameters) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x0600037B RID: 891 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002D5")]
|
||||
[Address(RVA = "0x20E29C0", Offset = "0x20E13C0", VA = "0x1820E29C0")]
|
||||
private static Dictionary<string, int> IdentifyTypeParameters<TNode, TInputPort, TOutputPort, TCheckableConnection, TUnificationArena, TTerm>(TNode node, TUnificationArena unificationArena, Dictionary<int, TypeParameterId<TNode>> idToTypeParameter, Dictionary<TypeParameterId<TNode>, int> typeParameterToId, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x179E90", Offset = "0x179290")] List<ValueTuple<int, CircuitType>> idToType) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600037C RID: 892 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002D6")]
|
||||
[Address(RVA = "0x20E20B0", Offset = "0x20E0AB0", VA = "0x1820E20B0")]
|
||||
private static IEnumerable<ValueTuple<TPort, int>> GetGenericPorts<TPort, TUnificationArena, TTerm, TNode, TNode, TInputPort, TOutputPort, TCheckableConnection>(IEnumerable<TPort> ports, TUnificationArena unificationArena, Dictionary<ICheckablePort, int> portToTypeId) where TPort : class, ICheckablePort where TUnificationArena : IUnificationArena<TTerm> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600037D RID: 893 RVA: 0x0000362C File Offset: 0x0000182C
|
||||
[Token(Token = "0x60002D7")]
|
||||
[Address(RVA = "0x204FD60", Offset = "0x204E760", VA = "0x18204FD60")]
|
||||
private static ValueTuple<int, TTerm> GenerateOutputConstraintsAndId<TTerm, TOutputPort, TNode, TInputPort, TCheckableConnection, TUnificationArena>([Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17A240", Offset = "0x179640")] IEnumerable<ValueTuple<TOutputPort, int>> outputPorts, TUnificationArena unificationArena, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17A5F0", Offset = "0x1799F0")] List<ValueTuple<int, CircuitType>> idToType, Dictionary<string, int> typeParameterToId, Stack<TNode> potentialNodes) where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
return default(ValueTuple<int, TTerm>);
|
||||
}
|
||||
|
||||
// Token: 0x0600037E RID: 894 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002D8")]
|
||||
[Address(RVA = "0x204EE80", Offset = "0x204D880", VA = "0x18204EE80")]
|
||||
private static void GenerateInputConstraintsAndId<TInputPort, TNode, TOutputPort, TCheckableConnection, TUnificationArena, TTerm>([Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17AA70", Offset = "0x179E70")] IEnumerable<ValueTuple<TInputPort, int>> inputPorts, TUnificationArena unificationArena, int outputPortId, TTerm outputPortUnificationTerm, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17AD10", Offset = "0x17A110")] List<ValueTuple<int, CircuitType>> idToType, Dictionary<ICheckablePort, int> portToId, Dictionary<string, int> typeParameterToId, Stack<TNode> potentialNodes) where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x0600037F RID: 895 RVA: 0x00003644 File Offset: 0x00001844
|
||||
[Token(Token = "0x60002D9")]
|
||||
[Address(RVA = "0x1F87F20", Offset = "0x1F86920", VA = "0x181F87F20")]
|
||||
private static int GenerateInputConnectionConstraintsAndId<TInputPort, TNode, TOutputPort, TCheckableConnection, TUnificationArena, TTerm>(TInputPort inputPort, TUnificationArena unificationArena, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17B110", Offset = "0x17A510")] List<ValueTuple<int, CircuitType>> idToType, Dictionary<ICheckablePort, int> portToId, Stack<TNode> potentialNodes) where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection> where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x06000380 RID: 896 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002DA")]
|
||||
[Address(RVA = "0x1E37FE0", Offset = "0x1E369E0", VA = "0x181E37FE0")]
|
||||
private static TTerm GetTypeUnificationTerm<TTerm, TUnificationArena>(CircuitType type, TUnificationArena unificationArena, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17B4C0", Offset = "0x17A8C0")] List<ValueTuple<int, CircuitType>> idToType, IReadOnlyDictionary<string, int> typeParameterToId) where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000381 RID: 897 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002DB")]
|
||||
[Address(RVA = "0x20E2320", Offset = "0x20E0D20", VA = "0x1820E2320")]
|
||||
private static Dictionary<TNode, List<ValueTuple<string, CircuitType>>> GetTypeParameterAssignments<TNode, TInputPort, TOutputPort, TCheckableConnection>(ReferenceSubstitution[] substitutions, Dictionary<int, TypeParameterId<TNode>> idToTypeParameter, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17B820", Offset = "0x17AC20")] IEnumerable<ValueTuple<int, CircuitType>> idToType) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000382 RID: 898 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002DC")]
|
||||
[Address(RVA = "0x204CFB0", Offset = "0x204B9B0", VA = "0x18204CFB0")]
|
||||
private static void CacheAdditionalEquivalentTypeParameters<TNode, TInputPort, TOutputPort, TCheckableConnection>(TNode node, Stack<TNode> potentialNodes, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17BB80", Offset = "0x17AF80")] List<ValueTuple<TypeParameterId<TNode>, TypeParameterId<TNode>>> additionalEquivalentTypeParameters) where TNode : class, ICheckableNode<TNode, TInputPort, TOutputPort, TCheckableConnection> where TInputPort : class, ICheckableInputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TOutputPort : class, ICheckableOutputPort<TNode, TInputPort, TOutputPort, TCheckableConnection> where TCheckableConnection : class, ICheckableConnection<TNode, TInputPort, TOutputPort, TCheckableConnection>
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000383 RID: 899 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002DD")]
|
||||
[Address(RVA = "0x204D680", Offset = "0x204C080", VA = "0x18204D680")]
|
||||
private static void GenerateConstraintsForAdditionalEquivalentTypeParameters<TUnificationArena, TTerm, TNode>(TUnificationArena unificationArena, Dictionary<TypeParameterId<TNode>, int> typeParameterToId, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17BFD0", Offset = "0x17B3D0")] List<ValueTuple<TypeParameterId<TNode>, TypeParameterId<TNode>>> additionalEquivalentTypeParameters) where TUnificationArena : IUnificationArena<TTerm>
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000384 RID: 900 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002DE")]
|
||||
[Address(RVA = "0x2194130", Offset = "0x2192B30", VA = "0x182194130")]
|
||||
private static Dictionary<int, CircuitType> ApplySubstitutions(Dictionary<int, ReferenceSubstitution> substitutions, [Attribute(Name = "TupleElementNamesAttribute", RVA = "0x17C570", Offset = "0x17B970")] IEnumerable<ValueTuple<int, CircuitType>> idToType)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000385 RID: 901 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002DF")]
|
||||
[Address(RVA = "0x2194640", Offset = "0x2193040", VA = "0x182194640")]
|
||||
private static CircuitType MonomorphizeTerm(ITerm type, Dictionary<int, CircuitType> idToType, Dictionary<int, CircuitType> cache)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000386 RID: 902 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002E0")]
|
||||
[Address(RVA = "0x2194520", Offset = "0x2192F20", VA = "0x182194520")]
|
||||
private static ReferenceIdentifier GetArrowLast(ReferenceArrow arrow)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,20 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x02000087 RID: 135
|
||||
[Token(Token = "0x2000065")]
|
||||
[StructLayout(3)]
|
||||
public static class TypeParameterId
|
||||
{
|
||||
// Token: 0x060003A4 RID: 932 RVA: 0x00003794 File Offset: 0x00001994
|
||||
[Token(Token = "0x60002EB")]
|
||||
[Address(RVA = "0x17E6CC0", Offset = "0x17E56C0", VA = "0x1817E6CC0")]
|
||||
public static TypeParameterId<TNode> New<TNode>(TNode node, string name)
|
||||
{
|
||||
return default(TypeParameterId<TNode>);
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,104 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker
|
||||
{
|
||||
// Token: 0x02000086 RID: 134
|
||||
[Token(Token = "0x2000064")]
|
||||
[StructLayout(0)]
|
||||
public struct TypeParameterId<TNode> : IEquatable<TypeParameterId<TNode>>
|
||||
{
|
||||
// Token: 0x170000AE RID: 174
|
||||
// (get) Token: 0x0600039A RID: 922 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000AB")]
|
||||
public TNode Node
|
||||
{
|
||||
[Token(Token = "0x60002E1")]
|
||||
[Address(RVA = "0x8F00", Offset = "0x8300", VA = "0x180008F00")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000AF RID: 175
|
||||
// (get) Token: 0x0600039B RID: 923 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000AC")]
|
||||
public string Name
|
||||
{
|
||||
[Token(Token = "0x60002E2")]
|
||||
[Address(RVA = "0x8F20", Offset = "0x8320", VA = "0x180008F20")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x0600039C RID: 924 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002E3")]
|
||||
[Address(RVA = "0x112E0", Offset = "0x106E0", VA = "0x1800112E0")]
|
||||
public TypeParameterId(TNode node, string name)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x0600039D RID: 925 RVA: 0x00003704 File Offset: 0x00001904
|
||||
[Token(Token = "0x60002E4")]
|
||||
[Address(RVA = "0x32E3E0", Offset = "0x32D7E0", VA = "0x18032E3E0", Slot = "4")]
|
||||
public bool Equals(TypeParameterId<TNode> other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600039E RID: 926 RVA: 0x0000371C File Offset: 0x0000191C
|
||||
[Token(Token = "0x60002E5")]
|
||||
[Address(RVA = "0x32E400", Offset = "0x32D800", VA = "0x18032E400", Slot = "0")]
|
||||
public override bool Equals(object other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600039F RID: 927 RVA: 0x00003734 File Offset: 0x00001934
|
||||
[Token(Token = "0x60002E6")]
|
||||
[Address(RVA = "0x32E490", Offset = "0x32D890", VA = "0x18032E490", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060003A0 RID: 928 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002E7")]
|
||||
[Address(RVA = "0x32E520", Offset = "0x32D920", VA = "0x18032E520", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003A1 RID: 929 RVA: 0x0000374C File Offset: 0x0000194C
|
||||
[Token(Token = "0x60002E8")]
|
||||
[Address(RVA = "0x32E320", Offset = "0x32D720", VA = "0x18032E320")]
|
||||
public ValueTuple<TNode, string> Destructure()
|
||||
{
|
||||
return default(ValueTuple<TNode, string>);
|
||||
}
|
||||
|
||||
// Token: 0x060003A2 RID: 930 RVA: 0x00003764 File Offset: 0x00001964
|
||||
[Token(Token = "0x60002E9")]
|
||||
[Address(RVA = "0x2424060", Offset = "0x2422A60", VA = "0x182424060")]
|
||||
public static bool operator ==(TypeParameterId<TNode> left, TypeParameterId<TNode> right)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060003A3 RID: 931 RVA: 0x0000377C File Offset: 0x0000197C
|
||||
[Token(Token = "0x60002EA")]
|
||||
[Address(RVA = "0x24240B0", Offset = "0x2422AB0", VA = "0x1824240B0")]
|
||||
public static bool operator !=(TypeParameterId<TNode> left, TypeParameterId<TNode> right)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
}
|
||||
}
|
||||
+22
@@ -0,0 +1,22 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification
|
||||
{
|
||||
// Token: 0x02000088 RID: 136
|
||||
[Token(Token = "0x2000066")]
|
||||
[StructLayout(3, Size = 4)]
|
||||
public enum ApplyConstraintResultKind
|
||||
{
|
||||
// Token: 0x04000183 RID: 387
|
||||
[Token(Token = "0x4000102")]
|
||||
Constraints,
|
||||
// Token: 0x04000184 RID: 388
|
||||
[Token(Token = "0x4000103")]
|
||||
NoOp,
|
||||
// Token: 0x04000185 RID: 389
|
||||
[Token(Token = "0x4000104")]
|
||||
Substitution
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,44 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Types.Checker.Unification.Reference;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification
|
||||
{
|
||||
// Token: 0x02000089 RID: 137
|
||||
[Token(Token = "0x2000067")]
|
||||
[StructLayout(3)]
|
||||
public interface IUnificationArena<TTerm>
|
||||
{
|
||||
// Token: 0x060003A5 RID: 933
|
||||
[Token(Token = "0x60002EC")]
|
||||
[Address(Slot = "0")]
|
||||
int NextId();
|
||||
|
||||
// Token: 0x060003A6 RID: 934
|
||||
[Token(Token = "0x60002ED")]
|
||||
[Address(Slot = "1")]
|
||||
int GetId<T>(Dictionary<T, int> itemToIndex, T item);
|
||||
|
||||
// Token: 0x060003A7 RID: 935
|
||||
[Token(Token = "0x60002EE")]
|
||||
[Address(Slot = "2")]
|
||||
TTerm Arrow(TTerm from, TTerm to);
|
||||
|
||||
// Token: 0x060003A8 RID: 936
|
||||
[Token(Token = "0x60002EF")]
|
||||
[Address(Slot = "3")]
|
||||
TTerm Identifier(int value);
|
||||
|
||||
// Token: 0x060003A9 RID: 937
|
||||
[Token(Token = "0x60002F0")]
|
||||
[Address(Slot = "4")]
|
||||
void Constraint(TTerm lhs, TTerm rhs);
|
||||
|
||||
// Token: 0x060003AA RID: 938
|
||||
[Token(Token = "0x60002F1")]
|
||||
[Address(Slot = "5")]
|
||||
ReferenceSubstitution[] Solve();
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,27 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x02000095 RID: 149
|
||||
[Token(Token = "0x2000070")]
|
||||
[StructLayout(3)]
|
||||
public interface ITerm : IEquatable<ITerm>
|
||||
{
|
||||
// Token: 0x170000C0 RID: 192
|
||||
// (get) Token: 0x060003E0 RID: 992
|
||||
[Token(Token = "0x170000BD")]
|
||||
TermKind Kind
|
||||
{
|
||||
[Token(Token = "0x6000321")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
|
||||
// Token: 0x060003E1 RID: 993
|
||||
[Token(Token = "0x6000322")]
|
||||
[Address(Slot = "1")]
|
||||
ITerm ApplySubstitution(ReferenceSubstitution substitution);
|
||||
}
|
||||
}
|
||||
+114
@@ -0,0 +1,114 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x02000096 RID: 150
|
||||
[Token(Token = "0x2000071")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ReferenceApplyConstraintResult
|
||||
{
|
||||
// Token: 0x170000C1 RID: 193
|
||||
// (get) Token: 0x060003E2 RID: 994 RVA: 0x00003A04 File Offset: 0x00001C04
|
||||
[Token(Token = "0x170000BE")]
|
||||
public ApplyConstraintResultKind Kind
|
||||
{
|
||||
[Token(Token = "0x6000323")]
|
||||
[Address(RVA = "0x3C1C50", Offset = "0x3C0650", VA = "0x1803C1C50")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return ApplyConstraintResultKind.Constraints;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000C2 RID: 194
|
||||
// (get) Token: 0x060003E3 RID: 995 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000BF")]
|
||||
public ReferenceConstraint FirstConstraint
|
||||
{
|
||||
[Token(Token = "0x6000324")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000C3 RID: 195
|
||||
// (get) Token: 0x060003E4 RID: 996 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000C0")]
|
||||
public ReferenceConstraint SecondConstraint
|
||||
{
|
||||
[Token(Token = "0x6000325")]
|
||||
[Address(RVA = "0x3C1220", Offset = "0x3BFC20", VA = "0x1803C1220")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000C4 RID: 196
|
||||
// (get) Token: 0x060003E5 RID: 997 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000C1")]
|
||||
public ReferenceSubstitution Substitution
|
||||
{
|
||||
[Token(Token = "0x6000326")]
|
||||
[Address(RVA = "0x3C1230", Offset = "0x3BFC30", VA = "0x1803C1230")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003E6 RID: 998 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000327")]
|
||||
[Address(RVA = "0x3E46E0", Offset = "0x3E30E0", VA = "0x1803E46E0")]
|
||||
private ReferenceApplyConstraintResult(ApplyConstraintResultKind kind)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003E7 RID: 999 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000328")]
|
||||
[Address(RVA = "0xAB39B0", Offset = "0xAB23B0", VA = "0x180AB39B0")]
|
||||
private ReferenceApplyConstraintResult(ApplyConstraintResultKind kind, ReferenceConstraint first, ReferenceConstraint second)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003E8 RID: 1000 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000329")]
|
||||
[Address(RVA = "0x218DA50", Offset = "0x218C450", VA = "0x18218DA50")]
|
||||
private ReferenceApplyConstraintResult(ApplyConstraintResultKind kind, ReferenceSubstitution substitution)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003E9 RID: 1001 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600032A")]
|
||||
[Address(RVA = "0x218D930", Offset = "0x218C330", VA = "0x18218D930")]
|
||||
public static ReferenceApplyConstraintResult NewConstraints(ReferenceConstraint first, ReferenceConstraint second)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003EA RID: 1002 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600032B")]
|
||||
[Address(RVA = "0x218D9A0", Offset = "0x218C3A0", VA = "0x18218D9A0")]
|
||||
public static ReferenceApplyConstraintResult NewNoOp()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003EB RID: 1003 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600032C")]
|
||||
[Address(RVA = "0x218D9F0", Offset = "0x218C3F0", VA = "0x18218D9F0")]
|
||||
public static ReferenceApplyConstraintResult NewSubstitution(ReferenceSubstitution substitution)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
+85
@@ -0,0 +1,85 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x02000097 RID: 151
|
||||
[Token(Token = "0x2000072")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ReferenceArrow : ITerm, IEquatable<ITerm>
|
||||
{
|
||||
// Token: 0x170000C5 RID: 197
|
||||
// (get) Token: 0x060003EC RID: 1004 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000C2")]
|
||||
public ITerm From
|
||||
{
|
||||
[Token(Token = "0x600032D")]
|
||||
[Address(RVA = "0x3C39A0", Offset = "0x3C23A0", VA = "0x1803C39A0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000C6 RID: 198
|
||||
// (get) Token: 0x060003ED RID: 1005 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000C3")]
|
||||
public ITerm To
|
||||
{
|
||||
[Token(Token = "0x600032E")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000C7 RID: 199
|
||||
// (get) Token: 0x060003EE RID: 1006 RVA: 0x00003A1C File Offset: 0x00001C1C
|
||||
[Token(Token = "0x170000C4")]
|
||||
public TermKind Kind
|
||||
{
|
||||
[Token(Token = "0x600032F")]
|
||||
[Address(RVA = "0x3E2800", Offset = "0x3E1200", VA = "0x1803E2800", Slot = "4")]
|
||||
get
|
||||
{
|
||||
return TermKind.Identifier;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003EF RID: 1007 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000330")]
|
||||
[Address(RVA = "0x218DA90", Offset = "0x218C490", VA = "0x18218DA90", Slot = "5")]
|
||||
public ITerm ApplySubstitution(ReferenceSubstitution substitution)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003F0 RID: 1008 RVA: 0x00003A34 File Offset: 0x00001C34
|
||||
[Token(Token = "0x6000331")]
|
||||
[Address(RVA = "0x218DB40", Offset = "0x218C540", VA = "0x18218DB40", Slot = "6")]
|
||||
public bool Equals(ITerm other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060003F1 RID: 1009 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000332")]
|
||||
[Address(RVA = "0x3C39C0", Offset = "0x3C23C0", VA = "0x1803C39C0")]
|
||||
public ReferenceArrow(ITerm from, ITerm to)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003F2 RID: 1010 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000333")]
|
||||
[Address(RVA = "0x218DCA0", Offset = "0x218C6A0", VA = "0x18218DCA0", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
+60
@@ -0,0 +1,60 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x02000098 RID: 152
|
||||
[Token(Token = "0x2000073")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ReferenceConstraint
|
||||
{
|
||||
// Token: 0x060003F3 RID: 1011 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000334")]
|
||||
[Address(RVA = "0x218DD30", Offset = "0x218C730", VA = "0x18218DD30")]
|
||||
public void ApplySubstitution(ReferenceSubstitution substitution)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003F4 RID: 1012 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000335")]
|
||||
[Address(RVA = "0x218DDB0", Offset = "0x218C7B0", VA = "0x18218DDB0")]
|
||||
public ReferenceApplyConstraintResult Apply()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003F5 RID: 1013 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000336")]
|
||||
[Address(RVA = "0x218DDC0", Offset = "0x218C7C0", VA = "0x18218DDC0")]
|
||||
private static ReferenceApplyConstraintResult Apply(ITerm lhs, ITerm rhs)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003F6 RID: 1014 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000337")]
|
||||
[Address(RVA = "0x3C39C0", Offset = "0x3C23C0", VA = "0x1803C39C0")]
|
||||
public ReferenceConstraint(ITerm lhs, ITerm rhs)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003F7 RID: 1015 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000338")]
|
||||
[Address(RVA = "0x218E0E0", Offset = "0x218CAE0", VA = "0x18218E0E0", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x040001A1 RID: 417
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x10")]
|
||||
[Token(Token = "0x400011B")]
|
||||
private ITerm lhs;
|
||||
|
||||
// Token: 0x040001A2 RID: 418
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x18")]
|
||||
[Token(Token = "0x400011C")]
|
||||
private ITerm rhs;
|
||||
}
|
||||
}
|
||||
+71
@@ -0,0 +1,71 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x02000099 RID: 153
|
||||
[Token(Token = "0x2000074")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ReferenceIdentifier : ITerm, IEquatable<ITerm>
|
||||
{
|
||||
// Token: 0x170000C8 RID: 200
|
||||
// (get) Token: 0x060003F8 RID: 1016 RVA: 0x00003A4C File Offset: 0x00001C4C
|
||||
[Token(Token = "0x170000C5")]
|
||||
public int Value
|
||||
{
|
||||
[Token(Token = "0x6000339")]
|
||||
[Address(RVA = "0x3C1C50", Offset = "0x3C0650", VA = "0x1803C1C50")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000C9 RID: 201
|
||||
// (get) Token: 0x060003F9 RID: 1017 RVA: 0x00003A64 File Offset: 0x00001C64
|
||||
[Token(Token = "0x170000C6")]
|
||||
public TermKind Kind
|
||||
{
|
||||
[Token(Token = "0x600033A")]
|
||||
[Address(RVA = "0x3F8880", Offset = "0x3F7280", VA = "0x1803F8880", Slot = "4")]
|
||||
get
|
||||
{
|
||||
return TermKind.Identifier;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003FA RID: 1018 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600033B")]
|
||||
[Address(RVA = "0x218E120", Offset = "0x218CB20", VA = "0x18218E120", Slot = "5")]
|
||||
public ITerm ApplySubstitution(ReferenceSubstitution substitution)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003FB RID: 1019 RVA: 0x00003A7C File Offset: 0x00001C7C
|
||||
[Token(Token = "0x600033C")]
|
||||
[Address(RVA = "0x218E150", Offset = "0x218CB50", VA = "0x18218E150", Slot = "6")]
|
||||
public bool Equals(ITerm other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060003FC RID: 1020 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600033D")]
|
||||
[Address(RVA = "0x3E46E0", Offset = "0x3E30E0", VA = "0x1803E46E0")]
|
||||
public ReferenceIdentifier(int value)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003FD RID: 1021 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600033E")]
|
||||
[Address(RVA = "0x218E260", Offset = "0x218CC60", VA = "0x18218E260", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
+86
@@ -0,0 +1,86 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Types.Checker.Unification.Value;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x0200009A RID: 154
|
||||
[Token(Token = "0x2000075")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ReferenceSubstitution
|
||||
{
|
||||
// Token: 0x170000CA RID: 202
|
||||
// (get) Token: 0x060003FE RID: 1022 RVA: 0x00003A94 File Offset: 0x00001C94
|
||||
[Token(Token = "0x170000C7")]
|
||||
public int Identifier
|
||||
{
|
||||
[Token(Token = "0x600033F")]
|
||||
[Address(RVA = "0x3C1C50", Offset = "0x3C0650", VA = "0x1803C1C50")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000CB RID: 203
|
||||
// (get) Token: 0x060003FF RID: 1023 RVA: 0x00002098 File Offset: 0x00000298
|
||||
// (set) Token: 0x06000400 RID: 1024 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x170000C8")]
|
||||
public ITerm Value
|
||||
{
|
||||
[Token(Token = "0x6000340")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
[Token(Token = "0x6000341")]
|
||||
[Address(RVA = "0x3C1280", Offset = "0x3BFC80", VA = "0x1803C1280")]
|
||||
[CompilerGenerated]
|
||||
private set
|
||||
{
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000401 RID: 1025 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000342")]
|
||||
[Address(RVA = "0x218E280", Offset = "0x218CC80", VA = "0x18218E280")]
|
||||
public void ApplySubstitution(ReferenceSubstitution substitution)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000402 RID: 1026 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000343")]
|
||||
[Address(RVA = "0x3C1040", Offset = "0x3BFA40", VA = "0x1803C1040")]
|
||||
public ReferenceSubstitution(int identifier, ITerm value)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000403 RID: 1027 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000344")]
|
||||
[Address(RVA = "0x218E440", Offset = "0x218CE40", VA = "0x18218E440")]
|
||||
public ReferenceSubstitution(in Substitution substitution, Term[] terms)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000404 RID: 1028 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000345")]
|
||||
[Address(RVA = "0x218E2E0", Offset = "0x218CCE0", VA = "0x18218E2E0")]
|
||||
private static ITerm FromTermIndex(TermIndex termIndex, Term[] terms)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000405 RID: 1029 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000346")]
|
||||
[Address(RVA = "0x218E3E0", Offset = "0x218CDE0", VA = "0x18218E3E0", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
+95
@@ -0,0 +1,95 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Reference
|
||||
{
|
||||
// Token: 0x0200009B RID: 155
|
||||
[Token(Token = "0x2000076")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ReferenceUnificationArena : IUnificationArena<ITerm>
|
||||
{
|
||||
// Token: 0x170000CC RID: 204
|
||||
// (get) Token: 0x06000406 RID: 1030 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000C9")]
|
||||
private Stack<ReferenceConstraint> Constraints
|
||||
{
|
||||
[Token(Token = "0x6000347")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000407 RID: 1031 RVA: 0x00003AAC File Offset: 0x00001CAC
|
||||
[Token(Token = "0x6000348")]
|
||||
[Address(RVA = "0x218E680", Offset = "0x218D080", VA = "0x18218E680", Slot = "4")]
|
||||
public int NextId()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x06000408 RID: 1032 RVA: 0x00003AC4 File Offset: 0x00001CC4
|
||||
[Token(Token = "0x6000349")]
|
||||
[Address(RVA = "0x1F87510", Offset = "0x1F85F10", VA = "0x181F87510", Slot = "5")]
|
||||
public int GetId<T>(Dictionary<T, int> itemToIndex, T item)
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x06000409 RID: 1033 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600034A")]
|
||||
[Address(RVA = "0x218E490", Offset = "0x218CE90", VA = "0x18218E490", Slot = "6")]
|
||||
public ITerm Arrow(ITerm from, ITerm to)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600040A RID: 1034 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600034B")]
|
||||
[Address(RVA = "0x218E590", Offset = "0x218CF90", VA = "0x18218E590", Slot = "7")]
|
||||
public ITerm Identifier(int value)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600040B RID: 1035 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600034C")]
|
||||
[Address(RVA = "0x218E500", Offset = "0x218CF00", VA = "0x18218E500", Slot = "8")]
|
||||
public void Constraint(ITerm lhs, ITerm rhs)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x0600040C RID: 1036 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600034D")]
|
||||
[Address(RVA = "0x218E690", Offset = "0x218D090", VA = "0x18218E690", Slot = "9")]
|
||||
public ReferenceSubstitution[] Solve()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600040D RID: 1037 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600034E")]
|
||||
[Address(RVA = "0x218E5F0", Offset = "0x218CFF0", VA = "0x18218E5F0")]
|
||||
public static ReferenceUnificationArena New()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600040E RID: 1038 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600034F")]
|
||||
[Address(RVA = "0x218EAA0", Offset = "0x218D4A0", VA = "0x18218EAA0")]
|
||||
public ReferenceUnificationArena()
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x040001A6 RID: 422
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x10")]
|
||||
[Token(Token = "0x4000120")]
|
||||
private int maxId;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,19 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification
|
||||
{
|
||||
// Token: 0x0200008A RID: 138
|
||||
[Token(Token = "0x2000068")]
|
||||
[StructLayout(3, Size = 4)]
|
||||
public enum TermKind
|
||||
{
|
||||
// Token: 0x04000187 RID: 391
|
||||
[Token(Token = "0x4000106")]
|
||||
Identifier,
|
||||
// Token: 0x04000188 RID: 392
|
||||
[Token(Token = "0x4000107")]
|
||||
Arrow
|
||||
}
|
||||
}
|
||||
+147
@@ -0,0 +1,147 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x0200008B RID: 139
|
||||
[Token(Token = "0x2000069")]
|
||||
[StructLayout(0)]
|
||||
public struct ApplyConstraintResult
|
||||
{
|
||||
// Token: 0x170000B0 RID: 176
|
||||
// (get) Token: 0x060003AB RID: 939 RVA: 0x000037AC File Offset: 0x000019AC
|
||||
[Token(Token = "0x170000AD")]
|
||||
public ApplyConstraintResultKind Kind
|
||||
{
|
||||
[Token(Token = "0x60002F2")]
|
||||
[Address(RVA = "0x30FF0", Offset = "0x303F0", VA = "0x180030FF0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return ApplyConstraintResultKind.Constraints;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000B1 RID: 177
|
||||
// (get) Token: 0x060003AC RID: 940 RVA: 0x000037C4 File Offset: 0x000019C4
|
||||
[Token(Token = "0x170000AE")]
|
||||
public Constraint FirstConstraint
|
||||
{
|
||||
[Token(Token = "0x60002F3")]
|
||||
[Address(RVA = "0x8F00", Offset = "0x8300", VA = "0x180008F00")]
|
||||
get
|
||||
{
|
||||
return default(Constraint);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000B2 RID: 178
|
||||
// (get) Token: 0x060003AD RID: 941 RVA: 0x000037DC File Offset: 0x000019DC
|
||||
[Token(Token = "0x170000AF")]
|
||||
public Constraint SecondConstraint
|
||||
{
|
||||
[Token(Token = "0x60002F4")]
|
||||
[Address(RVA = "0x8F20", Offset = "0x8320", VA = "0x180008F20")]
|
||||
get
|
||||
{
|
||||
return default(Constraint);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000B3 RID: 179
|
||||
// (get) Token: 0x060003AE RID: 942 RVA: 0x000037F4 File Offset: 0x000019F4
|
||||
[Token(Token = "0x170000B0")]
|
||||
public Substitution Substitution
|
||||
{
|
||||
[Token(Token = "0x60002F5")]
|
||||
[Address(RVA = "0x8F00", Offset = "0x8300", VA = "0x180008F00")]
|
||||
get
|
||||
{
|
||||
return default(Substitution);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003AF RID: 943 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002F6")]
|
||||
[Address(RVA = "0x29A490", Offset = "0x299890", VA = "0x18029A490")]
|
||||
private ApplyConstraintResult(in Constraint first, in Constraint second)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003B0 RID: 944 RVA: 0x0000380C File Offset: 0x00001A0C
|
||||
[Token(Token = "0x60002F7")]
|
||||
[Address(RVA = "0x2189C40", Offset = "0x2188640", VA = "0x182189C40")]
|
||||
public static ApplyConstraintResult NewConstraints(in Constraint first, in Constraint second)
|
||||
{
|
||||
return default(ApplyConstraintResult);
|
||||
}
|
||||
|
||||
// Token: 0x060003B1 RID: 945 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002F8")]
|
||||
[Address(RVA = "0x29A460", Offset = "0x299860", VA = "0x18029A460")]
|
||||
private ApplyConstraintResult(in Substitution substitution)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003B2 RID: 946 RVA: 0x00003824 File Offset: 0x00001A24
|
||||
[Token(Token = "0x60002F9")]
|
||||
[Address(RVA = "0x2189CF0", Offset = "0x21886F0", VA = "0x182189CF0")]
|
||||
public static ApplyConstraintResult NewSubstitution(in Substitution substitution)
|
||||
{
|
||||
return default(ApplyConstraintResult);
|
||||
}
|
||||
|
||||
// Token: 0x060003B3 RID: 947 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002FA")]
|
||||
[Address(RVA = "0x29A4A0", Offset = "0x2998A0", VA = "0x18029A4A0")]
|
||||
private ApplyConstraintResult(ApplyConstraintResultKind kind)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003B4 RID: 948 RVA: 0x0000383C File Offset: 0x00001A3C
|
||||
[Token(Token = "0x60002FB")]
|
||||
[Address(RVA = "0x2189CD0", Offset = "0x21886D0", VA = "0x182189CD0")]
|
||||
public static ApplyConstraintResult NewNoOp()
|
||||
{
|
||||
return default(ApplyConstraintResult);
|
||||
}
|
||||
|
||||
// Token: 0x04000189 RID: 393
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x0")]
|
||||
[Token(Token = "0x4000108")]
|
||||
private readonly ApplyConstraintResult.Impl impl;
|
||||
|
||||
// Token: 0x0200008C RID: 140
|
||||
[Token(Token = "0x20002E9")]
|
||||
[StructLayout(2)]
|
||||
private struct Impl
|
||||
{
|
||||
// Token: 0x060003B5 RID: 949 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6001B1A")]
|
||||
[Address(RVA = "0x29A590", Offset = "0x299990", VA = "0x18029A590")]
|
||||
public Impl(in Constraint first, in Constraint second)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003B6 RID: 950 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6001B1B")]
|
||||
[Address(RVA = "0x29A5A0", Offset = "0x2999A0", VA = "0x18029A5A0")]
|
||||
public Impl(in Substitution substitution)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x0400018B RID: 395
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x0")]
|
||||
[Token(Token = "0x40008C3")]
|
||||
[Attribute(Name = "TupleElementNamesAttribute", RVA = "0xD03E0", Offset = "0xCF7E0")]
|
||||
public readonly ValueTuple<Constraint, Constraint> constraints;
|
||||
|
||||
// Token: 0x0400018C RID: 396
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x0")]
|
||||
[Token(Token = "0x40008C4")]
|
||||
public readonly Substitution substitution;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,56 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x0200008D RID: 141
|
||||
[Token(Token = "0x200006A")]
|
||||
[StructLayout(0, Size = 8)]
|
||||
public struct Arrow
|
||||
{
|
||||
// Token: 0x170000B4 RID: 180
|
||||
// (get) Token: 0x060003B7 RID: 951 RVA: 0x00003854 File Offset: 0x00001A54
|
||||
[Token(Token = "0x170000B1")]
|
||||
public TermIndex From
|
||||
{
|
||||
[Token(Token = "0x60002FC")]
|
||||
[Address(RVA = "0x2D90", Offset = "0x2190", VA = "0x180002D90")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000B5 RID: 181
|
||||
// (get) Token: 0x060003B8 RID: 952 RVA: 0x0000386C File Offset: 0x00001A6C
|
||||
[Token(Token = "0x170000B2")]
|
||||
public TermIndex To
|
||||
{
|
||||
[Token(Token = "0x60002FD")]
|
||||
[Address(RVA = "0xFBE0", Offset = "0xEFE0", VA = "0x18000FBE0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003B9 RID: 953 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002FE")]
|
||||
[Address(RVA = "0x2180", Offset = "0x1580", VA = "0x180002180")]
|
||||
public Arrow(TermIndex from, TermIndex to)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003BA RID: 954 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002FF")]
|
||||
[Address(RVA = "0x29A4D0", Offset = "0x2998D0", VA = "0x18029A4D0", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,64 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x0200008E RID: 142
|
||||
[Token(Token = "0x200006B")]
|
||||
[StructLayout(0, Size = 8)]
|
||||
public struct Constraint
|
||||
{
|
||||
// Token: 0x170000B6 RID: 182
|
||||
// (get) Token: 0x060003BB RID: 955 RVA: 0x00003884 File Offset: 0x00001A84
|
||||
[Token(Token = "0x170000B3")]
|
||||
public TermIndex Lhs
|
||||
{
|
||||
[Token(Token = "0x6000300")]
|
||||
[Address(RVA = "0x2D90", Offset = "0x2190", VA = "0x180002D90")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000B7 RID: 183
|
||||
// (get) Token: 0x060003BC RID: 956 RVA: 0x0000389C File Offset: 0x00001A9C
|
||||
[Token(Token = "0x170000B4")]
|
||||
public TermIndex Rhs
|
||||
{
|
||||
[Token(Token = "0x6000301")]
|
||||
[Address(RVA = "0xFBE0", Offset = "0xEFE0", VA = "0x18000FBE0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003BD RID: 957 RVA: 0x000038B4 File Offset: 0x00001AB4
|
||||
[Token(Token = "0x6000302")]
|
||||
[Address(RVA = "0x29A4E0", Offset = "0x2998E0", VA = "0x18029A4E0")]
|
||||
public ApplyConstraintResult Apply(Term[] terms)
|
||||
{
|
||||
return default(ApplyConstraintResult);
|
||||
}
|
||||
|
||||
// Token: 0x060003BE RID: 958 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000303")]
|
||||
[Address(RVA = "0x2180", Offset = "0x1580", VA = "0x180002180")]
|
||||
public Constraint(TermIndex lhs, TermIndex rhs)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003BF RID: 959 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000304")]
|
||||
[Address(RVA = "0x29A510", Offset = "0x299910", VA = "0x18029A510", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,56 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x0200008F RID: 143
|
||||
[Token(Token = "0x200006C")]
|
||||
[StructLayout(0, Size = 8)]
|
||||
public struct Substitution
|
||||
{
|
||||
// Token: 0x170000B8 RID: 184
|
||||
// (get) Token: 0x060003C0 RID: 960 RVA: 0x000038CC File Offset: 0x00001ACC
|
||||
[Token(Token = "0x170000B5")]
|
||||
public int Identifier
|
||||
{
|
||||
[Token(Token = "0x6000305")]
|
||||
[Address(RVA = "0x2D90", Offset = "0x2190", VA = "0x180002D90")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000B9 RID: 185
|
||||
// (get) Token: 0x060003C1 RID: 961 RVA: 0x000038E4 File Offset: 0x00001AE4
|
||||
[Token(Token = "0x170000B6")]
|
||||
public TermIndex Value
|
||||
{
|
||||
[Token(Token = "0x6000306")]
|
||||
[Address(RVA = "0xFBE0", Offset = "0xEFE0", VA = "0x18000FBE0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003C2 RID: 962 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000307")]
|
||||
[Address(RVA = "0x2180", Offset = "0x1580", VA = "0x180002180")]
|
||||
public Substitution(int identifier, TermIndex value)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003C3 RID: 963 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000308")]
|
||||
[Address(RVA = "0x29A600", Offset = "0x299A00", VA = "0x18029A600", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,126 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x02000090 RID: 144
|
||||
[Token(Token = "0x200006D")]
|
||||
[StructLayout(0, Size = 12)]
|
||||
public struct Term
|
||||
{
|
||||
// Token: 0x170000BA RID: 186
|
||||
// (get) Token: 0x060003C4 RID: 964 RVA: 0x000038FC File Offset: 0x00001AFC
|
||||
[Token(Token = "0x170000B7")]
|
||||
public TermKind Kind
|
||||
{
|
||||
[Token(Token = "0x6000309")]
|
||||
[Address(RVA = "0x8500", Offset = "0x7900", VA = "0x180008500")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return TermKind.Identifier;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000BB RID: 187
|
||||
// (get) Token: 0x060003C5 RID: 965 RVA: 0x00003914 File Offset: 0x00001B14
|
||||
[Token(Token = "0x170000B8")]
|
||||
public Arrow Arrow
|
||||
{
|
||||
[Token(Token = "0x600030A")]
|
||||
[Address(RVA = "0x8F00", Offset = "0x8300", VA = "0x180008F00")]
|
||||
get
|
||||
{
|
||||
return default(Arrow);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000BC RID: 188
|
||||
// (get) Token: 0x060003C6 RID: 966 RVA: 0x0000392C File Offset: 0x00001B2C
|
||||
[Token(Token = "0x170000B9")]
|
||||
public int Identifier
|
||||
{
|
||||
[Token(Token = "0x600030B")]
|
||||
[Address(RVA = "0x2D90", Offset = "0x2190", VA = "0x180002D90")]
|
||||
get
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003C7 RID: 967 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600030C")]
|
||||
[Address(RVA = "0x29A7E0", Offset = "0x299BE0", VA = "0x18029A7E0")]
|
||||
private Term(in Arrow arrow)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003C8 RID: 968 RVA: 0x00003944 File Offset: 0x00001B44
|
||||
[Token(Token = "0x600030D")]
|
||||
[Address(RVA = "0x21940F0", Offset = "0x2192AF0", VA = "0x1821940F0")]
|
||||
public static Term NewArrow(in Arrow arrow)
|
||||
{
|
||||
return default(Term);
|
||||
}
|
||||
|
||||
// Token: 0x060003C9 RID: 969 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600030E")]
|
||||
[Address(RVA = "0x29A7F0", Offset = "0x299BF0", VA = "0x18029A7F0")]
|
||||
private Term(int identifier)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003CA RID: 970 RVA: 0x0000395C File Offset: 0x00001B5C
|
||||
[Token(Token = "0x600030F")]
|
||||
[Address(RVA = "0x2194110", Offset = "0x2192B10", VA = "0x182194110")]
|
||||
public static Term NewIdentifier(int identifier)
|
||||
{
|
||||
return default(Term);
|
||||
}
|
||||
|
||||
// Token: 0x060003CB RID: 971 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000310")]
|
||||
[Address(RVA = "0x29A6F0", Offset = "0x299AF0", VA = "0x18029A6F0", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x04000193 RID: 403
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x0")]
|
||||
[Token(Token = "0x4000110")]
|
||||
private readonly Term.Impl impl;
|
||||
|
||||
// Token: 0x02000091 RID: 145
|
||||
[Token(Token = "0x20002EA")]
|
||||
[StructLayout(2)]
|
||||
private struct Impl
|
||||
{
|
||||
// Token: 0x060003CC RID: 972 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6001B1C")]
|
||||
[Address(RVA = "0x29A5C0", Offset = "0x2999C0", VA = "0x18029A5C0")]
|
||||
public Impl(in Arrow arrow)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003CD RID: 973 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6001B1D")]
|
||||
[Address(RVA = "0x29A5D0", Offset = "0x2999D0", VA = "0x18029A5D0")]
|
||||
public Impl(int identifier)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x04000195 RID: 405
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x0")]
|
||||
[Token(Token = "0x40008C5")]
|
||||
public readonly Arrow arrow;
|
||||
|
||||
// Token: 0x04000196 RID: 406
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x0")]
|
||||
[Token(Token = "0x40008C6")]
|
||||
public readonly int identifier;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,50 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x02000092 RID: 146
|
||||
[Token(Token = "0x200006E")]
|
||||
[StructLayout(0, Size = 4)]
|
||||
public struct TermIndex
|
||||
{
|
||||
// Token: 0x170000BD RID: 189
|
||||
// (get) Token: 0x060003CE RID: 974 RVA: 0x00003974 File Offset: 0x00001B74
|
||||
[Token(Token = "0x170000BA")]
|
||||
private int Value
|
||||
{
|
||||
[Token(Token = "0x6000311")]
|
||||
[Address(RVA = "0x2D90", Offset = "0x2190", VA = "0x180002D90")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003CF RID: 975 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000312")]
|
||||
[Address(RVA = "0x2DB0", Offset = "0x21B0", VA = "0x180002DB0")]
|
||||
public TermIndex(int value)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003D0 RID: 976 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000313")]
|
||||
[Address(RVA = "0x29A690", Offset = "0x299A90", VA = "0x18029A690", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003D1 RID: 977 RVA: 0x0000398C File Offset: 0x00001B8C
|
||||
[Token(Token = "0x6000314")]
|
||||
[Address(RVA = "0x29A680", Offset = "0x299A80", VA = "0x18029A680")]
|
||||
public Term GetTerm(Term[] terms)
|
||||
{
|
||||
return default(Term);
|
||||
}
|
||||
}
|
||||
}
|
||||
+119
@@ -0,0 +1,119 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Types.Checker.Unification.Reference;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Checker.Unification.Value
|
||||
{
|
||||
// Token: 0x02000093 RID: 147
|
||||
[Token(Token = "0x200006F")]
|
||||
[StructLayout(3)]
|
||||
public sealed class UnificationArena : IUnificationArena<TermIndex>
|
||||
{
|
||||
// Token: 0x170000BE RID: 190
|
||||
// (get) Token: 0x060003D2 RID: 978 RVA: 0x00002098 File Offset: 0x00000298
|
||||
// (set) Token: 0x060003D3 RID: 979 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x170000BB")]
|
||||
private List<Term> Terms
|
||||
{
|
||||
[Token(Token = "0x6000315")]
|
||||
[Address(RVA = "0x3C39A0", Offset = "0x3C23A0", VA = "0x1803C39A0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
[Token(Token = "0x6000316")]
|
||||
[Address(RVA = "0x3C39B0", Offset = "0x3C23B0", VA = "0x1803C39B0")]
|
||||
[CompilerGenerated]
|
||||
set
|
||||
{
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000BF RID: 191
|
||||
// (get) Token: 0x060003D4 RID: 980 RVA: 0x00002098 File Offset: 0x00000298
|
||||
// (set) Token: 0x060003D5 RID: 981 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x170000BC")]
|
||||
private Stack<Constraint> Constraints
|
||||
{
|
||||
[Token(Token = "0x6000317")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
[Token(Token = "0x6000318")]
|
||||
[Address(RVA = "0x3C1280", Offset = "0x3BFC80", VA = "0x1803C1280")]
|
||||
[CompilerGenerated]
|
||||
set
|
||||
{
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060003D6 RID: 982 RVA: 0x000039A4 File Offset: 0x00001BA4
|
||||
[Token(Token = "0x6000319")]
|
||||
[Address(RVA = "0x219C9D0", Offset = "0x219B3D0", VA = "0x18219C9D0", Slot = "4")]
|
||||
public int NextId()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060003D7 RID: 983 RVA: 0x000039BC File Offset: 0x00001BBC
|
||||
[Token(Token = "0x600031A")]
|
||||
[Address(RVA = "0x1F881F0", Offset = "0x1F86BF0", VA = "0x181F881F0", Slot = "5")]
|
||||
public int GetId<T>(Dictionary<T, int> itemToIndex, T item)
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060003D8 RID: 984 RVA: 0x000039D4 File Offset: 0x00001BD4
|
||||
[Token(Token = "0x600031B")]
|
||||
[Address(RVA = "0x219C830", Offset = "0x219B230", VA = "0x18219C830", Slot = "6")]
|
||||
public TermIndex Arrow(TermIndex from, TermIndex to)
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
|
||||
// Token: 0x060003D9 RID: 985 RVA: 0x000039EC File Offset: 0x00001BEC
|
||||
[Token(Token = "0x600031C")]
|
||||
[Address(RVA = "0x4577C0", Offset = "0x4561C0", VA = "0x1804577C0", Slot = "7")]
|
||||
public TermIndex Identifier(int value)
|
||||
{
|
||||
return default(TermIndex);
|
||||
}
|
||||
|
||||
// Token: 0x060003DA RID: 986 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600031D")]
|
||||
[Address(RVA = "0x219C8C0", Offset = "0x219B2C0", VA = "0x18219C8C0", Slot = "8")]
|
||||
public void Constraint(TermIndex lhs, TermIndex rhs)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060003DB RID: 987 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600031E")]
|
||||
[Address(RVA = "0x219CA50", Offset = "0x219B450", VA = "0x18219CA50", Slot = "9")]
|
||||
public ReferenceSubstitution[] Solve()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003DC RID: 988 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600031F")]
|
||||
[Address(RVA = "0x219C930", Offset = "0x219B330", VA = "0x18219C930")]
|
||||
public static UnificationArena New()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060003DD RID: 989 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000320")]
|
||||
[Address(RVA = "0x3C1670", Offset = "0x3C0070", VA = "0x1803C1670")]
|
||||
public UnificationArena()
|
||||
{
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,178 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000068 RID: 104
|
||||
[Token(Token = "0x200004E")]
|
||||
[StructLayout(3)]
|
||||
public class CircuitType : IEquatable<CircuitType>
|
||||
{
|
||||
// Token: 0x17000088 RID: 136
|
||||
// (get) Token: 0x060002C3 RID: 707 RVA: 0x00002FE4 File Offset: 0x000011E4
|
||||
[Token(Token = "0x17000085")]
|
||||
public TypeKind Kind
|
||||
{
|
||||
[Token(Token = "0x6000231")]
|
||||
[Address(RVA = "0x3C1C50", Offset = "0x3C0650", VA = "0x1803C1C50")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return TypeKind.Any;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x17000089 RID: 137
|
||||
// (get) Token: 0x060002C4 RID: 708 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000086")]
|
||||
public virtual CircuitType OriginalType
|
||||
{
|
||||
[Token(Token = "0x6000232")]
|
||||
[Address(RVA = "0x518E70", Offset = "0x517870", VA = "0x180518E70", Slot = "5")]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700008A RID: 138
|
||||
// (get) Token: 0x060002C5 RID: 709 RVA: 0x00002FFC File Offset: 0x000011FC
|
||||
// (set) Token: 0x060002C6 RID: 710 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x17000087")]
|
||||
protected int CachedHashCode
|
||||
{
|
||||
[Token(Token = "0x6000233")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
[Token(Token = "0x6000234")]
|
||||
[Address(RVA = "0x55D5D0", Offset = "0x55BFD0", VA = "0x18055D5D0")]
|
||||
[CompilerGenerated]
|
||||
set
|
||||
{
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002C7 RID: 711 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000235")]
|
||||
[Address(RVA = "0x218A840", Offset = "0x2189240", VA = "0x18218A840")]
|
||||
public CircuitType(TypeKind kind)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002C8 RID: 712 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000236")]
|
||||
[Address(RVA = "0x518E70", Offset = "0x517870", VA = "0x180518E70", Slot = "6")]
|
||||
public virtual CircuitType ApplyTypeParameters(IReadOnlyDictionary<string, CircuitType> typeSubstitutions)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x1700008B RID: 139
|
||||
// (get) Token: 0x060002C9 RID: 713 RVA: 0x00003014 File Offset: 0x00001214
|
||||
[Token(Token = "0x17000088")]
|
||||
public virtual bool ReferencesTypeParameters
|
||||
{
|
||||
[Token(Token = "0x6000237")]
|
||||
[Address(RVA = "0x413970", Offset = "0x412370", VA = "0x180413970", Slot = "7")]
|
||||
get
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002CA RID: 714 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000238")]
|
||||
[Address(RVA = "0x218A400", Offset = "0x2188E00", VA = "0x18218A400", Slot = "8")]
|
||||
public virtual void CrawlAppliedTypeParameters(Action<CircuitType> onPrimitiveVisit, Action<TypeParameterReferenceType> onReferenceVisit, Action<AppliedGenericType> onAppliedEntry, Action<AppliedGenericType> onAppliedExit)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002CB RID: 715 RVA: 0x0000302C File Offset: 0x0000122C
|
||||
[Token(Token = "0x6000239")]
|
||||
[Address(RVA = "0xA9C8E0", Offset = "0xA9B2E0", VA = "0x180A9C8E0")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002CC RID: 716 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600023A")]
|
||||
[Address(RVA = "0x218A740", Offset = "0x2189140", VA = "0x18218A740", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002CD RID: 717 RVA: 0x00003044 File Offset: 0x00001244
|
||||
[Token(Token = "0x600023B")]
|
||||
[Address(RVA = "0x218A650", Offset = "0x2189050", VA = "0x18218A650", Slot = "9")]
|
||||
public virtual bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002CE RID: 718 RVA: 0x0000305C File Offset: 0x0000125C
|
||||
[Token(Token = "0x600023C")]
|
||||
[Address(RVA = "0x218A600", Offset = "0x2189000", VA = "0x18218A600", Slot = "0")]
|
||||
public override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002CF RID: 719 RVA: 0x00003074 File Offset: 0x00001274
|
||||
[Token(Token = "0x600023D")]
|
||||
[Address(RVA = "0x218A880", Offset = "0x2189280", VA = "0x18218A880")]
|
||||
public static bool operator ==(CircuitType lhs, CircuitType rhs)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002D0 RID: 720 RVA: 0x0000308C File Offset: 0x0000128C
|
||||
[Token(Token = "0x600023E")]
|
||||
[Address(RVA = "0x218A8A0", Offset = "0x21892A0", VA = "0x18218A8A0")]
|
||||
public static bool operator !=(CircuitType lhs, CircuitType rhs)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002D1 RID: 721 RVA: 0x000030A4 File Offset: 0x000012A4
|
||||
[Token(Token = "0x600023F")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002D2 RID: 722 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000240")]
|
||||
[Address(RVA = "0x218A6D0", Offset = "0x21890D0", VA = "0x18218A6D0", Slot = "10")]
|
||||
public virtual CircuitTypeData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002D3 RID: 723 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000241")]
|
||||
[Address(RVA = "0x218A460", Offset = "0x2188E60", VA = "0x18218A460")]
|
||||
public static CircuitType DeserializeFromProtobuf(CircuitTypeData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x04000131 RID: 305
|
||||
[Token(Token = "0x40000D4")]
|
||||
public const int INITIAL_SERIALIZATION_VERSION = 0;
|
||||
|
||||
// Token: 0x04000132 RID: 306
|
||||
[Token(Token = "0x40000D5")]
|
||||
public const int CURRENT_SERIALIZATION_VERSION = 0;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,168 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000069 RID: 105
|
||||
[Token(Token = "0x200004F")]
|
||||
[StructLayout(3)]
|
||||
public sealed class ClassType : TypeParameterScopeType, IEquatable<ClassType>
|
||||
{
|
||||
// Token: 0x1700008C RID: 140
|
||||
// (get) Token: 0x060002D4 RID: 724 RVA: 0x000030BC File Offset: 0x000012BC
|
||||
[Token(Token = "0x17000089")]
|
||||
public Guid Name
|
||||
{
|
||||
[Token(Token = "0x6000242")]
|
||||
[Address(RVA = "0x75DFF0", Offset = "0x75C9F0", VA = "0x18075DFF0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(Guid);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700008D RID: 141
|
||||
// (get) Token: 0x060002D5 RID: 725 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700008A")]
|
||||
public IReadOnlyDictionary<string, Property> Properties
|
||||
{
|
||||
[Token(Token = "0x6000243")]
|
||||
[Address(RVA = "0x3C1250", Offset = "0x3BFC50", VA = "0x1803C1250")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700008E RID: 142
|
||||
// (get) Token: 0x060002D6 RID: 726 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700008B")]
|
||||
public IReadOnlyDictionary<string, FunctionType> Functions
|
||||
{
|
||||
[Token(Token = "0x6000244")]
|
||||
[Address(RVA = "0x3EE8E0", Offset = "0x3ED2E0", VA = "0x1803EE8E0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002D7 RID: 727 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000245")]
|
||||
[Address(RVA = "0x218B700", Offset = "0x218A100", VA = "0x18218B700")]
|
||||
public ClassType([Optional] Guid? name, [Optional] IEnumerable<TypeParameterType> typeParameters, [Optional] IEnumerable<KeyValuePair<string, Property>> properties, [Optional] IEnumerable<KeyValuePair<string, FunctionType>> functions)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002D8 RID: 728 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000246")]
|
||||
[Address(RVA = "0x218B570", Offset = "0x2189F70", VA = "0x18218B570", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002D9 RID: 729 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000247")]
|
||||
[Address(RVA = "0x218A8E0", Offset = "0x21892E0", VA = "0x18218A8E0")]
|
||||
private string ClassNameToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002DA RID: 730 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000248")]
|
||||
[Address(RVA = "0x218B630", Offset = "0x218A030", VA = "0x18218B630")]
|
||||
private static string TypeParametersToString(IEnumerable<CircuitType> typeParameters)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002DB RID: 731 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000249")]
|
||||
[Address(RVA = "0x218AF20", Offset = "0x2189920", VA = "0x18218AF20")]
|
||||
private string FieldsToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002DC RID: 732 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600024A")]
|
||||
[Address(RVA = "0x218B5D0", Offset = "0x2189FD0", VA = "0x18218B5D0", Slot = "11")]
|
||||
public sealed override string ToString(IReadOnlyList<CircuitType> typeParamaterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002DD RID: 733 RVA: 0x000030D4 File Offset: 0x000012D4
|
||||
[Token(Token = "0x600024B")]
|
||||
[Address(RVA = "0x218B6B0", Offset = "0x218A0B0", VA = "0x18218B6B0", Slot = "12")]
|
||||
public override bool TypeParamsEqual(IReadOnlyList<CircuitType> self, IReadOnlyList<CircuitType> other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002DE RID: 734 RVA: 0x000030EC File Offset: 0x000012EC
|
||||
[Token(Token = "0x600024C")]
|
||||
[Address(RVA = "0x218AE10", Offset = "0x2189810", VA = "0x18218AE10", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002DF RID: 735 RVA: 0x00003104 File Offset: 0x00001304
|
||||
[Token(Token = "0x600024D")]
|
||||
[Address(RVA = "0x218AD40", Offset = "0x2189740", VA = "0x18218AD40", Slot = "13")]
|
||||
public bool Equals(ClassType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002E0 RID: 736 RVA: 0x0000311C File Offset: 0x0000131C
|
||||
[Token(Token = "0x600024E")]
|
||||
[Address(RVA = "0x218ACF0", Offset = "0x21896F0", VA = "0x18218ACF0", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002E1 RID: 737 RVA: 0x00003134 File Offset: 0x00001334
|
||||
[Token(Token = "0x600024F")]
|
||||
[Address(RVA = "0x218B190", Offset = "0x2189B90", VA = "0x18218B190")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002E2 RID: 738 RVA: 0x0000314C File Offset: 0x0000134C
|
||||
[Token(Token = "0x6000250")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002E3 RID: 739 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000251")]
|
||||
[Address(RVA = "0x218B200", Offset = "0x2189C00", VA = "0x18218B200", Slot = "10")]
|
||||
public sealed override CircuitTypeData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002E4 RID: 740 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000252")]
|
||||
[Address(RVA = "0x218A9C0", Offset = "0x21893C0", VA = "0x18218A9C0")]
|
||||
public static ClassType DeserializeFromProtobuf(ClassTypeData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,83 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x0200006B RID: 107
|
||||
[Token(Token = "0x2000050")]
|
||||
[StructLayout(3)]
|
||||
public sealed class FunctionInput : IEquatable<FunctionInput>
|
||||
{
|
||||
// Token: 0x1700008F RID: 143
|
||||
// (get) Token: 0x060002EF RID: 751 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700008C")]
|
||||
public CircuitType Type
|
||||
{
|
||||
[Token(Token = "0x6000253")]
|
||||
[Address(RVA = "0x3C39A0", Offset = "0x3C23A0", VA = "0x1803C39A0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002F0 RID: 752 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000254")]
|
||||
[Address(RVA = "0x3C3A30", Offset = "0x3C2430", VA = "0x1803C3A30")]
|
||||
public FunctionInput(CircuitType type)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002F1 RID: 753 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000255")]
|
||||
[Address(RVA = "0x6E4D80", Offset = "0x6E3780", VA = "0x1806E4D80", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002F2 RID: 754 RVA: 0x000031C4 File Offset: 0x000013C4
|
||||
[Token(Token = "0x6000256")]
|
||||
[Address(RVA = "0x218BCE0", Offset = "0x218A6E0", VA = "0x18218BCE0", Slot = "4")]
|
||||
public bool Equals(FunctionInput other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002F3 RID: 755 RVA: 0x000031DC File Offset: 0x000013DC
|
||||
[Token(Token = "0x6000257")]
|
||||
[Address(RVA = "0x218BD20", Offset = "0x218A720", VA = "0x18218BD20", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002F4 RID: 756 RVA: 0x000031F4 File Offset: 0x000013F4
|
||||
[Token(Token = "0x6000258")]
|
||||
[Address(RVA = "0x528AC0", Offset = "0x5274C0", VA = "0x180528AC0", Slot = "2")]
|
||||
public sealed override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002F5 RID: 757 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000259")]
|
||||
[Address(RVA = "0x218BD70", Offset = "0x218A770", VA = "0x18218BD70")]
|
||||
public FunctionInputData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002F6 RID: 758 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600025A")]
|
||||
[Address(RVA = "0x218BC70", Offset = "0x218A670", VA = "0x18218BC70")]
|
||||
public static FunctionInput DeserializeFromProtobuf(FunctionInputData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,83 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x0200006C RID: 108
|
||||
[Token(Token = "0x2000051")]
|
||||
[StructLayout(3)]
|
||||
public sealed class FunctionOutput : IEquatable<FunctionOutput>
|
||||
{
|
||||
// Token: 0x17000090 RID: 144
|
||||
// (get) Token: 0x060002F7 RID: 759 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700008D")]
|
||||
public CircuitType Type
|
||||
{
|
||||
[Token(Token = "0x600025B")]
|
||||
[Address(RVA = "0x3C39A0", Offset = "0x3C23A0", VA = "0x1803C39A0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x060002F8 RID: 760 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600025C")]
|
||||
[Address(RVA = "0x3C3A30", Offset = "0x3C2430", VA = "0x1803C3A30")]
|
||||
public FunctionOutput(CircuitType type)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x060002F9 RID: 761 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600025D")]
|
||||
[Address(RVA = "0x6E4D80", Offset = "0x6E3780", VA = "0x1806E4D80", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002FA RID: 762 RVA: 0x0000320C File Offset: 0x0000140C
|
||||
[Token(Token = "0x600025E")]
|
||||
[Address(RVA = "0x218BCE0", Offset = "0x218A6E0", VA = "0x18218BCE0", Slot = "4")]
|
||||
public bool Equals(FunctionOutput other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002FB RID: 763 RVA: 0x00003224 File Offset: 0x00001424
|
||||
[Token(Token = "0x600025F")]
|
||||
[Address(RVA = "0x218BE60", Offset = "0x218A860", VA = "0x18218BE60", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x060002FC RID: 764 RVA: 0x0000323C File Offset: 0x0000143C
|
||||
[Token(Token = "0x6000260")]
|
||||
[Address(RVA = "0x528AC0", Offset = "0x5274C0", VA = "0x180528AC0", Slot = "2")]
|
||||
public sealed override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x060002FD RID: 765 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000261")]
|
||||
[Address(RVA = "0x218BEB0", Offset = "0x218A8B0", VA = "0x18218BEB0")]
|
||||
public FunctionOutputData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x060002FE RID: 766 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000262")]
|
||||
[Address(RVA = "0x218BDF0", Offset = "0x218A7F0", VA = "0x18218BDF0")]
|
||||
public static FunctionOutput DeserializeFromProtobuf(FunctionOutputData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,146 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x0200006D RID: 109
|
||||
[Token(Token = "0x2000052")]
|
||||
[StructLayout(3)]
|
||||
public sealed class FunctionType : TypeParameterScopeType, IEquatable<FunctionType>
|
||||
{
|
||||
// Token: 0x17000091 RID: 145
|
||||
// (get) Token: 0x060002FF RID: 767 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700008E")]
|
||||
public IReadOnlyList<KeyValuePair<string, FunctionInput>> Inputs
|
||||
{
|
||||
[Token(Token = "0x6000263")]
|
||||
[Address(RVA = "0x3C1220", Offset = "0x3BFC20", VA = "0x1803C1220")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x17000092 RID: 146
|
||||
// (get) Token: 0x06000300 RID: 768 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700008F")]
|
||||
public IReadOnlyList<KeyValuePair<string, FunctionOutput>> Outputs
|
||||
{
|
||||
[Token(Token = "0x6000264")]
|
||||
[Address(RVA = "0x3C1230", Offset = "0x3BFC30", VA = "0x1803C1230")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000301 RID: 769 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000265")]
|
||||
[Address(RVA = "0x218CCC0", Offset = "0x218B6C0", VA = "0x18218CCC0")]
|
||||
public FunctionType(IEnumerable<TypeParameterType> typeParameters, IEnumerable<KeyValuePair<string, FunctionInput>> inputs, IEnumerable<KeyValuePair<string, FunctionOutput>> outputs)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000302 RID: 770 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000266")]
|
||||
[Address(RVA = "0x218CA10", Offset = "0x218B410", VA = "0x18218CA10", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000303 RID: 771 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000267")]
|
||||
[Address(RVA = "0x517AF0", Offset = "0x5164F0", VA = "0x180517AF0", Slot = "11")]
|
||||
public sealed override string ToString(IReadOnlyList<CircuitType> typeParameterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000304 RID: 772 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000268")]
|
||||
[Address(RVA = "0x218C460", Offset = "0x218AE60", VA = "0x18218C460")]
|
||||
private string InputsToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000305 RID: 773 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000269")]
|
||||
[Address(RVA = "0x218C590", Offset = "0x218AF90", VA = "0x18218C590")]
|
||||
private string OutputsToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000306 RID: 774 RVA: 0x00003254 File Offset: 0x00001454
|
||||
[Token(Token = "0x600026A")]
|
||||
[Address(RVA = "0x218CC70", Offset = "0x218B670", VA = "0x18218CC70", Slot = "12")]
|
||||
public override bool TypeParamsEqual(IReadOnlyList<CircuitType> self, IReadOnlyList<CircuitType> other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000307 RID: 775 RVA: 0x0000326C File Offset: 0x0000146C
|
||||
[Token(Token = "0x600026B")]
|
||||
[Address(RVA = "0x218C2A0", Offset = "0x218ACA0", VA = "0x18218C2A0", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000308 RID: 776 RVA: 0x00003284 File Offset: 0x00001484
|
||||
[Token(Token = "0x600026C")]
|
||||
[Address(RVA = "0x218C370", Offset = "0x218AD70", VA = "0x18218C370", Slot = "13")]
|
||||
public bool Equals(FunctionType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000309 RID: 777 RVA: 0x0000329C File Offset: 0x0000149C
|
||||
[Token(Token = "0x600026D")]
|
||||
[Address(RVA = "0x218C250", Offset = "0x218AC50", VA = "0x18218C250", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600030A RID: 778 RVA: 0x000032B4 File Offset: 0x000014B4
|
||||
[Token(Token = "0x600026E")]
|
||||
[Address(RVA = "0x218C400", Offset = "0x218AE00", VA = "0x18218C400")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x0600030B RID: 779 RVA: 0x000032CC File Offset: 0x000014CC
|
||||
[Token(Token = "0x600026F")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x0600030C RID: 780 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000270")]
|
||||
[Address(RVA = "0x218C6C0", Offset = "0x218B0C0", VA = "0x18218C6C0", Slot = "10")]
|
||||
public sealed override CircuitTypeData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600030D RID: 781 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000271")]
|
||||
[Address(RVA = "0x218BF30", Offset = "0x218A930", VA = "0x18218BF30")]
|
||||
public static FunctionType DeserializeFromProtobuf(FunctionTypeData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,51 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x0200006F RID: 111
|
||||
[Token(Token = "0x2000053")]
|
||||
[StructLayout(3)]
|
||||
public abstract class GenericType : CircuitType
|
||||
{
|
||||
// Token: 0x06000318 RID: 792 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000272")]
|
||||
[Address(RVA = "0x218A840", Offset = "0x2189240", VA = "0x18218A840")]
|
||||
protected GenericType(TypeKind kind)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000319 RID: 793
|
||||
[Token(Token = "0x6000273")]
|
||||
[Address(Slot = "11")]
|
||||
public abstract string ToString(IReadOnlyList<CircuitType> typeParameterAssignments);
|
||||
|
||||
// Token: 0x0600031A RID: 794 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000274")]
|
||||
[Address(RVA = "0x218CE00", Offset = "0x218B800", VA = "0x18218CE00")]
|
||||
public AppliedGenericType NewApplication(params CircuitTypeOrString[] typeParameterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600031B RID: 795 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000275")]
|
||||
[Address(RVA = "0x218CD90", Offset = "0x218B790", VA = "0x18218CD90")]
|
||||
public AppliedGenericType NewApplication(params CircuitType[] typeParameterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600031C RID: 796
|
||||
[Token(Token = "0x6000276")]
|
||||
[Address(Slot = "12")]
|
||||
public abstract bool TypeParamsEqual(IReadOnlyList<CircuitType> self, IReadOnlyList<CircuitType> other);
|
||||
|
||||
// Token: 0x0600031D RID: 797
|
||||
[Token(Token = "0x6000277")]
|
||||
[Address(Slot = "9")]
|
||||
public abstract override bool Equals(CircuitType other);
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,126 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Graph;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Objects
|
||||
{
|
||||
// Token: 0x02000077 RID: 119
|
||||
[Token(Token = "0x200005B")]
|
||||
[StructLayout(3)]
|
||||
public class CircuitRtti
|
||||
{
|
||||
// Token: 0x1700009B RID: 155
|
||||
// (get) Token: 0x06000358 RID: 856 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000098")]
|
||||
public ClassType Type
|
||||
{
|
||||
[Token(Token = "0x60002B2")]
|
||||
[Address(RVA = "0x3C39A0", Offset = "0x3C23A0", VA = "0x1803C39A0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700009C RID: 156
|
||||
// (get) Token: 0x06000359 RID: 857 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000099")]
|
||||
private IReadOnlyDictionary<string, InteropDelegate> Functions
|
||||
{
|
||||
[Token(Token = "0x60002B3")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700009D RID: 157
|
||||
// (get) Token: 0x0600035A RID: 858 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700009A")]
|
||||
private IReadOnlyDictionary<string, InteropDelegate> PropertyGetters
|
||||
{
|
||||
[Token(Token = "0x60002B4")]
|
||||
[Address(RVA = "0x3C1220", Offset = "0x3BFC20", VA = "0x1803C1220")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700009E RID: 158
|
||||
// (get) Token: 0x0600035B RID: 859 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700009B")]
|
||||
private IReadOnlyDictionary<string, InteropDelegate> PropertySetters
|
||||
{
|
||||
[Token(Token = "0x60002B5")]
|
||||
[Address(RVA = "0x3C1230", Offset = "0x3BFC30", VA = "0x1803C1230")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x0600035C RID: 860 RVA: 0x000035CC File Offset: 0x000017CC
|
||||
[Token(Token = "0x60002B6")]
|
||||
[Address(RVA = "0x218A2B0", Offset = "0x2188CB0", VA = "0x18218A2B0")]
|
||||
public bool TryGetFunction(string name, out InteropDelegate res)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600035D RID: 861 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002B7")]
|
||||
[Address(RVA = "0x218A190", Offset = "0x2188B90", VA = "0x18218A190")]
|
||||
public InteropDelegate GetFunction(string name)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600035E RID: 862 RVA: 0x000035E4 File Offset: 0x000017E4
|
||||
[Token(Token = "0x60002B8")]
|
||||
[Address(RVA = "0x218A320", Offset = "0x2188D20", VA = "0x18218A320")]
|
||||
public bool TryGetPropertyGetter(string name, out InteropDelegate res)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600035F RID: 863 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002B9")]
|
||||
[Address(RVA = "0x218A1F0", Offset = "0x2188BF0", VA = "0x18218A1F0")]
|
||||
public InteropDelegate GetPropertyGetter(string name)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000360 RID: 864 RVA: 0x000035FC File Offset: 0x000017FC
|
||||
[Token(Token = "0x60002BA")]
|
||||
[Address(RVA = "0x218A390", Offset = "0x2188D90", VA = "0x18218A390")]
|
||||
public bool TryGetPropertySetter(string name, out InteropDelegate res)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000361 RID: 865 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002BB")]
|
||||
[Address(RVA = "0x218A250", Offset = "0x2188C50", VA = "0x18218A250")]
|
||||
public InteropDelegate GetPropertySetter(string name)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000362 RID: 866 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002BC")]
|
||||
[Address(RVA = "0x4DBC90", Offset = "0x4DA690", VA = "0x1804DBC90")]
|
||||
public CircuitRtti(ClassType type, IReadOnlyDictionary<string, InteropDelegate> functions, IReadOnlyDictionary<string, InteropDelegate> propertyGetters, IReadOnlyDictionary<string, InteropDelegate> propertySetters)
|
||||
{
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,22 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Objects
|
||||
{
|
||||
// Token: 0x02000078 RID: 120
|
||||
[Token(Token = "0x200005C")]
|
||||
[StructLayout(3)]
|
||||
public interface ICircuitObject
|
||||
{
|
||||
// Token: 0x1700009F RID: 159
|
||||
// (get) Token: 0x06000363 RID: 867
|
||||
[Token(Token = "0x1700009C")]
|
||||
CircuitRtti Rtti
|
||||
{
|
||||
[Token(Token = "0x60002BD")]
|
||||
[Address(Slot = "0")]
|
||||
get;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,102 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Graph;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types.Objects
|
||||
{
|
||||
// Token: 0x02000079 RID: 121
|
||||
[Token(Token = "0x200005D")]
|
||||
[StructLayout(3)]
|
||||
public sealed class RttiBinder
|
||||
{
|
||||
// Token: 0x170000A0 RID: 160
|
||||
// (get) Token: 0x06000364 RID: 868 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700009D")]
|
||||
public ClassType Type
|
||||
{
|
||||
[Token(Token = "0x60002BE")]
|
||||
[Address(RVA = "0x3C39A0", Offset = "0x3C23A0", VA = "0x1803C39A0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000A1 RID: 161
|
||||
// (get) Token: 0x06000365 RID: 869 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700009E")]
|
||||
private Dictionary<string, InteropDelegate> Functions
|
||||
{
|
||||
[Token(Token = "0x60002BF")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000A2 RID: 162
|
||||
// (get) Token: 0x06000366 RID: 870 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x1700009F")]
|
||||
private Dictionary<string, InteropDelegate> PropertyGet
|
||||
{
|
||||
[Token(Token = "0x60002C0")]
|
||||
[Address(RVA = "0x3C1220", Offset = "0x3BFC20", VA = "0x1803C1220")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x170000A3 RID: 163
|
||||
// (get) Token: 0x06000367 RID: 871 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x170000A0")]
|
||||
private Dictionary<string, InteropDelegate> PropertySet
|
||||
{
|
||||
[Token(Token = "0x60002C1")]
|
||||
[Address(RVA = "0x3C1230", Offset = "0x3BFC30", VA = "0x1803C1230")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000368 RID: 872 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002C2")]
|
||||
[Address(RVA = "0x218F2B0", Offset = "0x218DCB0", VA = "0x18218F2B0")]
|
||||
public RttiBinder(ClassType type)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000369 RID: 873 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002C3")]
|
||||
[Address(RVA = "0x218ECC0", Offset = "0x218D6C0", VA = "0x18218ECC0")]
|
||||
public RttiBinder CProp(string name, InteropDelegate get, [Optional] InteropDelegate set)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600036A RID: 874 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002C4")]
|
||||
[Address(RVA = "0x218EC50", Offset = "0x218D650", VA = "0x18218EC50")]
|
||||
public RttiBinder CFunc(string name, InteropDelegate impl)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600036B RID: 875 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002C5")]
|
||||
[Address(RVA = "0x218ED60", Offset = "0x218D760", VA = "0x18218ED60")]
|
||||
public CircuitRtti End()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,140 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000070 RID: 112
|
||||
[Token(Token = "0x2000054")]
|
||||
[StructLayout(3)]
|
||||
public sealed class Property : IEquatable<Property>
|
||||
{
|
||||
// Token: 0x17000093 RID: 147
|
||||
// (get) Token: 0x0600031E RID: 798 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000090")]
|
||||
public CircuitType Type
|
||||
{
|
||||
[Token(Token = "0x6000278")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x17000094 RID: 148
|
||||
// (get) Token: 0x0600031F RID: 799 RVA: 0x00003314 File Offset: 0x00001514
|
||||
[Token(Token = "0x17000091")]
|
||||
public bool Get
|
||||
{
|
||||
[Token(Token = "0x6000279")]
|
||||
[Address(RVA = "0x4F5370", Offset = "0x4F3D70", VA = "0x1804F5370")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x17000095 RID: 149
|
||||
// (get) Token: 0x06000320 RID: 800 RVA: 0x0000332C File Offset: 0x0000152C
|
||||
[Token(Token = "0x17000092")]
|
||||
public bool Set
|
||||
{
|
||||
[Token(Token = "0x600027A")]
|
||||
[Address(RVA = "0x5C5EB0", Offset = "0x5C48B0", VA = "0x1805C5EB0")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000321 RID: 801 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600027B")]
|
||||
[Address(RVA = "0x5C5E00", Offset = "0x5C4800", VA = "0x1805C5E00")]
|
||||
public Property(CircuitType type, bool get, bool set)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000322 RID: 802 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600027C")]
|
||||
[Address(RVA = "0x5C5D40", Offset = "0x5C4740", VA = "0x1805C5D40", Slot = "3")]
|
||||
public sealed override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000323 RID: 803 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600027D")]
|
||||
[Address(RVA = "0x5C5C30", Offset = "0x5C4630", VA = "0x1805C5C30")]
|
||||
private string GetToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000324 RID: 804 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600027E")]
|
||||
[Address(RVA = "0x5C5D00", Offset = "0x5C4700", VA = "0x1805C5D00")]
|
||||
private string SetToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000325 RID: 805 RVA: 0x00003344 File Offset: 0x00001544
|
||||
[Token(Token = "0x600027F")]
|
||||
[Address(RVA = "0x5C5AD0", Offset = "0x5C44D0", VA = "0x1805C5AD0", Slot = "4")]
|
||||
public bool Equals(Property other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000326 RID: 806 RVA: 0x0000335C File Offset: 0x0000155C
|
||||
[Token(Token = "0x6000280")]
|
||||
[Address(RVA = "0x5C5B60", Offset = "0x5C4560", VA = "0x1805C5B60", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000327 RID: 807 RVA: 0x00003374 File Offset: 0x00001574
|
||||
[Token(Token = "0x6000281")]
|
||||
[Address(RVA = "0x5C5BB0", Offset = "0x5C45B0", VA = "0x1805C5BB0")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x06000328 RID: 808 RVA: 0x0000338C File Offset: 0x0000158C
|
||||
[Token(Token = "0x6000282")]
|
||||
[Address(RVA = "0x3C1C50", Offset = "0x3C0650", VA = "0x1803C1C50", Slot = "2")]
|
||||
public sealed override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x06000329 RID: 809 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000283")]
|
||||
[Address(RVA = "0x5C5C70", Offset = "0x5C4670", VA = "0x1805C5C70")]
|
||||
public PropertyData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600032A RID: 810 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000284")]
|
||||
[Address(RVA = "0x5C59E0", Offset = "0x5C43E0", VA = "0x1805C59E0")]
|
||||
public static Property DeserializeFromProtobuf(PropertyData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0400014E RID: 334
|
||||
[global::Cpp2IlInjected.FieldOffset(Offset = "0x10")]
|
||||
[Token(Token = "0x40000DF")]
|
||||
private readonly int cachedHashCode;
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,76 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000071 RID: 113
|
||||
[Token(Token = "0x2000055")]
|
||||
[StructLayout(3)]
|
||||
public sealed class TupleType : GenericType, IEquatable<TupleType>
|
||||
{
|
||||
// Token: 0x0600032B RID: 811 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000285")]
|
||||
[Address(RVA = "0x5C6050", Offset = "0x5C4A50", VA = "0x1805C6050")]
|
||||
public TupleType()
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x0600032C RID: 812 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000286")]
|
||||
[Address(RVA = "0x5C5FD0", Offset = "0x5C49D0", VA = "0x1805C5FD0", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600032D RID: 813 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000287")]
|
||||
[Address(RVA = "0x5C5F70", Offset = "0x5C4970", VA = "0x1805C5F70", Slot = "11")]
|
||||
public override string ToString(IReadOnlyList<CircuitType> typeParameterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600032E RID: 814 RVA: 0x000033A4 File Offset: 0x000015A4
|
||||
[Token(Token = "0x6000288")]
|
||||
[Address(RVA = "0x5C6000", Offset = "0x5C4A00", VA = "0x1805C6000", Slot = "12")]
|
||||
public override bool TypeParamsEqual(IReadOnlyList<CircuitType> self, IReadOnlyList<CircuitType> other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600032F RID: 815 RVA: 0x000033BC File Offset: 0x000015BC
|
||||
[Token(Token = "0x6000289")]
|
||||
[Address(RVA = "0x5C5F20", Offset = "0x5C4920", VA = "0x1805C5F20", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000330 RID: 816 RVA: 0x000033D4 File Offset: 0x000015D4
|
||||
[Token(Token = "0x600028A")]
|
||||
[Address(RVA = "0x5C5EC0", Offset = "0x5C48C0", VA = "0x1805C5EC0", Slot = "13")]
|
||||
public bool Equals(TupleType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000331 RID: 817 RVA: 0x000033EC File Offset: 0x000015EC
|
||||
[Token(Token = "0x600028B")]
|
||||
[Address(RVA = "0x5C5ED0", Offset = "0x5C48D0", VA = "0x1805C5ED0", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000332 RID: 818 RVA: 0x00003404 File Offset: 0x00001604
|
||||
[Token(Token = "0x600028C")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,59 @@
|
||||
using System;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000072 RID: 114
|
||||
[Token(Token = "0x2000056")]
|
||||
[Serializable]
|
||||
[StructLayout(3, Size = 4)]
|
||||
public enum TypeKind
|
||||
{
|
||||
// Token: 0x04000153 RID: 339
|
||||
[Token(Token = "0x40000E4")]
|
||||
Any,
|
||||
// Token: 0x04000154 RID: 340
|
||||
[Token(Token = "0x40000E5")]
|
||||
Boolean,
|
||||
// Token: 0x04000155 RID: 341
|
||||
[Token(Token = "0x40000E6")]
|
||||
Int32,
|
||||
// Token: 0x04000156 RID: 342
|
||||
[Token(Token = "0x40000E7")]
|
||||
Single,
|
||||
// Token: 0x04000157 RID: 343
|
||||
[Token(Token = "0x40000E8")]
|
||||
String,
|
||||
// Token: 0x04000158 RID: 344
|
||||
[Token(Token = "0x40000E9")]
|
||||
Exec,
|
||||
// Token: 0x04000159 RID: 345
|
||||
[Token(Token = "0x40000EA")]
|
||||
Error,
|
||||
// Token: 0x0400015A RID: 346
|
||||
[Token(Token = "0x40000EB")]
|
||||
Array,
|
||||
// Token: 0x0400015B RID: 347
|
||||
[Token(Token = "0x40000EC")]
|
||||
Tuple,
|
||||
// Token: 0x0400015C RID: 348
|
||||
[Token(Token = "0x40000ED")]
|
||||
Union,
|
||||
// Token: 0x0400015D RID: 349
|
||||
[Token(Token = "0x40000EE")]
|
||||
Class,
|
||||
// Token: 0x0400015E RID: 350
|
||||
[Token(Token = "0x40000EF")]
|
||||
Function,
|
||||
// Token: 0x0400015F RID: 351
|
||||
[Token(Token = "0x40000F0")]
|
||||
TypeParameter,
|
||||
// Token: 0x04000160 RID: 352
|
||||
[Token(Token = "0x40000F1")]
|
||||
TypeParameterReference,
|
||||
// Token: 0x04000161 RID: 353
|
||||
[Token(Token = "0x40000F2")]
|
||||
AppliedGeneric
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,128 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000073 RID: 115
|
||||
[Token(Token = "0x2000057")]
|
||||
[StructLayout(3)]
|
||||
public sealed class TypeParameterReferenceType : CircuitType, IEquatable<TypeParameterReferenceType>
|
||||
{
|
||||
// Token: 0x17000096 RID: 150
|
||||
// (get) Token: 0x06000333 RID: 819 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000093")]
|
||||
public string Name
|
||||
{
|
||||
[Token(Token = "0x600028D")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000334 RID: 820 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x600028E")]
|
||||
[Address(RVA = "0x5C6060", Offset = "0x5C4A60", VA = "0x1805C6060", Slot = "6")]
|
||||
public sealed override CircuitType ApplyTypeParameters(IReadOnlyDictionary<string, CircuitType> typeSubstitutions)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x17000097 RID: 151
|
||||
// (get) Token: 0x06000335 RID: 821 RVA: 0x0000341C File Offset: 0x0000161C
|
||||
[Token(Token = "0x17000094")]
|
||||
public sealed override bool ReferencesTypeParameters
|
||||
{
|
||||
[Token(Token = "0x600028F")]
|
||||
[Address(RVA = "0x4405A0", Offset = "0x43EFA0", VA = "0x1804405A0", Slot = "7")]
|
||||
get
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000336 RID: 822 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000290")]
|
||||
[Address(RVA = "0x5C6150", Offset = "0x5C4B50", VA = "0x1805C6150", Slot = "8")]
|
||||
public sealed override void CrawlAppliedTypeParameters(Action<CircuitType> onPrimitiveVisit, Action<TypeParameterReferenceType> onReferenceVisit, Action<AppliedGenericType> onAppliedEntry, Action<AppliedGenericType> onAppliedExit)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000337 RID: 823 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x6000291")]
|
||||
[Address(RVA = "0x5C6410", Offset = "0x5C4E10", VA = "0x1805C6410")]
|
||||
public TypeParameterReferenceType(string name)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000338 RID: 824 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000292")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000339 RID: 825 RVA: 0x00003434 File Offset: 0x00001634
|
||||
[Token(Token = "0x6000293")]
|
||||
[Address(RVA = "0x5C62A0", Offset = "0x5C4CA0", VA = "0x1805C62A0", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600033A RID: 826 RVA: 0x0000344C File Offset: 0x0000164C
|
||||
[Token(Token = "0x6000294")]
|
||||
[Address(RVA = "0x5C6320", Offset = "0x5C4D20", VA = "0x1805C6320", Slot = "11")]
|
||||
public bool Equals(TypeParameterReferenceType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600033B RID: 827 RVA: 0x00003464 File Offset: 0x00001664
|
||||
[Token(Token = "0x6000295")]
|
||||
[Address(RVA = "0x5C6250", Offset = "0x5C4C50", VA = "0x1805C6250", Slot = "0")]
|
||||
public override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600033C RID: 828 RVA: 0x0000347C File Offset: 0x0000167C
|
||||
[Token(Token = "0x6000296")]
|
||||
[Address(RVA = "0x5C6350", Offset = "0x5C4D50", VA = "0x1805C6350")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x0600033D RID: 829 RVA: 0x00003494 File Offset: 0x00001694
|
||||
[Token(Token = "0x6000297")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x0600033E RID: 830 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000298")]
|
||||
[Address(RVA = "0x5C6380", Offset = "0x5C4D80", VA = "0x1805C6380", Slot = "10")]
|
||||
public sealed override CircuitTypeData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600033F RID: 831 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x6000299")]
|
||||
[Address(RVA = "0x5C61B0", Offset = "0x5C4BB0", VA = "0x1805C61B0")]
|
||||
public static TypeParameterReferenceType DeserializeFromProtobuf(TypeParameterReferenceTypeData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,56 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000074 RID: 116
|
||||
[Token(Token = "0x2000058")]
|
||||
[StructLayout(3)]
|
||||
public abstract class TypeParameterScopeType : GenericType
|
||||
{
|
||||
// Token: 0x17000098 RID: 152
|
||||
// (get) Token: 0x06000340 RID: 832 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000095")]
|
||||
public IEnumerable<TypeParameterType> TypeParameters
|
||||
{
|
||||
[Token(Token = "0x600029A")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000341 RID: 833 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x600029B")]
|
||||
[Address(RVA = "0x5C6510", Offset = "0x5C4F10", VA = "0x1805C6510")]
|
||||
protected TypeParameterScopeType(IEnumerable<TypeParameterType> typeParameters, TypeKind kind)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000342 RID: 834
|
||||
[Token(Token = "0x600029C")]
|
||||
[Address(Slot = "9")]
|
||||
public abstract override bool Equals(CircuitType other);
|
||||
|
||||
// Token: 0x06000343 RID: 835 RVA: 0x000034AC File Offset: 0x000016AC
|
||||
[Token(Token = "0x600029D")]
|
||||
[Address(RVA = "0x5C6470", Offset = "0x5C4E70", VA = "0x1805C6470")]
|
||||
protected bool Equals(TypeParameterScopeType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000344 RID: 836 RVA: 0x000034C4 File Offset: 0x000016C4
|
||||
[Token(Token = "0x600029E")]
|
||||
[Address(RVA = "0x5C64D0", Offset = "0x5C4ED0", VA = "0x1805C64D0")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,113 @@
|
||||
using System;
|
||||
using System.Runtime.CompilerServices;
|
||||
using System.Runtime.InteropServices;
|
||||
using CircuitsV2.Protobuf;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000075 RID: 117
|
||||
[Token(Token = "0x2000059")]
|
||||
[StructLayout(3)]
|
||||
public sealed class TypeParameterType : CircuitType, IEquatable<TypeParameterType>
|
||||
{
|
||||
// Token: 0x17000099 RID: 153
|
||||
// (get) Token: 0x06000345 RID: 837 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000096")]
|
||||
public string Name
|
||||
{
|
||||
[Token(Token = "0x600029F")]
|
||||
[Address(RVA = "0x3C1240", Offset = "0x3BFC40", VA = "0x1803C1240")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x1700009A RID: 154
|
||||
// (get) Token: 0x06000346 RID: 838 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x17000097")]
|
||||
public CircuitType Constraint
|
||||
{
|
||||
[Token(Token = "0x60002A0")]
|
||||
[Address(RVA = "0x3C1220", Offset = "0x3BFC20", VA = "0x1803C1220")]
|
||||
[CompilerGenerated]
|
||||
get
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
||||
// Token: 0x06000347 RID: 839 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002A1")]
|
||||
[Address(RVA = "0x5C69C0", Offset = "0x5C53C0", VA = "0x1805C69C0")]
|
||||
public TypeParameterType(string name, [Optional] CircuitType constraint)
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000348 RID: 840 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002A2")]
|
||||
[Address(RVA = "0x5C6940", Offset = "0x5C5340", VA = "0x1805C6940", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000349 RID: 841 RVA: 0x000034DC File Offset: 0x000016DC
|
||||
[Token(Token = "0x60002A3")]
|
||||
[Address(RVA = "0x5C6780", Offset = "0x5C5180", VA = "0x1805C6780", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600034A RID: 842 RVA: 0x000034F4 File Offset: 0x000016F4
|
||||
[Token(Token = "0x60002A4")]
|
||||
[Address(RVA = "0x5C66C0", Offset = "0x5C50C0", VA = "0x1805C66C0", Slot = "11")]
|
||||
public bool Equals(TypeParameterType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600034B RID: 843 RVA: 0x0000350C File Offset: 0x0000170C
|
||||
[Token(Token = "0x60002A5")]
|
||||
[Address(RVA = "0x5C6730", Offset = "0x5C5130", VA = "0x1805C6730", Slot = "0")]
|
||||
public override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x0600034C RID: 844 RVA: 0x00003524 File Offset: 0x00001724
|
||||
[Token(Token = "0x60002A6")]
|
||||
[Address(RVA = "0x5C6830", Offset = "0x5C5230", VA = "0x1805C6830")]
|
||||
private int GenHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x0600034D RID: 845 RVA: 0x0000353C File Offset: 0x0000173C
|
||||
[Token(Token = "0x60002A7")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
|
||||
// Token: 0x0600034E RID: 846 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002A8")]
|
||||
[Address(RVA = "0x5C6890", Offset = "0x5C5290", VA = "0x1805C6890", Slot = "10")]
|
||||
public sealed override CircuitTypeData SerializeToProtobuf()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x0600034F RID: 847 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002A9")]
|
||||
[Address(RVA = "0x5C65B0", Offset = "0x5C4FB0", VA = "0x1805C65B0")]
|
||||
public static TypeParameterType DeserializeFromProtobuf(TypeParameterTypeData protobufData)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,76 @@
|
||||
using System;
|
||||
using System.Collections.Generic;
|
||||
using System.Runtime.InteropServices;
|
||||
using Cpp2IlInjected;
|
||||
|
||||
namespace CircuitsV2.Types
|
||||
{
|
||||
// Token: 0x02000076 RID: 118
|
||||
[Token(Token = "0x200005A")]
|
||||
[StructLayout(3)]
|
||||
public sealed class UnionType : GenericType, IEquatable<UnionType>
|
||||
{
|
||||
// Token: 0x06000350 RID: 848 RVA: 0x00002096 File Offset: 0x00000296
|
||||
[Token(Token = "0x60002AA")]
|
||||
[Address(RVA = "0x5C6D80", Offset = "0x5C5780", VA = "0x1805C6D80")]
|
||||
public UnionType()
|
||||
{
|
||||
}
|
||||
|
||||
// Token: 0x06000351 RID: 849 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002AB")]
|
||||
[Address(RVA = "0x5C6D00", Offset = "0x5C5700", VA = "0x1805C6D00", Slot = "3")]
|
||||
public override string ToString()
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000352 RID: 850 RVA: 0x00002098 File Offset: 0x00000298
|
||||
[Token(Token = "0x60002AC")]
|
||||
[Address(RVA = "0x5C6C60", Offset = "0x5C5660", VA = "0x1805C6C60", Slot = "11")]
|
||||
public override string ToString(IReadOnlyList<CircuitType> typeParameterAssignments)
|
||||
{
|
||||
return null;
|
||||
}
|
||||
|
||||
// Token: 0x06000353 RID: 851 RVA: 0x00003554 File Offset: 0x00001754
|
||||
[Token(Token = "0x60002AD")]
|
||||
[Address(RVA = "0x5C6D30", Offset = "0x5C5730", VA = "0x1805C6D30", Slot = "12")]
|
||||
public override bool TypeParamsEqual(IReadOnlyList<CircuitType> self, IReadOnlyList<CircuitType> other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000354 RID: 852 RVA: 0x0000356C File Offset: 0x0000176C
|
||||
[Token(Token = "0x60002AE")]
|
||||
[Address(RVA = "0x5C6C10", Offset = "0x5C5610", VA = "0x1805C6C10", Slot = "9")]
|
||||
public override bool Equals(CircuitType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000355 RID: 853 RVA: 0x00003584 File Offset: 0x00001784
|
||||
[Token(Token = "0x60002AF")]
|
||||
[Address(RVA = "0x5C5EC0", Offset = "0x5C48C0", VA = "0x1805C5EC0", Slot = "13")]
|
||||
public bool Equals(UnionType other)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000356 RID: 854 RVA: 0x0000359C File Offset: 0x0000179C
|
||||
[Token(Token = "0x60002B0")]
|
||||
[Address(RVA = "0x5C6BC0", Offset = "0x5C55C0", VA = "0x1805C6BC0", Slot = "0")]
|
||||
public sealed override bool Equals(object obj)
|
||||
{
|
||||
return default(bool);
|
||||
}
|
||||
|
||||
// Token: 0x06000357 RID: 855 RVA: 0x000035B4 File Offset: 0x000017B4
|
||||
[Token(Token = "0x60002B1")]
|
||||
[Address(RVA = "0x55D550", Offset = "0x55BF50", VA = "0x18055D550", Slot = "2")]
|
||||
public override int GetHashCode()
|
||||
{
|
||||
return 0;
|
||||
}
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user