Provide intention to fill trait members

[mkaput]

Implement the following intention in CairoLS:

[LamsyA]

hello @mkaput Kindly provide the link to this in the codebase.

[mkaput]

Hey! Same store as in #5945

Here's the starting point:

cairo/crates/cairo-lang-language-server/src/ide/code_actions/mod.rs

Lines 34 to 78 in cdaceb9

	/// Generate code actions for a given diagnostic.
	///
	/// # Arguments
	///
	/// * `db` - A reference to the Salsa database.
	/// * `node` - The syntax node where the diagnostic is located.
	/// * `diagnostic` - The diagnostic for which to generate code actions.
	/// * `params` - The parameters for the code action request.
	///
	/// # Returns
	///
	/// A vector of [`CodeAction`] objects that can be applied to resolve the diagnostic.
	fn get_code_actions_for_diagnostic(
	db: &AnalysisDatabase,
	node: &SyntaxNode,
	diagnostic: &Diagnostic,
	params: &CodeActionParams,
	) -> Vec<CodeAction> {
	let code = match &diagnostic.code {
	Some(NumberOrString::String(code)) => code,
	Some(NumberOrString::Number(code)) => {
	debug!("diagnostic code is not a string: `{code}`");
	return vec![];
	}
	None => {
	debug!("diagnostic code is missing");
	return vec![];
	}
	};
	match code.as_str() {
	"E0001" => {
	vec![rename_unused_variable::rename_unused_variable(
	db,
	node,
	diagnostic.clone(),
	params.text_document.uri.clone(),
	)]
	}
	code => {
	debug!("no code actions for diagnostic code: {code}");
	vec![]
	}
	}
	}

You can follow the implementation of unused variable intention as the hooking point. First, you need to assign an error code to this particular diagnostic; you can grep for it by error message.

You will need to get information about trait items. This is provided in the SemanticGroup (this trait-Salsa group is implemented by AnalysisDatabase) by these queries:

cairo/crates/cairo-lang-semantic/src/db.rs

Lines 397 to 431 in 50d465c

	/// Returns the names of all the non default implemented items of a trait.
	#[salsa::invoke(items::trt::trait_required_item_names)]
	fn trait_required_item_names(&self, trait_id: TraitId) -> Maybe<OrderedHashSet<SmolStr>>;
	/// Returns the item of the trait, by the given `name`, if exists.
	#[salsa::invoke(items::trt::trait_item_by_name)]
	fn trait_item_by_name(&self, trait_id: TraitId, name: SmolStr) -> Maybe<Option<TraitItemId>>;
	/// Returns the functions of a trait.
	#[salsa::invoke(items::trt::trait_functions)]
	fn trait_functions(&self, trait_id: TraitId)
	-> Maybe<OrderedHashMap<SmolStr, TraitFunctionId>>;
	/// Returns the function with the given name of the given trait, if exists.
	#[salsa::invoke(items::trt::trait_function_by_name)]
	fn trait_function_by_name(
	&self,
	trait_id: TraitId,
	name: SmolStr,
	) -> Maybe<Option<TraitFunctionId>>;
	/// Returns the types of a trait.
	#[salsa::invoke(items::trt::trait_types)]
	fn trait_types(&self, trait_id: TraitId) -> Maybe<OrderedHashMap<SmolStr, TraitTypeId>>;
	/// Returns the item type with the given name of the given trait, if exists.
	#[salsa::invoke(items::trt::trait_type_by_name)]
	fn trait_type_by_name(&self, trait_id: TraitId, name: SmolStr) -> Maybe<Option<TraitTypeId>>;
	/// Returns the constants of a trait.
	#[salsa::invoke(items::trt::trait_constants)]
	fn trait_constants(&self, trait_id: TraitId)
	-> Maybe<OrderedHashMap<SmolStr, TraitConstantId>>;
	/// Returns the item constants with the given name of the given trait, if exists.
	#[salsa::invoke(items::trt::trait_constant_by_name)]
	fn trait_constant_by_name(
	&self,
	trait_id: TraitId,
	name: SmolStr,
	) -> Maybe<Option<TraitConstantId>>;

[mkaput]

@LamsyA any progress? how can I help?