Add Path.GetRandomFileName() (#33)

JustArchiNET · Oct 21, 2023 · aa4b237 · aa4b237
1 parent 64c69df
commit aa4b237
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/JustArchiNET.Madness/PathMadness/Path.cs b/JustArchiNET.Madness/PathMadness/Path.cs
@@ -65,6 +65,10 @@ public static class Path {
 	[Pure]
 	public static string GetFullPath(string path) => System.IO.Path.GetFullPath(path);
 
+	[ContractAnnotation("=>notnull")]
+	[MadnessType(EMadnessType.Proxy)]
+	public static string GetRandomFileName() => System.IO.Path.GetRandomFileName();
+
 #if NETSTANDARD2_1_OR_GREATER
 	[MadnessType(EMadnessType.Proxy)]
 	public static string GetRelativePath(string relativeTo, string path) => System.IO.Path.GetRelativePath(relativeTo, path);