-
Notifications
You must be signed in to change notification settings - Fork 12
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore(Python): Rename Python MPL package (#882)
- Loading branch information
1 parent
4b7cc5f
commit 9acd274
Showing
64 changed files
with
1,033 additions
and
1,581 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
4 changes: 2 additions & 2 deletions
4
AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,10 +1,10 @@ | ||
[tool.poetry] | ||
name = "aws-cryptographic-materialproviders" | ||
name = "aws-cryptographic-material-providers" | ||
version = "1.7.1" | ||
description = "AWS Cryptographic Material Providers Library for Python" | ||
authors = ["AWS Crypto Tools <[email protected]>"] | ||
packages = [ | ||
{ include = "aws_cryptographic_materialproviders", from = "src" }, | ||
{ include = "aws_cryptographic_material_providers", from = "src" }, | ||
] | ||
# Include generated internaldafny files in package distributions, | ||
# even though they are not included in version control | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
File renamed without changes.
179 changes: 179 additions & 0 deletions
179
.../python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,179 @@ | ||
file_format_version = "1.0" | ||
dafny_version = "4.8.0.0" | ||
[options_by_module.AwsCryptographyKeyStoreTypes] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AbstractAwsCryptographyKeyStoreOperations] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AbstractAwsCryptographyKeyStoreService] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsCryptographyMaterialProvidersTypes] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsArnParsing] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsMrkMatchForDecrypt] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsUtils] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.KeyStoreErrorMessages] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.KmsArn] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Structure] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.KMSKeystoreOperations] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.DDBKeystoreOperations] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.CreateKeys] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.CreateKeyStoreTable] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.GetKeys] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsCryptographyKeyStoreOperations] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.KeyStore] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AbstractAwsCryptographyMaterialProvidersOperations] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AbstractAwsCryptographyMaterialProvidersService] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AlgorithmSuites] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Materials] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Keyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.MultiKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsMrkAreUnique] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Constants] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.MaterialWrapping] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.CanonicalEncryptionContext] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.IntermediateKeyWrapping] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.EdkWrapping] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.ErrorMessages] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.StrictMultiKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsDiscoveryKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.DiscoveryMultiKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsMrkDiscoveryKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.MrkAwareDiscoveryMultiKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsMrkKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.MrkAwareStrictMultiKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.LocalCMC] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.SynchronizedLocalCMC] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.StormTracker] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.StormTrackingCMC] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.CacheConstants] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsHierarchicalKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsRsaKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.EcdhEdkWrapping] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.RawECDHKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsKmsEcdhKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.RawAESKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.RawRSAKeyring] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.CMM] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Defaults] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Commitment] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.DefaultCMM] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.DefaultClientSupplier] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.Utils] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.RequiredEncryptionContextCMM] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.AwsCryptographyMaterialProvidersOperations] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" | ||
[options_by_module.MaterialProviders] | ||
legacy-module-names = false | ||
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated" |
File renamed without changes.
2 changes: 1 addition & 1 deletion
2
...phic_materialproviders/keystore/client.py → ...hic_material_providers/keystore/client.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_materialproviders.smithygenerated.aws_cryptography_keystore.client import * | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_keystore.client import * |
2 changes: 1 addition & 1 deletion
2
...phic_materialproviders/keystore/config.py → ...hic_material_providers/keystore/config.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_materialproviders.smithygenerated.aws_cryptography_keystore.config import * | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_keystore.config import * |
2 changes: 1 addition & 1 deletion
2
...phic_materialproviders/keystore/errors.py → ...hic_material_providers/keystore/errors.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_materialproviders.smithygenerated.aws_cryptography_keystore.errors import * | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_keystore.errors import * |
2 changes: 1 addition & 1 deletion
2
...phic_materialproviders/keystore/models.py → ...hic_material_providers/keystore/models.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_materialproviders.smithygenerated.aws_cryptography_keystore.models import * | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_keystore.models import * |
File renamed without changes.
3 changes: 3 additions & 0 deletions
3
...cMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/client.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.client import * |
3 changes: 3 additions & 0 deletions
3
...cMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/config.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.config import * |
3 changes: 3 additions & 0 deletions
3
...cMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/errors.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.errors import * |
3 changes: 3 additions & 0 deletions
3
...cMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/models.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.models import * |
3 changes: 3 additions & 0 deletions
3
...erialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/references.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved. | ||
# SPDX-License-Identifier: Apache-2.0 | ||
from aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.references import * |
File renamed without changes.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.