Merge branch 'main' into ajewell/verify-with-45

ajewellamz · web-flow · commit 6f9fad6b70c7 · 2024-05-30T13:07:23.000-04:00
diff --git a/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java b/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java
@@ -240,8 +240,7 @@ public static <T> Result<T, Error> createFailure(String message) {
   public static boolean isDynamoDBEncryptor(
     software.amazon.cryptography.dbencryptionsdk.dynamodb.ILegacyDynamoDbEncryptor maybe
   ) {
-    System.out.println(maybe.getClass());
-    return maybe.getClass().equals(DynamoDBEncryptor.class);
+    return maybe instanceof DynamoDBEncryptor;
   }
 
   public static String ToNativeString(DafnySequence<? extends Character> s) {

Original file line number	Diff line number	Diff line change
`@@ -240,8 +240,7 @@ public static <T> Result<T, Error> createFailure(String message) {`
`240`	`240`	`public static boolean isDynamoDBEncryptor(`
`241`	`241`	`software.amazon.cryptography.dbencryptionsdk.dynamodb.ILegacyDynamoDbEncryptor maybe`
`242`	`242`	`) {`
`243`		`- System.out.println(maybe.getClass());`
`244`		`- return maybe.getClass().equals(DynamoDBEncryptor.class);`
	`243`	`+ return maybe instanceof DynamoDBEncryptor;`
`245`	`244`	`}`
`246`	`245`
`247`	`246`	`public static String ToNativeString(DafnySequence<? extends Character> s) {`