Struct QueryCliParams 

pub struct QueryCliParams<'a> {

    pub contract_dir: &'a Path,
    pub query_str: &'a str,
    pub regex: bool,
    pub literal: bool,
    pub case_sensitive: bool,
    pub limit: usize,
    pub obligation: Option<&'a str>,
    pub min_score: Option<f64>,
    pub min_level: Option<String>,
    pub depends_on: Option<&'a str>,
    pub depended_by: Option<&'a str>,
    pub unproven: bool,
    pub show_score: bool,
    pub show_graph: bool,
    pub show_paper: bool,
    pub show_proof_status: bool,
    pub show_binding: bool,
    pub binding_gaps: bool,
    pub binding: Option<&'a Path>,
    pub show_diff: bool,
    pub show_pagerank: bool,
    pub show_call_sites: bool,
    pub show_violations: bool,
    pub show_coverage_map: bool,
    pub project_filter: Option<&'a str>,
    pub include_project: Option<&'a Path>,
    pub tier: Option<u8>,
    pub class: Option<char>,
    pub kind: Option<&'a str>,
    pub all_projects: bool,
    pub rebuild_index: bool,
    pub format: &'a str,
    pub exit_code: bool,
}

All parameters needed to execute a query from the CLI.

Fields

contract_dir: &'a Path

query_str: &'a str

regex: bool

literal: bool

case_sensitive: bool

limit: usize

obligation: Option<&'a str>

min_score: Option<f64>

min_level: Option<String>

depends_on: Option<&'a str>

depended_by: Option<&'a str>

unproven: bool

show_score: bool

show_graph: bool

show_paper: bool

show_proof_status: bool

show_binding: bool

binding_gaps: bool

binding: Option<&'a Path>

show_diff: bool

show_pagerank: bool

show_call_sites: bool

show_violations: bool

show_coverage_map: bool

project_filter: Option<&'a str>

include_project: Option<&'a Path>

tier: Option<u8>

class: Option<char>

kind: Option<&'a str>

all_projects: bool

rebuild_index: bool

format: &'a str

exit_code: bool