feat: dont use internal, because it is reserved in dotnet (#459)

ajewellamz · ajewellamz · commit 4a031639b75b · 2023-11-14T14:12:59.000-05:00
* feat: dont use internal, because it is reserved in dotnet
diff --git a/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/InternalLegacyOverride.dfy b/DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/InternalLegacyOverride.dfy
@@ -3,7 +3,7 @@
 
 include "../Model/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes.dfy"
 
-module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.internal"} InternalLegacyOverride {
+module {:extern "software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy"} InternalLegacyOverride {
   import opened Wrappers
   import Types = AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes
   import DDBE = AwsCryptographyDbEncryptionSdkDynamoDbTypes
diff --git a/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java b/DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internaldafny/legacy/InternalLegacyOverride.java
@@ -1,4 +1,4 @@
-package software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.internal;
+package software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy;
 
 /**
  * This file does *NOT* import a lot of things.
diff --git a/DynamoDbEncryption/runtimes/java/src/test/sdkv1/com/amazonaws/services/dynamodbv2/datamodeling/LegacyTestVectors.java b/DynamoDbEncryption/runtimes/java/src/test/sdkv1/com/amazonaws/services/dynamodbv2/datamodeling/LegacyTestVectors.java
@@ -1,6 +1,6 @@
 package com.amazonaws.services.dynamodbv2.datamodeling;
 
-import software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.internal.InternalLegacyOverride;
+import software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy.InternalLegacyOverride;
 import com.amazonaws.services.dynamodbv2.AmazonDynamoDB;
 import com.amazonaws.services.dynamodbv2.datamodeling.encryption.DynamoDBEncryptor;
 import com.amazonaws.services.dynamodbv2.model.*;
diff --git a/DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs b/DynamoDbEncryption/runtimes/net/Extern/InternalLegacyConfig.cs
@@ -3,7 +3,7 @@
 
 using software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types;
 
-namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.internal
+namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy
 {
 
   public partial class InternalLegacyOverride

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-package software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.internal;`
	`1`	`+package software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy;`
`2`	`2`
`3`	`3`	`/**`
`4`	`4`	`* This file does NOT import a lot of things.`
Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`
`4`	`4`	`using software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types;`
`5`	`5`
`6`		`-namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.internal`
	`6`	`+namespace software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.legacy`
`7`	`7`	`{`
`8`	`8`
`9`	`9`	`public partial class InternalLegacyOverride`