provenance-cli 0.2.1

Command-line interface for Provenance requirements traceability
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

use crate::cli::sdk::QueryArgs;
use crate::output;
use provenance_core::protocol::QueryResponse;
use provenance_core::ScopeId;
use provenance_store::operations::queries;

/// Which structured query the caller asked for.
#[derive(Debug, Clone, Copy)]
pub(super) enum Operation {
    Get,
    Search,
    Neighbors,
    Trace,
    Impact,
    Evidence,
    Stale,
    ResolveSymbol,
}

/// Runs one structured query and writes its bounded answer.
///
/// Every primitive is one named operation with typed parameters read from
/// stdin, and every answer carries the protocol version that produced it.
pub(super) fn handle(operation: Operation, args: QueryArgs) -> anyhow::Result<()> {
    let repo = Some(provenance_store::operations::discover_repository(
        args.repo,
    )?);
    let scope = ScopeId::new(args.scope)?;
    let format = args.format;
    match operation {
        Operation::Get => {
            let result = queries::get(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("get", result))
        }
        Operation::Search => {
            let result = queries::search(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("search", result))
        }
        Operation::Neighbors => {
            let result = queries::neighbors(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("neighbors", result))
        }
        Operation::Trace => {
            let result = queries::trace(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("trace", result))
        }
        Operation::Impact => {
            let result = queries::impact(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("impact", result))
        }
        Operation::Evidence => {
            let result = queries::evidence(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("evidence", result))
        }
        Operation::Stale => {
            let result = queries::stale(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("stale", result))
        }
        Operation::ResolveSymbol => {
            let result = queries::resolve_symbol(repo, &scope, super::read_stdin_json()?)?;
            output::print(format, &QueryResponse::new("resolve-symbol", result))
        }
    }
}