uni-locy 1.1.0

Locy compiler: validates and stratifies Locy programs
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

use std::time::Duration;

use thiserror::Error;

#[derive(Debug, Error, Clone, PartialEq)]
pub enum LocyError {
    #[error("max iterations ({max}) exceeded for stratum {stratum_id} (rules: {rules})")]
    MaxIterationsExceeded {
        max: usize,
        stratum_id: usize,
        rules: String,
    },

    #[error("evaluation timeout: {elapsed:?} exceeded limit of {limit:?}")]
    Timeout { elapsed: Duration, limit: Duration },

    #[error("MSUM negative value in rule '{rule}', fold '{fold}': {value}")]
    MsumNegativeValue {
        rule: String,
        fold: String,
        value: f64,
    },

    #[error("executor error: {message}")]
    ExecutorError { message: String },

    #[error("evaluation error: {message}")]
    EvaluationError { message: String },

    #[error("type error: {message}")]
    TypeError { message: String },

    #[error("savepoint failed: {message}")]
    SavepointFailed { message: String },

    #[error("query resolution error: {message}")]
    QueryResolutionError { message: String },

    #[error("abduction error: {message}")]
    AbductionError { message: String },
}