pub struct Indexed {
pub repo: String,
pub short: String,
/* private fields */
}Expand description
The expert repo indexed once at a commit, for a consumer pinned at a version: ask it any number
of questions, or read its API vocabulary first (see plan_query).
Fields§
§repo: String§short: StringImplementations§
Source§impl Indexed
impl Indexed
Sourcepub fn open(
repo: &Path,
at: &str,
version: Option<&str>,
ceiling: Option<&str>,
) -> Result<Indexed, String>
pub fn open( repo: &Path, at: &str, version: Option<&str>, ceiling: Option<&str>, ) -> Result<Indexed, String>
See ask.
Sourcepub fn answer(&self, query: &str) -> Answer
pub fn answer(&self, query: &str) -> Answer
At most MAX_CLAIMS claims for query, best first (see [select]).
Sourcepub fn answer_except(&self, query: &str, told: &dyn Fn(&str) -> bool) -> Answer
pub fn answer_except(&self, query: &str, told: &dyn Fn(&str) -> bool) -> Answer
Indexed::answer without the claims whose Claim::key told names: what this drone
was already told is never repeated.
Sourcepub fn api(&self) -> Api
pub fn api(&self) -> Api
The repo’s API vocabulary: code identifiers its claims name (PetriNet, deadlockFree,
fire_transition) that its own code at the commit declares, so a plan that uses the API
without naming the repo still finds it. Prose about other code (HashMap, created_at,
CompletableFuture in a changelog) is no API of the repo: an identifier counts only when the
repo declares it and it is no well-known standard-library name. No code, no API.