feat: TestBed BigInteger skeleton implementation (#116)

* feat: BigInteger skeleton implementation

* feat: BigInteger skeleton implementation

* chore: Use shared Makefile

TestModels/SimpleTypes/BigInteger/Makefile

@@ -0,0 +1,13 @@
+# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+CORES=2
+
+include ../../SharedMakefile.mk
+
+NAMESPACE=simple.types.bigInteger
+
+# This project has no dependencies
+# DEPENDENT-MODELS:=
+# LIBRARIES :=
+transpile_net_dependencies:

TestModels/SimpleTypes/BigInteger/Model/BigInteger.smithy

@@ -0,0 +1,32 @@
+namespace simple.types.bigInteger
+
+@aws.polymorph#localService(
+  sdkId: "SimpleBigInteger",
+  config: SimpleBigIntegerConfig,
+)
+service SimpleTypesBigInteger {
+  version: "2021-11-01",
+  resources: [],
+  operations: [ GetBigInteger ],
+  errors: [],
+}
+
+structure SimpleBigIntegerConfig {}
+
+operation GetBigInteger {
+  input: GetBigIntegerInput,
+  output: GetBigIntegerOutput,
+}
+
+operation GetBigIntegerKnownValueTest {
+  input: GetBigIntegerInput,
+  output: GetBigIntegerOutput,
+}
+
+structure GetBigIntegerInput {
+  value: BigInteger
+}
+
+structure GetBigIntegerOutput {
+  value: BigInteger
+}

TestModels/SimpleTypes/BigInteger/README.md

@@ -0,0 +1,9 @@
+# BigInteger
+
+This project will implement the smithy type [bigInteger](https://smithy.io/2.0/spec/simple-types.html#biginteger) and the associated operations in `dafny`.
+
+## Status
+
+This project does not build. Neither the `software.amazon.polymorph.smithydotnet` nor the `software.amazon.polymorph.smithydafny` projects support code generation for the "bigInteger" shape. This project cannot be used to generate the BigInteger type for either Dafny or Dotnet.
+
+Once the Polymorph code generators supports code generation for this shape, these files should be extended to complete the type implementation.