Struct QueryResult 

pub struct QueryResult {

    pub rank: usize,
    pub stem: String,
    pub path: String,
    pub relevance: f64,
    pub description: String,
    pub kind: ContractKind,
    pub equations: Vec<String>,
    pub obligation_count: usize,
    pub references: Vec<String>,
    pub depends_on: Vec<String>,
    pub depended_by: Vec<String>,
    pub score: Option<ScoreInfo>,
    pub proof_status: Option<ProofStatusInfo>,
    pub bindings: Vec<EquationBinding>,
    pub diff: Option<DiffInfo>,
    pub pagerank: Option<f64>,
    pub call_sites: Vec<CallSiteInfo>,
    pub violations: Vec<ViolationInfo>,
    pub coverage_map: Vec<ProjectCoverage>,
}

A single query result with relevance score and optional enrichment.

Fields

rank: usize

stem: String

path: String

relevance: f64

description: String

kind: ContractKind

equations: Vec<String>

obligation_count: usize

references: Vec<String>

depends_on: Vec<String>

depended_by: Vec<String>

score: Option<ScoreInfo>

proof_status: Option<ProofStatusInfo>

bindings: Vec<EquationBinding>

diff: Option<DiffInfo>

pagerank: Option<f64>

call_sites: Vec<CallSiteInfo>

violations: Vec<ViolationInfo>

coverage_map: Vec<ProjectCoverage>

Trait Implementations

impl Clone for QueryResult

fn clone(&self) -> QueryResult

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for QueryResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for QueryResult

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Serialize for QueryResult

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.