Struct MissingSpecForDomainType 

pub struct MissingSpecForDomainType { /* private fields */ }

MissingSpecForDomainType rule

Detects struct/enum types in domain modules that lack corresponding Spec TypeAliases.

Rule Code

RS001 (Ryo Spec)

Detection

1. Find struct/enum in domain/, model/, or similar modules
2. Check if there’s a corresponding *Spec TypeAlias
3. Report if missing

Example Violation

// src/domain/task.rs
pub struct Task { ... }
// WARNING: No TaskSpec TypeAlias found

Fix

Generates AddSpec MutationSpec to create the TypeAlias.

Implementations

impl MissingSpecForDomainType

pub fn new() -> Self

pub fn with_patterns(patterns: Vec<String>) -> Self

Create with custom domain patterns

pub fn with_group(self, group: impl Into<String>) -> Self

Set the default group name

Trait Implementations

impl Default for MissingSpecForDomainType

fn default() -> Self

Returns the “default value” for a type.

impl LintSuggest for MissingSpecForDomainType

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

Returns the rule code (e.g., “RL001”)

fn default_severity(&self) -> LintSeverity

Returns the default severity for this lint rule

fn create_lint_opportunity( &self, id: OpportunityId, targets: Vec<SymbolId>, location: SuggestLocation, message: impl Into<String>, details: LintDetails, ) -> SuggestOpportunity

Helper to create a lint opportunity

impl SpecSuggest for MissingSpecForDomainType

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 MissingSpecForDomainType

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.