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

use super::{Branch, NonEmptyVec, Protocol, Role, ValidationError};

fn is_declared_role(roles: &[Role], role: &Role) -> bool {
    roles.iter().any(|declared| role.matches_family(declared))
}

pub(super) fn ensure_declared_role(roles: &[Role], role: &Role) -> Result<(), ValidationError> {
    if is_declared_role(roles, role) {
        return Ok(());
    }
    Err(ValidationError::UndefinedRole(role.name().to_string()))
}

pub(super) fn validate_choice_branches(
    role: &Role,
    branches: &NonEmptyVec<Branch>,
) -> Result<(), ValidationError> {
    for branch in branches {
        if let Protocol::Send { from, .. } = &branch.protocol {
            if from == role {
                continue;
            }
        }
        return Err(ValidationError::InvalidChoice(role.name().to_string()));
    }
    Ok(())
}