in AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java [74:100]
public static RuntimeException Error(Error dafnyValue) {
if (dafnyValue.is_AwsEncryptionSdkException()) {
return ToNative.Error((Error_AwsEncryptionSdkException) 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_AwsCryptographyMaterialProviders()) {
return software.amazon.cryptography.materialproviders.ToNative.Error(
dafnyValue.dtor_AwsCryptographyMaterialProviders()
);
}
OpaqueError.Builder nativeBuilder = OpaqueError.builder();
nativeBuilder.obj(dafnyValue);
return nativeBuilder.build();
}