Merge branch 'main' into dependabot/nuget/AwsCryptographicMaterialPro…

…viders/runtimes/net/BouncyCastle.Cryptography-2.3.1
aws · May 20, 2024 · 5294404 · 5294404
2 parents f1e2c0d + 7c3a00f
commit 5294404
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Digest_Compile/ExternDigest.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Digest_Compile/ExternDigest.java
@@ -1,7 +1,7 @@
 package Digest_Compile;
 
-import Dafny.Aws.Cryptography.Primitives.Types.InternalResult;
 import ExternDigest._ExternBase___default;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import dafny.Array;
 import dafny.DafnySequence;

diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java
@@ -2,9 +2,9 @@
 
 import static Signature.SignatureAlgorithm.signatureAlgorithm;
 
-import Dafny.Aws.Cryptography.Primitives.Types.InternalResult;
 import Digest_Compile.ExternDigest;
 import Random_Compile.ExternRandom;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import dafny.Array;
 import dafny.DafnySequence;

diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PrivateKeyUtils.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PrivateKeyUtils.java
@@ -1,6 +1,6 @@
 package Signature;
 
-import Dafny.Aws.Cryptography.Primitives.Types.InternalResult;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import dafny.Array;
 import dafny.DafnySequence;

diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PublicKeyUtils.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PublicKeyUtils.java
@@ -6,7 +6,7 @@
 import static java.math.BigInteger.ONE;
 import static java.math.BigInteger.ZERO;
 
-import Dafny.Aws.Cryptography.Primitives.Types.InternalResult;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import dafny.Array;
 import dafny.DafnySequence;

diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/SignatureAlgorithm.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/SignatureAlgorithm.java
@@ -4,7 +4,7 @@
 import static Signature.ECDSA.SEC_P384;
 import static Signature.ECDSA.SEC_PRIME_FIELD_PREFIX;
 
-import Dafny.Aws.Cryptography.Primitives.Types.InternalResult;
+import StandardLibraryInternal.InternalResult;
 import Wrappers_Compile.Result;
 import java.security.AlgorithmParameters;
 import java.security.NoSuchAlgorithmException;

diff --git a/...aphy/Primitives/Types/InternalResult.java → ...andardLibraryInternal/InternalResult.java b/...aphy/Primitives/Types/InternalResult.java → ...andardLibraryInternal/InternalResult.java
@@ -1,4 +1,4 @@
-package Dafny.Aws.Cryptography.Primitives.Types;
+package StandardLibraryInternal;
 
 /**
  * Similar to the translation of Dafny's Wrappers.Result type,