wasm4pm 26.6.12

High-performance process mining algorithms in WebAssembly for JavaScript/TypeScript
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

// Auto-generated by CodeManufactory from wasm4pm ontology
// DO NOT EDIT — regenerate via: ostar manufacture wasm4pm

use serde::{Deserialize, Serialize};
use std::fmt;

/// Proof gates from wasm4pm-manufacturing.nt.
#[allow(non_camel_case_types)]
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash, Serialize, Deserialize)]
pub enum ProofGate {
    gate_benchmark_complete,
    gate_cargo_clippy_clean,
    gate_compilation_passes,
    gate_docs_complete,
    gate_projection_complete,
    gate_schema_valid,
    gate_test_suite_passes,
    gate_wasm_compiles,
}

impl ProofGate {
    pub fn id(&self) -> &'static str {
        match self {
            Self::gate_benchmark_complete => "gate-benchmark-complete",
            Self::gate_cargo_clippy_clean => "gate-cargo-clippy-clean",
            Self::gate_compilation_passes => "gate-compilation-passes",
            Self::gate_docs_complete => "gate-docs-complete",
            Self::gate_projection_complete => "gate-projection-complete",
            Self::gate_schema_valid => "gate-schema-valid",
            Self::gate_test_suite_passes => "gate-test-suite-passes",
            Self::gate_wasm_compiles => "gate-wasm-compiles",
        }
    }

    pub fn label(&self) -> &'static str {
        match self {
            Self::gate_benchmark_complete => "benchmark-complete",
            Self::gate_cargo_clippy_clean => "cargo-clippy-clean",
            Self::gate_compilation_passes => "compilation-passes",
            Self::gate_docs_complete => "docs-complete",
            Self::gate_projection_complete => "projection-complete",
            Self::gate_schema_valid => "schema-valid",
            Self::gate_test_suite_passes => "test-suite-passes",
            Self::gate_wasm_compiles => "wasm-compiles",
        }
    }

    pub fn pipeline_order() -> &'static [Self] {
        &[
            Self::gate_benchmark_complete,
            Self::gate_cargo_clippy_clean,
            Self::gate_compilation_passes,
            Self::gate_docs_complete,
            Self::gate_projection_complete,
            Self::gate_schema_valid,
            Self::gate_test_suite_passes,
            Self::gate_wasm_compiles,
        ]
    }
}

impl fmt::Display for ProofGate {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        write!(f, "{}", self.label())
    }
}