mirrors/LibHac
1
0
Fork 0
mirror of https://github.com/Thealexbarney/LibHac.git synced 2024-11-14 10:49:41 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add more assertion options

Browse source
This commit is contained in:
Alex Barney 2022-03-02 11:08:30 -07:00
parent c62de98f63
commit 800d14f40b
2 changed files with 158 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

147
src/LibHac/Diag/Assert.cs
View file

@ -572,7 +572,99 @@ public static class Assert
}
// ---------------------------------------------------------------------
// In range
// Null UniqueRef<T>
// ---------------------------------------------------------------------
private static void NullImpl<T>(AssertionType assertionType, in UniqueRef<T> value,
string valueText, string functionName, string fileName, int lineNumber) where T : class, IDisposable
{
if (AssertImpl.Null(in value))
return;
AssertImpl.InvokeAssertionNotNull(assertionType, valueText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
public static void Null<T>(in UniqueRef<T> value,
[CallerArgumentExpression("value")] string valueText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
where T : class, IDisposable
{
NullImpl(AssertionType.UserAssert, in value, valueText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
internal static void SdkNull<T>(in UniqueRef<T> value,
[CallerArgumentExpression("value")] string valueText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
where T : class, IDisposable
{
NullImpl(AssertionType.SdkAssert, in value, valueText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
internal static void SdkRequiresNull<T>(in UniqueRef<T> value,
[CallerArgumentExpression("value")] string valueText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
where T : class, IDisposable
{
NullImpl(AssertionType.SdkRequires, in value, valueText, functionName, fileName, lineNumber);
}
// ---------------------------------------------------------------------
// Null SharedRef<T>
// ---------------------------------------------------------------------
private static void NullImpl<T>(AssertionType assertionType, in SharedRef<T> value,
string valueText, string functionName, string fileName, int lineNumber) where T : class, IDisposable
{
if (AssertImpl.Null(in value))
return;
AssertImpl.InvokeAssertionNotNull(assertionType, valueText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
public static void Null<T>(in SharedRef<T> value,
[CallerArgumentExpression("value")] string valueText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
where T : class, IDisposable
{
NullImpl(AssertionType.UserAssert, in value, valueText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
internal static void SdkNull<T>(in SharedRef<T> value,
[CallerArgumentExpression("value")] string valueText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
where T : class, IDisposable
{
NullImpl(AssertionType.SdkAssert, in value, valueText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
internal static void SdkRequiresNull<T>(in SharedRef<T> value,
[CallerArgumentExpression("value")] string valueText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
where T : class, IDisposable
{
NullImpl(AssertionType.SdkRequires, in value, valueText, functionName, fileName, lineNumber);
}
// ---------------------------------------------------------------------
// In range int
// ---------------------------------------------------------------------
private static void InRangeImpl(AssertionType assertionType, int value, int lower, int upper, string valueText,
@ -624,6 +716,59 @@ public static class Assert
upperExclusiveText, functionName, fileName, lineNumber);
}
// ---------------------------------------------------------------------
// In range long
// ---------------------------------------------------------------------
private static void InRangeImpl(AssertionType assertionType, long value, long lower, long upper, string valueText,
string lowerText, string upperText, string functionName, string fileName, int lineNumber)
{
if (AssertImpl.WithinRange(value, lower, upper))
return;
AssertImpl.InvokeAssertionInRange(assertionType, value, lower, upper, valueText, lowerText, upperText, functionName,
fileName, lineNumber);
}
[Conditional(AssertCondition)]
public static void InRange(long value, long lowerInclusive, long upperExclusive,
[CallerArgumentExpression("value")] string valueText = "",
[CallerArgumentExpression("lowerInclusive")] string lowerInclusiveText = "",
[CallerArgumentExpression("upperExclusive")] string upperExclusiveText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
{
InRangeImpl(AssertionType.UserAssert, value, lowerInclusive, upperExclusive, valueText, lowerInclusiveText,
upperExclusiveText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
internal static void SdkInRange(long value, long lowerInclusive, long upperExclusive,
[CallerArgumentExpression("value")] string valueText = "",
[CallerArgumentExpression("lowerInclusive")] string lowerInclusiveText = "",
[CallerArgumentExpression("upperExclusive")] string upperExclusiveText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
{
InRangeImpl(AssertionType.SdkAssert, value, lowerInclusive, upperExclusive, valueText, lowerInclusiveText,
upperExclusiveText, functionName, fileName, lineNumber);
}
[Conditional(AssertCondition)]
internal static void SdkRequiresInRange(long value, long lowerInclusive, long upperExclusive,
[CallerArgumentExpression("value")] string valueText = "",
[CallerArgumentExpression("lowerInclusive")] string lowerInclusiveText = "",
[CallerArgumentExpression("upperExclusive")] string upperExclusiveText = "",
[CallerMemberName] string functionName = "",
[CallerFilePath] string fileName = "",
[CallerLineNumber] int lineNumber = 0)
{
InRangeImpl(AssertionType.SdkRequires, value, lowerInclusive, upperExclusive, valueText, lowerInclusiveText,
upperExclusiveText, functionName, fileName, lineNumber);
}
// ---------------------------------------------------------------------
// Within min-max int
// ---------------------------------------------------------------------

14
src/LibHac/Diag/Impl/AssertImpl.cs
View file

@ -22,7 +22,7 @@ internal static class AssertImpl
$"{valueText} must be nullptr.");
}
internal static void InvokeAssertionInRange(AssertionType assertionType, int value, int lower, int upper,
internal static void InvokeAssertionInRange(AssertionType assertionType, long value, long lower, long upper,
string valueText, string lowerText, string upperText, string functionName, string fileName, int lineNumber)
{
string message =
@ -126,6 +126,16 @@ internal static class AssertImpl
return Unsafe.IsNullRef(ref item);
}
public static bool Null<T>(in UniqueRef<T> item) where T : class, IDisposable
{
return !item.HasValue;
}
public static bool Null<T>(in SharedRef<T> item) where T : class, IDisposable
{
return !item.HasValue;
}
public static bool NotNull<T>(T item) where T : class
{
return item is not null;
@ -240,4 +250,4 @@ internal static class AssertImpl
{
return Alignment.IsAlignedPow2(value, (uint)alignment);
}
}
}