harivansh-afk/deskctl
1
1
Fork 0
mirror of https://github.com/harivansh-afk/deskctl.git synced 2026-04-15 08:03:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

runtime contract enforcement (#6)

Browse source
This commit is contained in:
Hari 2026-03-25 22:00:16 -04:00 • committed by GitHub
parent 61f4738311
commit 543d41c3a2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
7 changed files with 958 additions and 157 deletions
Download patch file Download diff file Expand all files Collapse all files

872
src/cli/mod.rs
View file

File diff suppressed because it is too large Load diff

16
src/core/types.rs
View file

@ -88,9 +88,21 @@ impl std::fmt::Display for WindowInfo {
#[allow(dead_code)]
fn truncate(s: &str, max: usize) -> String {
if s.len() <= max {
if s.chars().count() <= max {
s.to_string()
} else {
format!("{}...", &s[..max - 3])
let truncated: String = s.chars().take(max.saturating_sub(3)).collect();
format!("{truncated}...")
}
}
#[cfg(test)]
mod tests {
use super::truncate;
#[test]
fn truncate_is_char_safe() {
let input = format!("fire{}fox", '\u{00E9}');
assert_eq!(truncate(&input, 7), "fire...");
}
}

29
src/daemon/handler.rs
View file

@ -81,9 +81,13 @@ async fn handle_click(request: &Request, state: &Arc<Mutex<DaemonState>>) -> Res
ResolveResult::Match(entry) => {
let (x, y) = entry.center();
match state.backend.click(x, y) {
Ok(()) => Response::ok(
serde_json::json!({"clicked": {"x": x, "y": y, "selector": selector, "window_id": entry.window_id}}),
),
Ok(()) => Response::ok(serde_json::json!({
"clicked": {"x": x, "y": y},
"selector": selector,
"ref_id": entry.ref_id,
"window_id": entry.window_id,
"title": entry.title,
})),
Err(error) => Response::err(format!("Click failed: {error}")),
}
}
@ -117,9 +121,13 @@ async fn handle_dblclick(request: &Request, state: &Arc<Mutex<DaemonState>>) ->
ResolveResult::Match(entry) => {
let (x, y) = entry.center();
match state.backend.dblclick(x, y) {
Ok(()) => Response::ok(
serde_json::json!({"double_clicked": {"x": x, "y": y, "selector": selector, "window_id": entry.window_id}}),
),
Ok(()) => Response::ok(serde_json::json!({
"double_clicked": {"x": x, "y": y},
"selector": selector,
"ref_id": entry.ref_id,
"window_id": entry.window_id,
"title": entry.title,
})),
Err(error) => Response::err(format!("Double-click failed: {error}")),
}
}
@ -267,7 +275,10 @@ async fn handle_window_action(
Ok(()) => Response::ok(serde_json::json!({
"action": action,
"window": entry.title,
"title": entry.title,
"ref_id": entry.ref_id,
"window_id": entry.window_id,
"selector": selector,
})),
Err(error) => Response::err(format!("{action} failed: {error}")),
}
@ -296,7 +307,10 @@ async fn handle_move_window(request: &Request, state: &Arc<Mutex<DaemonState>>)
match state.backend.move_window(entry.backend_window_id, x, y) {
Ok(()) => Response::ok(serde_json::json!({
"moved": entry.title,
"title": entry.title,
"ref_id": entry.ref_id,
"window_id": entry.window_id,
"selector": selector,
"x": x,
"y": y,
})),
@ -338,7 +352,10 @@ async fn handle_resize_window(request: &Request, state: &Arc<Mutex<DaemonState>>
{
Ok(()) => Response::ok(serde_json::json!({
"resized": entry.title,
"title": entry.title,
"ref_id": entry.ref_id,
"window_id": entry.window_id,
"selector": selector,
"width": width,
"height": height,
})),