From 86cac4d8678a790b9d0f4cd4542a259ea0a17044 Mon Sep 17 00:00:00 2001
From: Shubham Chaturvedi <anotherosscontributor@gmail.com>
Date: Mon, 6 Feb 2023 14:38:42 -0800
Subject: [PATCH] feat: TestBed BigInteger skeleton implementation (#116)

* feat: BigInteger skeleton implementation

* feat: BigInteger skeleton implementation

* chore: Use shared Makefile
---
 TestModels/SimpleTypes/BigInteger/Makefile    | 13 ++++++++
 .../BigInteger/Model/BigInteger.smithy        | 32 +++++++++++++++++++
 TestModels/SimpleTypes/BigInteger/README.md   |  9 ++++++
 3 files changed, 54 insertions(+)
 create mode 100644 TestModels/SimpleTypes/BigInteger/Makefile
 create mode 100644 TestModels/SimpleTypes/BigInteger/Model/BigInteger.smithy
 create mode 100644 TestModels/SimpleTypes/BigInteger/README.md

diff --git a/TestModels/SimpleTypes/BigInteger/Makefile b/TestModels/SimpleTypes/BigInteger/Makefile
new file mode 100644
index 000000000..d4ed96aea
--- /dev/null
+++ b/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:
diff --git a/TestModels/SimpleTypes/BigInteger/Model/BigInteger.smithy b/TestModels/SimpleTypes/BigInteger/Model/BigInteger.smithy
new file mode 100644
index 000000000..f36a23448
--- /dev/null
+++ b/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
+}
\ No newline at end of file
diff --git a/TestModels/SimpleTypes/BigInteger/README.md b/TestModels/SimpleTypes/BigInteger/README.md
new file mode 100644
index 000000000..034e0eaf6
--- /dev/null
+++ b/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.
\ No newline at end of file