pub struct SimulationConfig {
pub require_intent: bool,
pub require_authority: bool,
pub require_evidence: bool,
pub require_assertions: bool,
pub check_resource_availability: bool,
pub domain_profiles: Vec<DomainProfile>,
}Expand description
Configuration for simulation strictness.
Fields§
§require_intent: boolRequire Intent block with at least Outcome.
Require Authority block with at least Actor.
require_evidence: boolRequire Evidence block with at least one Requires field.
require_assertions: boolRequire at least one scenario with a Then step.
check_resource_availability: boolRequire scenario Given steps to reference resources declared in Evidence.
domain_profiles: Vec<DomainProfile>Optional downstream domain profiles for domain-specific pre-flight checks.
Implementations§
Source§impl SimulationConfig
impl SimulationConfig
Sourcepub fn with_domain_profile(self, profile: DomainProfile) -> Self
pub fn with_domain_profile(self, profile: DomainProfile) -> Self
Enable one domain-specific validation profile.
Trait Implementations§
Source§impl Clone for SimulationConfig
impl Clone for SimulationConfig
Source§fn clone(&self) -> SimulationConfig
fn clone(&self) -> SimulationConfig
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for SimulationConfig
impl Debug for SimulationConfig
Source§impl Default for SimulationConfig
impl Default for SimulationConfig
impl Eq for SimulationConfig
Source§impl PartialEq for SimulationConfig
impl PartialEq for SimulationConfig
Source§fn eq(&self, other: &SimulationConfig) -> bool
fn eq(&self, other: &SimulationConfig) -> bool
Tests for
self and other values to be equal, and is used by ==.impl StructuralPartialEq for SimulationConfig
Auto Trait Implementations§
impl Freeze for SimulationConfig
impl RefUnwindSafe for SimulationConfig
impl Send for SimulationConfig
impl Sync for SimulationConfig
impl Unpin for SimulationConfig
impl UnsafeUnpin for SimulationConfig
impl UnwindSafe for SimulationConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<C> CloneExpand for Cwhere
C: Clone,
impl<C> CloneExpand for Cwhere
C: Clone,
fn __expand_clone_method(&self, _scope: &mut Scope) -> C
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
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