fn stats(env: soroban_sdk::Env) -> (u32, u32)List a vehicle that can be requested for a lease agreement.
fn add_car(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
vin: soroban_sdk::String,
model: soroban_sdk::String,
daily_rate: i128,
) -> Carfn get_car(env: soroban_sdk::Env, car_id: u32) -> Carfn get_lease(env: soroban_sdk::Env, lease_id: u32) -> LeaseReturn a bounded page of cars. IDs are contiguous because cars are never deleted.
fn list_cars(env: soroban_sdk::Env, start_id: u32, limit: u32) -> soroban_sdk::Vecfn list_leases(
env: soroban_sdk::Env,
start_id: u32,
limit: u32,
) -> soroban_sdk::VecRequest a lease. This records mutually reviewable terms; it does not move funds. The owner must explicitly approve before the agreement becomes approved.
fn request_lease(
env: soroban_sdk::Env,
lessee: soroban_sdk::Address,
car_id: u32,
start_time: u64,
end_time: u64,
) -> LeaseThe requester can cancel their own pending request.
fn cancel_request(
env: soroban_sdk::Env,
lessee: soroban_sdk::Address,
lease_id: u32,
) -> LeasePermissionless cleanup after a request or approved lease reaches its time boundary. Pending requests become expired at start_time; approved leases complete at end_time.
fn finalize_lease(env: soroban_sdk::Env, lease_id: u32) -> LeaseThe owner can decline a pending request before it starts.
fn reject_request(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
lease_id: u32,
) -> LeaseThe vehicle owner explicitly accepts the recorded lease terms.
fn approve_request(
env: soroban_sdk::Env,
owner: soroban_sdk::Address,
lease_id: u32,
) -> Leasefn car_status_label(env: soroban_sdk::Env, status: u32) -> soroban_sdk::Stringfn lease_status_label(env: soroban_sdk::Env, status: u32) -> soroban_sdk::Stringfn current_lease_for_car(env: soroban_sdk::Env, car_id: u32) -> u32