telltale-language 7.0.0

Shared choreography frontend for Telltale DSL parsing, projection, and macro code generation
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

// Validation error types

/// Choreography validation errors
#[derive(Debug, Clone, thiserror::Error)]
pub enum ValidationError {
    #[error("Role {0} not declared in choreography")]
    UndefinedRole(String),

    #[error("Recursive variable {0} not bound")]
    UnboundVariable(String),

    #[error("Choice role {0} must be sender in all branches")]
    InvalidChoice(String),

    #[error("Deadlock detected in protocol")]
    Deadlock,

    #[error("Role {0} is not used in protocol")]
    UnusedRole(String),

    #[error("Extension error: {0}")]
    ExtensionError(String),

    #[error("Duplicate proof bundle declaration: {0}")]
    DuplicateProofBundle(String),

    #[error("Required proof bundle is not declared: {0}")]
    MissingProofBundle(String),

    #[error(
        "ProtocolMachine-core operation requires capability not covered by required bundles: {0}"
    )]
    MissingCapability(String),
}