Enum CascadeSpec 

pub enum CascadeSpec {
    AddDerive {
        symbol_id: SymbolId,
        derives: Vec<String>,
    },
    GenerateImpl {
        target: SymbolPath,
        trait_name: String,
        call_new: bool,
    },
    ChangeVisibility {
        symbol_id: SymbolId,
        visibility: Visibility,
    },
    AddUse {
        target_module: SymbolPath,
        path: String,
    },
    AddMatchArm {
        target: SymbolPath,
        function_name: String,
        enum_name: String,
        pattern: String,
        body: String,
    },
    RemoveMatchArm {
        target: SymbolPath,
        function_name: String,
        enum_name: String,
        pattern: String,
    },
}

Cascade分析結果として生成される変更仕様

MutationSpecへの変換はryo-executorのFrom<CascadeSpec>で実装される。

Variants

AddDerive

derive macroを追加

例: #[derive(Default)] を追加し、フィールド型にも伝播

Note: symbol_id is required. request_* fields are for diagnostics only.

Fields

symbol_id: SymbolId

SymbolId - required for O(1) lookup

derives: Vec<String>

追加するderive macro名

GenerateImpl

manual impl blockを生成

derive不可能な場合（フィールド型がderive未対応）に使用

Fields

target: SymbolPath

対象の型へのパス

trait_name: String

実装するtrait名

call_new: bool

new()を自動生成呼び出しするか

ChangeVisibility

visibilityを変更

cross-module accessエラーの修正に使用

Fields

symbol_id: SymbolId

SymbolId - required for O(1) lookup

visibility: Visibility

新しいvisibility

AddUse

use文を追加

型参照の解決に使用

Fields

target_module: SymbolPath

use文を追加するモジュール

path: String

追加するパス

AddMatchArm

match式に新しいarmを追加

enum variantを追加した際の網羅性エラー修正に使用

Fields

target: SymbolPath

対象モジュールへのSymbolPath

function_name: String

match式を含む関数名

enum_name: String

対象のenum型名

pattern: String

追加するパターン (e.g., “Status::Cancelled”)

body: String

armのbody (e.g., “todo!()”)

RemoveMatchArm

match式からarmを削除

enum variantを削除した際の不要arm除去に使用

Fields

target: SymbolPath

対象モジュールへのSymbolPath

function_name: String

match式を含む関数名

enum_name: String

対象のenum型名

pattern: String

削除するパターン (e.g., “Status::Cancelled”)

Implementations

impl CascadeSpec

pub fn add_derive(symbol_id: SymbolId, derives: Vec<String>) -> Self

AddDeriveを作成

pub fn generate_impl( target: SymbolPath, trait_name: impl Into<String>, call_new: bool, ) -> Self

GenerateImplを作成

pub fn change_visibility(symbol_id: SymbolId, visibility: Visibility) -> Self

ChangeVisibilityを作成

pub fn add_use(target_module: SymbolPath, path: impl Into<String>) -> Self

AddUseを作成

pub fn add_match_arm( target: SymbolPath, function_name: impl Into<String>, enum_name: impl Into<String>, pattern: impl Into<String>, body: impl Into<String>, ) -> Self

AddMatchArmを作成

pub fn remove_match_arm( target: SymbolPath, function_name: impl Into<String>, enum_name: impl Into<String>, pattern: impl Into<String>, ) -> Self

RemoveMatchArmを作成

Trait Implementations

impl Clone for CascadeSpec

fn clone(&self) -> CascadeSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CascadeSpec

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

Formats the value using the given formatter.

impl PartialEq for CascadeSpec

fn eq(&self, other: &CascadeSpec) -> 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 CascadeSpec

impl StructuralPartialEq for CascadeSpec