Skip to content

Commit 36d1fad

Browse files
ShubhamChaturvedi7seebees
authored and
josecorella
committed
chore(polymorph): pull in latest polymorph (#126)
* chore(polymorph): pull in latest polymorph * fix: PR Comments * Add collection of errors to Java * woops --------- Co-authored-by: seebees <ryanemer@amazon.com>
1 parent 4b9f836 commit 36d1fad

File tree

66 files changed

+2173
-2165
lines changed

Some content is hidden

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

66 files changed

+2173
-2165
lines changed

‎AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy‎

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

‎AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToDafny.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -149,7 +149,7 @@ public static Error Error(CollectionOfErrors nativeValue) {
149149
nativeValue.list(),
150150
ToDafny::Error,
151151
Error._typeDescriptor());
152-
return Error.create_Collection(list);
152+
return Error.create_CollectionOfErrors(list);
153153
}
154154

155155
public static CreateDefaultClientSupplierInput CreateDefaultClientSupplierInput(

‎AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialProviders/ToNative.java‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55

66
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error;
77
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error_AwsCryptographicMaterialProvidersException;
8-
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error_Collection;
8+
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error_CollectionOfErrors;
99
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error_InvalidAlgorithmSuiteInfo;
1010
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error_InvalidAlgorithmSuiteInfoOnDecrypt;
1111
import Dafny.Aws.Cryptography.MaterialProviders.Types.Error_InvalidAlgorithmSuiteInfoOnEncrypt;
@@ -36,7 +36,7 @@ public static OpaqueError Error(Error_Opaque dafnyValue) {
3636
return nativeBuilder.build();
3737
}
3838

39-
public static CollectionOfErrors Error(Error_Collection dafnyValue) {
39+
public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) {
4040
CollectionOfErrors.Builder nativeBuilder = CollectionOfErrors.builder();
4141
nativeBuilder.list(
4242
software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList(
@@ -126,8 +126,8 @@ public static NativeError Error(Error dafnyValue) {
126126
if (dafnyValue.is_Opaque()) {
127127
return ToNative.Error((Error_Opaque) dafnyValue);
128128
}
129-
if (dafnyValue.is_Collection()) {
130-
return ToNative.Error((Error_Collection) dafnyValue);
129+
if (dafnyValue.is_CollectionOfErrors()) {
130+
return ToNative.Error((Error_CollectionOfErrors) dafnyValue);
131131
}
132132
OpaqueError.Builder nativeBuilder = OpaqueError.builder();
133133
nativeBuilder.obj(dafnyValue);

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/AlgorithmSuiteId.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,14 +10,14 @@ public AWS.Cryptography.MaterialProviders.ESDKAlgorithmSuiteId ESDK {
1010
get { return this._eSDK; }
1111
set { this._eSDK = value; }
1212
}
13-
internal bool IsSetESDK () {
13+
public bool IsSetESDK () {
1414
return this._eSDK != null;
1515
}
1616
public AWS.Cryptography.MaterialProviders.DBEAlgorithmSuiteId DBE {
1717
get { return this._dBE; }
1818
set { this._dBE = value; }
1919
}
20-
internal bool IsSetDBE () {
20+
public bool IsSetDBE () {
2121
return this._dBE != null;
2222
}
2323
public void Validate() {

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/AlgorithmSuiteInfo.cs‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -17,63 +17,63 @@ public AWS.Cryptography.MaterialProviders.AlgorithmSuiteId Id {
1717
get { return this._id; }
1818
set { this._id = value; }
1919
}
20-
internal bool IsSetId () {
20+
public bool IsSetId () {
2121
return this._id != null;
2222
}
2323
public System.IO.MemoryStream BinaryId {
2424
get { return this._binaryId; }
2525
set { this._binaryId = value; }
2626
}
27-
internal bool IsSetBinaryId () {
27+
public bool IsSetBinaryId () {
2828
return this._binaryId != null;
2929
}
3030
public int MessageVersion {
3131
get { return this._messageVersion.GetValueOrDefault(); }
3232
set { this._messageVersion = value; }
3333
}
34-
internal bool IsSetMessageVersion () {
34+
public bool IsSetMessageVersion () {
3535
return this._messageVersion.HasValue;
3636
}
3737
public AWS.Cryptography.MaterialProviders.Encrypt Encrypt {
3838
get { return this._encrypt; }
3939
set { this._encrypt = value; }
4040
}
41-
internal bool IsSetEncrypt () {
41+
public bool IsSetEncrypt () {
4242
return this._encrypt != null;
4343
}
4444
public AWS.Cryptography.MaterialProviders.DerivationAlgorithm Kdf {
4545
get { return this._kdf; }
4646
set { this._kdf = value; }
4747
}
48-
internal bool IsSetKdf () {
48+
public bool IsSetKdf () {
4949
return this._kdf != null;
5050
}
5151
public AWS.Cryptography.MaterialProviders.DerivationAlgorithm Commitment {
5252
get { return this._commitment; }
5353
set { this._commitment = value; }
5454
}
55-
internal bool IsSetCommitment () {
55+
public bool IsSetCommitment () {
5656
return this._commitment != null;
5757
}
5858
public AWS.Cryptography.MaterialProviders.SignatureAlgorithm Signature {
5959
get { return this._signature; }
6060
set { this._signature = value; }
6161
}
62-
internal bool IsSetSignature () {
62+
public bool IsSetSignature () {
6363
return this._signature != null;
6464
}
6565
public AWS.Cryptography.MaterialProviders.SymmetricSignatureAlgorithm SymmetricSignature {
6666
get { return this._symmetricSignature; }
6767
set { this._symmetricSignature = value; }
6868
}
69-
internal bool IsSetSymmetricSignature () {
69+
public bool IsSetSymmetricSignature () {
7070
return this._symmetricSignature != null;
7171
}
7272
public AWS.Cryptography.MaterialProviders.EdkWrappingAlgorithm EdkWrapping {
7373
get { return this._edkWrapping; }
7474
set { this._edkWrapping = value; }
7575
}
76-
internal bool IsSetEdkWrapping () {
76+
public bool IsSetEdkWrapping () {
7777
return this._edkWrapping != null;
7878
}
7979
public void Validate() {

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/CommitmentPolicy.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,14 +10,14 @@ public AWS.Cryptography.MaterialProviders.ESDKCommitmentPolicy ESDK {
1010
get { return this._eSDK; }
1111
set { this._eSDK = value; }
1212
}
13-
internal bool IsSetESDK () {
13+
public bool IsSetESDK () {
1414
return this._eSDK != null;
1515
}
1616
public AWS.Cryptography.MaterialProviders.DBECommitmentPolicy DBE {
1717
get { return this._dBE; }
1818
set { this._dBE = value; }
1919
}
20-
internal bool IsSetDBE () {
20+
public bool IsSetDBE () {
2121
return this._dBE != null;
2222
}
2323
public void Validate() {

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/CreateAwsKmsDiscoveryKeyringInput.cs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,21 +11,21 @@ public Amazon.KeyManagementService.IAmazonKeyManagementService KmsClient {
1111
get { return this._kmsClient; }
1212
set { this._kmsClient = value; }
1313
}
14-
internal bool IsSetKmsClient () {
14+
public bool IsSetKmsClient () {
1515
return this._kmsClient != null;
1616
}
1717
public AWS.Cryptography.MaterialProviders.DiscoveryFilter DiscoveryFilter {
1818
get { return this._discoveryFilter; }
1919
set { this._discoveryFilter = value; }
2020
}
21-
internal bool IsSetDiscoveryFilter () {
21+
public bool IsSetDiscoveryFilter () {
2222
return this._discoveryFilter != null;
2323
}
2424
public System.Collections.Generic.List<string> GrantTokens {
2525
get { return this._grantTokens; }
2626
set { this._grantTokens = value; }
2727
}
28-
internal bool IsSetGrantTokens () {
28+
public bool IsSetGrantTokens () {
2929
return this._grantTokens != null;
3030
}
3131
public void Validate() {

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/CreateAwsKmsDiscoveryMultiKeyringInput.cs‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -12,28 +12,28 @@ public System.Collections.Generic.List<string> Regions {
1212
get { return this._regions; }
1313
set { this._regions = value; }
1414
}
15-
internal bool IsSetRegions () {
15+
public bool IsSetRegions () {
1616
return this._regions != null;
1717
}
1818
public AWS.Cryptography.MaterialProviders.DiscoveryFilter DiscoveryFilter {
1919
get { return this._discoveryFilter; }
2020
set { this._discoveryFilter = value; }
2121
}
22-
internal bool IsSetDiscoveryFilter () {
22+
public bool IsSetDiscoveryFilter () {
2323
return this._discoveryFilter != null;
2424
}
2525
public AWS.Cryptography.MaterialProviders.IClientSupplier ClientSupplier {
2626
get { return this._clientSupplier; }
2727
set { this._clientSupplier = value; }
2828
}
29-
internal bool IsSetClientSupplier () {
29+
public bool IsSetClientSupplier () {
3030
return this._clientSupplier != null;
3131
}
3232
public System.Collections.Generic.List<string> GrantTokens {
3333
get { return this._grantTokens; }
3434
set { this._grantTokens = value; }
3535
}
36-
internal bool IsSetGrantTokens () {
36+
public bool IsSetGrantTokens () {
3737
return this._grantTokens != null;
3838
}
3939
public void Validate() {

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/CreateAwsKmsHierarchicalKeyringInput.cs‎

Lines changed: 15 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -16,56 +16,56 @@ public string BranchKeyId {
1616
get { return this._branchKeyId; }
1717
set { this._branchKeyId = value; }
1818
}
19-
internal bool IsSetBranchKeyId () {
19+
public bool IsSetBranchKeyId () {
2020
return this._branchKeyId != null;
2121
}
2222
public string KmsKeyId {
2323
get { return this._kmsKeyId; }
2424
set { this._kmsKeyId = value; }
2525
}
26-
internal bool IsSetKmsKeyId () {
26+
public bool IsSetKmsKeyId () {
2727
return this._kmsKeyId != null;
2828
}
2929
public Amazon.KeyManagementService.IAmazonKeyManagementService KmsClient {
3030
get { return this._kmsClient; }
3131
set { this._kmsClient = value; }
3232
}
33-
internal bool IsSetKmsClient () {
33+
public bool IsSetKmsClient () {
3434
return this._kmsClient != null;
3535
}
3636
public Amazon.DynamoDBv2.IAmazonDynamoDB DdbClient {
3737
get { return this._ddbClient; }
3838
set { this._ddbClient = value; }
3939
}
40-
internal bool IsSetDdbClient () {
40+
public bool IsSetDdbClient () {
4141
return this._ddbClient != null;
4242
}
43-
internal string BranchKeyStoreArn {
44-
get { return this._branchKeyStoreArn; }
45-
set { this._branchKeyStoreArn = value; }
43+
public string BranchKeyStoreArn {
44+
get { return this._branchKeyStoreArn; }
45+
set { this._branchKeyStoreArn = value; }
4646
}
47-
internal bool IsSetBranchKeyStoreArn () {
48-
return this._branchKeyStoreArn != null;
47+
public bool IsSetBranchKeyStoreArn () {
48+
return this._branchKeyStoreArn != null;
4949
}
5050
public long TtlSeconds {
51-
get { return this._ttlSeconds.GetValueOrDefault(); }
52-
set { this._ttlSeconds = value; }
51+
get { return this._ttlSeconds.GetValueOrDefault(); }
52+
set { this._ttlSeconds = value; }
5353
}
54-
internal bool IsSetTtlSeconds () {
55-
return this._ttlSeconds.HasValue;
54+
public bool IsSetTtlSeconds () {
55+
return this._ttlSeconds.HasValue;
5656
}
5757
public int MaxCacheSize {
5858
get { return this._maxCacheSize.GetValueOrDefault(); }
5959
set { this._maxCacheSize = value; }
6060
}
61-
internal bool IsSetMaxCacheSize () {
61+
public bool IsSetMaxCacheSize () {
6262
return this._maxCacheSize.HasValue;
6363
}
6464
public System.Collections.Generic.List<string> GrantTokens {
6565
get { return this._grantTokens; }
6666
set { this._grantTokens = value; }
6767
}
68-
internal bool IsSetGrantTokens () {
68+
public bool IsSetGrantTokens () {
6969
return this._grantTokens != null;
7070
}
7171
public void Validate() {

‎AwsCryptographicMaterialProviders/runtimes/net/Generated/CreateAwsKmsKeyringInput.cs‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,21 +11,21 @@ public string KmsKeyId {
1111
get { return this._kmsKeyId; }
1212
set { this._kmsKeyId = value; }
1313
}
14-
internal bool IsSetKmsKeyId () {
14+
public bool IsSetKmsKeyId () {
1515
return this._kmsKeyId != null;
1616
}
1717
public Amazon.KeyManagementService.IAmazonKeyManagementService KmsClient {
1818
get { return this._kmsClient; }
1919
set { this._kmsClient = value; }
2020
}
21-
internal bool IsSetKmsClient () {
21+
public bool IsSetKmsClient () {
2222
return this._kmsClient != null;
2323
}
2424
public System.Collections.Generic.List<string> GrantTokens {
2525
get { return this._grantTokens; }
2626
set { this._grantTokens = value; }
2727
}
28-
internal bool IsSetGrantTokens () {
28+
public bool IsSetGrantTokens () {
2929
return this._grantTokens != null;
3030
}
3131
public void Validate() {

0 commit comments

Comments
 (0)