Skip to main content

Draft

speccoder_runtime::oracle

Struct Draft

pub struct Draft {Show 13 fields
    pub requirement: DraftRequirement,
    pub samples: u8,
    pub tests: Vec<DraftTest>,
    pub discarded: Vec<OracleDiscarded>,
    pub rejected: Vec<OracleRejected>,
    pub expectations: Samples<Expectation>,
    pub untestable: Samples<Untestable>,
    pub ambiguities: Vec<Ambiguity>,
    pub held_out: HeldOutSummary,
    pub sealed: Option<SealedRef>,
    pub notes: Vec<String>,
    pub runs: Vec<String>,
    pub context: Vec<ContextEntry>,
}

Expand description

A requirement’s draft as the author and the person left it.

Fields§

§requirement: DraftRequirement

The requirement as it read when the tests were written.

§samples: u8

Author calls per Write Tests ([review] oracle_samples).

§tests: Vec<DraftTest>

The kept tests.

§discarded: Vec<OracleDiscarded>

Tests not kept, and why.

§rejected: Vec<OracleRejected>

Tests the person rejected.

§expectations: Samples<Expectation>

What each author stated it asserts.

§untestable: Samples<Untestable>

What each author found untestable.

§ambiguities: Vec<Ambiguity>

Readings that disagree.

§held_out: HeldOutSummary

The held-out set: count and digest.

§sealed: Option<SealedRef>

Its sealed reference, when kept.

§notes: Vec<String>

The person’s notes to later author calls (comments, readings).

§runs: Vec<String>

The journaled author runs.

§context: Vec<ContextEntry>

What reached each author call (constitution VIII): {source, label, sha256} in the context manifest’s shape.

Implementations§

impl Draft

pub fn red(&self) -> impl Iterator<Item = &DraftTest>

The tests that can be frozen: red on the checkout’s HEAD.

pub fn manifest(&self) -> Option<String>

The red set’s manifest digest; None when nothing is red.

pub fn open_ambiguities(&self) -> impl Iterator<Item = &Ambiguity>

Whether a scenario’s reading is still open.

Trait Implementations§

impl Clone for Draft

fn clone(&self) -> Self

Returns a duplicate of the value. Read more

1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more

impl Debug for Draft

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

Formats the value using the given formatter. Read more

impl<'de> Deserialize<'de> for Draft

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more

impl Eq for Draft

impl PartialEq for Draft

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

Equality operator ==. Read more

1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more

impl Serialize for Draft

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>
where S: Serializer,

Serialize this value into the given Serde serializer. Read more

impl StructuralPartialEq for Draft

Auto Trait Implementations§

impl Freeze for Draft

impl RefUnwindSafe for Draft

impl Send for Draft

impl Sync for Draft

impl Unpin for Draft

impl UnsafeUnpin for Draft

impl UnwindSafe for Draft

Blanket Implementations§

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

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

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

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

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

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

Mutably borrows from an owned value. Read more

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

impl<T> CloneToUninit for T
where T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)

Performs copy-assignment from self to dest. Read more

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

impl<T> DynClone for T
where T: Clone,

fn __clone_box(&self, _: Private) -> *mut ()

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.

impl<T> From<T> for T

fn from(t: T) -> T

Returns the argument unchanged.

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

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

fn into(self) -> U

Calls U::from(self).

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

impl<T> Pointable for T

const ALIGN: usize

The alignment of pointer.

type Init = T

The type for initializers.

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

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

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

impl<T> Same for T

type Output = T

Should always be Self

impl<T> ToOwned for T
where T: Clone,

type Owned = T

The resulting type after obtaining ownership.

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more

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

type Error = !

The type returned in the event of a conversion error.

fn try_from(value: U) -> Result<T, !>

Performs the conversion.

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more