refactor(dafny): rename BKS Error Messages class for legibility (#1429)

Author: texastony

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/AwsCryptographyKeyStoreOperations.dfy

@@ -7,7 +7,7 @@ include "GetKeys.dfy"
 include "CreateKeyStoreTable.dfy"
 include "CreateKeys.dfy"
 include "Structure.dfy"
-include "ErrorMessages.dfy"
+include "KeyStoreErrorMessages.dfy"
 include "KmsArn.dfy"
 include "DefaultKeyStorageInterface.dfy"
 

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/CreateKeys.dfy

@@ -5,7 +5,7 @@ include "../Model/AwsCryptographyKeyStoreTypes.dfy"
 include "Structure.dfy"
 include "DefaultKeyStorageInterface.dfy"
 include "KMSKeystoreOperations.dfy"
-include "ErrorMessages.dfy"
+include "KeyStoreErrorMessages.dfy"
 include "../../AwsCryptographicMaterialProviders/src/AwsArnParsing.dfy"
 include "KmsArn.dfy"
 

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DefaultKeyStorageInterface.dfy

@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0
 include "../Model/AwsCryptographyKeyStoreTypes.dfy"
 include "Structure.dfy"
-include "ErrorMessages.dfy"
+include "KeyStoreErrorMessages.dfy"
 include "KmsArn.dfy"
 include "StorageHelpers.dfy"
 

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/GetKeys.dfy

@@ -4,7 +4,7 @@
 include "../Model/AwsCryptographyKeyStoreTypes.dfy"
 include "Structure.dfy"
 include "KMSKeystoreOperations.dfy"
-include "ErrorMessages.dfy"
+include "KeyStoreErrorMessages.dfy"
 include "KmsArn.dfy"
 include "HierarchicalVersionUtils.dfy"
 

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/HierarchicalVersionUtils.dfy

@@ -3,6 +3,7 @@
 include "../../../dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy"
 include "../Model/AwsCryptographyKeyStoreTypes.dfy"
 include "../../AwsCryptographicMaterialProviders/src/CanonicalEncryptionContext.dfy"
+include "KeyStoreErrorMessages.dfy"
 
 module {:options "/functionSyntax:4" } HierarchicalVersionUtils {
   import opened Wrappers
@@ -13,6 +14,7 @@ module {:options "/functionSyntax:4" } HierarchicalVersionUtils {
   import UTF8
   import CanonicalEncryptionContext
   import Types = AwsCryptographyKeyStoreTypes
+  import KeyStoreErrorMessages
 
   type PlainTextTuple = s: seq<uint8> | |s| == 80 witness *
   type BKCDigestError = e: Types.Error | (e.KeyStoreException? ) witness *
@@ -148,7 +150,6 @@ module {:options "/functionSyntax:4" } HierarchicalVersionUtils {
                        )
   }
 
-
   function HasPrefix(key: string): bool {
     |key| > |Structure.ENCRYPTION_CONTEXT_PREFIX| &&
     key[..|Structure.ENCRYPTION_CONTEXT_PREFIX|] == Structure.ENCRYPTION_CONTEXT_PREFIX

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/Index.dfy

@@ -3,8 +3,7 @@
 include "../Model/AwsCryptographyKeyStoreTypes.dfy"
 include "AwsCryptographyKeyStoreOperations.dfy"
 include "DefaultKeyStorageInterface.dfy"
-
-include "ErrorMessages.dfy"
+include "KeyStoreErrorMessages.dfy"
 include "KmsArn.dfy"
 
 module {:extern "software.amazon.cryptography.keystore.internaldafny"} KeyStore refines AbstractAwsCryptographyKeyStoreService

…yptographyKeyStore/src/ErrorMessages.dfy …hyKeyStore/src/KeyStoreErrorMessages.dfyAwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/ErrorMessages.dfy renamed to AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/KeyStoreErrorMessages.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/ErrorMessages.dfy renamed to AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/KeyStoreErrorMessages.dfy

@@ -3,7 +3,7 @@
 include "../Model/AwsCryptographyKeyStoreTypes.dfy"
 include "../../../dafny/AwsCryptographicMaterialProviders/src/AwsArnParsing.dfy"
 
-include "ErrorMessages.dfy"
+include "KeyStoreErrorMessages.dfy"
 
 module {:options "/functionSyntax:4" } KmsArn {
   import opened Wrappers

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/KmsArn.dfy

@@ -4,7 +4,7 @@
 include "../src/Index.dfy"
 include "Fixtures.dfy"
 include "CleanupItems.dfy"
-include "../src/ErrorMessages.dfy"
+include "../src/KeyStoreErrorMessages.dfy"
 include "BranchKeyValidators.dfy"
 
 module {:options "/functionSyntax:4" } TestGetKeys {

AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestGetKeys.dfy

@@ -6,7 +6,7 @@ include "../../../../AwsCryptographyPrimitives/Model/AwsCryptographyPrimitivesTy
 include "../../AwsCryptographyKeyStore/src/Structure.dfy"
 include "../../AwsCryptographyKeyStore/src/DefaultKeyStorageInterface.dfy"
 include "../../AwsCryptographyKeyStore/src/KMSKeystoreOperations.dfy"
-include "../../AwsCryptographyKeyStore/src/ErrorMessages.dfy"
+include "../../AwsCryptographyKeyStore/src/KeyStoreErrorMessages.dfy"
 include "../../AwsCryptographicMaterialProviders/src/AwsArnParsing.dfy"
 include "../../AwsCryptographyKeyStore/src/KmsArn.dfy"
 include "SystemKey/ContentHandler.dfy"