pnets 0.1.3

A framework for Petri net manipulation
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

use std::error::Error;
use std::fmt;
use std::fmt::Formatter;

use crate::{arc, PlaceId, TransitionId};

/// Errors generated when manipulating a Petri net
#[derive(Debug)]
pub enum NetError {
    /// There is at least one cyclic priority (t1 > t0 > t1 for example)
    CyclicPriorities,
    /// There is an invalid time range in the network
    InvalidTimeRange,
    /// This kind of arc is not supported in ths version of the crate
    UnsupportedArc(arc::Kind),
    /// This transition id is invalid
    InvalidTransition(TransitionId),
    /// This place id is invalid
    InvalidPlace(PlaceId),
    /// There is a duplicated name in the network
    DuplicatedName(String),
    /// This identifier is not found in the network
    UnknownIdentifier(String),
    /// This network contains an invalid arc (place to place, transition to transition, ...)
    InvalidArc,
}

impl fmt::Display for NetError {
    fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
        match self {
            NetError::CyclicPriorities => write!(f, "Cyclic priorities in Petri net"),
            NetError::InvalidTimeRange => write!(f, "Invalid time range found"),
            NetError::UnsupportedArc(arc) => {
                write!(f, "Unsupported arc {}", arc)
            }
            NetError::InvalidTransition(tr) => write!(f, "Invalid transition id {}", tr),
            NetError::InvalidPlace(pl) => write!(f, "Invalid place id {}", pl),
            NetError::DuplicatedName(name) => write!(
                f,
                "You try to create duplicated name in the network: {}",
                name
            ),
            NetError::UnknownIdentifier(identifier) => {
                write!(f, "Identifier {} not found in the network.", identifier)
            }
            NetError::InvalidArc => {
                write!(f, "Invalid arc in the network")
            }
        }
    }
}

impl Error for NetError {}