diff --git a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts index 747385be9..1d5268a61 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts +++ b/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts @@ -53,7 +53,7 @@ repositories { dependencies { implementation("org.dafny:DafnyRuntime:4.0.0") - implementation("software.amazon.dafny:conversion:1.0-SNAPSHOT") + implementation("software.amazon.smithy.dafny:conversion:1.0-SNAPSHOT") implementation("software.amazon.cryptography:StandardLibrary:1.0-SNAPSHOT") implementation("software.amazon.cryptography:AwsCryptographyPrimitives:1.0-SNAPSHOT") implementation("software.amazon.cryptography:ComAmazonawsKms:1.0-SNAPSHOT") diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToDafny.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToDafny.java index 7155f0cf6..f179c2b4a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToDafny.java +++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToDafny.java @@ -55,7 +55,7 @@ public static Error Error(OpaqueError nativeValue) { } public static Error Error(CollectionOfErrors nativeValue) { - DafnySequence list = software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + DafnySequence list = software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue.list(), ToDafny::Error, Error._typeDescriptor()); @@ -65,14 +65,14 @@ public static Error Error(CollectionOfErrors nativeValue) { public static BranchKeyStatusResolutionInput BranchKeyStatusResolutionInput( software.amazon.cryptography.keystore.model.BranchKeyStatusResolutionInput nativeValue) { DafnySequence branchKeyIdentifier; - branchKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); + branchKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); return new BranchKeyStatusResolutionInput(branchKeyIdentifier); } public static CreateKeyOutput CreateKeyOutput( software.amazon.cryptography.keystore.model.CreateKeyOutput nativeValue) { DafnySequence branchKeyIdentifier; - branchKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); + branchKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); return new CreateKeyOutput(branchKeyIdentifier); } @@ -84,68 +84,68 @@ public static CreateKeyStoreInput CreateKeyStoreInput( public static CreateKeyStoreOutput CreateKeyStoreOutput( software.amazon.cryptography.keystore.model.CreateKeyStoreOutput nativeValue) { DafnySequence tableArn; - tableArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn()); + tableArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn()); return new CreateKeyStoreOutput(tableArn); } public static GetActiveBranchKeyInput GetActiveBranchKeyInput( software.amazon.cryptography.keystore.model.GetActiveBranchKeyInput nativeValue) { DafnySequence branchKeyIdentifier; - branchKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); + branchKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); return new GetActiveBranchKeyInput(branchKeyIdentifier); } public static GetActiveBranchKeyOutput GetActiveBranchKeyOutput( software.amazon.cryptography.keystore.model.GetActiveBranchKeyOutput nativeValue) { DafnySequence branchKeyVersion; - branchKeyVersion = software.amazon.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.branchKeyVersion()); + branchKeyVersion = software.amazon.smithy.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.branchKeyVersion()); DafnySequence branchKey; - branchKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.branchKey()); + branchKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.branchKey()); return new GetActiveBranchKeyOutput(branchKeyVersion, branchKey); } public static GetBeaconKeyInput GetBeaconKeyInput( software.amazon.cryptography.keystore.model.GetBeaconKeyInput nativeValue) { DafnySequence branchKeyIdentifier; - branchKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); + branchKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); return new GetBeaconKeyInput(branchKeyIdentifier); } public static GetBeaconKeyOutput GetBeaconKeyOutput( software.amazon.cryptography.keystore.model.GetBeaconKeyOutput nativeValue) { DafnySequence beaconKeyIdentifier; - beaconKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.beaconKeyIdentifier()); + beaconKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.beaconKeyIdentifier()); DafnySequence beaconKey; - beaconKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.beaconKey()); + beaconKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.beaconKey()); return new GetBeaconKeyOutput(beaconKeyIdentifier, beaconKey); } public static GetBranchKeyVersionInput GetBranchKeyVersionInput( software.amazon.cryptography.keystore.model.GetBranchKeyVersionInput nativeValue) { DafnySequence branchKeyIdentifier; - branchKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); + branchKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); DafnySequence branchKeyVersion; - branchKeyVersion = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyVersion()); + branchKeyVersion = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyVersion()); return new GetBranchKeyVersionInput(branchKeyIdentifier, branchKeyVersion); } public static GetBranchKeyVersionOutput GetBranchKeyVersionOutput( software.amazon.cryptography.keystore.model.GetBranchKeyVersionOutput nativeValue) { DafnySequence branchKeyVersion; - branchKeyVersion = software.amazon.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.branchKeyVersion()); + branchKeyVersion = software.amazon.smithy.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.branchKeyVersion()); DafnySequence branchKey; - branchKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.branchKey()); + branchKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.branchKey()); return new GetBranchKeyVersionOutput(branchKeyVersion, branchKey); } public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput( software.amazon.cryptography.keystore.model.GetKeyStoreInfoOutput nativeValue) { DafnySequence keyStoreId; - keyStoreId = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyStoreId()); + keyStoreId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyStoreId()); DafnySequence keyStoreName; - keyStoreName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyStoreName()); + keyStoreName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyStoreName()); DafnySequence logicalKeyStoreName; - logicalKeyStoreName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.logicalKeyStoreName()); + logicalKeyStoreName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.logicalKeyStoreName()); DafnySequence> grantTokens; grantTokens = ToDafny.GrantTokenList(nativeValue.grantTokens()); KMSConfiguration kmsConfiguration; @@ -156,14 +156,14 @@ public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput( public static KeyStoreConfig KeyStoreConfig( software.amazon.cryptography.keystore.model.KeyStoreConfig nativeValue) { DafnySequence ddbTableName; - ddbTableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.ddbTableName()); + ddbTableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.ddbTableName()); KMSConfiguration kmsConfiguration; kmsConfiguration = ToDafny.KMSConfiguration(nativeValue.kmsConfiguration()); DafnySequence logicalKeyStoreName; - logicalKeyStoreName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.logicalKeyStoreName()); + logicalKeyStoreName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.logicalKeyStoreName()); Option> id; id = Objects.nonNull(nativeValue.id()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.id())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.id())) : Option.create_None(); Option>> grantTokens; grantTokens = (Objects.nonNull(nativeValue.grantTokens()) && nativeValue.grantTokens().size() > 0) ? @@ -183,29 +183,29 @@ public static KeyStoreConfig KeyStoreConfig( public static VersionKeyInput VersionKeyInput( software.amazon.cryptography.keystore.model.VersionKeyInput nativeValue) { DafnySequence branchKeyIdentifier; - branchKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); + branchKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyIdentifier()); return new VersionKeyInput(branchKeyIdentifier); } public static Error Error(KeyStoreException nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_KeyStoreException(message); } public static KMSConfiguration KMSConfiguration( software.amazon.cryptography.keystore.model.KMSConfiguration nativeValue) { if (Objects.nonNull(nativeValue.kmsKeyArn())) { - return KMSConfiguration.create(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyArn())); + return KMSConfiguration.create(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyArn())); } throw new IllegalArgumentException("Cannot convert " + nativeValue + " to software.amazon.cryptography.keystore.internaldafny.types.KMSConfiguration."); } public static DafnySequence> GrantTokenList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToNative.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToNative.java index 54fbebbfc..b2380ea21 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToNative.java +++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keyStore/ToNative.java @@ -41,7 +41,7 @@ public static OpaqueError Error(Error_Opaque dafnyValue) { public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) { CollectionOfErrors.Builder nativeBuilder = CollectionOfErrors.builder(); nativeBuilder.list( - software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue.dtor_list(), ToNative::Error)); return nativeBuilder.build(); @@ -49,7 +49,7 @@ public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) { public static KeyStoreException Error(Error_KeyStoreException dafnyValue) { KeyStoreException.Builder nativeBuilder = KeyStoreException.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } @@ -77,14 +77,14 @@ public static RuntimeException Error(Error dafnyValue) { public static BranchKeyStatusResolutionInput BranchKeyStatusResolutionInput( software.amazon.cryptography.keystore.internaldafny.types.BranchKeyStatusResolutionInput dafnyValue) { BranchKeyStatusResolutionInput.Builder nativeBuilder = BranchKeyStatusResolutionInput.builder(); - nativeBuilder.branchKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); + nativeBuilder.branchKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); return nativeBuilder.build(); } public static CreateKeyOutput CreateKeyOutput( software.amazon.cryptography.keystore.internaldafny.types.CreateKeyOutput dafnyValue) { CreateKeyOutput.Builder nativeBuilder = CreateKeyOutput.builder(); - nativeBuilder.branchKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); + nativeBuilder.branchKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); return nativeBuilder.build(); } @@ -97,62 +97,62 @@ public static CreateKeyStoreInput CreateKeyStoreInput( public static CreateKeyStoreOutput CreateKeyStoreOutput( software.amazon.cryptography.keystore.internaldafny.types.CreateKeyStoreOutput dafnyValue) { CreateKeyStoreOutput.Builder nativeBuilder = CreateKeyStoreOutput.builder(); - nativeBuilder.tableArn(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_tableArn())); + nativeBuilder.tableArn(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_tableArn())); return nativeBuilder.build(); } public static GetActiveBranchKeyInput GetActiveBranchKeyInput( software.amazon.cryptography.keystore.internaldafny.types.GetActiveBranchKeyInput dafnyValue) { GetActiveBranchKeyInput.Builder nativeBuilder = GetActiveBranchKeyInput.builder(); - nativeBuilder.branchKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); + nativeBuilder.branchKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); return nativeBuilder.build(); } public static GetActiveBranchKeyOutput GetActiveBranchKeyOutput( software.amazon.cryptography.keystore.internaldafny.types.GetActiveBranchKeyOutput dafnyValue) { GetActiveBranchKeyOutput.Builder nativeBuilder = GetActiveBranchKeyOutput.builder(); - nativeBuilder.branchKeyVersion(software.amazon.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_branchKeyVersion())); - nativeBuilder.branchKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_branchKey())); + nativeBuilder.branchKeyVersion(software.amazon.smithy.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_branchKeyVersion())); + nativeBuilder.branchKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_branchKey())); return nativeBuilder.build(); } public static GetBeaconKeyInput GetBeaconKeyInput( software.amazon.cryptography.keystore.internaldafny.types.GetBeaconKeyInput dafnyValue) { GetBeaconKeyInput.Builder nativeBuilder = GetBeaconKeyInput.builder(); - nativeBuilder.branchKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); + nativeBuilder.branchKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); return nativeBuilder.build(); } public static GetBeaconKeyOutput GetBeaconKeyOutput( software.amazon.cryptography.keystore.internaldafny.types.GetBeaconKeyOutput dafnyValue) { GetBeaconKeyOutput.Builder nativeBuilder = GetBeaconKeyOutput.builder(); - nativeBuilder.beaconKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_beaconKeyIdentifier())); - nativeBuilder.beaconKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_beaconKey())); + nativeBuilder.beaconKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_beaconKeyIdentifier())); + nativeBuilder.beaconKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_beaconKey())); return nativeBuilder.build(); } public static GetBranchKeyVersionInput GetBranchKeyVersionInput( software.amazon.cryptography.keystore.internaldafny.types.GetBranchKeyVersionInput dafnyValue) { GetBranchKeyVersionInput.Builder nativeBuilder = GetBranchKeyVersionInput.builder(); - nativeBuilder.branchKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); - nativeBuilder.branchKeyVersion(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyVersion())); + nativeBuilder.branchKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); + nativeBuilder.branchKeyVersion(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyVersion())); return nativeBuilder.build(); } public static GetBranchKeyVersionOutput GetBranchKeyVersionOutput( software.amazon.cryptography.keystore.internaldafny.types.GetBranchKeyVersionOutput dafnyValue) { GetBranchKeyVersionOutput.Builder nativeBuilder = GetBranchKeyVersionOutput.builder(); - nativeBuilder.branchKeyVersion(software.amazon.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_branchKeyVersion())); - nativeBuilder.branchKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_branchKey())); + nativeBuilder.branchKeyVersion(software.amazon.smithy.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_branchKeyVersion())); + nativeBuilder.branchKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_branchKey())); return nativeBuilder.build(); } public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput( software.amazon.cryptography.keystore.internaldafny.types.GetKeyStoreInfoOutput dafnyValue) { GetKeyStoreInfoOutput.Builder nativeBuilder = GetKeyStoreInfoOutput.builder(); - nativeBuilder.keyStoreId(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyStoreId())); - nativeBuilder.keyStoreName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyStoreName())); - nativeBuilder.logicalKeyStoreName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_logicalKeyStoreName())); + nativeBuilder.keyStoreId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyStoreId())); + nativeBuilder.keyStoreName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyStoreName())); + nativeBuilder.logicalKeyStoreName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_logicalKeyStoreName())); nativeBuilder.grantTokens(ToNative.GrantTokenList(dafnyValue.dtor_grantTokens())); nativeBuilder.kmsConfiguration(ToNative.KMSConfiguration(dafnyValue.dtor_kmsConfiguration())); return nativeBuilder.build(); @@ -161,11 +161,11 @@ public static GetKeyStoreInfoOutput GetKeyStoreInfoOutput( public static KeyStoreConfig KeyStoreConfig( software.amazon.cryptography.keystore.internaldafny.types.KeyStoreConfig dafnyValue) { KeyStoreConfig.Builder nativeBuilder = KeyStoreConfig.builder(); - nativeBuilder.ddbTableName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_ddbTableName())); + nativeBuilder.ddbTableName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_ddbTableName())); nativeBuilder.kmsConfiguration(ToNative.KMSConfiguration(dafnyValue.dtor_kmsConfiguration())); - nativeBuilder.logicalKeyStoreName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_logicalKeyStoreName())); + nativeBuilder.logicalKeyStoreName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_logicalKeyStoreName())); if (dafnyValue.dtor_id().is_Some()) { - nativeBuilder.id(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_id().dtor_value())); + nativeBuilder.id(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_id().dtor_value())); } if (dafnyValue.dtor_grantTokens().is_Some()) { nativeBuilder.grantTokens(ToNative.GrantTokenList(dafnyValue.dtor_grantTokens().dtor_value())); @@ -182,7 +182,7 @@ public static KeyStoreConfig KeyStoreConfig( public static VersionKeyInput VersionKeyInput( software.amazon.cryptography.keystore.internaldafny.types.VersionKeyInput dafnyValue) { VersionKeyInput.Builder nativeBuilder = VersionKeyInput.builder(); - nativeBuilder.branchKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); + nativeBuilder.branchKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyIdentifier())); return nativeBuilder.build(); } @@ -190,16 +190,16 @@ public static KMSConfiguration KMSConfiguration( software.amazon.cryptography.keystore.internaldafny.types.KMSConfiguration dafnyValue) { KMSConfiguration.Builder nativeBuilder = KMSConfiguration.builder(); if (dafnyValue.is_kmsKeyArn()) { - nativeBuilder.kmsKeyArn(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyArn())); + nativeBuilder.kmsKeyArn(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyArn())); } return nativeBuilder.build(); } public static List GrantTokenList( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::String); + software.amazon.smithy.dafny.conversion.ToNative.Simple::String); } public static KeyStore KeyStore(IKeyStoreClient dafnyValue) { diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToDafny.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToDafny.java index 39ae1f06a..6e7366311 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToDafny.java +++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToDafny.java @@ -162,7 +162,7 @@ public static Error Error(OpaqueError nativeValue) { } public static Error Error(CollectionOfErrors nativeValue) { - DafnySequence list = software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + DafnySequence list = software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue.list(), ToDafny::Error, Error._typeDescriptor()); @@ -174,7 +174,7 @@ public static AlgorithmSuiteInfo AlgorithmSuiteInfo( AlgorithmSuiteId id; id = ToDafny.AlgorithmSuiteId(nativeValue.id()); DafnySequence binaryId; - binaryId = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.binaryId()); + binaryId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.binaryId()); Integer messageVersion; messageVersion = (nativeValue.messageVersion()); Encrypt encrypt; @@ -195,10 +195,10 @@ public static AlgorithmSuiteInfo AlgorithmSuiteInfo( public static BeaconKeyMaterials BeaconKeyMaterials( software.amazon.cryptography.materialproviders.model.BeaconKeyMaterials nativeValue) { DafnySequence beaconKeyIdentifier; - beaconKeyIdentifier = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.beaconKeyIdentifier()); + beaconKeyIdentifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.beaconKeyIdentifier()); Option> beaconKey; beaconKey = Objects.nonNull(nativeValue.beaconKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.beaconKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.beaconKey())) : Option.create_None(); Option, ? extends DafnySequence>> hmacKeys; hmacKeys = (Objects.nonNull(nativeValue.hmacKeys()) && nativeValue.hmacKeys().size() > 0) ? @@ -210,9 +210,9 @@ public static BeaconKeyMaterials BeaconKeyMaterials( public static BranchKeyMaterials BranchKeyMaterials( software.amazon.cryptography.materialproviders.model.BranchKeyMaterials nativeValue) { DafnySequence branchKeyVersion; - branchKeyVersion = software.amazon.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.branchKeyVersion()); + branchKeyVersion = software.amazon.smithy.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.branchKeyVersion()); DafnySequence branchKey; - branchKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.branchKey()); + branchKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.branchKey()); return new BranchKeyMaterials(branchKeyVersion, branchKey); } @@ -254,7 +254,7 @@ public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyri software.amazon.cryptography.materialproviders.model.CreateAwsKmsHierarchicalKeyringInput nativeValue) { Option> branchKeyId; branchKeyId = Objects.nonNull(nativeValue.branchKeyId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyId())) : Option.create_None(); Option branchKeyIdSupplier; branchKeyIdSupplier = Objects.nonNull(nativeValue.branchKeyIdSupplier()) ? @@ -274,7 +274,7 @@ public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyri public static CreateAwsKmsKeyringInput CreateAwsKmsKeyringInput( software.amazon.cryptography.materialproviders.model.CreateAwsKmsKeyringInput nativeValue) { DafnySequence kmsKeyId; - kmsKeyId = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyId()); + kmsKeyId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyId()); IKMSClient kmsClient; kmsClient = software.amazon.cryptography.services.kms.internaldafny.ToDafny.TrentService(nativeValue.kmsClient()); Option>> grantTokens; @@ -297,7 +297,7 @@ public static CreateAwsKmsMrkDiscoveryKeyringInput CreateAwsKmsMrkDiscoveryKeyri Option.create_Some(ToDafny.GrantTokenList(nativeValue.grantTokens())) : Option.create_None(); DafnySequence region; - region = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.region()); + region = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.region()); return new CreateAwsKmsMrkDiscoveryKeyringInput(kmsClient, discoveryFilter, grantTokens, region); } @@ -323,7 +323,7 @@ public static CreateAwsKmsMrkDiscoveryMultiKeyringInput CreateAwsKmsMrkDiscovery public static CreateAwsKmsMrkKeyringInput CreateAwsKmsMrkKeyringInput( software.amazon.cryptography.materialproviders.model.CreateAwsKmsMrkKeyringInput nativeValue) { DafnySequence kmsKeyId; - kmsKeyId = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyId()); + kmsKeyId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyId()); IKMSClient kmsClient; kmsClient = software.amazon.cryptography.services.kms.internaldafny.ToDafny.TrentService(nativeValue.kmsClient()); Option>> grantTokens; @@ -337,7 +337,7 @@ public static CreateAwsKmsMrkMultiKeyringInput CreateAwsKmsMrkMultiKeyringInput( software.amazon.cryptography.materialproviders.model.CreateAwsKmsMrkMultiKeyringInput nativeValue) { Option> generator; generator = Objects.nonNull(nativeValue.generator()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.generator())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.generator())) : Option.create_None(); Option>> kmsKeyIds; kmsKeyIds = (Objects.nonNull(nativeValue.kmsKeyIds()) && nativeValue.kmsKeyIds().size() > 0) ? @@ -358,7 +358,7 @@ public static CreateAwsKmsMultiKeyringInput CreateAwsKmsMultiKeyringInput( software.amazon.cryptography.materialproviders.model.CreateAwsKmsMultiKeyringInput nativeValue) { Option> generator; generator = Objects.nonNull(nativeValue.generator()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.generator())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.generator())) : Option.create_None(); Option>> kmsKeyIds; kmsKeyIds = (Objects.nonNull(nativeValue.kmsKeyIds()) && nativeValue.kmsKeyIds().size() > 0) ? @@ -379,10 +379,10 @@ public static CreateAwsKmsRsaKeyringInput CreateAwsKmsRsaKeyringInput( software.amazon.cryptography.materialproviders.model.CreateAwsKmsRsaKeyringInput nativeValue) { Option> publicKey; publicKey = Objects.nonNull(nativeValue.publicKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey())) : Option.create_None(); DafnySequence kmsKeyId; - kmsKeyId = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyId()); + kmsKeyId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsKeyId()); EncryptionAlgorithmSpec encryptionAlgorithm; encryptionAlgorithm = software.amazon.cryptography.services.kms.internaldafny.ToDafny.EncryptionAlgorithmSpec(nativeValue.encryptionAlgorithm()); Option kmsClient; @@ -448,11 +448,11 @@ public static CreateMultiKeyringInput CreateMultiKeyringInput( public static CreateRawAesKeyringInput CreateRawAesKeyringInput( software.amazon.cryptography.materialproviders.model.CreateRawAesKeyringInput nativeValue) { DafnySequence keyNamespace; - keyNamespace = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyNamespace()); + keyNamespace = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyNamespace()); DafnySequence keyName; - keyName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyName()); + keyName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyName()); DafnySequence wrappingKey; - wrappingKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.wrappingKey()); + wrappingKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.wrappingKey()); AesWrappingAlg wrappingAlg; wrappingAlg = ToDafny.AesWrappingAlg(nativeValue.wrappingAlg()); return new CreateRawAesKeyringInput(keyNamespace, keyName, wrappingKey, wrappingAlg); @@ -461,18 +461,18 @@ public static CreateRawAesKeyringInput CreateRawAesKeyringInput( public static CreateRawRsaKeyringInput CreateRawRsaKeyringInput( software.amazon.cryptography.materialproviders.model.CreateRawRsaKeyringInput nativeValue) { DafnySequence keyNamespace; - keyNamespace = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyNamespace()); + keyNamespace = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyNamespace()); DafnySequence keyName; - keyName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyName()); + keyName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyName()); PaddingScheme paddingScheme; paddingScheme = ToDafny.PaddingScheme(nativeValue.paddingScheme()); Option> publicKey; publicKey = Objects.nonNull(nativeValue.publicKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey())) : Option.create_None(); Option> privateKey; privateKey = Objects.nonNull(nativeValue.privateKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.privateKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.privateKey())) : Option.create_None(); return new CreateRawRsaKeyringInput(keyNamespace, keyName, paddingScheme, publicKey, privateKey); } @@ -487,15 +487,15 @@ public static DecryptionMaterials DecryptionMaterials( requiredEncryptionContextKeys = ToDafny.EncryptionContextKeys(nativeValue.requiredEncryptionContextKeys()); Option> plaintextDataKey; plaintextDataKey = Objects.nonNull(nativeValue.plaintextDataKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.plaintextDataKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.plaintextDataKey())) : Option.create_None(); Option> verificationKey; verificationKey = Objects.nonNull(nativeValue.verificationKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey())) : Option.create_None(); Option> symmetricSigningKey; symmetricSigningKey = Objects.nonNull(nativeValue.symmetricSigningKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.symmetricSigningKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.symmetricSigningKey())) : Option.create_None(); return new DecryptionMaterials(algorithmSuite, encryptionContext, requiredEncryptionContextKeys, plaintextDataKey, verificationKey, symmetricSigningKey); } @@ -527,7 +527,7 @@ public static DecryptMaterialsOutput DecryptMaterialsOutput( public static DeleteCacheEntryInput DeleteCacheEntryInput( software.amazon.cryptography.materialproviders.model.DeleteCacheEntryInput nativeValue) { DafnySequence identifier; - identifier = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); + identifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); return new DeleteCacheEntryInput(identifier); } @@ -540,7 +540,7 @@ public static DiscoveryFilter DiscoveryFilter( DafnySequence> accountIds; accountIds = ToDafny.AccountIdList(nativeValue.accountIds()); DafnySequence partition; - partition = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.partition()); + partition = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.partition()); return new DiscoveryFilter(accountIds, partition); } @@ -554,11 +554,11 @@ public static ECDSA ECDSA( public static EncryptedDataKey EncryptedDataKey( software.amazon.cryptography.materialproviders.model.EncryptedDataKey nativeValue) { DafnySequence keyProviderId; - keyProviderId = software.amazon.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.keyProviderId()); + keyProviderId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.DafnyUtf8Bytes(nativeValue.keyProviderId()); DafnySequence keyProviderInfo; - keyProviderInfo = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.keyProviderInfo()); + keyProviderInfo = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.keyProviderInfo()); DafnySequence ciphertext; - ciphertext = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ciphertext()); + ciphertext = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ciphertext()); return new EncryptedDataKey(keyProviderId, keyProviderInfo, ciphertext); } @@ -574,11 +574,11 @@ public static EncryptionMaterials EncryptionMaterials( requiredEncryptionContextKeys = ToDafny.EncryptionContextKeys(nativeValue.requiredEncryptionContextKeys()); Option> plaintextDataKey; plaintextDataKey = Objects.nonNull(nativeValue.plaintextDataKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.plaintextDataKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.plaintextDataKey())) : Option.create_None(); Option> signingKey; signingKey = Objects.nonNull(nativeValue.signingKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey())) : Option.create_None(); Option>> symmetricSigningKeys; symmetricSigningKeys = (Objects.nonNull(nativeValue.symmetricSigningKeys()) && nativeValue.symmetricSigningKeys().size() > 0) ? @@ -589,7 +589,7 @@ public static EncryptionMaterials EncryptionMaterials( public static DafnySequence GetAlgorithmSuiteInfoInput(ByteBuffer nativeValue) { DafnySequence binaryId; - binaryId = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + binaryId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return binaryId; } @@ -603,14 +603,14 @@ public static GetBranchKeyIdInput GetBranchKeyIdInput( public static GetBranchKeyIdOutput GetBranchKeyIdOutput( software.amazon.cryptography.materialproviders.model.GetBranchKeyIdOutput nativeValue) { DafnySequence branchKeyId; - branchKeyId = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyId()); + branchKeyId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyId()); return new GetBranchKeyIdOutput(branchKeyId); } public static GetCacheEntryInput GetCacheEntryInput( software.amazon.cryptography.materialproviders.model.GetCacheEntryInput nativeValue) { DafnySequence identifier; - identifier = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); + identifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); Option bytesUsed; bytesUsed = Objects.nonNull(nativeValue.bytesUsed()) ? Option.create_Some((nativeValue.bytesUsed())) @@ -636,7 +636,7 @@ public static GetCacheEntryOutput GetCacheEntryOutput( public static GetClientInput GetClientInput( software.amazon.cryptography.materialproviders.model.GetClientInput nativeValue) { DafnySequence region; - region = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.region()); + region = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.region()); return new GetClientInput(region); } @@ -706,11 +706,11 @@ public static InitializeEncryptionMaterialsInput InitializeEncryptionMaterialsIn requiredEncryptionContextKeys = ToDafny.EncryptionContextKeys(nativeValue.requiredEncryptionContextKeys()); Option> signingKey; signingKey = Objects.nonNull(nativeValue.signingKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey())) : Option.create_None(); Option> verificationKey; verificationKey = Objects.nonNull(nativeValue.verificationKey()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey())) : Option.create_None(); return new InitializeEncryptionMaterialsInput(algorithmSuiteId, encryptionContext, requiredEncryptionContextKeys, signingKey, verificationKey); } @@ -768,7 +768,7 @@ public static OnEncryptOutput OnEncryptOutput( public static PutCacheEntryInput PutCacheEntryInput( software.amazon.cryptography.materialproviders.model.PutCacheEntryInput nativeValue) { DafnySequence identifier; - identifier = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); + identifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); Materials materials; materials = ToDafny.Materials(nativeValue.materials()); Long creationTime; @@ -789,7 +789,7 @@ public static PutCacheEntryInput PutCacheEntryInput( public static UpdaterUsageMetadataInput UpdaterUsageMetadataInput( software.amazon.cryptography.materialproviders.model.UpdaterUsageMetadataInput nativeValue) { DafnySequence identifier; - identifier = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); + identifier = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.identifier()); Integer bytesUsed; bytesUsed = (nativeValue.bytesUsed()); return new UpdaterUsageMetadataInput(identifier, bytesUsed); @@ -833,61 +833,61 @@ public static ValidEncryptionMaterialsTransitionInput ValidEncryptionMaterialsTr public static Error Error(AwsCryptographicMaterialProvidersException nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_AwsCryptographicMaterialProvidersException(message); } public static Error Error(EntryAlreadyExists nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_EntryAlreadyExists(message); } public static Error Error(EntryDoesNotExist nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_EntryDoesNotExist(message); } public static Error Error(InvalidAlgorithmSuiteInfo nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidAlgorithmSuiteInfo(message); } public static Error Error(InvalidAlgorithmSuiteInfoOnDecrypt nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidAlgorithmSuiteInfoOnDecrypt(message); } public static Error Error(InvalidAlgorithmSuiteInfoOnEncrypt nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidAlgorithmSuiteInfoOnEncrypt(message); } public static Error Error(InvalidDecryptionMaterials nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidDecryptionMaterials(message); } public static Error Error(InvalidDecryptionMaterialsTransition nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidDecryptionMaterialsTransition(message); } public static Error Error(InvalidEncryptionMaterials nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidEncryptionMaterials(message); } public static Error Error(InvalidEncryptionMaterialsTransition nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_InvalidEncryptionMaterialsTransition(message); } @@ -1116,15 +1116,15 @@ public static SymmetricSignatureAlgorithm SymmetricSignatureAlgorithm( public static DafnySequence> AccountIdList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnySequence EncryptedDataKeyList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.materialproviders.ToDafny::EncryptedDataKey, EncryptedDataKey._typeDescriptor()); @@ -1132,23 +1132,23 @@ public static DafnySequence EncryptedDataKeyList( public static DafnySequence> EncryptionContextKeys( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::DafnyUtf8Bytes, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::DafnyUtf8Bytes, DafnySequence._typeDescriptor(TypeDescriptor.BYTE)); } public static DafnySequence> GrantTokenList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnySequence KeyringList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.materialproviders.ToDafny::Keyring, TypeDescriptor.reference(software.amazon.cryptography.materialproviders.internaldafny.types.IKeyring.class)); @@ -1156,42 +1156,42 @@ public static DafnySequence> KmsKeyIdList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnySequence> RegionList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnySequence> SymmetricSigningKeyList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::ByteSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::ByteSequence, DafnySequence._typeDescriptor(TypeDescriptor.BYTE)); } public static DafnyMap, ? extends DafnySequence> EncryptionContext( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::DafnyUtf8Bytes, - software.amazon.dafny.conversion.ToDafny.Simple::DafnyUtf8Bytes); + software.amazon.smithy.dafny.conversion.ToDafny.Simple::DafnyUtf8Bytes, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::DafnyUtf8Bytes); } public static DafnyMap, ? extends DafnySequence> HmacKeyMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, - software.amazon.dafny.conversion.ToDafny.Simple::ByteSequence); + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::ByteSequence); } public static software.amazon.cryptography.materialproviders.internaldafny.types.IBranchKeyIdSupplier BranchKeyIdSupplier( diff --git a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java index f31a9a453..65bf6d6ac 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java +++ b/AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java @@ -118,7 +118,7 @@ public static OpaqueError Error(Error_Opaque dafnyValue) { public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) { CollectionOfErrors.Builder nativeBuilder = CollectionOfErrors.builder(); nativeBuilder.list( - software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue.dtor_list(), ToNative::Error)); return nativeBuilder.build(); @@ -127,65 +127,65 @@ public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) { public static AwsCryptographicMaterialProvidersException Error( Error_AwsCryptographicMaterialProvidersException dafnyValue) { AwsCryptographicMaterialProvidersException.Builder nativeBuilder = AwsCryptographicMaterialProvidersException.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static EntryAlreadyExists Error(Error_EntryAlreadyExists dafnyValue) { EntryAlreadyExists.Builder nativeBuilder = EntryAlreadyExists.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static EntryDoesNotExist Error(Error_EntryDoesNotExist dafnyValue) { EntryDoesNotExist.Builder nativeBuilder = EntryDoesNotExist.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidAlgorithmSuiteInfo Error(Error_InvalidAlgorithmSuiteInfo dafnyValue) { InvalidAlgorithmSuiteInfo.Builder nativeBuilder = InvalidAlgorithmSuiteInfo.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidAlgorithmSuiteInfoOnDecrypt Error( Error_InvalidAlgorithmSuiteInfoOnDecrypt dafnyValue) { InvalidAlgorithmSuiteInfoOnDecrypt.Builder nativeBuilder = InvalidAlgorithmSuiteInfoOnDecrypt.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidAlgorithmSuiteInfoOnEncrypt Error( Error_InvalidAlgorithmSuiteInfoOnEncrypt dafnyValue) { InvalidAlgorithmSuiteInfoOnEncrypt.Builder nativeBuilder = InvalidAlgorithmSuiteInfoOnEncrypt.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidDecryptionMaterials Error(Error_InvalidDecryptionMaterials dafnyValue) { InvalidDecryptionMaterials.Builder nativeBuilder = InvalidDecryptionMaterials.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidDecryptionMaterialsTransition Error( Error_InvalidDecryptionMaterialsTransition dafnyValue) { InvalidDecryptionMaterialsTransition.Builder nativeBuilder = InvalidDecryptionMaterialsTransition.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidEncryptionMaterials Error(Error_InvalidEncryptionMaterials dafnyValue) { InvalidEncryptionMaterials.Builder nativeBuilder = InvalidEncryptionMaterials.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static InvalidEncryptionMaterialsTransition Error( Error_InvalidEncryptionMaterialsTransition dafnyValue) { InvalidEncryptionMaterialsTransition.Builder nativeBuilder = InvalidEncryptionMaterialsTransition.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } @@ -247,7 +247,7 @@ public static AlgorithmSuiteInfo AlgorithmSuiteInfo( software.amazon.cryptography.materialproviders.internaldafny.types.AlgorithmSuiteInfo dafnyValue) { AlgorithmSuiteInfo.Builder nativeBuilder = AlgorithmSuiteInfo.builder(); nativeBuilder.id(ToNative.AlgorithmSuiteId(dafnyValue.dtor_id())); - nativeBuilder.binaryId(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_binaryId())); + nativeBuilder.binaryId(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_binaryId())); nativeBuilder.messageVersion((dafnyValue.dtor_messageVersion())); nativeBuilder.encrypt(ToNative.Encrypt(dafnyValue.dtor_encrypt())); nativeBuilder.kdf(ToNative.DerivationAlgorithm(dafnyValue.dtor_kdf())); @@ -261,9 +261,9 @@ public static AlgorithmSuiteInfo AlgorithmSuiteInfo( public static BeaconKeyMaterials BeaconKeyMaterials( software.amazon.cryptography.materialproviders.internaldafny.types.BeaconKeyMaterials dafnyValue) { BeaconKeyMaterials.Builder nativeBuilder = BeaconKeyMaterials.builder(); - nativeBuilder.beaconKeyIdentifier(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_beaconKeyIdentifier())); + nativeBuilder.beaconKeyIdentifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_beaconKeyIdentifier())); if (dafnyValue.dtor_beaconKey().is_Some()) { - nativeBuilder.beaconKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_beaconKey().dtor_value())); + nativeBuilder.beaconKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_beaconKey().dtor_value())); } if (dafnyValue.dtor_hmacKeys().is_Some()) { nativeBuilder.hmacKeys(ToNative.HmacKeyMap(dafnyValue.dtor_hmacKeys().dtor_value())); @@ -274,8 +274,8 @@ public static BeaconKeyMaterials BeaconKeyMaterials( public static BranchKeyMaterials BranchKeyMaterials( software.amazon.cryptography.materialproviders.internaldafny.types.BranchKeyMaterials dafnyValue) { BranchKeyMaterials.Builder nativeBuilder = BranchKeyMaterials.builder(); - nativeBuilder.branchKeyVersion(software.amazon.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_branchKeyVersion())); - nativeBuilder.branchKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_branchKey())); + nativeBuilder.branchKeyVersion(software.amazon.smithy.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_branchKeyVersion())); + nativeBuilder.branchKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_branchKey())); return nativeBuilder.build(); } @@ -312,7 +312,7 @@ public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyri software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsHierarchicalKeyringInput dafnyValue) { CreateAwsKmsHierarchicalKeyringInput.Builder nativeBuilder = CreateAwsKmsHierarchicalKeyringInput.builder(); if (dafnyValue.dtor_branchKeyId().is_Some()) { - nativeBuilder.branchKeyId(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyId().dtor_value())); + nativeBuilder.branchKeyId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyId().dtor_value())); } if (dafnyValue.dtor_branchKeyIdSupplier().is_Some()) { nativeBuilder.branchKeyIdSupplier(ToNative.BranchKeyIdSupplier(dafnyValue.dtor_branchKeyIdSupplier().dtor_value())); @@ -328,7 +328,7 @@ public static CreateAwsKmsHierarchicalKeyringInput CreateAwsKmsHierarchicalKeyri public static CreateAwsKmsKeyringInput CreateAwsKmsKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsKeyringInput dafnyValue) { CreateAwsKmsKeyringInput.Builder nativeBuilder = CreateAwsKmsKeyringInput.builder(); - nativeBuilder.kmsKeyId(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyId())); + nativeBuilder.kmsKeyId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyId())); nativeBuilder.kmsClient(software.amazon.cryptography.services.kms.internaldafny.ToNative.TrentService(dafnyValue.dtor_kmsClient())); if (dafnyValue.dtor_grantTokens().is_Some()) { nativeBuilder.grantTokens(ToNative.GrantTokenList(dafnyValue.dtor_grantTokens().dtor_value())); @@ -346,7 +346,7 @@ public static CreateAwsKmsMrkDiscoveryKeyringInput CreateAwsKmsMrkDiscoveryKeyri if (dafnyValue.dtor_grantTokens().is_Some()) { nativeBuilder.grantTokens(ToNative.GrantTokenList(dafnyValue.dtor_grantTokens().dtor_value())); } - nativeBuilder.region(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_region())); + nativeBuilder.region(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_region())); return nativeBuilder.build(); } @@ -369,7 +369,7 @@ public static CreateAwsKmsMrkDiscoveryMultiKeyringInput CreateAwsKmsMrkDiscovery public static CreateAwsKmsMrkKeyringInput CreateAwsKmsMrkKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkKeyringInput dafnyValue) { CreateAwsKmsMrkKeyringInput.Builder nativeBuilder = CreateAwsKmsMrkKeyringInput.builder(); - nativeBuilder.kmsKeyId(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyId())); + nativeBuilder.kmsKeyId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyId())); nativeBuilder.kmsClient(software.amazon.cryptography.services.kms.internaldafny.ToNative.TrentService(dafnyValue.dtor_kmsClient())); if (dafnyValue.dtor_grantTokens().is_Some()) { nativeBuilder.grantTokens(ToNative.GrantTokenList(dafnyValue.dtor_grantTokens().dtor_value())); @@ -381,7 +381,7 @@ public static CreateAwsKmsMrkMultiKeyringInput CreateAwsKmsMrkMultiKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMrkMultiKeyringInput dafnyValue) { CreateAwsKmsMrkMultiKeyringInput.Builder nativeBuilder = CreateAwsKmsMrkMultiKeyringInput.builder(); if (dafnyValue.dtor_generator().is_Some()) { - nativeBuilder.generator(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_generator().dtor_value())); + nativeBuilder.generator(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_generator().dtor_value())); } if (dafnyValue.dtor_kmsKeyIds().is_Some()) { nativeBuilder.kmsKeyIds(ToNative.KmsKeyIdList(dafnyValue.dtor_kmsKeyIds().dtor_value())); @@ -399,7 +399,7 @@ public static CreateAwsKmsMultiKeyringInput CreateAwsKmsMultiKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsMultiKeyringInput dafnyValue) { CreateAwsKmsMultiKeyringInput.Builder nativeBuilder = CreateAwsKmsMultiKeyringInput.builder(); if (dafnyValue.dtor_generator().is_Some()) { - nativeBuilder.generator(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_generator().dtor_value())); + nativeBuilder.generator(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_generator().dtor_value())); } if (dafnyValue.dtor_kmsKeyIds().is_Some()) { nativeBuilder.kmsKeyIds(ToNative.KmsKeyIdList(dafnyValue.dtor_kmsKeyIds().dtor_value())); @@ -417,9 +417,9 @@ public static CreateAwsKmsRsaKeyringInput CreateAwsKmsRsaKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateAwsKmsRsaKeyringInput dafnyValue) { CreateAwsKmsRsaKeyringInput.Builder nativeBuilder = CreateAwsKmsRsaKeyringInput.builder(); if (dafnyValue.dtor_publicKey().is_Some()) { - nativeBuilder.publicKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey().dtor_value())); + nativeBuilder.publicKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey().dtor_value())); } - nativeBuilder.kmsKeyId(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyId())); + nativeBuilder.kmsKeyId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_kmsKeyId())); nativeBuilder.encryptionAlgorithm(software.amazon.cryptography.services.kms.internaldafny.ToNative.EncryptionAlgorithmSpec(dafnyValue.dtor_encryptionAlgorithm())); if (dafnyValue.dtor_kmsClient().is_Some()) { nativeBuilder.kmsClient(software.amazon.cryptography.services.kms.internaldafny.ToNative.TrentService(dafnyValue.dtor_kmsClient().dtor_value())); @@ -479,9 +479,9 @@ public static CreateMultiKeyringInput CreateMultiKeyringInput( public static CreateRawAesKeyringInput CreateRawAesKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawAesKeyringInput dafnyValue) { CreateRawAesKeyringInput.Builder nativeBuilder = CreateRawAesKeyringInput.builder(); - nativeBuilder.keyNamespace(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyNamespace())); - nativeBuilder.keyName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyName())); - nativeBuilder.wrappingKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_wrappingKey())); + nativeBuilder.keyNamespace(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyNamespace())); + nativeBuilder.keyName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyName())); + nativeBuilder.wrappingKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_wrappingKey())); nativeBuilder.wrappingAlg(ToNative.AesWrappingAlg(dafnyValue.dtor_wrappingAlg())); return nativeBuilder.build(); } @@ -489,14 +489,14 @@ public static CreateRawAesKeyringInput CreateRawAesKeyringInput( public static CreateRawRsaKeyringInput CreateRawRsaKeyringInput( software.amazon.cryptography.materialproviders.internaldafny.types.CreateRawRsaKeyringInput dafnyValue) { CreateRawRsaKeyringInput.Builder nativeBuilder = CreateRawRsaKeyringInput.builder(); - nativeBuilder.keyNamespace(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyNamespace())); - nativeBuilder.keyName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyName())); + nativeBuilder.keyNamespace(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyNamespace())); + nativeBuilder.keyName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyName())); nativeBuilder.paddingScheme(ToNative.PaddingScheme(dafnyValue.dtor_paddingScheme())); if (dafnyValue.dtor_publicKey().is_Some()) { - nativeBuilder.publicKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey().dtor_value())); + nativeBuilder.publicKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey().dtor_value())); } if (dafnyValue.dtor_privateKey().is_Some()) { - nativeBuilder.privateKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_privateKey().dtor_value())); + nativeBuilder.privateKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_privateKey().dtor_value())); } return nativeBuilder.build(); } @@ -508,13 +508,13 @@ public static DecryptionMaterials DecryptionMaterials( nativeBuilder.encryptionContext(ToNative.EncryptionContext(dafnyValue.dtor_encryptionContext())); nativeBuilder.requiredEncryptionContextKeys(ToNative.EncryptionContextKeys(dafnyValue.dtor_requiredEncryptionContextKeys())); if (dafnyValue.dtor_plaintextDataKey().is_Some()) { - nativeBuilder.plaintextDataKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_plaintextDataKey().dtor_value())); + nativeBuilder.plaintextDataKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_plaintextDataKey().dtor_value())); } if (dafnyValue.dtor_verificationKey().is_Some()) { - nativeBuilder.verificationKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey().dtor_value())); + nativeBuilder.verificationKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey().dtor_value())); } if (dafnyValue.dtor_symmetricSigningKey().is_Some()) { - nativeBuilder.symmetricSigningKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_symmetricSigningKey().dtor_value())); + nativeBuilder.symmetricSigningKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_symmetricSigningKey().dtor_value())); } return nativeBuilder.build(); } @@ -542,7 +542,7 @@ public static DecryptMaterialsOutput DecryptMaterialsOutput( public static DeleteCacheEntryInput DeleteCacheEntryInput( software.amazon.cryptography.materialproviders.internaldafny.types.DeleteCacheEntryInput dafnyValue) { DeleteCacheEntryInput.Builder nativeBuilder = DeleteCacheEntryInput.builder(); - nativeBuilder.identifier(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); + nativeBuilder.identifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); return nativeBuilder.build(); } @@ -555,7 +555,7 @@ public static DiscoveryFilter DiscoveryFilter( software.amazon.cryptography.materialproviders.internaldafny.types.DiscoveryFilter dafnyValue) { DiscoveryFilter.Builder nativeBuilder = DiscoveryFilter.builder(); nativeBuilder.accountIds(ToNative.AccountIdList(dafnyValue.dtor_accountIds())); - nativeBuilder.partition(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_partition())); + nativeBuilder.partition(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_partition())); return nativeBuilder.build(); } @@ -569,9 +569,9 @@ public static ECDSA ECDSA( public static EncryptedDataKey EncryptedDataKey( software.amazon.cryptography.materialproviders.internaldafny.types.EncryptedDataKey dafnyValue) { EncryptedDataKey.Builder nativeBuilder = EncryptedDataKey.builder(); - nativeBuilder.keyProviderId(software.amazon.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_keyProviderId())); - nativeBuilder.keyProviderInfo(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_keyProviderInfo())); - nativeBuilder.ciphertext(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ciphertext())); + nativeBuilder.keyProviderId(software.amazon.smithy.dafny.conversion.ToNative.Simple.DafnyUtf8Bytes(dafnyValue.dtor_keyProviderId())); + nativeBuilder.keyProviderInfo(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_keyProviderInfo())); + nativeBuilder.ciphertext(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ciphertext())); return nativeBuilder.build(); } @@ -583,10 +583,10 @@ public static EncryptionMaterials EncryptionMaterials( nativeBuilder.encryptedDataKeys(ToNative.EncryptedDataKeyList(dafnyValue.dtor_encryptedDataKeys())); nativeBuilder.requiredEncryptionContextKeys(ToNative.EncryptionContextKeys(dafnyValue.dtor_requiredEncryptionContextKeys())); if (dafnyValue.dtor_plaintextDataKey().is_Some()) { - nativeBuilder.plaintextDataKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_plaintextDataKey().dtor_value())); + nativeBuilder.plaintextDataKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_plaintextDataKey().dtor_value())); } if (dafnyValue.dtor_signingKey().is_Some()) { - nativeBuilder.signingKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey().dtor_value())); + nativeBuilder.signingKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey().dtor_value())); } if (dafnyValue.dtor_symmetricSigningKeys().is_Some()) { nativeBuilder.symmetricSigningKeys(ToNative.SymmetricSigningKeyList(dafnyValue.dtor_symmetricSigningKeys().dtor_value())); @@ -595,7 +595,7 @@ public static EncryptionMaterials EncryptionMaterials( } public static ByteBuffer GetAlgorithmSuiteInfoInput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static GetBranchKeyIdInput GetBranchKeyIdInput( @@ -608,14 +608,14 @@ public static GetBranchKeyIdInput GetBranchKeyIdInput( public static GetBranchKeyIdOutput GetBranchKeyIdOutput( software.amazon.cryptography.materialproviders.internaldafny.types.GetBranchKeyIdOutput dafnyValue) { GetBranchKeyIdOutput.Builder nativeBuilder = GetBranchKeyIdOutput.builder(); - nativeBuilder.branchKeyId(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyId())); + nativeBuilder.branchKeyId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyId())); return nativeBuilder.build(); } public static GetCacheEntryInput GetCacheEntryInput( software.amazon.cryptography.materialproviders.internaldafny.types.GetCacheEntryInput dafnyValue) { GetCacheEntryInput.Builder nativeBuilder = GetCacheEntryInput.builder(); - nativeBuilder.identifier(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); + nativeBuilder.identifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); if (dafnyValue.dtor_bytesUsed().is_Some()) { nativeBuilder.bytesUsed((dafnyValue.dtor_bytesUsed().dtor_value())); } @@ -636,7 +636,7 @@ public static GetCacheEntryOutput GetCacheEntryOutput( public static GetClientInput GetClientInput( software.amazon.cryptography.materialproviders.internaldafny.types.GetClientInput dafnyValue) { GetClientInput.Builder nativeBuilder = GetClientInput.builder(); - nativeBuilder.region(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_region())); + nativeBuilder.region(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_region())); return nativeBuilder.build(); } @@ -696,10 +696,10 @@ public static InitializeEncryptionMaterialsInput InitializeEncryptionMaterialsIn nativeBuilder.encryptionContext(ToNative.EncryptionContext(dafnyValue.dtor_encryptionContext())); nativeBuilder.requiredEncryptionContextKeys(ToNative.EncryptionContextKeys(dafnyValue.dtor_requiredEncryptionContextKeys())); if (dafnyValue.dtor_signingKey().is_Some()) { - nativeBuilder.signingKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey().dtor_value())); + nativeBuilder.signingKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey().dtor_value())); } if (dafnyValue.dtor_verificationKey().is_Some()) { - nativeBuilder.verificationKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey().dtor_value())); + nativeBuilder.verificationKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey().dtor_value())); } return nativeBuilder.build(); } @@ -757,7 +757,7 @@ public static OnEncryptOutput OnEncryptOutput( public static PutCacheEntryInput PutCacheEntryInput( software.amazon.cryptography.materialproviders.internaldafny.types.PutCacheEntryInput dafnyValue) { PutCacheEntryInput.Builder nativeBuilder = PutCacheEntryInput.builder(); - nativeBuilder.identifier(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); + nativeBuilder.identifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); nativeBuilder.materials(ToNative.Materials(dafnyValue.dtor_materials())); nativeBuilder.creationTime((dafnyValue.dtor_creationTime())); nativeBuilder.expiryTime((dafnyValue.dtor_expiryTime())); @@ -773,7 +773,7 @@ public static PutCacheEntryInput PutCacheEntryInput( public static UpdaterUsageMetadataInput UpdaterUsageMetadataInput( software.amazon.cryptography.materialproviders.internaldafny.types.UpdaterUsageMetadataInput dafnyValue) { UpdaterUsageMetadataInput.Builder nativeBuilder = UpdaterUsageMetadataInput.builder(); - nativeBuilder.identifier(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); + nativeBuilder.identifier(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_identifier())); nativeBuilder.bytesUsed((dafnyValue.dtor_bytesUsed())); return nativeBuilder.build(); } @@ -1019,74 +1019,74 @@ public static SymmetricSignatureAlgorithm SymmetricSignatureAlgorithm( public static List AccountIdList( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::String); + software.amazon.smithy.dafny.conversion.ToNative.Simple::String); } public static List EncryptedDataKeyList( DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, software.amazon.cryptography.materialproviders.ToNative::EncryptedDataKey); } public static List EncryptionContextKeys( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::DafnyUtf8Bytes); + software.amazon.smithy.dafny.conversion.ToNative.Simple::DafnyUtf8Bytes); } public static List GrantTokenList( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::String); + software.amazon.smithy.dafny.conversion.ToNative.Simple::String); } public static List KeyringList( DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, software.amazon.cryptography.materialproviders.ToNative::Keyring); } public static List KmsKeyIdList( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::String); + software.amazon.smithy.dafny.conversion.ToNative.Simple::String); } public static List RegionList( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::String); + software.amazon.smithy.dafny.conversion.ToNative.Simple::String); } public static List SymmetricSigningKeyList( DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::ByteBuffer); + software.amazon.smithy.dafny.conversion.ToNative.Simple::ByteBuffer); } public static Map EncryptionContext( DafnyMap, ? extends DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToMap( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::DafnyUtf8Bytes, - software.amazon.dafny.conversion.ToNative.Simple::DafnyUtf8Bytes); + software.amazon.smithy.dafny.conversion.ToNative.Simple::DafnyUtf8Bytes, + software.amazon.smithy.dafny.conversion.ToNative.Simple::DafnyUtf8Bytes); } public static Map HmacKeyMap( DafnyMap, ? extends DafnySequence> dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToMap( dafnyValue, - software.amazon.dafny.conversion.ToNative.Simple::String, - software.amazon.dafny.conversion.ToNative.Simple::ByteBuffer); + software.amazon.smithy.dafny.conversion.ToNative.Simple::String, + software.amazon.smithy.dafny.conversion.ToNative.Simple::ByteBuffer); } public static IBranchKeyIdSupplier BranchKeyIdSupplier( diff --git a/AwsCryptographyPrimitives/runtimes/java/build.gradle.kts b/AwsCryptographyPrimitives/runtimes/java/build.gradle.kts index 9bca86f77..a60135556 100644 --- a/AwsCryptographyPrimitives/runtimes/java/build.gradle.kts +++ b/AwsCryptographyPrimitives/runtimes/java/build.gradle.kts @@ -53,7 +53,7 @@ repositories { dependencies { implementation("org.dafny:DafnyRuntime:4.0.0") - implementation("software.amazon.dafny:conversion:1.0-SNAPSHOT") + implementation("software.amazon.smithy.dafny:conversion:1.0-SNAPSHOT") implementation("software.amazon.cryptography:StandardLibrary:1.0-SNAPSHOT") implementation("org.bouncycastle:bcprov-jdk18on:1.72") } diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/RSA.java b/AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/RSA.java index 0db55a2bd..69f68a47f 100644 --- a/AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/RSA.java +++ b/AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/RSA.java @@ -45,7 +45,7 @@ import java.nio.ByteBuffer; import java.math.BigInteger; -import static software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence; +import static software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence; public class RSA { private static int RSA_KEY_LEN_MAX = 4096; diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java index 31f272265..2ea472073 100644 --- a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java +++ b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java @@ -64,7 +64,7 @@ public ByteBuffer AESDecrypt(AESDecryptInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public AESEncryptOutput AESEncrypt(AESEncryptInput nativeValue) { @@ -82,7 +82,7 @@ public ByteBuffer AesKdfCounterMode(AesKdfCtrInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer Digest(DigestInput nativeValue) { @@ -91,7 +91,7 @@ public ByteBuffer Digest(DigestInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer ECDSASign(ECDSASignInput nativeValue) { @@ -100,7 +100,7 @@ public ByteBuffer ECDSASign(ECDSASignInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public Boolean ECDSAVerify(ECDSAVerifyInput nativeValue) { @@ -128,7 +128,7 @@ public ByteBuffer GenerateRandomBytes(GenerateRandomBytesInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public GenerateRSAKeyPairOutput GenerateRSAKeyPair(GenerateRSAKeyPairInput nativeValue) { @@ -156,7 +156,7 @@ public ByteBuffer Hkdf(HkdfInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer HkdfExpand(HkdfExpandInput nativeValue) { @@ -165,7 +165,7 @@ public ByteBuffer HkdfExpand(HkdfExpandInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer HkdfExtract(HkdfExtractInput nativeValue) { @@ -174,7 +174,7 @@ public ByteBuffer HkdfExtract(HkdfExtractInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer HMac(HMacInput nativeValue) { @@ -183,7 +183,7 @@ public ByteBuffer HMac(HMacInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer KdfCounterMode(KdfCtrInput nativeValue) { @@ -192,7 +192,7 @@ public ByteBuffer KdfCounterMode(KdfCtrInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer RSADecrypt(RSADecryptInput nativeValue) { @@ -201,7 +201,7 @@ public ByteBuffer RSADecrypt(RSADecryptInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } public ByteBuffer RSAEncrypt(RSAEncryptInput nativeValue) { @@ -210,7 +210,7 @@ public ByteBuffer RSAEncrypt(RSAEncryptInput nativeValue) { if (result.is_Failure()) { throw ToNative.Error(result.dtor_error()); } - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(result.dtor_value()); } protected IAwsCryptographicPrimitivesClient impl() { diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java index 89db18c1c..75b6e21b3 100644 --- a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java +++ b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java @@ -69,7 +69,7 @@ public static Error Error(OpaqueError nativeValue) { } public static Error Error(CollectionOfErrors nativeValue) { - DafnySequence list = software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + DafnySequence list = software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue.list(), ToDafny::Error, Error._typeDescriptor()); @@ -99,21 +99,21 @@ public static AESDecryptInput AESDecryptInput( AES__GCM encAlg; encAlg = ToDafny.AES_GCM(nativeValue.encAlg()); DafnySequence key; - key = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.key()); + key = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.key()); DafnySequence cipherTxt; - cipherTxt = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.cipherTxt()); + cipherTxt = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.cipherTxt()); DafnySequence authTag; - authTag = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.authTag()); + authTag = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.authTag()); DafnySequence iv; - iv = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.iv()); + iv = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.iv()); DafnySequence aad; - aad = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.aad()); + aad = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.aad()); return new AESDecryptInput(encAlg, key, cipherTxt, authTag, iv, aad); } public static DafnySequence AESDecryptOutput(ByteBuffer nativeValue) { DafnySequence plaintext; - plaintext = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + plaintext = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return plaintext; } @@ -122,41 +122,41 @@ public static AESEncryptInput AESEncryptInput( AES__GCM encAlg; encAlg = ToDafny.AES_GCM(nativeValue.encAlg()); DafnySequence iv; - iv = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.iv()); + iv = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.iv()); DafnySequence key; - key = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.key()); + key = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.key()); DafnySequence msg; - msg = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.msg()); + msg = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.msg()); DafnySequence aad; - aad = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.aad()); + aad = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.aad()); return new AESEncryptInput(encAlg, iv, key, msg, aad); } public static AESEncryptOutput AESEncryptOutput( software.amazon.cryptography.primitives.model.AESEncryptOutput nativeValue) { DafnySequence cipherText; - cipherText = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.cipherText()); + cipherText = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.cipherText()); DafnySequence authTag; - authTag = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.authTag()); + authTag = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.authTag()); return new AESEncryptOutput(cipherText, authTag); } public static AesKdfCtrInput AesKdfCtrInput( software.amazon.cryptography.primitives.model.AesKdfCtrInput nativeValue) { DafnySequence ikm; - ikm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); + ikm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); Integer expectedLength; expectedLength = (nativeValue.expectedLength()); Option> nonce; nonce = Objects.nonNull(nativeValue.nonce()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.nonce())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.nonce())) : Option.create_None(); return new AesKdfCtrInput(ikm, expectedLength, nonce); } public static DafnySequence AesKdfCtrOutput(ByteBuffer nativeValue) { DafnySequence okm; - okm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + okm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return okm; } @@ -170,13 +170,13 @@ public static DigestInput DigestInput( DigestAlgorithm digestAlgorithm; digestAlgorithm = ToDafny.DigestAlgorithm(nativeValue.digestAlgorithm()); DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); return new DigestInput(digestAlgorithm, message); } public static DafnySequence DigestOutput(ByteBuffer nativeValue) { DafnySequence digest; - digest = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + digest = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return digest; } @@ -185,15 +185,15 @@ public static ECDSASignInput ECDSASignInput( ECDSASignatureAlgorithm signatureAlgorithm; signatureAlgorithm = ToDafny.ECDSASignatureAlgorithm(nativeValue.signatureAlgorithm()); DafnySequence signingKey; - signingKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey()); + signingKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey()); DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); return new ECDSASignInput(signatureAlgorithm, signingKey, message); } public static DafnySequence ECDSASignOutput(ByteBuffer nativeValue) { DafnySequence signature; - signature = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + signature = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return signature; } @@ -202,11 +202,11 @@ public static ECDSAVerifyInput ECDSAVerifyInput( ECDSASignatureAlgorithm signatureAlgorithm; signatureAlgorithm = ToDafny.ECDSASignatureAlgorithm(nativeValue.signatureAlgorithm()); DafnySequence verificationKey; - verificationKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey()); + verificationKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey()); DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); DafnySequence signature; - signature = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signature()); + signature = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signature()); return new ECDSAVerifyInput(signatureAlgorithm, verificationKey, message, signature); } @@ -228,9 +228,9 @@ public static GenerateECDSASignatureKeyOutput GenerateECDSASignatureKeyOutput( ECDSASignatureAlgorithm signatureAlgorithm; signatureAlgorithm = ToDafny.ECDSASignatureAlgorithm(nativeValue.signatureAlgorithm()); DafnySequence verificationKey; - verificationKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey()); + verificationKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.verificationKey()); DafnySequence signingKey; - signingKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey()); + signingKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.signingKey()); return new GenerateECDSASignatureKeyOutput(signatureAlgorithm, verificationKey, signingKey); } @@ -243,7 +243,7 @@ public static GenerateRandomBytesInput GenerateRandomBytesInput( public static DafnySequence GenerateRandomBytesOutput(ByteBuffer nativeValue) { DafnySequence data; - data = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + data = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return data; } @@ -266,7 +266,7 @@ public static GenerateRSAKeyPairOutput GenerateRSAKeyPairOutput( public static GetRSAKeyModulusLengthInput GetRSAKeyModulusLengthInput( software.amazon.cryptography.primitives.model.GetRSAKeyModulusLengthInput nativeValue) { DafnySequence publicKey; - publicKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey()); + publicKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey()); return new GetRSAKeyModulusLengthInput(publicKey); } @@ -282,9 +282,9 @@ public static HkdfExpandInput HkdfExpandInput( DigestAlgorithm digestAlgorithm; digestAlgorithm = ToDafny.DigestAlgorithm(nativeValue.digestAlgorithm()); DafnySequence prk; - prk = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.prk()); + prk = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.prk()); DafnySequence info; - info = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.info()); + info = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.info()); Integer expectedLength; expectedLength = (nativeValue.expectedLength()); return new HkdfExpandInput(digestAlgorithm, prk, info, expectedLength); @@ -292,7 +292,7 @@ public static HkdfExpandInput HkdfExpandInput( public static DafnySequence HkdfExpandOutput(ByteBuffer nativeValue) { DafnySequence okm; - okm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + okm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return okm; } @@ -302,16 +302,16 @@ public static HkdfExtractInput HkdfExtractInput( digestAlgorithm = ToDafny.DigestAlgorithm(nativeValue.digestAlgorithm()); Option> salt; salt = Objects.nonNull(nativeValue.salt()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.salt())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.salt())) : Option.create_None(); DafnySequence ikm; - ikm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); + ikm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); return new HkdfExtractInput(digestAlgorithm, salt, ikm); } public static DafnySequence HkdfExtractOutput(ByteBuffer nativeValue) { DafnySequence prk; - prk = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + prk = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return prk; } @@ -321,12 +321,12 @@ public static HkdfInput HkdfInput( digestAlgorithm = ToDafny.DigestAlgorithm(nativeValue.digestAlgorithm()); Option> salt; salt = Objects.nonNull(nativeValue.salt()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.salt())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.salt())) : Option.create_None(); DafnySequence ikm; - ikm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); + ikm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); DafnySequence info; - info = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.info()); + info = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.info()); Integer expectedLength; expectedLength = (nativeValue.expectedLength()); return new HkdfInput(digestAlgorithm, salt, ikm, info, expectedLength); @@ -334,7 +334,7 @@ public static HkdfInput HkdfInput( public static DafnySequence HkdfOutput(ByteBuffer nativeValue) { DafnySequence okm; - okm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + okm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return okm; } @@ -343,15 +343,15 @@ public static HMacInput HMacInput( DigestAlgorithm digestAlgorithm; digestAlgorithm = ToDafny.DigestAlgorithm(nativeValue.digestAlgorithm()); DafnySequence key; - key = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.key()); + key = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.key()); DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.message()); return new HMacInput(digestAlgorithm, key, message); } public static DafnySequence HMacOutput(ByteBuffer nativeValue) { DafnySequence digest; - digest = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + digest = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return digest; } @@ -360,23 +360,23 @@ public static KdfCtrInput KdfCtrInput( DigestAlgorithm digestAlgorithm; digestAlgorithm = ToDafny.DigestAlgorithm(nativeValue.digestAlgorithm()); DafnySequence ikm; - ikm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); + ikm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.ikm()); Integer expectedLength; expectedLength = (nativeValue.expectedLength()); Option> purpose; purpose = Objects.nonNull(nativeValue.purpose()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.purpose())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.purpose())) : Option.create_None(); Option> nonce; nonce = Objects.nonNull(nativeValue.nonce()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.nonce())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.nonce())) : Option.create_None(); return new KdfCtrInput(digestAlgorithm, ikm, expectedLength, purpose, nonce); } public static DafnySequence KdfCtrOutput(ByteBuffer nativeValue) { DafnySequence okm; - okm = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + okm = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return okm; } @@ -385,15 +385,15 @@ public static RSADecryptInput RSADecryptInput( RSAPaddingMode padding; padding = ToDafny.RSAPaddingMode(nativeValue.padding()); DafnySequence privateKey; - privateKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.privateKey()); + privateKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.privateKey()); DafnySequence cipherText; - cipherText = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.cipherText()); + cipherText = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.cipherText()); return new RSADecryptInput(padding, privateKey, cipherText); } public static DafnySequence RSADecryptOutput(ByteBuffer nativeValue) { DafnySequence plaintext; - plaintext = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + plaintext = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return plaintext; } @@ -402,15 +402,15 @@ public static RSAEncryptInput RSAEncryptInput( RSAPaddingMode padding; padding = ToDafny.RSAPaddingMode(nativeValue.padding()); DafnySequence publicKey; - publicKey = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey()); + publicKey = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.publicKey()); DafnySequence plaintext; - plaintext = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.plaintext()); + plaintext = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.plaintext()); return new RSAEncryptInput(padding, publicKey, plaintext); } public static DafnySequence RSAEncryptOutput(ByteBuffer nativeValue) { DafnySequence cipherText; - cipherText = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); + cipherText = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue); return cipherText; } @@ -419,7 +419,7 @@ public static RSAPrivateKey RSAPrivateKey( Integer lengthBits; lengthBits = (nativeValue.lengthBits()); DafnySequence pem; - pem = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.pem()); + pem = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.pem()); return new RSAPrivateKey(lengthBits, pem); } @@ -428,13 +428,13 @@ public static RSAPublicKey RSAPublicKey( Integer lengthBits; lengthBits = (nativeValue.lengthBits()); DafnySequence pem; - pem = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.pem()); + pem = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.pem()); return new RSAPublicKey(lengthBits, pem); } public static Error Error(AwsCryptographicPrimitivesError nativeValue) { DafnySequence message; - message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); + message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message()); return new Error_AwsCryptographicPrimitivesError(message); } diff --git a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java index 15ef5c80e..f862bf823 100644 --- a/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java +++ b/AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java @@ -59,7 +59,7 @@ public static OpaqueError Error(Error_Opaque dafnyValue) { public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) { CollectionOfErrors.Builder nativeBuilder = CollectionOfErrors.builder(); nativeBuilder.list( - software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList( + software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList( dafnyValue.dtor_list(), ToNative::Error)); return nativeBuilder.build(); @@ -68,7 +68,7 @@ public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) { public static AwsCryptographicPrimitivesError Error( Error_AwsCryptographicPrimitivesError dafnyValue) { AwsCryptographicPrimitivesError.Builder nativeBuilder = AwsCryptographicPrimitivesError.builder(); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message())); return nativeBuilder.build(); } @@ -106,50 +106,50 @@ public static AESDecryptInput AESDecryptInput( software.amazon.cryptography.primitives.internaldafny.types.AESDecryptInput dafnyValue) { AESDecryptInput.Builder nativeBuilder = AESDecryptInput.builder(); nativeBuilder.encAlg(ToNative.AES_GCM(dafnyValue.dtor_encAlg())); - nativeBuilder.key(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_key())); - nativeBuilder.cipherTxt(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_cipherTxt())); - nativeBuilder.authTag(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_authTag())); - nativeBuilder.iv(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_iv())); - nativeBuilder.aad(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_aad())); + nativeBuilder.key(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_key())); + nativeBuilder.cipherTxt(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_cipherTxt())); + nativeBuilder.authTag(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_authTag())); + nativeBuilder.iv(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_iv())); + nativeBuilder.aad(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_aad())); return nativeBuilder.build(); } public static ByteBuffer AESDecryptOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static AESEncryptInput AESEncryptInput( software.amazon.cryptography.primitives.internaldafny.types.AESEncryptInput dafnyValue) { AESEncryptInput.Builder nativeBuilder = AESEncryptInput.builder(); nativeBuilder.encAlg(ToNative.AES_GCM(dafnyValue.dtor_encAlg())); - nativeBuilder.iv(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_iv())); - nativeBuilder.key(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_key())); - nativeBuilder.msg(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_msg())); - nativeBuilder.aad(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_aad())); + nativeBuilder.iv(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_iv())); + nativeBuilder.key(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_key())); + nativeBuilder.msg(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_msg())); + nativeBuilder.aad(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_aad())); return nativeBuilder.build(); } public static AESEncryptOutput AESEncryptOutput( software.amazon.cryptography.primitives.internaldafny.types.AESEncryptOutput dafnyValue) { AESEncryptOutput.Builder nativeBuilder = AESEncryptOutput.builder(); - nativeBuilder.cipherText(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_cipherText())); - nativeBuilder.authTag(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_authTag())); + nativeBuilder.cipherText(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_cipherText())); + nativeBuilder.authTag(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_authTag())); return nativeBuilder.build(); } public static AesKdfCtrInput AesKdfCtrInput( software.amazon.cryptography.primitives.internaldafny.types.AesKdfCtrInput dafnyValue) { AesKdfCtrInput.Builder nativeBuilder = AesKdfCtrInput.builder(); - nativeBuilder.ikm(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); + nativeBuilder.ikm(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); nativeBuilder.expectedLength((dafnyValue.dtor_expectedLength())); if (dafnyValue.dtor_nonce().is_Some()) { - nativeBuilder.nonce(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_nonce().dtor_value())); + nativeBuilder.nonce(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_nonce().dtor_value())); } return nativeBuilder.build(); } public static ByteBuffer AesKdfCtrOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static CryptoConfig CryptoConfig( @@ -162,34 +162,34 @@ public static DigestInput DigestInput( software.amazon.cryptography.primitives.internaldafny.types.DigestInput dafnyValue) { DigestInput.Builder nativeBuilder = DigestInput.builder(); nativeBuilder.digestAlgorithm(ToNative.DigestAlgorithm(dafnyValue.dtor_digestAlgorithm())); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static ByteBuffer DigestOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static ECDSASignInput ECDSASignInput( software.amazon.cryptography.primitives.internaldafny.types.ECDSASignInput dafnyValue) { ECDSASignInput.Builder nativeBuilder = ECDSASignInput.builder(); nativeBuilder.signatureAlgorithm(ToNative.ECDSASignatureAlgorithm(dafnyValue.dtor_signatureAlgorithm())); - nativeBuilder.signingKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey())); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); + nativeBuilder.signingKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static ByteBuffer ECDSASignOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static ECDSAVerifyInput ECDSAVerifyInput( software.amazon.cryptography.primitives.internaldafny.types.ECDSAVerifyInput dafnyValue) { ECDSAVerifyInput.Builder nativeBuilder = ECDSAVerifyInput.builder(); nativeBuilder.signatureAlgorithm(ToNative.ECDSASignatureAlgorithm(dafnyValue.dtor_signatureAlgorithm())); - nativeBuilder.verificationKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey())); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); - nativeBuilder.signature(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signature())); + nativeBuilder.verificationKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); + nativeBuilder.signature(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signature())); return nativeBuilder.build(); } @@ -208,8 +208,8 @@ public static GenerateECDSASignatureKeyOutput GenerateECDSASignatureKeyOutput( software.amazon.cryptography.primitives.internaldafny.types.GenerateECDSASignatureKeyOutput dafnyValue) { GenerateECDSASignatureKeyOutput.Builder nativeBuilder = GenerateECDSASignatureKeyOutput.builder(); nativeBuilder.signatureAlgorithm(ToNative.ECDSASignatureAlgorithm(dafnyValue.dtor_signatureAlgorithm())); - nativeBuilder.verificationKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey())); - nativeBuilder.signingKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey())); + nativeBuilder.verificationKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_verificationKey())); + nativeBuilder.signingKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_signingKey())); return nativeBuilder.build(); } @@ -221,7 +221,7 @@ public static GenerateRandomBytesInput GenerateRandomBytesInput( } public static ByteBuffer GenerateRandomBytesOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static GenerateRSAKeyPairInput GenerateRSAKeyPairInput( @@ -242,7 +242,7 @@ public static GenerateRSAKeyPairOutput GenerateRSAKeyPairOutput( public static GetRSAKeyModulusLengthInput GetRSAKeyModulusLengthInput( software.amazon.cryptography.primitives.internaldafny.types.GetRSAKeyModulusLengthInput dafnyValue) { GetRSAKeyModulusLengthInput.Builder nativeBuilder = GetRSAKeyModulusLengthInput.builder(); - nativeBuilder.publicKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey())); + nativeBuilder.publicKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey())); return nativeBuilder.build(); } @@ -257,14 +257,14 @@ public static HkdfExpandInput HkdfExpandInput( software.amazon.cryptography.primitives.internaldafny.types.HkdfExpandInput dafnyValue) { HkdfExpandInput.Builder nativeBuilder = HkdfExpandInput.builder(); nativeBuilder.digestAlgorithm(ToNative.DigestAlgorithm(dafnyValue.dtor_digestAlgorithm())); - nativeBuilder.prk(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_prk())); - nativeBuilder.info(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_info())); + nativeBuilder.prk(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_prk())); + nativeBuilder.info(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_info())); nativeBuilder.expectedLength((dafnyValue.dtor_expectedLength())); return nativeBuilder.build(); } public static ByteBuffer HkdfExpandOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static HkdfExtractInput HkdfExtractInput( @@ -272,14 +272,14 @@ public static HkdfExtractInput HkdfExtractInput( HkdfExtractInput.Builder nativeBuilder = HkdfExtractInput.builder(); nativeBuilder.digestAlgorithm(ToNative.DigestAlgorithm(dafnyValue.dtor_digestAlgorithm())); if (dafnyValue.dtor_salt().is_Some()) { - nativeBuilder.salt(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_salt().dtor_value())); + nativeBuilder.salt(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_salt().dtor_value())); } - nativeBuilder.ikm(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); + nativeBuilder.ikm(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); return nativeBuilder.build(); } public static ByteBuffer HkdfExtractOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static HkdfInput HkdfInput( @@ -287,81 +287,81 @@ public static HkdfInput HkdfInput( HkdfInput.Builder nativeBuilder = HkdfInput.builder(); nativeBuilder.digestAlgorithm(ToNative.DigestAlgorithm(dafnyValue.dtor_digestAlgorithm())); if (dafnyValue.dtor_salt().is_Some()) { - nativeBuilder.salt(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_salt().dtor_value())); + nativeBuilder.salt(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_salt().dtor_value())); } - nativeBuilder.ikm(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); - nativeBuilder.info(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_info())); + nativeBuilder.ikm(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); + nativeBuilder.info(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_info())); nativeBuilder.expectedLength((dafnyValue.dtor_expectedLength())); return nativeBuilder.build(); } public static ByteBuffer HkdfOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static HMacInput HMacInput( software.amazon.cryptography.primitives.internaldafny.types.HMacInput dafnyValue) { HMacInput.Builder nativeBuilder = HMacInput.builder(); nativeBuilder.digestAlgorithm(ToNative.DigestAlgorithm(dafnyValue.dtor_digestAlgorithm())); - nativeBuilder.key(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_key())); - nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); + nativeBuilder.key(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_key())); + nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_message())); return nativeBuilder.build(); } public static ByteBuffer HMacOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static KdfCtrInput KdfCtrInput( software.amazon.cryptography.primitives.internaldafny.types.KdfCtrInput dafnyValue) { KdfCtrInput.Builder nativeBuilder = KdfCtrInput.builder(); nativeBuilder.digestAlgorithm(ToNative.DigestAlgorithm(dafnyValue.dtor_digestAlgorithm())); - nativeBuilder.ikm(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); + nativeBuilder.ikm(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_ikm())); nativeBuilder.expectedLength((dafnyValue.dtor_expectedLength())); if (dafnyValue.dtor_purpose().is_Some()) { - nativeBuilder.purpose(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_purpose().dtor_value())); + nativeBuilder.purpose(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_purpose().dtor_value())); } if (dafnyValue.dtor_nonce().is_Some()) { - nativeBuilder.nonce(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_nonce().dtor_value())); + nativeBuilder.nonce(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_nonce().dtor_value())); } return nativeBuilder.build(); } public static ByteBuffer KdfCtrOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static RSADecryptInput RSADecryptInput( software.amazon.cryptography.primitives.internaldafny.types.RSADecryptInput dafnyValue) { RSADecryptInput.Builder nativeBuilder = RSADecryptInput.builder(); nativeBuilder.padding(ToNative.RSAPaddingMode(dafnyValue.dtor_padding())); - nativeBuilder.privateKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_privateKey())); - nativeBuilder.cipherText(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_cipherText())); + nativeBuilder.privateKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_privateKey())); + nativeBuilder.cipherText(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_cipherText())); return nativeBuilder.build(); } public static ByteBuffer RSADecryptOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static RSAEncryptInput RSAEncryptInput( software.amazon.cryptography.primitives.internaldafny.types.RSAEncryptInput dafnyValue) { RSAEncryptInput.Builder nativeBuilder = RSAEncryptInput.builder(); nativeBuilder.padding(ToNative.RSAPaddingMode(dafnyValue.dtor_padding())); - nativeBuilder.publicKey(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey())); - nativeBuilder.plaintext(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_plaintext())); + nativeBuilder.publicKey(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_publicKey())); + nativeBuilder.plaintext(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_plaintext())); return nativeBuilder.build(); } public static ByteBuffer RSAEncryptOutput(DafnySequence dafnyValue) { - return software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); + return software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue); } public static RSAPrivateKey RSAPrivateKey( software.amazon.cryptography.primitives.internaldafny.types.RSAPrivateKey dafnyValue) { RSAPrivateKey.Builder nativeBuilder = RSAPrivateKey.builder(); nativeBuilder.lengthBits((dafnyValue.dtor_lengthBits())); - nativeBuilder.pem(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_pem())); + nativeBuilder.pem(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_pem())); return nativeBuilder.build(); } @@ -369,7 +369,7 @@ public static RSAPublicKey RSAPublicKey( software.amazon.cryptography.primitives.internaldafny.types.RSAPublicKey dafnyValue) { RSAPublicKey.Builder nativeBuilder = RSAPublicKey.builder(); nativeBuilder.lengthBits((dafnyValue.dtor_lengthBits())); - nativeBuilder.pem(software.amazon.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_pem())); + nativeBuilder.pem(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_pem())); return nativeBuilder.build(); } diff --git a/ComAmazonawsDynamodb/runtimes/java/build.gradle.kts b/ComAmazonawsDynamodb/runtimes/java/build.gradle.kts index 63649d4a8..8d8b01da5 100644 --- a/ComAmazonawsDynamodb/runtimes/java/build.gradle.kts +++ b/ComAmazonawsDynamodb/runtimes/java/build.gradle.kts @@ -54,7 +54,7 @@ repositories { dependencies { implementation("org.dafny:DafnyRuntime:4.0.0") implementation("software.amazon.cryptography:StandardLibrary:1.0-SNAPSHOT") - implementation("software.amazon.dafny:conversion:1.0-SNAPSHOT") + implementation("software.amazon.smithy.dafny:conversion:1.0-SNAPSHOT") implementation(platform("software.amazon.awssdk:bom:2.19.1")) implementation("software.amazon.awssdk:dynamodb") } diff --git a/ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java b/ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java index 820ce294e..e49434c20 100644 --- a/ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java +++ b/ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java @@ -13,8 +13,8 @@ import dafny.DafnySequence; -import static software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence; -import static software.amazon.dafny.conversion.ToNative.Simple.String; +import static software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence; +import static software.amazon.smithy.dafny.conversion.ToNative.Simple.String; public class __default extends software.amazon.cryptography.services.dynamodb.internaldafny._ExternBase___default{ public static Result DynamoDBClient() { diff --git a/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java b/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java index 81f33736d..99bea25b1 100644 --- a/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java +++ b/ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java @@ -438,15 +438,15 @@ public static ArchivalSummary ArchivalSummary( software.amazon.awssdk.services.dynamodb.model.ArchivalSummary nativeValue) { Option> archivalDateTime; archivalDateTime = Objects.nonNull(nativeValue.archivalDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.archivalDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.archivalDateTime())) : Option.create_None(); Option> archivalReason; archivalReason = Objects.nonNull(nativeValue.archivalReason()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.archivalReason())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.archivalReason())) : Option.create_None(); Option> archivalBackupArn; archivalBackupArn = Objects.nonNull(nativeValue.archivalBackupArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.archivalBackupArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.archivalBackupArn())) : Option.create_None(); return new ArchivalSummary(archivalDateTime, archivalReason, archivalBackupArn); } @@ -454,7 +454,7 @@ public static ArchivalSummary ArchivalSummary( public static AttributeDefinition AttributeDefinition( software.amazon.awssdk.services.dynamodb.model.AttributeDefinition nativeValue) { DafnySequence attributeName; - attributeName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.attributeName()); + attributeName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.attributeName()); ScalarAttributeType attributeType; attributeType = ToDafny.ScalarAttributeType(nativeValue.attributeType()); return new AttributeDefinition(attributeName, attributeType); @@ -462,7 +462,7 @@ public static AttributeDefinition AttributeDefinition( public static DafnySequence AttributeDefinitions( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeDefinition, AttributeDefinition._typeDescriptor()); @@ -470,25 +470,25 @@ public static DafnySequence AttributeDefinitions( public static DafnyMap, ? extends AttributeValue> AttributeMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue); } public static DafnySequence> AttributeNameList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnyMap, ? extends AttributeValueUpdate> AttributeUpdates( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValueUpdate); } @@ -496,13 +496,13 @@ public static AttributeValue AttributeValue( software.amazon.awssdk.services.dynamodb.model.AttributeValue nativeValue) { switch (nativeValue.type()) { case S: { - return AttributeValue.create_S(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s())); + return AttributeValue.create_S(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s())); } case N: { - return AttributeValue.create_N(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.n())); + return AttributeValue.create_N(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.n())); } case B: { - return AttributeValue.create_B(software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.b().asByteArray())); + return AttributeValue.create_B(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.b().asByteArray())); } case SS: { return AttributeValue.create_SS(ToDafny.StringSetAttributeValue(nativeValue.ss())); @@ -535,7 +535,7 @@ public static AttributeValue AttributeValue( public static DafnySequence AttributeValueList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue, AttributeValue._typeDescriptor()); @@ -558,7 +558,7 @@ public static AutoScalingPolicyDescription AutoScalingPolicyDescription( software.amazon.awssdk.services.dynamodb.model.AutoScalingPolicyDescription nativeValue) { Option> policyName; policyName = Objects.nonNull(nativeValue.policyName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.policyName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.policyName())) : Option.create_None(); Option targetTrackingScalingPolicyConfiguration; targetTrackingScalingPolicyConfiguration = Objects.nonNull(nativeValue.targetTrackingScalingPolicyConfiguration()) ? @@ -569,7 +569,7 @@ public static AutoScalingPolicyDescription AutoScalingPolicyDescription( public static DafnySequence AutoScalingPolicyDescriptionList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AutoScalingPolicyDescription, AutoScalingPolicyDescription._typeDescriptor()); @@ -579,7 +579,7 @@ public static AutoScalingPolicyUpdate AutoScalingPolicyUpdate( software.amazon.awssdk.services.dynamodb.model.AutoScalingPolicyUpdate nativeValue) { Option> policyName; policyName = Objects.nonNull(nativeValue.policyName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.policyName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.policyName())) : Option.create_None(); AutoScalingTargetTrackingScalingPolicyConfigurationUpdate targetTrackingScalingPolicyConfiguration; targetTrackingScalingPolicyConfiguration = ToDafny.AutoScalingTargetTrackingScalingPolicyConfigurationUpdate(nativeValue.targetTrackingScalingPolicyConfiguration()); @@ -602,7 +602,7 @@ public static AutoScalingSettingsDescription AutoScalingSettingsDescription( : Option.create_None(); Option> autoScalingRoleArn; autoScalingRoleArn = Objects.nonNull(nativeValue.autoScalingRoleArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.autoScalingRoleArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.autoScalingRoleArn())) : Option.create_None(); Option> scalingPolicies; scalingPolicies = (Objects.nonNull(nativeValue.scalingPolicies()) && nativeValue.scalingPolicies().size() > 0) ? @@ -627,7 +627,7 @@ public static AutoScalingSettingsUpdate AutoScalingSettingsUpdate( : Option.create_None(); Option> autoScalingRoleArn; autoScalingRoleArn = Objects.nonNull(nativeValue.autoScalingRoleArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.autoScalingRoleArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.autoScalingRoleArn())) : Option.create_None(); Option scalingPolicyUpdate; scalingPolicyUpdate = Objects.nonNull(nativeValue.scalingPolicyUpdate()) ? @@ -651,7 +651,7 @@ public static AutoScalingTargetTrackingScalingPolicyConfigurationDescription Aut Option.create_Some((nativeValue.scaleOutCooldown())) : Option.create_None(); DafnySequence targetValue; - targetValue = software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.targetValue()); + targetValue = software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.targetValue()); return new AutoScalingTargetTrackingScalingPolicyConfigurationDescription(disableScaleIn, scaleInCooldown, scaleOutCooldown, targetValue); } @@ -670,7 +670,7 @@ public static AutoScalingTargetTrackingScalingPolicyConfigurationUpdate AutoScal Option.create_Some((nativeValue.scaleOutCooldown())) : Option.create_None(); DafnySequence targetValue; - targetValue = software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.targetValue()); + targetValue = software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.targetValue()); return new AutoScalingTargetTrackingScalingPolicyConfigurationUpdate(disableScaleIn, scaleInCooldown, scaleOutCooldown, targetValue); } @@ -694,9 +694,9 @@ public static BackupDescription BackupDescription( public static BackupDetails BackupDetails( software.amazon.awssdk.services.dynamodb.model.BackupDetails nativeValue) { DafnySequence backupArn; - backupArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn()); + backupArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn()); DafnySequence backupName; - backupName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupName()); + backupName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupName()); Option backupSizeBytes; backupSizeBytes = Objects.nonNull(nativeValue.backupSizeBytes()) ? Option.create_Some((nativeValue.backupSizeBytes())) @@ -706,17 +706,17 @@ public static BackupDetails BackupDetails( BackupType backupType; backupType = ToDafny.BackupType(nativeValue.backupType()); DafnySequence backupCreationDateTime; - backupCreationDateTime = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupCreationDateTime()); + backupCreationDateTime = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupCreationDateTime()); Option> backupExpiryDateTime; backupExpiryDateTime = Objects.nonNull(nativeValue.backupExpiryDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupExpiryDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupExpiryDateTime())) : Option.create_None(); return new BackupDetails(backupArn, backupName, backupSizeBytes, backupStatus, backupType, backupCreationDateTime, backupExpiryDateTime); } public static DafnySequence BackupSummaries( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::BackupSummary, BackupSummary._typeDescriptor()); @@ -726,31 +726,31 @@ public static BackupSummary BackupSummary( software.amazon.awssdk.services.dynamodb.model.BackupSummary nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> tableId; tableId = Objects.nonNull(nativeValue.tableId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableId())) : Option.create_None(); Option> tableArn; tableArn = Objects.nonNull(nativeValue.tableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) : Option.create_None(); Option> backupArn; backupArn = Objects.nonNull(nativeValue.backupArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn())) : Option.create_None(); Option> backupName; backupName = Objects.nonNull(nativeValue.backupName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupName())) : Option.create_None(); Option> backupCreationDateTime; backupCreationDateTime = Objects.nonNull(nativeValue.backupCreationDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupCreationDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupCreationDateTime())) : Option.create_None(); Option> backupExpiryDateTime; backupExpiryDateTime = Objects.nonNull(nativeValue.backupExpiryDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupExpiryDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupExpiryDateTime())) : Option.create_None(); Option backupStatus; backupStatus = Objects.nonNull(nativeValue.backupStatus()) ? @@ -819,17 +819,17 @@ public static BatchGetItemOutput BatchGetItemOutput(BatchGetItemResponse nativeV public static DafnyMap, ? extends KeysAndAttributes> BatchGetRequestMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::KeysAndAttributes); } public static DafnyMap, ? extends DafnySequence, ? extends AttributeValue>>> BatchGetResponseMap( Map>> nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ItemList); } @@ -841,7 +841,7 @@ public static BatchStatementError BatchStatementError( : Option.create_None(); Option> message; message = Objects.nonNull(nativeValue.message()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message())) : Option.create_None(); return new BatchStatementError(code, message); } @@ -849,7 +849,7 @@ public static BatchStatementError BatchStatementError( public static BatchStatementRequest BatchStatementRequest( software.amazon.awssdk.services.dynamodb.model.BatchStatementRequest nativeValue) { DafnySequence statement; - statement = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.statement()); + statement = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.statement()); Option> parameters; parameters = (Objects.nonNull(nativeValue.parameters()) && nativeValue.parameters().size() > 0) ? Option.create_Some(ToDafny.PreparedStatementParameters(nativeValue.parameters())) @@ -869,7 +869,7 @@ public static BatchStatementResponse BatchStatementResponse( : Option.create_None(); Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option, ? extends AttributeValue>> item; item = (Objects.nonNull(nativeValue.item()) && nativeValue.item().size() > 0) ? @@ -910,9 +910,9 @@ public static BatchWriteItemOutput BatchWriteItemOutput(BatchWriteItemResponse n public static DafnyMap, ? extends DafnySequence> BatchWriteItemRequestMap( Map> nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::WriteRequests); } @@ -924,16 +924,16 @@ public static BillingModeSummary BillingModeSummary( : Option.create_None(); Option> lastUpdateToPayPerRequestDateTime; lastUpdateToPayPerRequestDateTime = Objects.nonNull(nativeValue.lastUpdateToPayPerRequestDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastUpdateToPayPerRequestDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastUpdateToPayPerRequestDateTime())) : Option.create_None(); return new BillingModeSummary(billingMode, lastUpdateToPayPerRequestDateTime); } public static DafnySequence> BinarySetAttributeValue( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::ByteSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::ByteSequence, DafnySequence._typeDescriptor(TypeDescriptor.BYTE)); } @@ -945,18 +945,18 @@ public static CancellationReason CancellationReason( : Option.create_None(); Option> code; code = Objects.nonNull(nativeValue.code()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.code())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.code())) : Option.create_None(); Option> message; message = Objects.nonNull(nativeValue.message()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message())) : Option.create_None(); return new CancellationReason(item, code, message); } public static DafnySequence CancellationReasonList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::CancellationReason, CancellationReason._typeDescriptor()); @@ -966,15 +966,15 @@ public static Capacity Capacity( software.amazon.awssdk.services.dynamodb.model.Capacity nativeValue) { Option> readCapacityUnits; readCapacityUnits = Objects.nonNull(nativeValue.readCapacityUnits()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.readCapacityUnits())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.readCapacityUnits())) : Option.create_None(); Option> writeCapacityUnits; writeCapacityUnits = Objects.nonNull(nativeValue.writeCapacityUnits()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.writeCapacityUnits())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.writeCapacityUnits())) : Option.create_None(); Option> capacityUnits; capacityUnits = Objects.nonNull(nativeValue.capacityUnits()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.capacityUnits())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.capacityUnits())) : Option.create_None(); return new Capacity(readCapacityUnits, writeCapacityUnits, capacityUnits); } @@ -995,9 +995,9 @@ public static ConditionCheck ConditionCheck( DafnyMap, ? extends AttributeValue> key; key = ToDafny.Key(nativeValue.key()); DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnySequence conditionExpression; - conditionExpression = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression()); + conditionExpression = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression()); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? Option.create_Some(ToDafny.ExpressionAttributeNameMap(nativeValue.expressionAttributeNames())) @@ -1017,19 +1017,19 @@ public static ConsumedCapacity ConsumedCapacity( software.amazon.awssdk.services.dynamodb.model.ConsumedCapacity nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> capacityUnits; capacityUnits = Objects.nonNull(nativeValue.capacityUnits()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.capacityUnits())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.capacityUnits())) : Option.create_None(); Option> readCapacityUnits; readCapacityUnits = Objects.nonNull(nativeValue.readCapacityUnits()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.readCapacityUnits())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.readCapacityUnits())) : Option.create_None(); Option> writeCapacityUnits; writeCapacityUnits = Objects.nonNull(nativeValue.writeCapacityUnits()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.Double(nativeValue.writeCapacityUnits())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.Double(nativeValue.writeCapacityUnits())) : Option.create_None(); Option table; table = Objects.nonNull(nativeValue.table()) ? @@ -1048,7 +1048,7 @@ public static ConsumedCapacity ConsumedCapacity( public static DafnySequence ConsumedCapacityMultiple( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ConsumedCapacity, ConsumedCapacity._typeDescriptor()); @@ -1067,15 +1067,15 @@ public static ContinuousBackupsDescription ContinuousBackupsDescription( public static DafnySequence> ContributorInsightsRuleList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnySequence ContributorInsightsSummaries( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ContributorInsightsSummary, ContributorInsightsSummary._typeDescriptor()); @@ -1085,11 +1085,11 @@ public static ContributorInsightsSummary ContributorInsightsSummary( software.amazon.awssdk.services.dynamodb.model.ContributorInsightsSummary nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option contributorInsightsStatus; contributorInsightsStatus = Objects.nonNull(nativeValue.contributorInsightsStatus()) ? @@ -1100,9 +1100,9 @@ public static ContributorInsightsSummary ContributorInsightsSummary( public static CreateBackupInput CreateBackupInput(CreateBackupRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnySequence backupName; - backupName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupName()); + backupName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupName()); return new CreateBackupInput(tableName, backupName); } @@ -1117,7 +1117,7 @@ public static CreateBackupOutput CreateBackupOutput(CreateBackupResponse nativeV public static CreateGlobalSecondaryIndexAction CreateGlobalSecondaryIndexAction( software.amazon.awssdk.services.dynamodb.model.CreateGlobalSecondaryIndexAction nativeValue) { DafnySequence indexName; - indexName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); + indexName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); DafnySequence keySchema; keySchema = ToDafny.KeySchema(nativeValue.keySchema()); Projection projection; @@ -1132,7 +1132,7 @@ public static CreateGlobalSecondaryIndexAction CreateGlobalSecondaryIndexAction( public static CreateGlobalTableInput CreateGlobalTableInput( CreateGlobalTableRequest nativeValue) { DafnySequence globalTableName; - globalTableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName()); + globalTableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName()); DafnySequence replicationGroup; replicationGroup = ToDafny.ReplicaList(nativeValue.replicationGroup()); return new CreateGlobalTableInput(globalTableName, replicationGroup); @@ -1150,17 +1150,17 @@ public static CreateGlobalTableOutput CreateGlobalTableOutput( public static CreateReplicaAction CreateReplicaAction( software.amazon.awssdk.services.dynamodb.model.CreateReplicaAction nativeValue) { DafnySequence regionName; - regionName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); + regionName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); return new CreateReplicaAction(regionName); } public static CreateReplicationGroupMemberAction CreateReplicationGroupMemberAction( software.amazon.awssdk.services.dynamodb.model.CreateReplicationGroupMemberAction nativeValue) { DafnySequence regionName; - regionName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); + regionName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); Option> kMSMasterKeyId; kMSMasterKeyId = Objects.nonNull(nativeValue.kmsMasterKeyId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsMasterKeyId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.kmsMasterKeyId())) : Option.create_None(); Option provisionedThroughputOverride; provisionedThroughputOverride = Objects.nonNull(nativeValue.provisionedThroughputOverride()) ? @@ -1181,7 +1181,7 @@ public static CreateTableInput CreateTableInput(CreateTableRequest nativeValue) DafnySequence attributeDefinitions; attributeDefinitions = ToDafny.AttributeDefinitions(nativeValue.attributeDefinitions()); DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnySequence keySchema; keySchema = ToDafny.KeySchema(nativeValue.keySchema()); Option> localSecondaryIndexes; @@ -1229,9 +1229,9 @@ public static CreateTableOutput CreateTableOutput(CreateTableResponse nativeValu public static DafnySequence> CsvHeaderList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } @@ -1239,7 +1239,7 @@ public static CsvOptions CsvOptions( software.amazon.awssdk.services.dynamodb.model.CsvOptions nativeValue) { Option> delimiter; delimiter = Objects.nonNull(nativeValue.delimiter()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.delimiter())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.delimiter())) : Option.create_None(); Option>> headerList; headerList = (Objects.nonNull(nativeValue.headerList()) && nativeValue.headerList().size() > 0) ? @@ -1252,10 +1252,10 @@ public static Delete Delete(software.amazon.awssdk.services.dynamodb.model.Delet DafnyMap, ? extends AttributeValue> key; key = ToDafny.Key(nativeValue.key()); DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); Option> conditionExpression; conditionExpression = Objects.nonNull(nativeValue.conditionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -1274,7 +1274,7 @@ public static Delete Delete(software.amazon.awssdk.services.dynamodb.model.Delet public static DeleteBackupInput DeleteBackupInput(DeleteBackupRequest nativeValue) { DafnySequence backupArn; - backupArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn()); + backupArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn()); return new DeleteBackupInput(backupArn); } @@ -1289,13 +1289,13 @@ public static DeleteBackupOutput DeleteBackupOutput(DeleteBackupResponse nativeV public static DeleteGlobalSecondaryIndexAction DeleteGlobalSecondaryIndexAction( software.amazon.awssdk.services.dynamodb.model.DeleteGlobalSecondaryIndexAction nativeValue) { DafnySequence indexName; - indexName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); + indexName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); return new DeleteGlobalSecondaryIndexAction(indexName); } public static DeleteItemInput DeleteItemInput(DeleteItemRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnyMap, ? extends AttributeValue> key; key = ToDafny.Key(nativeValue.key()); Option, ? extends ExpectedAttributeValue>> expected; @@ -1320,7 +1320,7 @@ public static DeleteItemInput DeleteItemInput(DeleteItemRequest nativeValue) { : Option.create_None(); Option> conditionExpression; conditionExpression = Objects.nonNull(nativeValue.conditionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -1352,14 +1352,14 @@ public static DeleteItemOutput DeleteItemOutput(DeleteItemResponse nativeValue) public static DeleteReplicaAction DeleteReplicaAction( software.amazon.awssdk.services.dynamodb.model.DeleteReplicaAction nativeValue) { DafnySequence regionName; - regionName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); + regionName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); return new DeleteReplicaAction(regionName); } public static DeleteReplicationGroupMemberAction DeleteReplicationGroupMemberAction( software.amazon.awssdk.services.dynamodb.model.DeleteReplicationGroupMemberAction nativeValue) { DafnySequence regionName; - regionName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); + regionName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName()); return new DeleteReplicationGroupMemberAction(regionName); } @@ -1372,7 +1372,7 @@ public static DeleteRequest DeleteRequest( public static DeleteTableInput DeleteTableInput(DeleteTableRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); return new DeleteTableInput(tableName); } @@ -1386,7 +1386,7 @@ public static DeleteTableOutput DeleteTableOutput(DeleteTableResponse nativeValu public static DescribeBackupInput DescribeBackupInput(DescribeBackupRequest nativeValue) { DafnySequence backupArn; - backupArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn()); + backupArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.backupArn()); return new DescribeBackupInput(backupArn); } @@ -1401,7 +1401,7 @@ public static DescribeBackupOutput DescribeBackupOutput(DescribeBackupResponse n public static DescribeContinuousBackupsInput DescribeContinuousBackupsInput( DescribeContinuousBackupsRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); return new DescribeContinuousBackupsInput(tableName); } @@ -1417,10 +1417,10 @@ public static DescribeContinuousBackupsOutput DescribeContinuousBackupsOutput( public static DescribeContributorInsightsInput DescribeContributorInsightsInput( DescribeContributorInsightsRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); return new DescribeContributorInsightsInput(tableName, indexName); } @@ -1429,11 +1429,11 @@ public static DescribeContributorInsightsOutput DescribeContributorInsightsOutpu DescribeContributorInsightsResponse nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option>> contributorInsightsRuleList; contributorInsightsRuleList = (Objects.nonNull(nativeValue.contributorInsightsRuleList()) && nativeValue.contributorInsightsRuleList().size() > 0) ? @@ -1445,7 +1445,7 @@ public static DescribeContributorInsightsOutput DescribeContributorInsightsOutpu : Option.create_None(); Option> lastUpdateDateTime; lastUpdateDateTime = Objects.nonNull(nativeValue.lastUpdateDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastUpdateDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastUpdateDateTime())) : Option.create_None(); Option failureException; failureException = Objects.nonNull(nativeValue.failureException()) ? @@ -1468,7 +1468,7 @@ public static DescribeEndpointsResponse DescribeEndpointsResponse( public static DescribeExportInput DescribeExportInput(DescribeExportRequest nativeValue) { DafnySequence exportArn; - exportArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportArn()); + exportArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportArn()); return new DescribeExportInput(exportArn); } @@ -1483,7 +1483,7 @@ public static DescribeExportOutput DescribeExportOutput(DescribeExportResponse n public static DescribeGlobalTableInput DescribeGlobalTableInput( DescribeGlobalTableRequest nativeValue) { DafnySequence globalTableName; - globalTableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName()); + globalTableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName()); return new DescribeGlobalTableInput(globalTableName); } @@ -1499,7 +1499,7 @@ public static DescribeGlobalTableOutput DescribeGlobalTableOutput( public static DescribeGlobalTableSettingsInput DescribeGlobalTableSettingsInput( DescribeGlobalTableSettingsRequest nativeValue) { DafnySequence globalTableName; - globalTableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName()); + globalTableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName()); return new DescribeGlobalTableSettingsInput(globalTableName); } @@ -1507,7 +1507,7 @@ public static DescribeGlobalTableSettingsOutput DescribeGlobalTableSettingsOutpu DescribeGlobalTableSettingsResponse nativeValue) { Option> globalTableName; globalTableName = Objects.nonNull(nativeValue.globalTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName())) : Option.create_None(); Option> replicaSettings; replicaSettings = (Objects.nonNull(nativeValue.replicaSettings()) && nativeValue.replicaSettings().size() > 0) ? @@ -1518,7 +1518,7 @@ public static DescribeGlobalTableSettingsOutput DescribeGlobalTableSettingsOutpu public static DescribeImportInput DescribeImportInput(DescribeImportRequest nativeValue) { DafnySequence importArn; - importArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.importArn()); + importArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.importArn()); return new DescribeImportInput(importArn); } @@ -1531,7 +1531,7 @@ public static DescribeImportOutput DescribeImportOutput(DescribeImportResponse n public static DescribeKinesisStreamingDestinationInput DescribeKinesisStreamingDestinationInput( DescribeKinesisStreamingDestinationRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); return new DescribeKinesisStreamingDestinationInput(tableName); } @@ -1539,7 +1539,7 @@ public static DescribeKinesisStreamingDestinationOutput DescribeKinesisStreaming DescribeKinesisStreamingDestinationResponse nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> kinesisDataStreamDestinations; kinesisDataStreamDestinations = (Objects.nonNull(nativeValue.kinesisDataStreamDestinations()) && nativeValue.kinesisDataStreamDestinations().size() > 0) ? @@ -1574,7 +1574,7 @@ public static DescribeLimitsOutput DescribeLimitsOutput(DescribeLimitsResponse n public static DescribeTableInput DescribeTableInput(DescribeTableRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); return new DescribeTableInput(tableName); } @@ -1589,7 +1589,7 @@ public static DescribeTableOutput DescribeTableOutput(DescribeTableResponse nati public static DescribeTableReplicaAutoScalingInput DescribeTableReplicaAutoScalingInput( DescribeTableReplicaAutoScalingRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); return new DescribeTableReplicaAutoScalingInput(tableName); } @@ -1605,7 +1605,7 @@ public static DescribeTableReplicaAutoScalingOutput DescribeTableReplicaAutoScal public static DescribeTimeToLiveInput DescribeTimeToLiveInput( DescribeTimeToLiveRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); return new DescribeTimeToLiveInput(tableName); } @@ -1621,9 +1621,9 @@ public static DescribeTimeToLiveOutput DescribeTimeToLiveOutput( public static DisableKinesisStreamingDestinationInput DisableKinesisStreamingDestinationInput( DisableKinesisStreamingDestinationRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnySequence streamArn; - streamArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn()); + streamArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn()); return new DisableKinesisStreamingDestinationInput(tableName, streamArn); } @@ -1631,11 +1631,11 @@ public static DisableKinesisStreamingDestinationOutput DisableKinesisStreamingDe DisableKinesisStreamingDestinationResponse nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> streamArn; streamArn = Objects.nonNull(nativeValue.streamArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn())) : Option.create_None(); Option destinationStatus; destinationStatus = Objects.nonNull(nativeValue.destinationStatus()) ? @@ -1647,9 +1647,9 @@ public static DisableKinesisStreamingDestinationOutput DisableKinesisStreamingDe public static EnableKinesisStreamingDestinationInput EnableKinesisStreamingDestinationInput( EnableKinesisStreamingDestinationRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnySequence streamArn; - streamArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn()); + streamArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn()); return new EnableKinesisStreamingDestinationInput(tableName, streamArn); } @@ -1657,11 +1657,11 @@ public static EnableKinesisStreamingDestinationOutput EnableKinesisStreamingDest EnableKinesisStreamingDestinationResponse nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> streamArn; streamArn = Objects.nonNull(nativeValue.streamArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn())) : Option.create_None(); Option destinationStatus; destinationStatus = Objects.nonNull(nativeValue.destinationStatus()) ? @@ -1673,7 +1673,7 @@ public static EnableKinesisStreamingDestinationOutput EnableKinesisStreamingDest public static Endpoint Endpoint( software.amazon.awssdk.services.dynamodb.model.Endpoint nativeValue) { DafnySequence address; - address = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.address()); + address = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.address()); Long cachePeriodInMinutes; cachePeriodInMinutes = (nativeValue.cachePeriodInMinutes()); return new Endpoint(address, cachePeriodInMinutes); @@ -1681,7 +1681,7 @@ public static Endpoint Endpoint( public static DafnySequence Endpoints( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::Endpoint, Endpoint._typeDescriptor()); @@ -1689,7 +1689,7 @@ public static DafnySequence Endpoints( public static ExecuteStatementInput ExecuteStatementInput(ExecuteStatementRequest nativeValue) { DafnySequence statement; - statement = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.statement()); + statement = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.statement()); Option> parameters; parameters = (Objects.nonNull(nativeValue.parameters()) && nativeValue.parameters().size() > 0) ? Option.create_Some(ToDafny.PreparedStatementParameters(nativeValue.parameters())) @@ -1700,7 +1700,7 @@ public static ExecuteStatementInput ExecuteStatementInput(ExecuteStatementReques : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); Option returnConsumedCapacity; returnConsumedCapacity = Objects.nonNull(nativeValue.returnConsumedCapacity()) ? @@ -1721,7 +1721,7 @@ public static ExecuteStatementOutput ExecuteStatementOutput( : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); Option consumedCapacity; consumedCapacity = Objects.nonNull(nativeValue.consumedCapacity()) ? @@ -1740,7 +1740,7 @@ public static ExecuteTransactionInput ExecuteTransactionInput( transactStatements = ToDafny.ParameterizedStatements(nativeValue.transactStatements()); Option> clientRequestToken; clientRequestToken = Objects.nonNull(nativeValue.clientRequestToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientRequestToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientRequestToken())) : Option.create_None(); Option returnConsumedCapacity; returnConsumedCapacity = Objects.nonNull(nativeValue.returnConsumedCapacity()) ? @@ -1764,9 +1764,9 @@ public static ExecuteTransactionOutput ExecuteTransactionOutput( public static DafnyMap, ? extends ExpectedAttributeValue> ExpectedAttributeMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ExpectedAttributeValue); } @@ -1795,7 +1795,7 @@ public static ExportDescription ExportDescription( software.amazon.awssdk.services.dynamodb.model.ExportDescription nativeValue) { Option> exportArn; exportArn = Objects.nonNull(nativeValue.exportArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportArn())) : Option.create_None(); Option exportStatus; exportStatus = Objects.nonNull(nativeValue.exportStatus()) ? @@ -1803,43 +1803,43 @@ public static ExportDescription ExportDescription( : Option.create_None(); Option> startTime; startTime = Objects.nonNull(nativeValue.startTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.startTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.startTime())) : Option.create_None(); Option> endTime; endTime = Objects.nonNull(nativeValue.endTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.endTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.endTime())) : Option.create_None(); Option> exportManifest; exportManifest = Objects.nonNull(nativeValue.exportManifest()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportManifest())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportManifest())) : Option.create_None(); Option> tableArn; tableArn = Objects.nonNull(nativeValue.tableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) : Option.create_None(); Option> tableId; tableId = Objects.nonNull(nativeValue.tableId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableId())) : Option.create_None(); Option> exportTime; exportTime = Objects.nonNull(nativeValue.exportTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportTime())) : Option.create_None(); Option> clientToken; clientToken = Objects.nonNull(nativeValue.clientToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) : Option.create_None(); Option> s3Bucket; s3Bucket = Objects.nonNull(nativeValue.s3Bucket()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Bucket())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Bucket())) : Option.create_None(); Option> s3BucketOwner; s3BucketOwner = Objects.nonNull(nativeValue.s3BucketOwner()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3BucketOwner())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3BucketOwner())) : Option.create_None(); Option> s3Prefix; s3Prefix = Objects.nonNull(nativeValue.s3Prefix()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Prefix())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Prefix())) : Option.create_None(); Option s3SseAlgorithm; s3SseAlgorithm = Objects.nonNull(nativeValue.s3SseAlgorithm()) ? @@ -1847,15 +1847,15 @@ public static ExportDescription ExportDescription( : Option.create_None(); Option> s3SseKmsKeyId; s3SseKmsKeyId = Objects.nonNull(nativeValue.s3SseKmsKeyId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3SseKmsKeyId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3SseKmsKeyId())) : Option.create_None(); Option> failureCode; failureCode = Objects.nonNull(nativeValue.failureCode()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureCode())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureCode())) : Option.create_None(); Option> failureMessage; failureMessage = Objects.nonNull(nativeValue.failureMessage()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureMessage())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureMessage())) : Option.create_None(); Option exportFormat; exportFormat = Objects.nonNull(nativeValue.exportFormat()) ? @@ -1874,7 +1874,7 @@ public static ExportDescription ExportDescription( public static DafnySequence ExportSummaries( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ExportSummary, ExportSummary._typeDescriptor()); @@ -1884,7 +1884,7 @@ public static ExportSummary ExportSummary( software.amazon.awssdk.services.dynamodb.model.ExportSummary nativeValue) { Option> exportArn; exportArn = Objects.nonNull(nativeValue.exportArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportArn())) : Option.create_None(); Option exportStatus; exportStatus = Objects.nonNull(nativeValue.exportStatus()) ? @@ -1896,24 +1896,24 @@ public static ExportSummary ExportSummary( public static ExportTableToPointInTimeInput ExportTableToPointInTimeInput( ExportTableToPointInTimeRequest nativeValue) { DafnySequence tableArn; - tableArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn()); + tableArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn()); Option> exportTime; exportTime = Objects.nonNull(nativeValue.exportTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exportTime())) : Option.create_None(); Option> clientToken; clientToken = Objects.nonNull(nativeValue.clientToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) : Option.create_None(); DafnySequence s3Bucket; - s3Bucket = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Bucket()); + s3Bucket = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Bucket()); Option> s3BucketOwner; s3BucketOwner = Objects.nonNull(nativeValue.s3BucketOwner()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3BucketOwner())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3BucketOwner())) : Option.create_None(); Option> s3Prefix; s3Prefix = Objects.nonNull(nativeValue.s3Prefix()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Prefix())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3Prefix())) : Option.create_None(); Option s3SseAlgorithm; s3SseAlgorithm = Objects.nonNull(nativeValue.s3SseAlgorithm()) ? @@ -1921,7 +1921,7 @@ public static ExportTableToPointInTimeInput ExportTableToPointInTimeInput( : Option.create_None(); Option> s3SseKmsKeyId; s3SseKmsKeyId = Objects.nonNull(nativeValue.s3SseKmsKeyId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3SseKmsKeyId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.s3SseKmsKeyId())) : Option.create_None(); Option exportFormat; exportFormat = Objects.nonNull(nativeValue.exportFormat()) ? @@ -1941,17 +1941,17 @@ public static ExportTableToPointInTimeOutput ExportTableToPointInTimeOutput( public static DafnyMap, ? extends DafnySequence> ExpressionAttributeNameMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence); + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence); } public static DafnyMap, ? extends AttributeValue> ExpressionAttributeValueMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue); } @@ -1959,20 +1959,20 @@ public static FailureException FailureException( software.amazon.awssdk.services.dynamodb.model.FailureException nativeValue) { Option> exceptionName; exceptionName = Objects.nonNull(nativeValue.exceptionName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exceptionName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exceptionName())) : Option.create_None(); Option> exceptionDescription; exceptionDescription = Objects.nonNull(nativeValue.exceptionDescription()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exceptionDescription())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exceptionDescription())) : Option.create_None(); return new FailureException(exceptionName, exceptionDescription); } public static DafnyMap, ? extends Condition> FilterConditionMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::Condition); } @@ -1980,10 +1980,10 @@ public static Get Get(software.amazon.awssdk.services.dynamodb.model.Get nativeV DafnyMap, ? extends AttributeValue> key; key = ToDafny.Key(nativeValue.key()); DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); Option> projectionExpression; projectionExpression = Objects.nonNull(nativeValue.projectionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.projectionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.projectionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -1994,7 +1994,7 @@ public static Get Get(software.amazon.awssdk.services.dynamodb.model.Get nativeV public static GetItemInput GetItemInput(GetItemRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnyMap, ? extends AttributeValue> key; key = ToDafny.Key(nativeValue.key()); Option>> attributesToGet; @@ -2011,7 +2011,7 @@ public static GetItemInput GetItemInput(GetItemRequest nativeValue) { : Option.create_None(); Option> projectionExpression; projectionExpression = Objects.nonNull(nativeValue.projectionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.projectionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.projectionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -2035,7 +2035,7 @@ public static GetItemOutput GetItemOutput(GetItemResponse nativeValue) { public static GlobalSecondaryIndex GlobalSecondaryIndex( software.amazon.awssdk.services.dynamodb.model.GlobalSecondaryIndex nativeValue) { DafnySequence indexName; - indexName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); + indexName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); DafnySequence keySchema; keySchema = ToDafny.KeySchema(nativeValue.keySchema()); Projection projection; @@ -2051,7 +2051,7 @@ public static GlobalSecondaryIndexAutoScalingUpdate GlobalSecondaryIndexAutoScal software.amazon.awssdk.services.dynamodb.model.GlobalSecondaryIndexAutoScalingUpdate nativeValue) { Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option provisionedWriteCapacityAutoScalingUpdate; provisionedWriteCapacityAutoScalingUpdate = Objects.nonNull(nativeValue.provisionedWriteCapacityAutoScalingUpdate()) ? @@ -2062,7 +2062,7 @@ public static GlobalSecondaryIndexAutoScalingUpdate GlobalSecondaryIndexAutoScal public static DafnySequence GlobalSecondaryIndexAutoScalingUpdateList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalSecondaryIndexAutoScalingUpdate, GlobalSecondaryIndexAutoScalingUpdate._typeDescriptor()); @@ -2072,7 +2072,7 @@ public static GlobalSecondaryIndexDescription GlobalSecondaryIndexDescription( software.amazon.awssdk.services.dynamodb.model.GlobalSecondaryIndexDescription nativeValue) { Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option> keySchema; keySchema = (Objects.nonNull(nativeValue.keySchema()) && nativeValue.keySchema().size() > 0) ? @@ -2104,14 +2104,14 @@ public static GlobalSecondaryIndexDescription GlobalSecondaryIndexDescription( : Option.create_None(); Option> indexArn; indexArn = Objects.nonNull(nativeValue.indexArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexArn())) : Option.create_None(); return new GlobalSecondaryIndexDescription(indexName, keySchema, projection, indexStatus, backfilling, provisionedThroughput, indexSizeBytes, itemCount, indexArn); } public static DafnySequence GlobalSecondaryIndexDescriptionList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalSecondaryIndexDescription, GlobalSecondaryIndexDescription._typeDescriptor()); @@ -2119,7 +2119,7 @@ public static DafnySequence GlobalSec public static DafnySequence GlobalSecondaryIndexes( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalSecondaryIndexInfo, GlobalSecondaryIndexInfo._typeDescriptor()); @@ -2129,7 +2129,7 @@ public static GlobalSecondaryIndexInfo GlobalSecondaryIndexInfo( software.amazon.awssdk.services.dynamodb.model.GlobalSecondaryIndexInfo nativeValue) { Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option> keySchema; keySchema = (Objects.nonNull(nativeValue.keySchema()) && nativeValue.keySchema().size() > 0) ? @@ -2148,7 +2148,7 @@ public static GlobalSecondaryIndexInfo GlobalSecondaryIndexInfo( public static DafnySequence GlobalSecondaryIndexList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalSecondaryIndex, GlobalSecondaryIndex._typeDescriptor()); @@ -2173,7 +2173,7 @@ public static GlobalSecondaryIndexUpdate GlobalSecondaryIndexUpdate( public static DafnySequence GlobalSecondaryIndexUpdateList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalSecondaryIndexUpdate, GlobalSecondaryIndexUpdate._typeDescriptor()); @@ -2183,7 +2183,7 @@ public static GlobalTable GlobalTable( software.amazon.awssdk.services.dynamodb.model.GlobalTable nativeValue) { Option> globalTableName; globalTableName = Objects.nonNull(nativeValue.globalTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName())) : Option.create_None(); Option> replicationGroup; replicationGroup = (Objects.nonNull(nativeValue.replicationGroup()) && nativeValue.replicationGroup().size() > 0) ? @@ -2200,11 +2200,11 @@ public static GlobalTableDescription GlobalTableDescription( : Option.create_None(); Option> globalTableArn; globalTableArn = Objects.nonNull(nativeValue.globalTableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableArn())) : Option.create_None(); Option> creationDateTime; creationDateTime = Objects.nonNull(nativeValue.creationDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.creationDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.creationDateTime())) : Option.create_None(); Option globalTableStatus; globalTableStatus = Objects.nonNull(nativeValue.globalTableStatus()) ? @@ -2212,7 +2212,7 @@ public static GlobalTableDescription GlobalTableDescription( : Option.create_None(); Option> globalTableName; globalTableName = Objects.nonNull(nativeValue.globalTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.globalTableName())) : Option.create_None(); return new GlobalTableDescription(replicationGroup, globalTableArn, creationDateTime, globalTableStatus, globalTableName); } @@ -2220,7 +2220,7 @@ public static GlobalTableDescription GlobalTableDescription( public static GlobalTableGlobalSecondaryIndexSettingsUpdate GlobalTableGlobalSecondaryIndexSettingsUpdate( software.amazon.awssdk.services.dynamodb.model.GlobalTableGlobalSecondaryIndexSettingsUpdate nativeValue) { DafnySequence indexName; - indexName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); + indexName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); Option provisionedWriteCapacityUnits; provisionedWriteCapacityUnits = Objects.nonNull(nativeValue.provisionedWriteCapacityUnits()) ? Option.create_Some((nativeValue.provisionedWriteCapacityUnits())) @@ -2234,7 +2234,7 @@ public static GlobalTableGlobalSecondaryIndexSettingsUpdate GlobalTableGlobalSec public static DafnySequence GlobalTableGlobalSecondaryIndexSettingsUpdateList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalTableGlobalSecondaryIndexSettingsUpdate, GlobalTableGlobalSecondaryIndexSettingsUpdate._typeDescriptor()); @@ -2242,7 +2242,7 @@ public static DafnySequence GlobalTableList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::GlobalTable, GlobalTable._typeDescriptor()); @@ -2252,7 +2252,7 @@ public static ImportSummary ImportSummary( software.amazon.awssdk.services.dynamodb.model.ImportSummary nativeValue) { Option> importArn; importArn = Objects.nonNull(nativeValue.importArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.importArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.importArn())) : Option.create_None(); Option importStatus; importStatus = Objects.nonNull(nativeValue.importStatus()) ? @@ -2260,7 +2260,7 @@ public static ImportSummary ImportSummary( : Option.create_None(); Option> tableArn; tableArn = Objects.nonNull(nativeValue.tableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) : Option.create_None(); Option s3BucketSource; s3BucketSource = Objects.nonNull(nativeValue.s3BucketSource()) ? @@ -2268,7 +2268,7 @@ public static ImportSummary ImportSummary( : Option.create_None(); Option> cloudWatchLogGroupArn; cloudWatchLogGroupArn = Objects.nonNull(nativeValue.cloudWatchLogGroupArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.cloudWatchLogGroupArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.cloudWatchLogGroupArn())) : Option.create_None(); Option inputFormat; inputFormat = Objects.nonNull(nativeValue.inputFormat()) ? @@ -2276,18 +2276,18 @@ public static ImportSummary ImportSummary( : Option.create_None(); Option> startTime; startTime = Objects.nonNull(nativeValue.startTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.startTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.startTime())) : Option.create_None(); Option> endTime; endTime = Objects.nonNull(nativeValue.endTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.endTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.endTime())) : Option.create_None(); return new ImportSummary(importArn, importStatus, tableArn, s3BucketSource, cloudWatchLogGroupArn, inputFormat, startTime, endTime); } public static DafnySequence ImportSummaryList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ImportSummary, ImportSummary._typeDescriptor()); @@ -2297,7 +2297,7 @@ public static ImportTableDescription ImportTableDescription( software.amazon.awssdk.services.dynamodb.model.ImportTableDescription nativeValue) { Option> importArn; importArn = Objects.nonNull(nativeValue.importArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.importArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.importArn())) : Option.create_None(); Option importStatus; importStatus = Objects.nonNull(nativeValue.importStatus()) ? @@ -2305,15 +2305,15 @@ public static ImportTableDescription ImportTableDescription( : Option.create_None(); Option> tableArn; tableArn = Objects.nonNull(nativeValue.tableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) : Option.create_None(); Option> tableId; tableId = Objects.nonNull(nativeValue.tableId()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableId())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableId())) : Option.create_None(); Option> clientToken; clientToken = Objects.nonNull(nativeValue.clientToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) : Option.create_None(); Option s3BucketSource; s3BucketSource = Objects.nonNull(nativeValue.s3BucketSource()) ? @@ -2325,7 +2325,7 @@ public static ImportTableDescription ImportTableDescription( : Option.create_None(); Option> cloudWatchLogGroupArn; cloudWatchLogGroupArn = Objects.nonNull(nativeValue.cloudWatchLogGroupArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.cloudWatchLogGroupArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.cloudWatchLogGroupArn())) : Option.create_None(); Option inputFormat; inputFormat = Objects.nonNull(nativeValue.inputFormat()) ? @@ -2345,11 +2345,11 @@ public static ImportTableDescription ImportTableDescription( : Option.create_None(); Option> startTime; startTime = Objects.nonNull(nativeValue.startTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.startTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.startTime())) : Option.create_None(); Option> endTime; endTime = Objects.nonNull(nativeValue.endTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.endTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.endTime())) : Option.create_None(); Option processedSizeBytes; processedSizeBytes = Objects.nonNull(nativeValue.processedSizeBytes()) ? @@ -2365,11 +2365,11 @@ public static ImportTableDescription ImportTableDescription( : Option.create_None(); Option> failureCode; failureCode = Objects.nonNull(nativeValue.failureCode()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureCode())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureCode())) : Option.create_None(); Option> failureMessage; failureMessage = Objects.nonNull(nativeValue.failureMessage()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureMessage())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.failureMessage())) : Option.create_None(); return new ImportTableDescription(importArn, importStatus, tableArn, tableId, clientToken, s3BucketSource, errorCount, cloudWatchLogGroupArn, inputFormat, inputFormatOptions, inputCompressionType, tableCreationParameters, startTime, endTime, processedSizeBytes, processedItemCount, importedItemCount, failureCode, failureMessage); } @@ -2377,7 +2377,7 @@ public static ImportTableDescription ImportTableDescription( public static ImportTableInput ImportTableInput(ImportTableRequest nativeValue) { Option> clientToken; clientToken = Objects.nonNull(nativeValue.clientToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.clientToken())) : Option.create_None(); S3BucketSource s3BucketSource; s3BucketSource = ToDafny.S3BucketSource(nativeValue.s3BucketSource()); @@ -2413,9 +2413,9 @@ public static InputFormatOptions InputFormatOptions( public static DafnyMap, ? extends AttributeValue> ItemCollectionKeyAttributeMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue); } @@ -2434,7 +2434,7 @@ public static ItemCollectionMetrics ItemCollectionMetrics( public static DafnySequence ItemCollectionMetricsMultiple( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ItemCollectionMetrics, ItemCollectionMetrics._typeDescriptor()); @@ -2442,17 +2442,17 @@ public static DafnySequence ItemCollectionMetri public static DafnyMap, ? extends DafnySequence> ItemCollectionMetricsPerTable( Map> nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ItemCollectionMetricsMultiple); } public static DafnySequence> ItemCollectionSizeEstimateRange( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::Double, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::Double, ItemCollectionSizeEstimateBound._typeDescriptor()); } @@ -2461,7 +2461,7 @@ public static DafnySequence> ItemCollect List> nativeValue) { return (dafny.DafnySequence, ? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>>) - software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeMap, TypeDescriptor.referenceWithInitializer(dafny.DafnyMap.class, () -> dafny.DafnyMap.,AttributeValue> empty())); @@ -2478,7 +2478,7 @@ public static ItemResponse ItemResponse( public static DafnySequence ItemResponseList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ItemResponse, ItemResponse._typeDescriptor()); @@ -2486,17 +2486,17 @@ public static DafnySequence ItemResponseList( public static DafnyMap, ? extends AttributeValue> Key( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue); } public static DafnyMap, ? extends Condition> KeyConditions( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::Condition); } @@ -2505,7 +2505,7 @@ public static DafnySequence ItemResponseList( List> nativeValue) { return (dafny.DafnySequence, ? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>>) - software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::Key, TypeDescriptor.referenceWithInitializer(dafny.DafnyMap.class, () -> dafny.DafnyMap.,AttributeValue> empty())); @@ -2525,7 +2525,7 @@ public static KeysAndAttributes KeysAndAttributes( : Option.create_None(); Option> projectionExpression; projectionExpression = Objects.nonNull(nativeValue.projectionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.projectionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.projectionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -2536,7 +2536,7 @@ public static KeysAndAttributes KeysAndAttributes( public static DafnySequence KeySchema( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::KeySchemaElement, KeySchemaElement._typeDescriptor()); @@ -2545,7 +2545,7 @@ public static DafnySequence KeySchema( public static KeySchemaElement KeySchemaElement( software.amazon.awssdk.services.dynamodb.model.KeySchemaElement nativeValue) { DafnySequence attributeName; - attributeName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.attributeName()); + attributeName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.attributeName()); KeyType keyType; keyType = ToDafny.KeyType(nativeValue.keyType()); return new KeySchemaElement(attributeName, keyType); @@ -2555,7 +2555,7 @@ public static KinesisDataStreamDestination KinesisDataStreamDestination( software.amazon.awssdk.services.dynamodb.model.KinesisDataStreamDestination nativeValue) { Option> streamArn; streamArn = Objects.nonNull(nativeValue.streamArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.streamArn())) : Option.create_None(); Option destinationStatus; destinationStatus = Objects.nonNull(nativeValue.destinationStatus()) ? @@ -2563,14 +2563,14 @@ public static KinesisDataStreamDestination KinesisDataStreamDestination( : Option.create_None(); Option> destinationStatusDescription; destinationStatusDescription = Objects.nonNull(nativeValue.destinationStatusDescription()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.destinationStatusDescription())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.destinationStatusDescription())) : Option.create_None(); return new KinesisDataStreamDestination(streamArn, destinationStatus, destinationStatusDescription); } public static DafnySequence KinesisDataStreamDestinations( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::KinesisDataStreamDestination, KinesisDataStreamDestination._typeDescriptor()); @@ -2578,7 +2578,7 @@ public static DafnySequence KinesisDataS public static DafnySequence ListAttributeValue( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue, AttributeValue._typeDescriptor()); @@ -2587,7 +2587,7 @@ public static DafnySequence ListAttributeValue( public static ListBackupsInput ListBackupsInput(ListBackupsRequest nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option limit; limit = Objects.nonNull(nativeValue.limit()) ? @@ -2595,15 +2595,15 @@ public static ListBackupsInput ListBackupsInput(ListBackupsRequest nativeValue) : Option.create_None(); Option> timeRangeLowerBound; timeRangeLowerBound = Objects.nonNull(nativeValue.timeRangeLowerBound()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.timeRangeLowerBound())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.timeRangeLowerBound())) : Option.create_None(); Option> timeRangeUpperBound; timeRangeUpperBound = Objects.nonNull(nativeValue.timeRangeUpperBound()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.timeRangeUpperBound())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.timeRangeUpperBound())) : Option.create_None(); Option> exclusiveStartBackupArn; exclusiveStartBackupArn = Objects.nonNull(nativeValue.exclusiveStartBackupArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exclusiveStartBackupArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exclusiveStartBackupArn())) : Option.create_None(); Option backupType; backupType = Objects.nonNull(nativeValue.backupType()) ? @@ -2619,7 +2619,7 @@ public static ListBackupsOutput ListBackupsOutput(ListBackupsResponse nativeValu : Option.create_None(); Option> lastEvaluatedBackupArn; lastEvaluatedBackupArn = Objects.nonNull(nativeValue.lastEvaluatedBackupArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastEvaluatedBackupArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastEvaluatedBackupArn())) : Option.create_None(); return new ListBackupsOutput(backupSummaries, lastEvaluatedBackupArn); } @@ -2628,11 +2628,11 @@ public static ListContributorInsightsInput ListContributorInsightsInput( ListContributorInsightsRequest nativeValue) { Option> tableName; tableName = Objects.nonNull(nativeValue.tableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName())) : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); Option maxResults; maxResults = Objects.nonNull(nativeValue.maxResults()) ? @@ -2649,7 +2649,7 @@ public static ListContributorInsightsOutput ListContributorInsightsOutput( : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListContributorInsightsOutput(contributorInsightsSummaries, nextToken); } @@ -2657,7 +2657,7 @@ public static ListContributorInsightsOutput ListContributorInsightsOutput( public static ListExportsInput ListExportsInput(ListExportsRequest nativeValue) { Option> tableArn; tableArn = Objects.nonNull(nativeValue.tableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) : Option.create_None(); Option maxResults; maxResults = Objects.nonNull(nativeValue.maxResults()) ? @@ -2665,7 +2665,7 @@ public static ListExportsInput ListExportsInput(ListExportsRequest nativeValue) : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListExportsInput(tableArn, maxResults, nextToken); } @@ -2677,7 +2677,7 @@ public static ListExportsOutput ListExportsOutput(ListExportsResponse nativeValu : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListExportsOutput(exportSummaries, nextToken); } @@ -2685,7 +2685,7 @@ public static ListExportsOutput ListExportsOutput(ListExportsResponse nativeValu public static ListGlobalTablesInput ListGlobalTablesInput(ListGlobalTablesRequest nativeValue) { Option> exclusiveStartGlobalTableName; exclusiveStartGlobalTableName = Objects.nonNull(nativeValue.exclusiveStartGlobalTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exclusiveStartGlobalTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exclusiveStartGlobalTableName())) : Option.create_None(); Option limit; limit = Objects.nonNull(nativeValue.limit()) ? @@ -2693,7 +2693,7 @@ public static ListGlobalTablesInput ListGlobalTablesInput(ListGlobalTablesReques : Option.create_None(); Option> regionName; regionName = Objects.nonNull(nativeValue.regionName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.regionName())) : Option.create_None(); return new ListGlobalTablesInput(exclusiveStartGlobalTableName, limit, regionName); } @@ -2706,7 +2706,7 @@ public static ListGlobalTablesOutput ListGlobalTablesOutput( : Option.create_None(); Option> lastEvaluatedGlobalTableName; lastEvaluatedGlobalTableName = Objects.nonNull(nativeValue.lastEvaluatedGlobalTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastEvaluatedGlobalTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastEvaluatedGlobalTableName())) : Option.create_None(); return new ListGlobalTablesOutput(globalTables, lastEvaluatedGlobalTableName); } @@ -2714,7 +2714,7 @@ public static ListGlobalTablesOutput ListGlobalTablesOutput( public static ListImportsInput ListImportsInput(ListImportsRequest nativeValue) { Option> tableArn; tableArn = Objects.nonNull(nativeValue.tableArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableArn())) : Option.create_None(); Option pageSize; pageSize = Objects.nonNull(nativeValue.pageSize()) ? @@ -2722,7 +2722,7 @@ public static ListImportsInput ListImportsInput(ListImportsRequest nativeValue) : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListImportsInput(tableArn, pageSize, nextToken); } @@ -2734,7 +2734,7 @@ public static ListImportsOutput ListImportsOutput(ListImportsResponse nativeValu : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListImportsOutput(importSummaryList, nextToken); } @@ -2742,7 +2742,7 @@ public static ListImportsOutput ListImportsOutput(ListImportsResponse nativeValu public static ListTablesInput ListTablesInput(ListTablesRequest nativeValue) { Option> exclusiveStartTableName; exclusiveStartTableName = Objects.nonNull(nativeValue.exclusiveStartTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exclusiveStartTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.exclusiveStartTableName())) : Option.create_None(); Option limit; limit = Objects.nonNull(nativeValue.limit()) ? @@ -2758,7 +2758,7 @@ public static ListTablesOutput ListTablesOutput(ListTablesResponse nativeValue) : Option.create_None(); Option> lastEvaluatedTableName; lastEvaluatedTableName = Objects.nonNull(nativeValue.lastEvaluatedTableName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastEvaluatedTableName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastEvaluatedTableName())) : Option.create_None(); return new ListTablesOutput(tableNames, lastEvaluatedTableName); } @@ -2766,10 +2766,10 @@ public static ListTablesOutput ListTablesOutput(ListTablesResponse nativeValue) public static ListTagsOfResourceInput ListTagsOfResourceInput( ListTagsOfResourceRequest nativeValue) { DafnySequence resourceArn; - resourceArn = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.resourceArn()); + resourceArn = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.resourceArn()); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListTagsOfResourceInput(resourceArn, nextToken); } @@ -2782,7 +2782,7 @@ public static ListTagsOfResourceOutput ListTagsOfResourceOutput( : Option.create_None(); Option> nextToken; nextToken = Objects.nonNull(nativeValue.nextToken()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.nextToken())) : Option.create_None(); return new ListTagsOfResourceOutput(tags, nextToken); } @@ -2790,7 +2790,7 @@ public static ListTagsOfResourceOutput ListTagsOfResourceOutput( public static LocalSecondaryIndex LocalSecondaryIndex( software.amazon.awssdk.services.dynamodb.model.LocalSecondaryIndex nativeValue) { DafnySequence indexName; - indexName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); + indexName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName()); DafnySequence keySchema; keySchema = ToDafny.KeySchema(nativeValue.keySchema()); Projection projection; @@ -2802,7 +2802,7 @@ public static LocalSecondaryIndexDescription LocalSecondaryIndexDescription( software.amazon.awssdk.services.dynamodb.model.LocalSecondaryIndexDescription nativeValue) { Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option> keySchema; keySchema = (Objects.nonNull(nativeValue.keySchema()) && nativeValue.keySchema().size() > 0) ? @@ -2822,14 +2822,14 @@ public static LocalSecondaryIndexDescription LocalSecondaryIndexDescription( : Option.create_None(); Option> indexArn; indexArn = Objects.nonNull(nativeValue.indexArn()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexArn())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexArn())) : Option.create_None(); return new LocalSecondaryIndexDescription(indexName, keySchema, projection, indexSizeBytes, itemCount, indexArn); } public static DafnySequence LocalSecondaryIndexDescriptionList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::LocalSecondaryIndexDescription, LocalSecondaryIndexDescription._typeDescriptor()); @@ -2837,7 +2837,7 @@ public static DafnySequence LocalSecon public static DafnySequence LocalSecondaryIndexes( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::LocalSecondaryIndexInfo, LocalSecondaryIndexInfo._typeDescriptor()); @@ -2847,7 +2847,7 @@ public static LocalSecondaryIndexInfo LocalSecondaryIndexInfo( software.amazon.awssdk.services.dynamodb.model.LocalSecondaryIndexInfo nativeValue) { Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option> keySchema; keySchema = (Objects.nonNull(nativeValue.keySchema()) && nativeValue.keySchema().size() > 0) ? @@ -2862,7 +2862,7 @@ public static LocalSecondaryIndexInfo LocalSecondaryIndexInfo( public static DafnySequence LocalSecondaryIndexList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::LocalSecondaryIndex, LocalSecondaryIndex._typeDescriptor()); @@ -2870,32 +2870,32 @@ public static DafnySequence LocalSecondaryIndexLi public static DafnyMap, ? extends AttributeValue> MapAttributeValue( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue); } public static DafnySequence> NonKeyAttributeNameList( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static DafnySequence> NumberSetAttributeValue( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, DafnySequence._typeDescriptor(TypeDescriptor.CHAR)); } public static ParameterizedStatement ParameterizedStatement( software.amazon.awssdk.services.dynamodb.model.ParameterizedStatement nativeValue) { DafnySequence statement; - statement = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.statement()); + statement = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.statement()); Option> parameters; parameters = (Objects.nonNull(nativeValue.parameters()) && nativeValue.parameters().size() > 0) ? Option.create_Some(ToDafny.PreparedStatementParameters(nativeValue.parameters())) @@ -2905,7 +2905,7 @@ public static ParameterizedStatement ParameterizedStatement( public static DafnySequence ParameterizedStatements( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::ParameterizedStatement, ParameterizedStatement._typeDescriptor()); @@ -2913,7 +2913,7 @@ public static DafnySequence ParameterizedState public static DafnySequence PartiQLBatchRequest( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::BatchStatementRequest, BatchStatementRequest._typeDescriptor()); @@ -2921,7 +2921,7 @@ public static DafnySequence PartiQLBatchRequest public static DafnySequence PartiQLBatchResponse( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::BatchStatementResponse, BatchStatementResponse._typeDescriptor()); @@ -2935,11 +2935,11 @@ public static PointInTimeRecoveryDescription PointInTimeRecoveryDescription( : Option.create_None(); Option> earliestRestorableDateTime; earliestRestorableDateTime = Objects.nonNull(nativeValue.earliestRestorableDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.earliestRestorableDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.earliestRestorableDateTime())) : Option.create_None(); Option> latestRestorableDateTime; latestRestorableDateTime = Objects.nonNull(nativeValue.latestRestorableDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.latestRestorableDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.latestRestorableDateTime())) : Option.create_None(); return new PointInTimeRecoveryDescription(pointInTimeRecoveryStatus, earliestRestorableDateTime, latestRestorableDateTime); } @@ -2953,7 +2953,7 @@ public static PointInTimeRecoverySpecification PointInTimeRecoverySpecification( public static DafnySequence PreparedStatementParameters( List nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence( nativeValue, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue, AttributeValue._typeDescriptor()); @@ -2985,11 +2985,11 @@ public static ProvisionedThroughputDescription ProvisionedThroughputDescription( software.amazon.awssdk.services.dynamodb.model.ProvisionedThroughputDescription nativeValue) { Option> lastIncreaseDateTime; lastIncreaseDateTime = Objects.nonNull(nativeValue.lastIncreaseDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastIncreaseDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastIncreaseDateTime())) : Option.create_None(); Option> lastDecreaseDateTime; lastDecreaseDateTime = Objects.nonNull(nativeValue.lastDecreaseDateTime()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastDecreaseDateTime())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.lastDecreaseDateTime())) : Option.create_None(); Option numberOfDecreasesToday; numberOfDecreasesToday = Objects.nonNull(nativeValue.numberOfDecreasesToday()) ? @@ -3019,10 +3019,10 @@ public static Put Put(software.amazon.awssdk.services.dynamodb.model.Put nativeV DafnyMap, ? extends AttributeValue> item; item = ToDafny.PutItemInputAttributeMap(nativeValue.item()); DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); Option> conditionExpression; conditionExpression = Objects.nonNull(nativeValue.conditionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -3041,7 +3041,7 @@ public static Put Put(software.amazon.awssdk.services.dynamodb.model.Put nativeV public static PutItemInput PutItemInput(PutItemRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); DafnyMap, ? extends AttributeValue> item; item = ToDafny.PutItemInputAttributeMap(nativeValue.item()); Option, ? extends ExpectedAttributeValue>> expected; @@ -3066,7 +3066,7 @@ public static PutItemInput PutItemInput(PutItemRequest nativeValue) { : Option.create_None(); Option> conditionExpression; conditionExpression = Objects.nonNull(nativeValue.conditionExpression()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.conditionExpression())) : Option.create_None(); Option, ? extends DafnySequence>> expressionAttributeNames; expressionAttributeNames = (Objects.nonNull(nativeValue.expressionAttributeNames()) && nativeValue.expressionAttributeNames().size() > 0) ? @@ -3081,9 +3081,9 @@ public static PutItemInput PutItemInput(PutItemRequest nativeValue) { public static DafnyMap, ? extends AttributeValue> PutItemInputAttributeMap( Map nativeValue) { - return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap( + return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap( nativeValue, - software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence, + software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence, software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny::AttributeValue); } @@ -3112,10 +3112,10 @@ public static PutRequest PutRequest( public static QueryInput QueryInput(QueryRequest nativeValue) { DafnySequence tableName; - tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); + tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName()); Option> indexName; indexName = Objects.nonNull(nativeValue.indexName()) ? - Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) + Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.indexName())) : Option.create_None(); Option