m

Author: lucasmcdonald3

TestVectors/runtimes/python/src/dbesdk_ddb_test_vectors/internaldafny/extern/CreateInterceptedDDBTable.py

@@ -200,25 +200,6 @@ def get_item(self, **kwargs):
         client_output = self._table_shape_to_client_shape_converter.get_item_response(table_output)
         return client_output
 
-    def _convert_batch_write_item_request_from_dynamo_to_dict(self, **kwargs):
-        for table, requests in kwargs["RequestItems"].items():
-            dict_requests = []
-            for request in requests:
-                request_name_list = list(request.keys())
-                if len(request_name_list) > 1:
-                    raise ValueError("Cannot send more than one request in a single request")
-                request_name = request_name_list[0]
-                if request_name == "PutRequest":
-                    dict_request = ddb_to_dict(request[request_name]["Item"])
-                    dict_requests.append({request_name: {"Item": dict_request}})
-                elif request_name == "DeleteRequest":
-                    dict_request = ddb_to_dict(request[request_name]["Key"])
-                    dict_requests.append({request_name: {"Key": dict_request}})
-                else:
-                    raise ValueError(f"Unknown batch_write_items method key: {request_name}")
-            kwargs["RequestItems"][table] = dict_requests
-        return kwargs
-
     def batch_write_item(self, **kwargs):
         # print(f"batch_write_item {kwargs=}")
         # Parse boto3 client.batch_write_item input into table.batch_writer() calls

TestVectors/runtimes/python/test/resource/test_dafny_wrapper.py

@@ -19,5 +19,33 @@
 import dbesdk_ddb_test_vectors.internaldafny.extern.CreateInterceptedDDBResource
 import dbesdk_ddb_test_vectors.internaldafny.extern.CreateWrappedDictItemEncryptor
 
+# Remove invalid tests.
+# Supported operations on `resource` that are also supported by DBESDK are:
+# - batch_get_item
+# - batch_write_item
+# Unsupported operations on `resource` are that are supported by DBESDK are:
+# - put_item
+# - get_item
+# - query
+# - scan
+# - transact_get_items
+# - transact_write_items
+# Remove any tests that call unsupported operations.
+# If more tests that call these operations are added, remove them below.
+# If the list below becomes unmaintainable,
+# or if other languages add clients with unsupported operations,
+# refactor the Dafny code to conditionally call tests
+# based on whether the client supports the operation under test.
+
+def EmptyTest(*args):
+  pass
+
+dbesdk_ddb_test_vectors.internaldafny.generated.DdbEncryptionTestVectors.TestVectorConfig.BasicIoTestPutItem = EmptyTest
+dbesdk_ddb_test_vectors.internaldafny.generated.DdbEncryptionTestVectors.TestVectorConfig.BasicIoTestTransactWriteItems = EmptyTest
+dbesdk_ddb_test_vectors.internaldafny.generated.DdbEncryptionTestVectors.TestVectorConfig.BasicQueryTest = EmptyTest
+dbesdk_ddb_test_vectors.internaldafny.generated.DdbEncryptionTestVectors.TestVectorConfig.BasicIoTestGetItem = EmptyTest
+dbesdk_ddb_test_vectors.internaldafny.generated.DdbEncryptionTestVectors.TestVectorConfig.BasicIoTestScan = EmptyTest
+dbesdk_ddb_test_vectors.internaldafny.generated.DdbEncryptionTestVectors.TestVectorConfig.BasicIoTestTransactGetItems = EmptyTest
+
 def test_dafny():
   from ..internaldafny.generated import __main__

TestVectors/runtimes/python/test/table/test_dafny_wrapper.py

@@ -20,11 +20,16 @@
 import dbesdk_ddb_test_vectors.internaldafny.extern.CreateWrappedDictItemEncryptor
 
 # Remove invalid tests.
-# Unsupported operations on `table` are:
+# Supported operations on `table` that are also supported by DBESDK are:
+# - put_item
+# - get_item
+# - query
+# - scan
+# Unsupported operations on `table` are that are supported by DBESDK are:
 # - transact_get_items
 # - transact_write_items
 # - batch_get_item
-# Remove any tests that call these operations.
+# Remove any tests that call unsupported operations.
 # If more tests that call these operations are added, remove them below.
 # If the list below becomes unmaintainable,
 # or if other languages add clients with unsupported operations,