assura-types 0.4.3

Type checking for the Assura contract language
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79

//! Analysis pass checker structs.
//!
//! See [`CHECKER-LAYERS.md`](../CHECKER-LAYERS.md) for how `checkers/`,
//! `checks/`, and `domain/` relate.

use std::collections::HashMap;
use std::ops::Range;

use assura_parser::ast::{
    BinOp, ClauseKind, Decl, Expr, ExprVisitor, Literal, ServiceItem, SpExpr, UnaryOp,
};

use crate::{Type, TypeEnv, TypeError};

/// Unified error type for all checker structs. All 16 previous per-checker
/// error types (TypestateError, EffectError, MemoryError, etc.) are now
/// type aliases for this single struct.
#[derive(Debug, Clone)]
pub(crate) struct CheckerError {
    pub code: assura_diagnostics::ErrorCode,
    pub message: String,
    pub span: Range<usize>,
}

impl CheckerError {
    /// Enrich the error message with a prefix while preserving all other fields.
    pub fn with_context(self, context: &str) -> Self {
        Self {
            message: format!("{context}: {}", self.message),
            ..self
        }
    }
}

impl From<CheckerError> for TypeError {
    fn from(e: CheckerError) -> Self {
        TypeError {
            code: e.code,
            message: e.message,
            span: e.span,
            secondary: None,
            suggestion: None,
        }
    }
}

mod effects;
mod error_propagation;
mod ffi;
mod fixed_width;
mod frame;
mod info_flow;
mod interface;
mod linear;
mod memory;
mod security;
mod taint;
mod totality;
mod typestate;

pub(crate) use effects::*;
pub(crate) use error_propagation::*;
pub(crate) use ffi::*;
pub(crate) use fixed_width::*;
pub(crate) use frame::*;
pub(crate) use info_flow::*;
pub(crate) use interface::*;
pub(crate) use linear::*;
pub(crate) use memory::*;
pub(crate) use security::*;
pub(crate) use taint::*;
pub(crate) use totality::*;
pub(crate) use typestate::*;

// Re-export items that are used by external crates
pub use error_propagation::FrameChecker;
pub use memory::expr_references_var;
pub use taint::TaintLabel;
pub use totality::PendingDecreaseCheck;