Struct SandboxedCompile 

pub struct SandboxedCompile<S: Sandbox> { /* private fields */ }

A checker built over a sandbox it does not own.

The sandbox is held rather than passed to judge, because Checker::judge takes only the work order and the condensate — the checker’s environment is part of the checker.

Implementations

impl<S: Sandbox> SandboxedCompile<S>

pub async fn probe( sandbox: S, config: CompileConfig, ) -> Result<Self, ProbeError>

Identify the tool through sandbox, then bind the checker to it.

Errors

ProbeError if the tool could not be identified.

pub fn declaring( sandbox: S, config: CompileConfig, tool: impl Into<String>, ) -> Self

Bind to a tool whose version is already known.

pub fn tool(&self) -> &str

The tool this checker is bound to.

Trait Implementations

impl<S: Sandbox> Checker for SandboxedCompile<S>

fn id(&self) -> CheckerId

Which checker this is, and at what version.

fn grants(&self) -> GrantSet

The authority this checker needs.

fn judge<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, _order: &'life1 WorkOrder, _condensate: &'life2 Condensate, ) -> Pin<Box<dyn Future<Output = Judgement> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Decide. The part an implementation writes.

fn check<'life0, 'life1, 'life2, 'life3, 'async_trait>( &'life0 self, order: &'life1 WorkOrder, condensate: &'life2 Condensate, signer: &'life3 dyn Sign, ) -> Pin<Box<dyn Future<Output = Result<Evidence, CheckError>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait, 'life3: 'async_trait,

Check the authority, decide, bind the verdict to its inputs, and sign.

impl<S: Debug + Sandbox> Debug for SandboxedCompile<S>

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

Formats the value using the given formatter.