cairo-language-server 2.20.0

The Cairo Language Server
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

use lsp_types::CodeAction;
use toml_edit::value;

use super::toml::replace_key_path_value;
use super::{
    ManifestActionContext, extra_diagnostic_data_as_string_array, remove_key_path,
    replace_manifest_action,
};

pub fn build(ctx: &ManifestActionContext<'_>) -> Vec<CodeAction> {
    let Some(inlining_strategy_path) =
        extra_diagnostic_data_as_string_array(ctx.diagnostic, "inlining_strategy_path")
    else {
        return Vec::new();
    };
    let Some(skip_optimizations_path) =
        extra_diagnostic_data_as_string_array(ctx.diagnostic, "skip_optimizations_path")
    else {
        return Vec::new();
    };

    let mut actions = Vec::new();

    if let Some(action) = remove_inlining_strategy_action(ctx, &inlining_strategy_path) {
        actions.push(action);
    }

    if let Some(action) = set_inlining_strategy_to_avoid_action(ctx, &inlining_strategy_path) {
        actions.push(action);
    }

    if let Some(action) = set_skip_optimizations_to_false_action(ctx, &skip_optimizations_path) {
        actions.push(action);
    }

    actions
}

/// Generates the quick fix that removes the conflicting `inlining-strategy` field.
fn remove_inlining_strategy_action(
    ctx: &ManifestActionContext<'_>,
    inlining_strategy_path: &[String],
) -> Option<CodeAction> {
    let new_text = remove_key_path(ctx.raw_toml, inlining_strategy_path)?;

    Some(replace_manifest_action(
        ctx,
        new_text,
        "Remove conflicting `inlining-strategy` field".to_string(),
        ctx.diagnostic.clone(),
    ))
}

/// Generates the quick fix that rewrites `inlining-strategy` to `"avoid"`.
fn set_inlining_strategy_to_avoid_action(
    ctx: &ManifestActionContext<'_>,
    inlining_strategy_path: &[String],
) -> Option<CodeAction> {
    let new_text = replace_key_path_value(
        ctx.raw_toml,
        inlining_strategy_path,
        value("avoid").into_value().expect("string literal should build a TOML value"),
    )?;

    Some(replace_manifest_action(
        ctx,
        new_text,
        "Set `inlining-strategy` to `\"avoid\"`".to_string(),
        ctx.diagnostic.clone(),
    ))
}

/// Generates the quick fix that rewrites `skip-optimizations` to `false`.
fn set_skip_optimizations_to_false_action(
    ctx: &ManifestActionContext<'_>,
    skip_optimizations_path: &[String],
) -> Option<CodeAction> {
    let new_text = replace_key_path_value(
        ctx.raw_toml,
        skip_optimizations_path,
        value(false).into_value().expect("bool literal should build a TOML value"),
    )?;

    Some(replace_manifest_action(
        ctx,
        new_text,
        "Set `skip-optimizations` to `false`".to_string(),
        ctx.diagnostic.clone(),
    ))
}