m

smithy-lang · Dec 12, 2024 · f2488ce · f2488ce
1 parent 54ef386
commit f2488ce
Showing 1 changed file with 29 additions and 0 deletions.
diff --git a/...olymorph/smithypython/localservice/extensions/DirectedDafnyPythonLocalServiceCodegen.java b/...olymorph/smithypython/localservice/extensions/DirectedDafnyPythonLocalServiceCodegen.java
@@ -534,6 +534,35 @@ protected void generateOrphanedShapesForService(
           shapeToGenerate
         );
       }
+
+            final WriterDelegator<PythonWriter> delegator = directive.context().writerDelegator();
+            final String moduleName =
+              SmithyNameResolver.getServiceSmithygeneratedDirectoryNameForNamespace(
+                directive.context().settings().getService().getNamespace()
+              );
+
+            delegator.useFileWriter(
+              moduleName + "/dafny_to_smithy.py",
+              "",
+              conversionWriter -> {
+                DafnyToLocalServiceConversionFunctionWriter.writeConverterForShapeAndMembers(
+                  shapeToGenerate,
+                  directive.context(),
+                  conversionWriter
+                );
+              });
+
+            delegator.useFileWriter(
+              moduleName + "/smithy_to_dafny.py",
+              "",
+              conversionWriter -> {
+                LocalServiceToDafnyConversionFunctionWriter.writeConverterForShapeAndMembers(
+                  shapeToGenerate,
+                  directive.context(),
+                  conversionWriter
+                );
+              });
+
     }
   }