NotEmpty assertion

Author: andrewvk

CodeJam.Main/Assertions/ArgumentAssertionExtensions.cs

@@ -52,6 +52,45 @@ public static ArgumentAssertion<IEnumerable<T>> ItemNotNull<T>(this ArgumentAsse
 			return arg;
 		}
 
+		/// <summary>
+		/// Ensures that supplied enumerable is not empty.
+		/// </summary>
+		/// <typeparam name="T">Type of item.</typeparam>
+		/// <param name="arg">The argument.</param>
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static ArgumentAssertion<IEnumerable<T>> NotEmpty<T>(this ArgumentAssertion<IEnumerable<T>> arg)
+		{
+			Code.NotEmpty(arg.Argument, arg.ArgumentName);
+			return arg;
+		}
+
+		/// <summary>
+		/// Ensures that supplied collection is not empty.
+		/// </summary>
+		/// <typeparam name="T">Type of item.</typeparam>
+		/// <param name="arg">The argument.</param>
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static ArgumentAssertion<ICollection<T>> NotEmpty<T>(this ArgumentAssertion<ICollection<T>> arg)
+		{
+			Code.NotEmpty(arg.Argument, arg.ArgumentName);
+			return arg;
+		}
+
+		/// <summary>
+		/// Ensures that supplied array is not empty.
+		/// </summary>
+		/// <typeparam name="T">Type of item.</typeparam>
+		/// <param name="arg">The argument.</param>
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static ArgumentAssertion<T[]> NotEmpty<T>(this ArgumentAssertion<T[]> arg)
+		{
+			Code.NotEmpty(arg.Argument, arg.ArgumentName);
+			return arg;
+		}
+
 		/// <summary>Ensures that <paramref name="arg"/> is not null nor empty</summary>
 		/// <param name="arg">The argument.</param>
 		[DebuggerHidden, MethodImpl(AggressiveInlining)]

CodeJam.Main/Assertions/Code.cs

@@ -74,6 +74,49 @@ public static void NotNull<T>(
 				throw CodeExceptions.ArgumentNull(argName);
 		}
 
+		/// <summary>
+		/// Ensures that supplied enumerable is not empty.
+		/// </summary>
+		/// <typeparam name="T">Type of item.</typeparam>
+		/// <param name="arg">Enumerable.</param>
+		/// <param name="argName">Name of the argument.</param>
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static void NotEmpty<T>(IEnumerable<T> arg, [NotNull, InvokerParameterName] string argName)
+		{
+			using (var en = arg.GetEnumerator())
+				if (!en.MoveNext())
+					throw CodeExceptions.ArgumentEmpty(argName);
+		}
+
+		/// <summary>
+		/// Ensures that supplied collection is not empty.
+		/// </summary>
+		/// <typeparam name="T">Type of item.</typeparam>
+		/// <param name="arg">Collection.</param>
+		/// <param name="argName">Name of the argument.</param>
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static void NotEmpty<T>(ICollection<T> arg, [NotNull, InvokerParameterName] string argName)
+		{
+			if (arg.Count == 0)
+				throw CodeExceptions.ArgumentEmpty(argName);
+		}
+
+		/// <summary>
+		/// Ensures that supplied array is not empty.
+		/// </summary>
+		/// <typeparam name="T">Type of item.</typeparam>
+		/// <param name="arg">Array.</param>
+		/// <param name="argName">Name of the argument.</param>
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static void NotEmpty<T>(T[] arg, [NotNull, InvokerParameterName] string argName)
+		{
+			if (arg.Length == 0)
+				throw CodeExceptions.ArgumentEmpty(argName);
+		}
+
 		/// <summary>Ensures that <paramref name="arg"/> is not null nor empty</summary>
 		/// <param name="arg">The argument.</param>
 		/// <param name="argName">Name of the argument.</param>
@@ -141,7 +184,10 @@ public static void AssertArgument(
 		/// <param name="arg">Argument value.</param>
 		/// <param name="argName">Argument name.</param>
 		/// <returns><see cref="ArgumentAssertion{T}"/> instance.</returns>
-		public static ArgumentAssertion<T> Arg<T>(T arg, string argName) => new ArgumentAssertion<T>(arg, argName);
+		[DebuggerHidden, MethodImpl(AggressiveInlining)]
+		[AssertionMethod]
+		public static ArgumentAssertion<T> Arg<T>(T arg, [InvokerParameterName] string argName) =>
+			new ArgumentAssertion<T>(arg, argName);
 		#endregion
 
 		#region Argument validation - in range

CodeJam.Main/Assertions/CodeExceptions.cs

@@ -136,6 +136,22 @@ public static ArgumentException ArgumentItemNull([NotNull, InvokerParameterName]
 				.LogToCodeTraceSourceBeforeThrow();
 		}
 
+		/// <summary>
+		/// Creates <see cref="ArgumentException"/>.
+		/// </summary>
+		/// <param name="argumentName">Name of the argument.</param>
+		/// <returns>Initialized instance of <see cref="ArgumentException"/></returns>
+		[DebuggerHidden, NotNull, MethodImpl(AggressiveInlining)]
+		[MustUseReturnValue]
+		public static ArgumentException ArgumentEmpty([NotNull, InvokerParameterName] string argumentName)
+		{
+			BreakIfAttached();
+			return new ArgumentException(
+				argumentName,
+				$"Collection {argumentName} must not be empty.")
+				.LogToCodeTraceSourceBeforeThrow();
+		}
+
 		/// <summary>Creates <see cref="ArgumentException"/> for empty string.</summary>
 		/// <param name="argumentName">Name of the argument.</param>
 		/// <returns>Initialized instance of <see cref="ArgumentException"/>.</returns>