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
91
92
93
94
95
96
97
98
//! `Cyclomatic` implementation for C#.
#![allow(clippy::wildcard_imports, clippy::enum_glob_use)]
#![allow(
clippy::cast_precision_loss,
clippy::cast_possible_truncation,
clippy::cast_sign_loss
)]
use super::*;
impl Cyclomatic for CsharpCode {
fn compute<'a>(
node: &Node<'a>,
_code: &'a [u8],
ancestors: Ancestors<'a, '_>,
stats: &mut Stats,
) {
use Csharp::*;
match node.kind_id().into() {
// Standard-only: individual switch statement arms. The `case`
// keyword token is what is matched here; `default:` uses a
// distinct `Default` token and is correctly excluded.
//
// Gated on the arm production because `goto case 2;` spells
// the same token from `goto_statement` and is an
// unconditional jump, not a decision — it scored one here and
// one ABC condition until #1450 / #1451, so a method whose
// only difference from a control was a `goto case` read one
// higher on both. The predicate is shared with
// `src/metrics/abc/csharp.rs` so the two move together; see
// its doc comment for the grammar sweep and the allowlist
// polarity. A gated-out `Case` matches nothing further in
// either file.
Case if csharp_case_token_is_switch_arm(node, ancestors) => {
stats.cyclomatic += 1.;
}
// Standard-only: switch expression arms, except the bare
// discard arm `_ =>` (and `var _ =>`), which is C#'s analogue
// of `default:` and must NOT contribute to standard CCN
// (issue #282 / lesson 11). A guarded discard
// (`_ when g => …`) still counts because the guard introduces
// a non-trivial decision, mirroring Rust's `_ if g` rule.
SwitchExpressionArm if !csharp_switch_expression_arm_is_bare_discard(node) => {
stats.cyclomatic += 1.;
}
// Modified-only: the switch statement and switch expression
// containers each collapse to one decision point.
SwitchStatement | SwitchExpression => {
stats.cyclomatic_modified += 1.;
}
// Both standard and modified.
//
// `WhenClause` and `CatchFilterClause` are C#'s two guard
// spellings, and each is a decision the enclosing construct
// does not already pay for (#1422): a guarded arm fails two
// ways — the pattern does not match, or it matches and the
// guard is false — while contributing one decision, and
// `catch (E e) when (c)` tests the filter after the type.
// Rust already counts a match guard — `rust.rs`'s `If` arm
// catches the guard's own `if` token — so C# was the
// outlier, not the convention.
//
// The clause *nodes*, not the `when` keyword they share:
// `When` (119) is also a `_reserved_identifier` at this pin,
// so `int when = 1;` emits it under an `identifier` and the
// token would score a decision per mention of the variable
// (`bca dump`, not inferred). One `when_clause` serves both
// the `switch_expression_arm` and `switch_section` guards;
// neither kind carries a numeric-suffix alias.
//
// A guarded discard (`_ when g => …`) therefore scores two,
// and that is the intended reading: the guard is already why
// `csharp_switch_expression_arm_is_bare_discard` keeps the
// arm out of the `default:` exclusion, so the arm is no
// longer an unconditional fallthrough and the guard that
// makes it conditional is its own decision.
IfStatement
| ForStatement
| ForeachStatement
| WhileStatement
| DoStatement
| CatchClause
| WhenClause
| CatchFilterClause
| ConditionalExpression
| ConditionalAccessExpression
| AMPAMP
| PIPEPIPE
| QMARKQMARK
| QMARKQMARKEQ => {
stats.cyclomatic += 1.;
stats.cyclomatic_modified += 1.;
}
_ => {}
}
}
}