chore: OrphanedShapes TestModel

TestModels/.gitignore

@@ -34,6 +34,23 @@
 # Polymorph Generated Python
 **/runtimes/python/src/**/smithygenerated/
 
+# Polymorph Generated Rust
+**/src/client.rs
+**/src/client
+**/src/conversions.rs
+**/src/conversions
+**/src/deps.rs
+**/src/deps
+**/src/error.rs
+**/src/error
+**/src/operation.rs
+**/src/operation
+**/src/standard_library_conversions.rs
+**/src/standard_library_externs.rs
+**/src/types.rs
+**/src/types
+**/target
+
 # .NET Artifacts
 **/bin
 **/obj

TestModels/OrphanedShapes/Makefile

@@ -0,0 +1,55 @@
+# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+CORES=2
+
+ENABLE_EXTERN_PROCESSING=1
+TRANSPILE_TESTS_IN_RUST=1
+
+include ../SharedMakefile.mk
+
+NAMESPACE=simple.orphaned
+
+PROJECT_SERVICES := \
+	SimpleOrphaned
+
+MAIN_SERVICE_FOR_RUST := SimpleOrphaned
+
+SERVICE_NAMESPACE_SimpleOrphaned=simple.orphaned
+
+SERVICE_DEPS_SimpleOrphaned :=
+
+SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
+
+# This project has no dependencies 
+# DEPENDENT-MODELS:= 
+
+POLYMORPH_OPTIONS=--generate project-files,client-constructors\
+
+# Go
+
+GO_MODULE_NAME="github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes"
+
+TRANSLATION_RECORD_GO := \
+    dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr
+
+# Python
+
+PYTHON_MODULE_NAME=simple_orphaned
+
+TRANSLATION_RECORD_PYTHON := \
+    --translation-record ../dafny-dependencies/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr
+
+# Constants for languages that drop extern names (Python, Go)
+
+TYPES_FILE_PATH=Model/SimpleOrphanedTypes.dfy
+TYPES_FILE_WITH_EXTERN_STRING="module {:extern \"simple.orphaned.internaldafny.types\" } SimpleOrphanedTypes"
+TYPES_FILE_WITHOUT_EXTERN_STRING="module SimpleOrphanedTypes"
+
+INDEX_FILE_PATH=src/Index.dfy
+INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"simple.orphaned.internaldafny\" } SimpleOrphaned refines AbstractSimpleOrphanedService {"
+INDEX_FILE_WITHOUT_EXTERN_STRING="module SimpleOrphaned refines AbstractSimpleOrphanedService {"
+
+WRAPPED_INDEX_FILE_PATH=src/WrappedSimpleOrphanedImpl.dfy
+WRAPPED_INDEX_FILE_WITH_EXTERN_STRING="module {:options \"--function-syntax:4\"} {:extern \"simple.orphaned.internaldafny.wrapped\"} WrappedSimpleOrphanedService refines WrappedAbstractSimpleOrphanedService {"
+WRAPPED_INDEX_FILE_WITHOUT_EXTERN_STRING="module {:options \"--function-syntax:4\"} WrappedSimpleOrphanedService refines WrappedAbstractSimpleOrphanedService {"

TestModels/OrphanedShapes/Model/OrphanedShapes.smithy

@@ -0,0 +1,130 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+
+$version: "2"
+namespace simple.orphaned
+
+@aws.polymorph#localService(
+  sdkId: "SimpleOrphaned",
+  config: SimpleOrphanedConfig,
+)
+service SimpleOrphaned {
+  version: "2021-11-01",
+  resources: [],
+  operations: [],
+}
+
+structure SimpleOrphanedConfig {
+  structureMember: OrphanedConfigShape
+}
+
+structure OrphanedConfigShape {
+  stringMember: String
+}
+
+blob OrphanedBlob
+
+boolean OrphanedBoolean
+
+string OrphanedString
+
+// TODO: Once SimpleTypes for commented-out shapes are completed,
+// uncomment these and add as members to OrphanedStructure
+// byte OrphanedByte
+
+// short OrphanedShort
+
+integer OrphanedInteger
+
+long OrphanedLong
+
+// float OrphanedFloat
+
+// double OrphanedDouble
+
+// bigInteger OrphanedBigInteger
+
+// bigDecimal OrphanedBigDecimal
+
+// timestamp OrphanedTimestamp
+
+// document OrphanedDocument
+
+// This is a smithy V1 Enum
+@enum([
+  {
+    name: "FIRST",
+    value: "0x0014",
+  },
+  {
+    name: "SECOND",
+    value: "0x0046",
+  },
+  {
+    name: "THIRD",
+    value: "0x0078",
+  },
+])
+string OrphanedV1Enum
+
+list OrphanedList {
+  member: String
+}
+
+map OrphanedMap {
+  key: String
+  value: String
+}
+
+structure OrphanedStructure {
+    blobValue: OrphanedBlob,
+    booleanValue: OrphanedBoolean,
+    stringValue: OrphanedString,
+    //  byteValue: OrphanedByte,
+    //  shortValue: OrphanedShort,
+    integerValue: OrphanedInteger,
+    longValue: OrphanedLong,
+    //  floatValue: OrphanedFloat,
+    //  doubleValue: OrphanedDouble,
+    //  bigIntegerValue: OrphanedBigInteger,
+    //  bigDecimalValue: OrphanedBigDecimal,
+    //  timestampValue: OrphanedTimestamp,
+    unionValue: OrphanedUnion,
+    enumValue: OrphanedV1Enum,
+    mapValue: OrphanedMap,
+    listValue: OrphanedList
+}
+
+union OrphanedUnion {
+  integerValue: Integer
+  stringValue: String
+}
+
+@error("client")
+structure OrphanedError {
+  @required
+  message: String,
+}
+
+@aws.polymorph#reference(resource: OrphanedResource)
+structure OrphanedResourceReference {}
+
+@aws.polymorph#extendable
+resource OrphanedResource {
+  operations: [
+    OrphanedResourceOperation
+  ]
+}
+
+operation OrphanedResourceOperation {
+    input: OrphanedResourceOperationInput
+    output: OrphanedResourceOperationOutput
+}
+
+structure OrphanedResourceOperationInput {
+  someString: String
+}
+
+structure OrphanedResourceOperationOutput {
+  someString: String
+}

TestModels/OrphanedShapes/README.md

@@ -0,0 +1,57 @@
+# OrphanedShapes
+
+## Background
+
+This project tests for support of "orphaned" shapes.
+
+An "orphaned" is a shape that exists in a Smithy model, but is not discovered by Smithy-Core's shape discovery logic.
+
+Smithy-Core will only discover and generate code for shapes that are attached to a service via the service's
+
+1. Operations
+2. Mixins
+3. Errors
+
+and recursive traversals of the connected shapes.
+
+If a shape is defined in a Smithy model,
+but not declared in a LocalService's operations or errors
+(or recursive traversals of these),
+codegens that use Smithy-Core's shape discovery will not generate code for the shape.
+(Similar for mixins, but Polymorph doesn't have any usage of these at the moment.)
+
+Smithy-Dafny .NET and Java generate code for orphaned shapes because these codegens don't use Smithy-Core's shape discovery logic.
+
+By default, any language extending a "real" Smithy code generator use Smithy-Core's shape discovery logic, and do not support orphaned shapes.
+
+The expectation is that code is generated for orphaned shapes.
+The generated code must include any class definitions and Dafny/native conversions.
+
+## Prerequisites
+
+This TestModel assumes these other TestModels are passing:
+
+- Extern
+- Extendable
+- Errors
+- LocalService
+- Union
+- Aggregate
+- Enum
+
+and these TestModels' prerequisite TestModels.
+
+## Coverage
+
+This TestModel tests some instances of orphaned shapes
+
+- LocalService Config shapes. (Config shapes are "orphaned", but are likely already handled as one-offs by any codegen that's this TestModels' prerequisites)
+- Errors
+- Resources (with @aws.polymorph#reference trait) and their operations
+- Structures (and structures' members)
+
+The bar this TestModel establishes is "if a shape is defined in a Smithy model, its native/Dafny shapes and their conversions are defined in a runtime."
+
+This TestModel asserts this by requiring externs to pass orphaned shapes across the Dafny layer.
+The extern implementations MUST call Polymorph-generated native shapes and Dafny/native conversions for these orphaned shapes.
+Polymorph will only generate these shapes and conversions if the language's codegen supports orphaned shapes.

TestModels/OrphanedShapes/runtimes/go/ImplementationFromDafny-go/go.mod

@@ -0,0 +1,10 @@
+module github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes
+
+go 1.23.0
+
+require (
+	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
+	github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+)
+
+replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

TestModels/OrphanedShapes/runtimes/go/TestsFromDafny-go/ExternDefinitions/extern.go

@@ -0,0 +1,39 @@
+package ExternDefinitions
+
+import (
+	"fmt"
+
+	Wrappers "github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
+	OrphanedResource "github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes/OrphanedResource"
+	SimpleOrphanedTypes "github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes/SimpleOrphanedTypes"
+	simpleorphanedsmithygenerated "github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes/simpleorphanedsmithygenerated"
+	simpleorphanedsmithygeneratedtypes "github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes/simpleorphanedsmithygeneratedtypes"
+)
+
+var _ Wrappers.Dummy__
+
+// TODO: Finish implementation.
+// This is missing structure converter.
+
+func (CompanionStruct_Default___) InitializeOrphanedStructure(input SimpleOrphanedTypes.OrphanedStructure) SimpleOrphanedTypes.OrphanedStructure {
+	// Missing Structure converter
+	return input
+}
+
+func (CompanionStruct_Default___) CallNativeOrphanedResource(input *OrphanedResource.OrphanedResource) Wrappers.Result {
+	native_resource := simpleorphanedsmithygenerated.OrphanedResource_FromDafny(input)
+	someString := "the extern MUST provide this string to the native resource's operation"
+	native_output, err := native_resource.OrphanedResourceOperation(simpleorphanedsmithygeneratedtypes.OrphanedResourceOperationInput{SomeString: &someString})
+	if err != nil {
+		return Wrappers.Companion_Result_.Create_Failure_(err)
+	}
+	dafny_output := simpleorphanedsmithygenerated.OrphanedResourceOperationOutput_ToDafny(*native_output)
+	return Wrappers.Companion_Result_.Create_Success_(dafny_output)
+}
+
+func (CompanionStruct_Default___) CallNativeOrphanedError(input SimpleOrphanedTypes.Error) SimpleOrphanedTypes.Error {
+	native_error := simpleorphanedsmithygenerated.Error_FromDafny(input)
+	native_error.Message = "the extern MUST set this string using the catch-all error converter, NOT the orphaned error-specific converter"
+	dafny_error_again := simpleorphanedsmithygenerated.Error_ToDafny(native_error)
+	return dafny_error_again
+}

TestModels/OrphanedShapes/runtimes/go/TestsFromDafny-go/go.mod

@@ -0,0 +1,14 @@
+module github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes/test
+
+go 1.23.0
+
+require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+
+require (
+	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
+	github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes v0.0.0
+)
+
+replace github.com/smithy-lang/smithy-dafny/TestModels/OrphanedShapes v0.0.0 => ../ImplementationFromDafny-go
+
+replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/