harn-cli 0.10.15

CLI for the Harn programming language — run, test, REPL, format, and lint
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101

use clap::{Args, Subcommand, ValueEnum};

#[derive(Debug, Args)]
pub(crate) struct HostArgs {
    #[command(subcommand)]
    pub command: HostCommand,
}

#[derive(Debug, Subcommand)]
pub(crate) enum HostCommand {
    /// Acquire, renew, release, and inspect machine-global host leases.
    Lease(HostLeaseArgs),
}

#[derive(Debug, Args)]
pub(crate) struct HostLeaseArgs {
    #[command(subcommand)]
    pub command: HostLeaseCommand,
}

#[derive(Debug, Subcommand)]
pub(crate) enum HostLeaseCommand {
    /// Acquire an exclusive lease, optionally waiting for its current owner.
    Acquire(HostLeaseAcquireArgs),
    /// Extend the finite expiry on a lease owned by this token.
    Renew(HostLeaseRenewArgs),
    /// Release a lease owned by this token.
    Release(HostLeaseReleaseArgs),
    /// Inspect the current lease for a host.
    Status(HostLeaseStatusArgs),
}

#[derive(Clone, Copy, Debug, Default, ValueEnum)]
pub(crate) enum HostLeasePriorityArg {
    Interactive,
    Measurement,
    CiVerify,
    #[default]
    Deferrable,
}

#[derive(Debug, Args)]
pub(crate) struct HostLeaseAcquireArgs {
    /// Host resource name. Defaults to the current machine's hostname.
    #[arg(long)]
    pub host: Option<String>,
    /// Stable owner identity written into receipts.
    #[arg(long)]
    pub owner: String,
    /// Scheduling class recorded with the lease.
    #[arg(long, value_enum, default_value_t)]
    pub priority_class: HostLeasePriorityArg,
    /// Lease lifetime in milliseconds. Ignored with --no-expiry.
    #[arg(long, default_value_t = 900_000, conflicts_with = "no_expiry")]
    pub ttl_ms: u64,
    /// Keep the lease until explicit release or owner-process death.
    #[arg(long)]
    pub no_expiry: bool,
    /// PID whose process identity proves liveness. Required with --no-expiry.
    #[arg(long)]
    pub owner_pid: Option<u32>,
    /// Maximum event-driven contention wait in milliseconds.
    #[arg(long, default_value_t = 0)]
    pub wait_ms: u64,
    /// Human-readable reason carried as receipt metadata.
    #[arg(long)]
    pub reason: Option<String>,
    /// Emit a structured JSON envelope.
    #[arg(long)]
    pub json: bool,
}

#[derive(Debug, Args)]
pub(crate) struct HostLeaseRenewArgs {
    #[arg(long)]
    pub host: Option<String>,
    #[arg(long)]
    pub lease_id: String,
    #[arg(long, default_value_t = 900_000)]
    pub ttl_ms: u64,
    #[arg(long)]
    pub json: bool,
}

#[derive(Debug, Args)]
pub(crate) struct HostLeaseReleaseArgs {
    #[arg(long)]
    pub host: Option<String>,
    #[arg(long)]
    pub lease_id: String,
    #[arg(long)]
    pub json: bool,
}

#[derive(Debug, Args)]
pub(crate) struct HostLeaseStatusArgs {
    #[arg(long)]
    pub host: Option<String>,
    #[arg(long)]
    pub json: bool,
}