lsp-max 26.7.3

Law-state LSP runtime: max LSP 3.18 coverage, process-mining conformance, receipt-chain admission
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

use serde::{Deserialize, Serialize};

#[derive(Debug, Clone, Serialize, Deserialize, PartialEq, Eq)]
pub enum CounterfactualProbe {
    RemoveFile { path: String },
    RemoveMarker { marker: String },
    CorruptJsonField { field: String },
    AddNthItem { n: usize },
    DisableChecker { checker_id: String },
    SwapAuthority { from: String, to: String },
    HideReceipt,
    HideOCEL,
    DoubleAcquireBuildSlot,
    DirectHeavyCommandWithoutSlot,
    Custom { id: String },
}

impl CounterfactualProbe {
    pub fn name(&self) -> String {
        match self {
            Self::RemoveFile { .. } => "RemoveFile".to_string(),
            Self::RemoveMarker { .. } => "RemoveMarker".to_string(),
            Self::CorruptJsonField { .. } => "CorruptJsonField".to_string(),
            Self::AddNthItem { .. } => "AddNthItem".to_string(),
            Self::DisableChecker { .. } => "DisableChecker".to_string(),
            Self::SwapAuthority { .. } => "SwapAuthority".to_string(),
            Self::HideReceipt => "HideReceipt".to_string(),
            Self::HideOCEL => "HideOCEL".to_string(),
            Self::DoubleAcquireBuildSlot => "DoubleAcquireBuildSlot".to_string(),
            Self::DirectHeavyCommandWithoutSlot => "DirectHeavyCommandWithoutSlot".to_string(),
            Self::Custom { id } => id.clone(),
        }
    }
}