formatting

rishav-karanjit · rishav-karanjit · commit e9834045ac7e · 2025-05-07T10:40:26.000-07:00
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryption/src/Index.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryption/src/Index.dfy
@@ -16,7 +16,7 @@ include "UpdateExpr.dfy"
 include "Util.dfy"
 include "Virtual.dfy"
 
-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny" } DynamoDbEncryption 
+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny" } DynamoDbEncryption
   refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbService
 {
   import Operations = AwsCryptographyDbEncryptionSdkDynamoDbOperations
diff --git a/DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/Index.dfy b/DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/Index.dfy
@@ -5,7 +5,7 @@ include "DdbMiddlewareConfig.dfy"
 include "AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations.dfy"
 include "../../DynamoDbEncryption/src/ConfigToInfo.dfy"
 
-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny" } DynamoDbEncryptionTransforms 
+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny" } DynamoDbEncryptionTransforms
   refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbTransformsService
 {
   import opened DdbMiddlewareConfig
diff --git a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/Index.dfy b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/Index.dfy
@@ -4,7 +4,7 @@
 include "AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations.dfy"
 include "Util.dfy"
 
-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny" } DynamoDbItemEncryptor 
+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny" } DynamoDbItemEncryptor
   refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService
 {
   import opened DynamoDbItemEncryptorUtil
diff --git a/DynamoDbEncryption/dafny/StructuredEncryption/src/Index.dfy b/DynamoDbEncryption/dafny/StructuredEncryption/src/Index.dfy
@@ -3,7 +3,7 @@
 
 include "AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations.dfy"
 
-module {:extern "software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny" } StructuredEncryption 
+module {:extern "software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny" } StructuredEncryption
   refines AbstractAwsCryptographyDbEncryptionSdkStructuredEncryptionService
 {
 

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ include "UpdateExpr.dfy"`
`16`	`16`	`include "Util.dfy"`
`17`	`17`	`include "Virtual.dfy"`
`18`	`18`
`19`		`-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny" } DynamoDbEncryption`
	`19`	`+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny" } DynamoDbEncryption`
`20`	`20`	`refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbService`
`21`	`21`	`{`
`22`	`22`	`import Operations = AwsCryptographyDbEncryptionSdkDynamoDbOperations`
Original file line number	Diff line number	Diff line change
`@@ -5,7 +5,7 @@ include "DdbMiddlewareConfig.dfy"`
`5`	`5`	`include "AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations.dfy"`
`6`	`6`	`include "../../DynamoDbEncryption/src/ConfigToInfo.dfy"`
`7`	`7`
`8`		`-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny" } DynamoDbEncryptionTransforms`
	`8`	`+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny" } DynamoDbEncryptionTransforms`
`9`	`9`	`refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbTransformsService`
`10`	`10`	`{`
`11`	`11`	`import opened DdbMiddlewareConfig`
Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`include "AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations.dfy"`
`5`	`5`	`include "Util.dfy"`
`6`	`6`
`7`		`-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny" } DynamoDbItemEncryptor`
	`7`	`+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny" } DynamoDbItemEncryptor`
`8`	`8`	`refines AbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService`
`9`	`9`	`{`
`10`	`10`	`import opened DynamoDbItemEncryptorUtil`
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`
`4`	`4`	`include "AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations.dfy"`
`5`	`5`
`6`		`-module {:extern "software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny" } StructuredEncryption`
	`6`	`+module {:extern "software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny" } StructuredEncryption`
`7`	`7`	`refines AbstractAwsCryptographyDbEncryptionSdkStructuredEncryptionService`
`8`	`8`	`{`
`9`	`9`