From fcb691d263fdd0e128916e6466f55f50cca9e99d Mon Sep 17 00:00:00 2001
From: rishav-karanjit <karanjitrishav4@gmail.com>
Date: Tue, 7 Jan 2025 16:29:59 -0800
Subject: [PATCH] add sorted

---
 .../DafnyLocalServiceTypeConversionProtocol.java          | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java
index 53bd21b88..530a08676 100644
--- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java
+++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java
@@ -65,6 +65,8 @@ public void generateSerializers(final GenerationContext context) {
     final var writerDelegator = context.writerDelegator();
     serviceShape
       .getOperations()
+      .stream()
+      .sorted()
       .forEach(eachOperation -> {
         final var operation = model.expectShape(
           eachOperation,
@@ -215,6 +217,8 @@ public void generateSerializers(final GenerationContext context) {
         );
         resourceShape
           .getOperations()
+          .stream()
+          .sorted()
           .forEach(eachOperation -> {
             final var operation = model.expectShape(
               eachOperation,
@@ -425,6 +429,8 @@ public void generateDeserializers(final GenerationContext context) {
 
     serviceShape
       .getOperations()
+      .stream()
+      .sorted()
       .forEach(eachOperation -> {
         final var operation = context
           .model()
@@ -590,6 +596,8 @@ public void generateDeserializers(final GenerationContext context) {
           .expectShape(resource, ResourceShape.class);
         resourceShape
           .getOperations()
+          .stream()
+          .sorted()
           .forEach(eachOperation -> {
             final var operation = context
               .model()