Added Contract suggestions.

Author: KN4CK3R

Forms/InputBytesForm.cs

@@ -6,7 +6,7 @@ namespace ReClassNET.Forms
 {
 	public partial class InputBytesForm : IconForm
 	{
-		private int currentSize;
+		private readonly int currentSize;
 
 		public int Bytes => (int)bytesNumericUpDown.Value;
 

Memory/Memory.cs

@@ -80,6 +80,7 @@ public byte ReadByte(int offset)
 		public byte[] ReadBytes(int offset, int length)
 		{
 			Contract.Requires(offset >= 0);
+			Contract.Requires(length >= 0);
 
 			var bytes = new byte[length];
 
@@ -166,20 +167,23 @@ private string ReadString(Encoding encoding, int offset, int length)
 
 		public string ReadUTF8String(IntPtr offset, int length)
 		{
+			Contract.Requires(length >= 0);
 			Contract.Ensures(Contract.Result<string>() != null);
 
 			return ReadString(Encoding.UTF8, offset.ToInt32(), length);
 		}
 
 		public string ReadUTF16String(IntPtr offset, int length)
 		{
+			Contract.Requires(length >= 0);
 			Contract.Ensures(Contract.Result<string>() != null);
 
 			return ReadString(Encoding.Unicode, offset.ToInt32(), length);
 		}
 
 		public string ReadUTF32String(IntPtr offset, int length)
 		{
+			Contract.Requires(length >= 0);
 			Contract.Ensures(Contract.Result<string>() != null);
 
 			return ReadString(Encoding.UTF32, offset.ToInt32(), length);

Nodes/BaseContainerNode.cs

@@ -36,6 +36,8 @@ public int FindNodeIndex(BaseNode node)
 
 		public virtual BaseNode ReplaceChildNode(BaseNode child, Type nodeType)
 		{
+			Contract.Requires(nodeType != null);
+
 			return ReplaceChildNode(FindNodeIndex(child), nodeType);
 		}
 

UI/ClassNodeView.cs

@@ -29,7 +29,7 @@ private class ClassTreeNode : TreeNode, IDisposable
 		{
 			public ClassNode ClassNode { get; }
 
-			private ValueWrapper<bool> autoExpand;
+			private readonly ValueWrapper<bool> autoExpand;
 
 			/// <summary>Constructor of the class.</summary>
 			/// <param name="node">The class node.</param>
@@ -107,7 +107,7 @@ private void RebuildClassHierarchy(HashSet<ClassNode> seen)
 		}
 
 		private readonly TreeNode root;
-		private ValueWrapper<bool> autoExpand;
+		private readonly ValueWrapper<bool> autoExpand;
 
 		private ClassNode selectedClass;
 

Util/Extensions.cs

@@ -235,7 +235,7 @@ public static bool IsNearlyEqual(this float val, float other, float epsilon)
 			{
 				return true;
 			}
-			else if (val == 0 || other == 0 || diff < float.Epsilon)
+			else if (val == 0.0f || other == 0.0f || diff < float.Epsilon)
 			{
 				return diff < epsilon;
 			}
@@ -260,7 +260,7 @@ public static bool IsNearlyEqual(this double val, double other, double epsilon)
 			{
 				return true;
 			}
-			else if (val == 0 || other == 0 || diff < double.Epsilon)
+			else if (val == 0.0 || other == 0.0 || diff < double.Epsilon)
 			{
 				return diff < epsilon;
 			}

Util/Util.cs

@@ -1,17 +1,23 @@
 using System;
 using System.Collections.Generic;
+using System.Diagnostics.Contracts;
 
 namespace ReClassNET.Util
 {
 	public static class Utils
 	{
 		public static T Min<T, U>(T item1, T item2, Func<T, U> keySelector) where U : IComparable
 		{
+			Contract.Requires(keySelector != null);
+
 			return Min(item1, item2, keySelector, Comparer<U>.Default);
 		}
 
 		public static T Min<T, U>(T item1, T item2, Func<T, U> keySelector, IComparer<U> comparer)
 		{
+			Contract.Requires(keySelector != null);
+			Contract.Requires(comparer != null);
+
 			if (comparer.Compare(keySelector(item1), keySelector(item2)) < 0)
 			{
 				return item1;
@@ -21,11 +27,16 @@ public static T Min<T, U>(T item1, T item2, Func<T, U> keySelector, IComparer<U>
 
 		public static T Max<T, U>(T item1, T item2, Func<T, U> keySelector) where U : IComparable
 		{
+			Contract.Requires(keySelector != null);
+
 			return Max(item1, item2, keySelector, Comparer<U>.Default);
 		}
 
 		public static T Max<T, U>(T item1, T item2, Func<T, U> keySelector, IComparer<U> comparer)
 		{
+			Contract.Requires(keySelector != null);
+			Contract.Requires(comparer != null);
+
 			if (comparer.Compare(keySelector(item1), keySelector(item2)) > 0)
 			{
 				return item1;