pub enum MarkerKind {
Contract {
description: String,
source: ContractSource,
},
Hazard {
description: String,
},
Dependency {
target_file: String,
target_anchor: String,
assumption: String,
},
Unstable {
description: String,
revisit_when: String,
},
Security {
description: String,
},
Performance {
description: String,
},
Deprecated {
description: String,
replacement: Option<String>,
},
TechDebt {
description: String,
},
TestCoverage {
description: String,
},
}Variants§
Contract
Behavioral contract: invariant, precondition, assumption.
Hazard
Something non-obvious that could cause bugs.
Dependency
This code assumes something about code elsewhere.
Unstable
This code is provisional/experimental.
Security
Security-sensitive code: auth, crypto, input validation, etc.
Performance
Performance-sensitive code: hot paths, allocations, latency.
Deprecated
Deprecated code with optional replacement pointer.
TechDebt
Known technical debt to address later.
TestCoverage
Test coverage note: what’s tested, what’s missing.
Trait Implementations§
Source§impl Clone for MarkerKind
impl Clone for MarkerKind
Source§fn clone(&self) -> MarkerKind
fn clone(&self) -> MarkerKind
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 Debug for MarkerKind
impl Debug for MarkerKind
Source§impl<'de> Deserialize<'de> for MarkerKind
impl<'de> Deserialize<'de> for MarkerKind
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl JsonSchema for MarkerKind
impl JsonSchema for MarkerKind
Source§fn schema_id() -> Cow<'static, str>
fn schema_id() -> Cow<'static, str>
Returns a string that uniquely identifies the schema produced by this type. Read more
Source§fn json_schema(generator: &mut SchemaGenerator) -> Schema
fn json_schema(generator: &mut SchemaGenerator) -> Schema
Generates a JSON Schema for this type. Read more
Source§fn inline_schema() -> bool
fn inline_schema() -> bool
Whether JSON Schemas generated for this type should be included directly in parent schemas,
rather than being re-used where possible using the
$ref keyword. Read moreAuto Trait Implementations§
impl Freeze for MarkerKind
impl RefUnwindSafe for MarkerKind
impl Send for MarkerKind
impl Sync for MarkerKind
impl Unpin for MarkerKind
impl UnwindSafe for MarkerKind
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<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