in DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/ToNative.java [115:156]
public static RuntimeException Error(Error dafnyValue) {
if (dafnyValue.is_DynamoDbEncryptionException()) {
return ToNative.Error((Error_DynamoDbEncryptionException) dafnyValue);
}
if (dafnyValue.is_Opaque()) {
return ToNative.Error((Error_Opaque) dafnyValue);
}
if (dafnyValue.is_OpaqueWithText()) {
return ToNative.Error((Error_OpaqueWithText) dafnyValue);
}
if (dafnyValue.is_CollectionOfErrors()) {
return ToNative.Error((Error_CollectionOfErrors) dafnyValue);
}
if (dafnyValue.is_AwsCryptographyPrimitives()) {
return software.amazon.cryptography.primitives.ToNative.Error(
dafnyValue.dtor_AwsCryptographyPrimitives()
);
}
if (dafnyValue.is_ComAmazonawsDynamodb()) {
return software.amazon.cryptography.services.dynamodb.internaldafny.ToNative.Error(
dafnyValue.dtor_ComAmazonawsDynamodb()
);
}
if (dafnyValue.is_AwsCryptographyMaterialProviders()) {
return software.amazon.cryptography.materialproviders.ToNative.Error(
dafnyValue.dtor_AwsCryptographyMaterialProviders()
);
}
if (dafnyValue.is_AwsCryptographyDbEncryptionSdkStructuredEncryption()) {
return software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToNative.Error(
dafnyValue.dtor_AwsCryptographyDbEncryptionSdkStructuredEncryption()
);
}
if (dafnyValue.is_AwsCryptographyKeyStore()) {
return software.amazon.cryptography.keystore.ToNative.Error(
dafnyValue.dtor_AwsCryptographyKeyStore()
);
}
OpaqueError.Builder nativeBuilder = OpaqueError.builder();
nativeBuilder.obj(dafnyValue);
return nativeBuilder.build();
}