Struct AttestedComputation 

pub struct AttestedComputation {
    pub runtime: Option<String>,
    pub parameters: Vec<Parameter>,
    pub computation: ComputationSource,
    pub executor: Option<Executor>,
    pub attester: Option<Attester>,
    pub has_redundant_inline: bool,
}

The contract of an Attested Computation concept: its top-level frontmatter plus the computation itself.

Fields

runtime: Option<String>

REQUIRED for this type: how to run the computation, and so how the executor and attester interpret it and what parameters mean.

parameters: Vec<Parameter>

The typed, named holes an agent may fill.

computation: ComputationSource

The sanctioned computation, inline or by path.

executor: Option<Executor>

How the computation is run.

attester: Option<Attester>

The deterministic check over a run’s receipt.

has_redundant_inline: bool

true when the body carries a # Computation block and the computation key names a file. The spec asks for one or the other, so this flags a contract whose two halves may disagree.

Implementations

impl AttestedComputation

pub fn from_parts(frontmatter: &Frontmatter, body: &str) -> Self

Reads the contract from a concept’s frontmatter and body.

This does not check that the concept’s type is ATTESTED_COMPUTATION_TYPE, since the computation keys are ordinary frontmatter and a producer may use them on another type. Use Frontmatter::is_attested_computation to test the type.

pub fn required_parameters(&self) -> impl Iterator<Item = &Parameter>

The parameters an agent must supply a value for.

pub fn path_fields(&self) -> Vec<(&'static str, &str)>

The path-valued fields of this contract, as (field name, raw path) pairs, the inputs to links::field_path_candidates when checking that a contract points at something real.

Trait Implementations

impl Clone for AttestedComputation

fn clone(&self) -> AttestedComputation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AttestedComputation

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

Formats the value using the given formatter.

impl Eq for AttestedComputation

impl PartialEq for AttestedComputation

fn eq(&self, other: &AttestedComputation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for AttestedComputation