Enum CommentDirective 

pub enum CommentDirective {
    Group(String),
    Related(Vec<String>),
    DependsOn(Vec<String>),
    PartOf(String),
    Invariant(String),
    Intent(String),
    Custom {
        key: String,
        value: String,
    },
}

Comment-based spec directive.

Represents @spec:* directives parsed from comments. Users can convert from ryo-spec types to this enum.

Variants

Group(String)

@spec:group(name) - Assign to a semantic group

Related(Vec<String>)

@spec:related(A, B, ...) - Related types (bidirectional)

DependsOn(Vec<String>)

@spec:depends-on(A, B, ...) - Depends on other specs

PartOf(String)

@spec:part-of(Parent) - Part of a larger spec

Invariant(String)

@spec:invariant(description) - Domain invariant

Intent(String)

@spec:intent(description) - Design intent

Custom

@spec:custom-key(value) - Custom directive

Fields

key: String

Custom directive key (the custom-<key> portion).

value: String

Value payload as written in the source comment.

Trait Implementations

impl Clone for CommentDirective

fn clone(&self) -> CommentDirective

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CommentDirective

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

Formats the value using the given formatter.

impl PartialEq for CommentDirective

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CommentDirective

impl StructuralPartialEq for CommentDirective