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
//! Typed Finding for the IOSP dimension.
//!
//! An `IospFinding` represents a function-level Integration/Operation
//! Segregation violation: a function that mixes own-call delegation with
//! its own logic. The Finding carries the per-occurrence locations
//! (logic statements + own calls) so reporters can render rich,
//! actionable detail.
use crateFinding;
/// A single logic occurrence inside a function body.
///
/// `kind` is one of the canonical labels emitted by the IOSP visitor:
/// `if`, `match`, `for`, `while`, `loop`, `arithmetic`, `boolean_op`, `?`.
/// A single own-call inside a function body.
/// IOSP violation finding: a function that contains both logic and own calls.