aprender-test-js-gen 0.31.2

NASA/DO-178B-grade Rust DSL for type-safe JavaScript 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
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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

//! Error types for `probar-js-gen`.
//!
//! # References
//! - DO-178C (2011) Section 6.3.4: Error handling requirements
//! - Leveson (2012) "Engineering a Safer World" - Fault tolerance patterns

use thiserror::Error;

/// Result type alias for js-gen operations.
pub type Result<T> = std::result::Result<T, JsGenError>;

/// Errors that can occur during JavaScript generation.
///
/// Each variant includes context for debugging while maintaining
/// type safety per DO-178C requirements.
#[derive(Debug, Error)]
pub enum JsGenError {
    /// Invalid identifier name (reserved word, invalid characters, etc.)
    #[error("Invalid identifier '{name}': {reason}")]
    InvalidIdentifier {
        /// The invalid identifier
        name: String,
        /// Why it's invalid
        reason: String,
    },

    /// Invalid string literal (unterminated, invalid escapes, etc.)
    #[error("Invalid string literal: {0}")]
    InvalidString(String),

    /// Code generation failed
    #[error("Code generation failed: {0}")]
    GenerationError(String),

    /// Validation failed
    #[error("Validation failed: {message}")]
    ValidationError {
        /// What validation failed
        message: String,
        /// Location in generated code (if available)
        location: Option<CodeLocation>,
    },

    /// Manifest verification failed (file was manually modified)
    #[error("Manifest verification failed for '{path}': {reason}")]
    ManifestError {
        /// Path to the file
        path: String,
        /// Why verification failed
        reason: String,
    },

    /// Hash mismatch (generated file was modified)
    #[error("Hash mismatch for '{path}': expected {expected}, got {actual}")]
    HashMismatch {
        /// Path to the file
        path: String,
        /// Expected hash
        expected: String,
        /// Actual hash
        actual: String,
    },

    /// IO error during file operations
    #[error("IO error: {0}")]
    Io(#[from] std::io::Error),

    /// JSON serialization/deserialization error
    #[error("JSON error: {0}")]
    Json(#[from] serde_json::Error),
}

/// Location in generated code for error reporting.
#[derive(Debug, Clone, PartialEq, Eq)]
pub struct CodeLocation {
    /// Line number (1-indexed)
    pub line: usize,
    /// Column number (1-indexed)
    pub column: usize,
}

impl std::fmt::Display for CodeLocation {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        write!(f, "line {}, column {}", self.line, self.column)
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn error_display_invalid_identifier() {
        let err = JsGenError::InvalidIdentifier {
            name: "class".to_string(),
            reason: "reserved word".to_string(),
        };
        assert_eq!(err.to_string(), "Invalid identifier 'class': reserved word");
    }

    #[test]
    fn error_display_hash_mismatch() {
        let err = JsGenError::HashMismatch {
            path: "worker.js".to_string(),
            expected: "abc123".to_string(),
            actual: "def456".to_string(),
        };
        assert!(err.to_string().contains("Hash mismatch"));
        assert!(err.to_string().contains("worker.js"));
    }

    #[test]
    fn code_location_display() {
        let loc = CodeLocation {
            line: 42,
            column: 10,
        };
        assert_eq!(loc.to_string(), "line 42, column 10");
    }
}