feat: add Constructor Rust TestModel (#426)

*Issue #, if available:*
Resolves #401 

*Description of changes:*

also adds `.project` / `.classpath ` / `.settings` java files to gitignore

.gitignore

@@ -7,3 +7,7 @@
 /codegen/smithy-dafny-codegen/bin
 /codegen/smithy-dafny-codegen-cli/bin
 /smithy-dafny-conversion/bin
+
+.project
+.classpath
+.settings

TestModels/Constructor/runtimes/rust/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "stub"
+name = "constructor"
 version = "0.1.0"
 edition = "2021"
 
@@ -11,7 +11,6 @@ aws-smithy-runtime-api = {version = "1.7.0", features = ["client"] }
 aws-smithy-types = "1.2.0"
 dafny_runtime = { path = "../../../dafny-dependencies/dafny_runtime_rust"}
 dafny_standard_library = { path = "../../../dafny-dependencies/StandardLibrary/runtimes/rust"}
-stub_dafny = { path = "./dafny_impl"}
 
 [dev-dependencies.tokio]
 version = "1.26.0"

TestModels/Constructor/runtimes/rust/README.md

@@ -1,4 +1,4 @@
-This directory is the code generation target for the SimpleStub model when targetting Rust.
+This directory is the code generation target for the Constructor model when targetting Rust.
 
 Like the other targets, the crate is a combination of the output of three different components:
 
@@ -8,7 +8,7 @@ Like the other targets, the crate is a combination of the output of three differ
 
 Most of the `smithy-rs` output is not modified,
 only trimmed down to cut out components that aren't relevant for Polymorph libraries.
-The main exception is `client.rs` and the operation builders such as `operation/get_stub.rs`,
+The main exception is `client.rs` and the operation builders such as `operation/get_constructor.rs`,
 which instantiate the underlying Dafny client implementation and invoke operations on it, respectively,
 instead of sending the operation value through an orchestrated plugin stack
 that eventually serializes it and sends it to a remote service endpoint.