fatou 0.5.0

A language server, formatter, and linter for Julia
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

//! `duplicate-argument`: the same parameter name declared twice in one
//! signature.
//!
//! Julia rejects this at definition time (`function argument name not unique`),
//! so it is always a bug. Driven by the semantic model, which records one
//! parameter binding per occurrence in the function's scope, so every signature
//! form — long, short (`f(x, x) = ...`), anonymous, and `do` — is covered
//! uniformly. Positional and keyword parameters share the one namespace
//! (`f(x; x)` is also a duplicate).

use crate::linter::diagnostic::{Diagnostic, Severity};
use crate::linter::rules::{Example, Rule, RuleContext};
use crate::semantic::BindingKind;

pub struct DuplicateArgument;

impl Rule for DuplicateArgument {
    fn id(&self) -> &'static str {
        "duplicate-argument"
    }

    fn description(&self) -> &'static str {
        "Flag the same parameter name declared more than once in a single \
         signature. Julia rejects such a definition outright, so it is always a \
         mistake. Positional and keyword parameters share one namespace."
    }

    fn examples(&self) -> &'static [Example] {
        &[Example {
            caption: "`x` appears twice in the parameter list:",
            source: "function dist(x, y, x)\n    hypot(x, y)\nend\n",
        }]
    }

    fn check_file(&self, ctx: &RuleContext<'_>, sink: &mut Vec<Diagnostic>) {
        for scope in ctx.model.scopes() {
            let mut seen: Vec<&str> = Vec::new();
            for &id in &scope.bindings {
                let binding = ctx.model.binding(id);
                if !matches!(binding.kind, BindingKind::Param | BindingKind::KeywordParam) {
                    continue;
                }
                if seen.contains(&binding.name.as_str()) {
                    sink.push(Diagnostic {
                        path: None,
                        start: binding.def_range.start().into(),
                        end: binding.def_range.end().into(),
                        rule: self.id().to_string(),
                        severity: Severity::Error,
                        message: format!("argument name `{}` is used more than once", binding.name),
                        fixes: Vec::new(),
                        suppressed: false,
                    });
                } else {
                    seen.push(binding.name.as_str());
                }
            }
        }
    }
}