From ba720f5f686b6b6fcb33cf0d4d51f4880d83c1a6 Mon Sep 17 00:00:00 2001 From: Shubham Chaturvedi Date: Wed, 23 Oct 2024 18:36:23 -0700 Subject: [PATCH] fix: enum patch Java --- .../codegen-patches/java/dafny-4.5.0.patch | 22 +++++++++++++++++++ .../codegen-patches/java/dafny-4.8.0.patch | 22 +++++++++++++++++++ 2 files changed, 44 insertions(+) create mode 100644 TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.5.0.patch create mode 100644 TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.8.0.patch diff --git a/TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.5.0.patch b/TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.5.0.patch new file mode 100644 index 000000000..0441efcca --- /dev/null +++ b/TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.5.0.patch @@ -0,0 +1,22 @@ +diff --git a/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java b/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java +index 4d97660a9..dc4ab452d 100644 +--- a/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java ++++ b/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java +@@ -5680,7 +5680,7 @@ public class ToDafny { + { + return AlgorithmSpec.create_RSA__AES__KEY__WRAP__SHA__256(); + } +- case SM2PKE: ++ case SM2_PKE: + { + return AlgorithmSpec.create_SM2PKE(); + } +@@ -6487,7 +6487,7 @@ public class ToDafny { + { + return SigningAlgorithmSpec.create_ECDSA__SHA__512(); + } +- case SM2DSA: ++ case SM2_DSA: + { + return SigningAlgorithmSpec.create_SM2DSA(); + } diff --git a/TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.8.0.patch b/TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.8.0.patch new file mode 100644 index 000000000..0441efcca --- /dev/null +++ b/TestModels/aws-sdks/kmsv2/codegen-patches/java/dafny-4.8.0.patch @@ -0,0 +1,22 @@ +diff --git a/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java b/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java +index 4d97660a9..dc4ab452d 100644 +--- a/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java ++++ b/TestModels/aws-sdks/kmsv2/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java +@@ -5680,7 +5680,7 @@ public class ToDafny { + { + return AlgorithmSpec.create_RSA__AES__KEY__WRAP__SHA__256(); + } +- case SM2PKE: ++ case SM2_PKE: + { + return AlgorithmSpec.create_SM2PKE(); + } +@@ -6487,7 +6487,7 @@ public class ToDafny { + { + return SigningAlgorithmSpec.create_ECDSA__SHA__512(); + } +- case SM2DSA: ++ case SM2_DSA: + { + return SigningAlgorithmSpec.create_SM2DSA(); + }