icl-core 0.1.4

Intent Contract Language (ICL) - Canonical runtime core library
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

//! Error types for ICL runtime
//!
//! All fallible operations return `Result<T, Error>`.
//! Error types provide context for diagnosis.

use std::fmt;

/// ICL runtime error types
#[derive(Debug, Clone)]
pub enum Error {
    /// Syntax or structure violation during parsing
    ParseError(String),

    /// Type mismatch in contract
    TypeError { expected: String, found: String },

    /// Non-deterministic behavior detected
    DeterminismViolation(String),

    /// Contract commitment or postcondition violated
    ContractViolation {
        commitment: String,
        violation: String,
    },

    /// Invariant or constraint validation failure
    ValidationError(String),

    /// Runtime execution failure
    ExecutionError(String),

    /// Normalization failure
    NormalizationError(String),
}

impl fmt::Display for Error {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        match self {
            Error::ParseError(msg) => write!(f, "Parse error: {}", msg),
            Error::TypeError { expected, found } => {
                write!(f, "Type mismatch: expected {}, found {}", expected, found)
            }
            Error::DeterminismViolation(msg) => write!(f, "Determinism violation: {}", msg),
            Error::ContractViolation {
                commitment,
                violation,
            } => {
                write!(f, "Contract violation - {}: {}", commitment, violation)
            }
            Error::ValidationError(msg) => write!(f, "Validation error: {}", msg),
            Error::ExecutionError(msg) => write!(f, "Execution error: {}", msg),
            Error::NormalizationError(msg) => write!(f, "Normalization error: {}", msg),
        }
    }
}

impl std::error::Error for Error {}

/// Result type alias for ICL operations
pub type Result<T> = std::result::Result<T, Error>;