pub struct Requirement<Spec>where
Spec: Specification,{
pub id: Cow<'static, UriStr>,
pub subjects: Cow<'static, [UriString]>,
pub level: RequirementLevel,
pub statement: &'static str,
/* private fields */
}Expand description
Represents a specification requirement
Fields§
§id: Cow<'static, UriStr>Uri of the requirement.
subjects: Cow<'static, [UriString]>Subjects of the requirement.,
level: RequirementLevelRequirement level.
statement: &'static strRequirement statement.
Implementations§
Source§impl<Spec> Requirement<Spec>where
Spec: Specification,
impl<Spec> Requirement<Spec>where
Spec: Specification,
Sourcepub fn new(
id: Cow<'static, UriStr>,
subjects: Cow<'static, [UriString]>,
level: RequirementLevel,
statement: &'static str,
) -> Self
pub fn new( id: Cow<'static, UriStr>, subjects: Cow<'static, [UriString]>, level: RequirementLevel, statement: &'static str, ) -> Self
Create a new Requirement with given params.
Trait Implementations§
Source§impl<Spec> Clone for Requirement<Spec>where
Spec: Specification + Clone,
impl<Spec> Clone for Requirement<Spec>where
Spec: Specification + Clone,
Source§fn clone(&self) -> Requirement<Spec>
fn clone(&self) -> Requirement<Spec>
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<Spec> Debug for Requirement<Spec>where
Spec: Specification + Debug,
impl<Spec> Debug for Requirement<Spec>where
Spec: Specification + Debug,
Source§impl<Spec: Specification> From<Requirement<Spec>> for RequirementMinView
impl<Spec: Specification> From<Requirement<Spec>> for RequirementMinView
Source§fn from(r: Requirement<Spec>) -> Self
fn from(r: Requirement<Spec>) -> Self
Converts to this type from the input type.
Auto Trait Implementations§
impl<Spec> Freeze for Requirement<Spec>
impl<Spec> RefUnwindSafe for Requirement<Spec>where
Spec: RefUnwindSafe,
impl<Spec> Send for Requirement<Spec>
impl<Spec> Sync for Requirement<Spec>
impl<Spec> Unpin for Requirement<Spec>where
Spec: Unpin,
impl<Spec> UnwindSafe for Requirement<Spec>where
Spec: UnwindSafe,
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<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
impl<Choices> CoproductSubsetter<CNil, HNil> for Choices
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 moreSource§impl<S, P> TryProven<P> for Swhere
P: Predicate<S> + SyncEvaluablePredicate<S>,
impl<S, P> TryProven<P> for Swhere
P: Predicate<S> + SyncEvaluablePredicate<S>,
Source§type Err = ProvenError<S, <P as SyncEvaluablePredicate<S>>::EvalError>
type Err = ProvenError<S, <P as SyncEvaluablePredicate<S>>::EvalError>
Type of error.