1+ use jni_toolbox:: jni;
2+
13use crate :: {
2- Workspace ,
3- api:: controller:: AsyncReceiver ,
44 errors:: { ConnectionError , ControllerError , RemoteError } ,
5- proto:: { common:: UserInfo , session:: WorkspaceIdentifier , workspace:: WorkspaceEvent }
5+ prelude:: {
6+ CodempAsyncReceiver as AsyncReceiver , CodempBufferAttributes as BufferAttributes ,
7+ CodempBufferNode as BufferNode , CodempUserInfo as UserInfo , CodempWorkspace as Workspace ,
8+ CodempWorkspaceEvent as WorkspaceEvent , CodempWorkspaceIdentifier as WorkspaceIdentifier ,
9+ } ,
610} ;
7- use codemp_proto:: files:: { BufferAttributes , BufferNode } ;
8- use jni:: { Env , objects:: JObject } ;
9- use jni_toolbox:: jni;
1011
1112/// Get the workspace id.
1213#[ jni( package = "mp.code" , class = "Workspace" ) ]
@@ -46,7 +47,11 @@ fn user_list(workspace: &mut Workspace) -> Vec<UserInfo> {
4647
4748/// Create a new buffer.
4849#[ jni( package = "mp.code" , class = "Workspace" ) ]
49- fn create_buffer ( workspace : & mut Workspace , path : String , attributes : Option < BufferAttributes > ) -> Result < ( ) , RemoteError > {
50+ fn create_buffer (
51+ workspace : & mut Workspace ,
52+ path : String ,
53+ attributes : Option < BufferAttributes > ,
54+ ) -> Result < ( ) , RemoteError > {
5055 super :: tokio ( ) . block_on ( workspace. create_buffer ( path, attributes) )
5156}
5257
@@ -64,7 +69,10 @@ fn un_pin_buffer(workspace: &mut Workspace, path: String) -> Result<(), RemoteEr
6469
6570/// Attach to a buffer and return a pointer to its [`crate::buffer::Controller`].
6671#[ jni( package = "mp.code" , class = "Workspace" ) ]
67- fn attach_buffer ( workspace : & mut Workspace , path : String ) -> Result < crate :: buffer:: Controller , ConnectionError > {
72+ fn attach_buffer (
73+ workspace : & mut Workspace ,
74+ path : String ,
75+ ) -> Result < crate :: buffer:: Controller , ConnectionError > {
6876 super :: tokio ( ) . block_on ( workspace. attach_buffer ( & path) )
6977}
7078
@@ -131,12 +139,14 @@ fn clear_callback(workspace: &mut Workspace) {
131139/// Register a callback for workspace events.
132140#[ jni( package = "mp.code" , class = "Workspace" ) ]
133141fn callback < ' local > (
134- env : & mut Env < ' local > ,
142+ env : & mut jni :: Env < ' local > ,
135143 controller : & mut crate :: Workspace ,
136- cb : JObject < ' local > ,
144+ cb : jni :: objects :: JObject < ' local > ,
137145) -> Result < ( ) , jni:: errors:: Error > {
138146 if cb. is_null ( ) {
139- return Err ( jni:: errors:: Error :: NullPtr ( "null pointer to workspace callback" ) ) ;
147+ return Err ( jni:: errors:: Error :: NullPtr (
148+ "null pointer to workspace callback" ,
149+ ) ) ;
140150 }
141151
142152 let cb_ref = env. new_global_ref ( cb) ?;
0 commit comments