55#![ deny( nonstandard_style) ]
66#![ deny( clippy:: all) ]
77
8+ use crate :: escape:: escape_to_async;
89use aws_config:: Region ;
9- use std:: sync:: LazyLock ;
10-
11- static DAFNY_TOKIO_RUNTIME : LazyLock < tokio:: runtime:: Runtime > = LazyLock :: new ( || {
12- tokio:: runtime:: Builder :: new_multi_thread ( )
13- . enable_all ( )
14- . build ( )
15- . unwrap ( )
16- } ) ;
1710
1811#[ allow( non_snake_case) ]
1912impl crate :: r#software:: amazon:: cryptography:: services:: dynamodb:: internaldafny:: _default {
@@ -27,22 +20,15 @@ impl crate::r#software::amazon::cryptography::services::dynamodb::internaldafny:
2720 dafny_runtime:: dafny_runtime_conversions:: unicode_chars_false:: dafny_string_to_string (
2821 region,
2922 ) ;
30- let shared_config = match tokio:: runtime:: Handle :: try_current ( ) {
31- Ok ( curr) => tokio:: task:: block_in_place ( || {
32- curr. block_on ( async {
33- aws_config:: load_defaults ( aws_config:: BehaviorVersion :: latest ( ) ) . await
34- } )
35- } ) ,
36- Err ( _) => DAFNY_TOKIO_RUNTIME . block_on ( aws_config:: load_defaults (
37- aws_config:: BehaviorVersion :: latest ( ) ,
38- ) ) ,
39- } ;
23+ let shared_config = escape_to_async ( aws_config:: load_defaults (
24+ aws_config:: BehaviorVersion :: latest ( ) ,
25+ ) ) ;
4026 let shared_config = shared_config
4127 . to_builder ( )
4228 . region ( Region :: new ( region) )
4329 . build ( ) ;
4430 let inner = aws_sdk_dynamodb:: Client :: new ( & shared_config) ;
45- let client = crate :: deps :: com_amazonaws_dynamodb :: client :: Client { inner } ;
31+ let client = crate :: DdbClient { inner } ;
4632 let dafny_client = :: dafny_runtime:: upcast_object ( ) ( :: dafny_runtime:: object:: new ( client) ) ;
4733 dafny_runtime:: Rc :: new ( crate :: r#_Wrappers_Compile:: Result :: Success {
4834 value : dafny_client,
@@ -55,18 +41,11 @@ impl crate::r#software::amazon::cryptography::services::dynamodb::internaldafny:
5541 :: dafny_runtime:: Rc < crate :: r#software:: amazon:: cryptography:: services:: dynamodb:: internaldafny:: types:: Error >
5642 >
5743 > {
58- let shared_config = match tokio:: runtime:: Handle :: try_current ( ) {
59- Ok ( curr) => tokio:: task:: block_in_place ( || {
60- curr. block_on ( async {
61- aws_config:: load_defaults ( aws_config:: BehaviorVersion :: latest ( ) ) . await
62- } )
63- } ) ,
64- Err ( _) => DAFNY_TOKIO_RUNTIME . block_on ( aws_config:: load_defaults (
65- aws_config:: BehaviorVersion :: latest ( ) ,
66- ) ) ,
67- } ;
44+ let shared_config = escape_to_async ( aws_config:: load_defaults (
45+ aws_config:: BehaviorVersion :: latest ( ) ,
46+ ) ) ;
6847 let inner = aws_sdk_dynamodb:: Client :: new ( & shared_config) ;
69- let client = crate :: deps :: com_amazonaws_dynamodb :: client :: Client { inner } ;
48+ let client = crate :: DdbClient { inner } ;
7049 let dafny_client = :: dafny_runtime:: upcast_object ( ) ( :: dafny_runtime:: object:: new ( client) ) ;
7150 dafny_runtime:: Rc :: new ( crate :: r#_Wrappers_Compile:: Result :: Success {
7251 value : dafny_client,
0 commit comments