Struct CargoOracle 

pub struct CargoOracle {
    pub offline: bool,
    pub tests: bool,
    /* private fields */
}

Fields

offline: bool

tests: bool

Check the tests too (--tests, with the library and binaries): a transform’s proof.

Implementations

impl CargoOracle

pub fn new(root: &Path) -> Self

pub fn workspace(&self) -> Option<&Path>

The workspace the scratch copy mirrors, once a check has run.

pub fn root(&self) -> &Path

pub fn scratch_dir(&self) -> Option<&Path>

pub fn proof(&self) -> Option<&ProofDir>

The proof place, once a check has taken it.

pub fn into_proof(self) -> Option<ProofDir>

The proof place given back (its lock let go), for a proof that runs more lines on it after the checks.

pub fn touched(&self) -> &BTreeSet<PathBuf>

impl CargoOracle

pub fn check_edits(&mut self, job: &CheckJob, edits: &EditSet) -> OracleResult

Rules O2–O3 for a whole workspace’s edits at once: every package’s gates and manifest edits written into the scratch copy, then job.

pub fn check_edits_tests( &mut self, job: &CheckJob, edits: &EditSet, tests: bool, ) -> OracleResult

One check of the matrix with the edits written, its tests compiled or not (a transform compiles the tests of the crate it lands in only).

pub fn with_proof(root: &Path, proof: ProofDir) -> Self

The oracle on a proof place already held (a proof that ran a line on the copy before its checks).

Trait Implementations

impl Oracle for CargoOracle

fn check( &mut self, _root: &Path, job: &CheckJob, plan: &GatePlan, ) -> OracleResult

Rules O2–O3.