Struct Verifier

Source

pub struct Verifier {
    pub sandbox: Sandbox,
    pub scratch: PathBuf,
}

Fields§

§sandbox: Sandbox§scratch: PathBuf

Directory under which work trees are created.

Implementations§

Source §

impl Verifier

Source

pub fn new(scratch: PathBuf) -> Self

Source

pub fn syntax( &self, store: &Store, files: &FileMap, touched: &[String], subject: &GitId, ) -> Result<Attestation>

Static syntax check of every supported file that the change touched.

Source

pub fn run( &self, store: &Store, files: &FileMap, subject: &GitId, cfg: &Verification, ) -> Result<Vec<Attestation>>

Runs the configured build and test commands on files, then the named checks in cfg.checks, in name order. One with no command (a name the policy no longer defines) does not run: there is nothing to pass it.

Auto Trait Implementations§

§

impl UnwindSafe for Verifier

Blanket Implementations§

Source §

impl<T> Any for T
where T: 'static + ?Sized,

Source §

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

Source §

impl<T> Borrow<T> for T
where T: ?Sized,

Source §

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

Source §

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source §

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

Source §

impl<T> From<T> for T

Source §

fn from(t: T) -> T

Returns the argument unchanged.

Source §

impl<T, U> Into for T
where U: From<T>,

Source §

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source §

impl<T> IntoEither for T

Source §

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more

Source §