Struct SpecRelationToField 

pub struct SpecRelationToField { /* private fields */ }

SpecRelationToField rule

Analyzes Spec relations (DependsOn, RelatedTo, PartOf) to suggest corresponding struct fields that should exist.

Rule Code

RS007 (Ryo Spec)

Detection

1. Find Spec TypeAliases with relations (DependsOn, RelatedTo, PartOf)
2. Get the wrapped struct type
3. Check if struct has fields referencing the relation target
4. Suggest AddField if missing

Example

type UserSpec = Spec<DomainGroup, User, [DependsOn<Order>]>;

pub struct User {
    id: UserId,
    name: String,
    // Missing: order field!
}

// Suggestion: Add `order_id: OrderId` or `orders: Vec<Order>` field

Fix

Generates AddField MutationSpec to add the missing field.

Implementations

impl SpecRelationToField

pub fn new() -> Self

pub fn with_suffix(suffix: impl Into<String>) -> Self

Create with custom suffix pattern

Trait Implementations

impl Default for SpecRelationToField

fn default() -> Self

Returns the “default value” for a type.

impl SpecSuggest for SpecRelationToField

fn spec_suffix(&self) -> &str

Get the suffix pattern for identifying Spec TypeAliases (default: “Spec”)

fn is_spec_alias(&self, name: &str) -> bool

Check if a TypeAlias name looks like a Spec

fn extract_base_type<'a>(&self, alias_name: &'a str) -> Option<&'a str>

Extract the base type name from a Spec alias name e.g., “TaskSpec” -> “Task”

fn get_module_path(&self, path: &SymbolPath) -> Option<SymbolPath>

Get the module path for a symbol (parent of the symbol)

impl Suggest for SpecRelationToField

fn name(&self) -> &'static str

Name of this suggestion pattern (e.g., “Builder”, “Default”)

fn description(&self) -> &str

Human-readable description

fn category(&self) -> SuggestCategory

Category for filtering/grouping

fn safety_level(&self) -> SafetyLevel

Safety level for auto-application decisions

fn priority_weight(&self) -> f32

Priority weight for ranking (higher = more important)

fn detect( &self, ctx: &AnalysisContext, symbols: &[SymbolId], ) -> Vec<SuggestOpportunity>

Detect opportunities for the given symbols

fn to_mutation_specs( &self, ctx: &AnalysisContext, opportunity: &SuggestOpportunity, ) -> SuggestResult<Vec<MutationSpec>>

Convert a detected opportunity to executable MutationSpecs

fn rule_id(&self) -> Option<&str>

Optional rule ID for pattern-based rules (e.g., “RL021”). Returns None for non-pattern suggestions.

fn target_scopes(&self) -> Vec<SymbolScope>

Target scopes where this suggest applies.

fn accepts_params(&self) -> bool

Whether this suggestion accepts external parameters.

fn param_schema(&self) -> Vec<ParamDef>

Schema of accepted parameters (for LLM consumption).

fn detect_with_params( &self, ctx: &AnalysisContext, symbols: &[SymbolId], _params: &SuggestParams, ) -> Vec<SuggestOpportunity>

Detect opportunities with external parameters.