Skip to content

Commit 8272eb5

Browse files
rishav-karanjitrishav-karanjit
committed
Merge branch 'Golang/Examples/refactoring' of https://github.com/aws/aws-database-encryption-sdk-dynamodb into Golang/Examples/refactoring
2 parents 78d480c + b62f592 commit 8272eb5

File tree

181 files changed

+134582
-1
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

181 files changed

+134582
-1
lines changed

‎DynamoDbEncryption/Makefile

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -189,3 +189,20 @@ _sed_index_file_add_extern:
189189
$(MAKE) _sed_file SED_FILE_PATH=$(ITEMENCRYPTOR_LEGACY_FILE_PATH) SED_BEFORE_STRING=$(ITEMENCRYPTOR_LEGACY_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(ITEMENCRYPTOR_LEGACY_FILE_WITH_EXTERN_STRING)
190190
$(MAKE) _sed_file SED_FILE_PATH=$(TRANSFORMS_INDEX_FILE_PATH) SED_BEFORE_STRING=$(TRANSFORMS_INDEX_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(TRANSFORMS_INDEX_FILE_WITH_EXTERN_STRING)
191191
$(MAKE) _sed_file SED_FILE_PATH=$(STRUCTUREDENCRYPTION_INDEX_FILE_PATH) SED_BEFORE_STRING=$(STRUCTUREDENCRYPTION_INDEX_FILE_WITHOUT_EXTERN_STRING) SED_AFTER_STRING=$(STRUCTUREDENCRYPTION_INDEX_FILE_WITH_EXTERN_STRING)
192+
_polymorph_dependencies:
193+
@echo "No polymorphing of dependency"
194+
195+
_transpile_implementation_all:
196+
@echo "No polymorphing of dependency"
197+
198+
_transpile_test_all:
199+
@echo "No polymorphing of dependency"
200+
201+
_transpile_dependencies:
202+
@echo "No polymorphing of dependency"
203+
204+
_transpile_dependencies_test:
205+
@echo "No polymorphing of dependency"
206+
207+
mvn_local_deploy_dependencies:
208+
@echo "No polymorphing of dependency"

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AttributeResolver/AttributeResolver.go

Lines changed: 407 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations.go

Lines changed: 1315 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes.go

Lines changed: 1559 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkDynamoDbOperations/AwsCryptographyDbEncryptionSdkDynamoDbOperations.go

Lines changed: 618 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations/AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations.go

Lines changed: 611 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes/AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes.go

Lines changed: 6313 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkDynamoDbTypes/AwsCryptographyDbEncryptionSdkDynamoDbTypes.go

Lines changed: 6430 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations/AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations.go

Lines changed: 1694 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes/AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes.go

Lines changed: 2954 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/BaseBeacon/BaseBeacon.go

Lines changed: 1172 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/BatchExecuteStatementTransform/BatchExecuteStatementTransform.go

Lines changed: 397 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/BatchGetItemTransform/BatchGetItemTransform.go

Lines changed: 445 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/BatchWriteItemTransform/BatchWriteItemTransform.go

Lines changed: 633 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/Canonize/Canonize.go

Lines changed: 640 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/CompoundBeacon/CompoundBeacon.go

Lines changed: 1841 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DdbMiddlewareConfig/DdbMiddlewareConfig.go

Lines changed: 649 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DdbStatement/DdbStatement.go

Lines changed: 578 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DdbVirtualFields/DdbVirtualFields.go

Lines changed: 951 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DeleteItemTransform/DeleteItemTransform.go

Lines changed: 447 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDBFilterExpr/DynamoDBFilterExpr.go

Lines changed: 4255 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDBSupport/DynamoDBSupport.go

Lines changed: 1039 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbEncryption/DynamoDbEncryption.go

Lines changed: 423 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbEncryptionBranchKeyIdSupplier/DynamoDbEncryptionBranchKeyIdSupplier.go

Lines changed: 433 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbEncryptionTransforms/DynamoDbEncryptionTransforms.go

Lines changed: 909 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbEncryptionUtil/DynamoDbEncryptionUtil.go

Lines changed: 690 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbItemEncryptor/DynamoDbItemEncryptor.go

Lines changed: 595 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbItemEncryptorUtil/DynamoDbItemEncryptorUtil.go

Lines changed: 667 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbMiddlewareSupport/DynamoDbMiddlewareSupport.go

Lines changed: 599 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbNormalizeNumber/DynamoDbNormalizeNumber.go

Lines changed: 617 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoDbUpdateExpr/DynamoDbUpdateExpr.go

Lines changed: 465 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/DynamoToStruct/DynamoToStruct.go

Lines changed: 1855 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/ExecuteStatementTransform/ExecuteStatementTransform.go

Lines changed: 389 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/ExecuteTransactionTransform/ExecuteTransactionTransform.go

Lines changed: 396 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/GetItemTransform/GetItemTransform.go

Lines changed: 402 additions & 0 deletions
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr

Lines changed: 191 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,191 @@
1+
file_format_version = "1.0"
2+
dafny_version = "4.9.0.0"
3+
[options_by_module.AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes]
4+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
5+
legacy-module-names = false
6+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkStructuredEncryptionOperations]
7+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
8+
legacy-module-names = false
9+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkStructuredEncryptionService]
10+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
11+
legacy-module-names = false
12+
[options_by_module.StructuredEncryptionUtil]
13+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
14+
legacy-module-names = false
15+
[options_by_module.Sets]
16+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
17+
legacy-module-names = false
18+
[options_by_module.StructuredEncryptionPaths]
19+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
20+
legacy-module-names = false
21+
[options_by_module.StructuredEncryptionHeader]
22+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
23+
legacy-module-names = false
24+
[options_by_module.StructuredEncryptionFooter]
25+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
26+
legacy-module-names = false
27+
[options_by_module.OptimizedMergeSort]
28+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
29+
legacy-module-names = false
30+
[options_by_module.SortCanon]
31+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
32+
legacy-module-names = false
33+
[options_by_module.Canonize]
34+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
35+
legacy-module-names = false
36+
[options_by_module.StructuredEncryptionCrypt]
37+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
38+
legacy-module-names = false
39+
[options_by_module.Maps]
40+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
41+
legacy-module-names = false
42+
[options_by_module.AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations]
43+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
44+
legacy-module-names = false
45+
[options_by_module.StructuredEncryption]
46+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
47+
legacy-module-names = false
48+
[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbTypes]
49+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
50+
legacy-module-names = false
51+
[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes]
52+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
53+
legacy-module-names = false
54+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations]
55+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
56+
legacy-module-names = false
57+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService]
58+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
59+
legacy-module-names = false
60+
[options_by_module.DynamoDbEncryptionUtil]
61+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
62+
legacy-module-names = false
63+
[options_by_module.DynamoDbNormalizeNumber]
64+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
65+
legacy-module-names = false
66+
[options_by_module.MemoryMath]
67+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
68+
legacy-module-names = false
69+
[options_by_module.DynamoToStruct]
70+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
71+
legacy-module-names = false
72+
[options_by_module.DynamoDbItemEncryptorUtil]
73+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
74+
legacy-module-names = false
75+
[options_by_module.InternalLegacyOverride]
76+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
77+
legacy-module-names = false
78+
[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations]
79+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
80+
legacy-module-names = false
81+
[options_by_module.DynamoDbItemEncryptor]
82+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
83+
legacy-module-names = false
84+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkDynamoDbOperations]
85+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
86+
legacy-module-names = false
87+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkDynamoDbService]
88+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
89+
legacy-module-names = false
90+
[options_by_module.DynamoDbEncryptionBranchKeyIdSupplier]
91+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
92+
legacy-module-names = false
93+
[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbOperations]
94+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
95+
legacy-module-names = false
96+
[options_by_module.DynamoDbEncryption]
97+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
98+
legacy-module-names = false
99+
[options_by_module.TermLoc]
100+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
101+
legacy-module-names = false
102+
[options_by_module.DdbVirtualFields]
103+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
104+
legacy-module-names = false
105+
[options_by_module.DynamoDbUpdateExpr]
106+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
107+
legacy-module-names = false
108+
[options_by_module.BaseBeacon]
109+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
110+
legacy-module-names = false
111+
[options_by_module.CompoundBeacon]
112+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
113+
legacy-module-names = false
114+
[options_by_module.SearchableEncryptionInfo]
115+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
116+
legacy-module-names = false
117+
[options_by_module.DynamoDBFilterExpr]
118+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
119+
legacy-module-names = false
120+
[options_by_module.DynamoDBSupport]
121+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
122+
legacy-module-names = false
123+
[options_by_module.SearchConfigToInfo]
124+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
125+
legacy-module-names = false
126+
[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes]
127+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
128+
legacy-module-names = false
129+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations]
130+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
131+
legacy-module-names = false
132+
[options_by_module.AbstractAwsCryptographyDbEncryptionSdkDynamoDbTransformsService]
133+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
134+
legacy-module-names = false
135+
[options_by_module.DdbMiddlewareConfig]
136+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
137+
legacy-module-names = false
138+
[options_by_module.DdbStatement]
139+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
140+
legacy-module-names = false
141+
[options_by_module.DynamoDbMiddlewareSupport]
142+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
143+
legacy-module-names = false
144+
[options_by_module.PutItemTransform]
145+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
146+
legacy-module-names = false
147+
[options_by_module.GetItemTransform]
148+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
149+
legacy-module-names = false
150+
[options_by_module.UpdateItemTransform]
151+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
152+
legacy-module-names = false
153+
[options_by_module.BatchWriteItemTransform]
154+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
155+
legacy-module-names = false
156+
[options_by_module.TransactWriteItemsTransform]
157+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
158+
legacy-module-names = false
159+
[options_by_module.BatchGetItemTransform]
160+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
161+
legacy-module-names = false
162+
[options_by_module.ScanTransform]
163+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
164+
legacy-module-names = false
165+
[options_by_module.QueryTransform]
166+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
167+
legacy-module-names = false
168+
[options_by_module.TransactGetItemsTransform]
169+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
170+
legacy-module-names = false
171+
[options_by_module.DeleteItemTransform]
172+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
173+
legacy-module-names = false
174+
[options_by_module.ExecuteStatementTransform]
175+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
176+
legacy-module-names = false
177+
[options_by_module.BatchExecuteStatementTransform]
178+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
179+
legacy-module-names = false
180+
[options_by_module.ExecuteTransactionTransform]
181+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
182+
legacy-module-names = false
183+
[options_by_module.AttributeResolver]
184+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
185+
legacy-module-names = false
186+
[options_by_module.AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations]
187+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
188+
legacy-module-names = false
189+
[options_by_module.DynamoDbEncryptionTransforms]
190+
go-module-name = "github.com/aws/aws-database-encryption-sdk-dynamodb"
191+
legacy-module-names = false

0 commit comments

Comments
 (0)