primate 0.3.1

A small DSL for cross-language constants. Write once, generate typed Rust, TypeScript, and Python.
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
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169

//! Diagnostic reporting for errors, warnings, and info messages
//!
//! Target-aware diagnostics system that considers configured outputs.

use crate::ir::SourceLocation;
use serde::{Deserialize, Serialize};

/// Diagnostic severity level
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "lowercase")]
pub enum Severity {
    Error,
    Warning,
    Info,
}

/// A diagnostic message
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct Diagnostic {
    /// Source file path
    pub file: String,

    /// Line number (1-indexed)
    pub line: u32,

    /// Column number (1-indexed)
    pub column: u32,

    /// Length of the range (in characters)
    #[serde(default)]
    pub length: Option<u32>,

    /// Severity level
    pub severity: Severity,

    /// Diagnostic code (e.g., "js-unsafe-integer")
    pub code: String,

    /// Human-readable message
    pub message: String,

    /// Target languages this diagnostic applies to (empty = all)
    // r[impl diag.warn.target-aware]
    #[serde(default, skip_serializing_if = "Vec::is_empty")]
    pub targets: Vec<String>,
}

impl Diagnostic {
    /// Create a new error diagnostic
    pub fn error(source: &SourceLocation, code: &str, message: String) -> Self {
        Self {
            file: source.file.clone(),
            line: source.line,
            column: source.column,
            length: source.length,
            severity: Severity::Error,
            code: code.to_string(),
            message,
            targets: vec![],
        }
    }

    /// Create a new warning diagnostic
    pub fn warning(source: &SourceLocation, code: &str, message: String) -> Self {
        Self {
            file: source.file.clone(),
            line: source.line,
            column: source.column,
            length: source.length,
            severity: Severity::Warning,
            code: code.to_string(),
            message,
            targets: vec![],
        }
    }

    /// Create a new info diagnostic
    pub fn info(source: &SourceLocation, code: &str, message: String) -> Self {
        Self {
            file: source.file.clone(),
            line: source.line,
            column: source.column,
            length: source.length,
            severity: Severity::Info,
            code: code.to_string(),
            message,
            targets: vec![],
        }
    }

    /// Set target languages for this diagnostic
    pub fn with_targets(mut self, targets: Vec<String>) -> Self {
        self.targets = targets;
        self
    }
}

/// Collection of diagnostics
#[derive(Debug, Default, Serialize, Deserialize)]
pub struct Diagnostics {
    pub diagnostics: Vec<Diagnostic>,
}

impl Diagnostics {
    /// Create new empty diagnostics
    pub fn new() -> Self {
        Self::default()
    }

    /// Add a diagnostic
    pub fn add(&mut self, diagnostic: Diagnostic) {
        self.diagnostics.push(diagnostic);
    }

    /// Check if there are any errors
    pub fn has_errors(&self) -> bool {
        self.diagnostics
            .iter()
            .any(|d| d.severity == Severity::Error)
    }

    /// Filter diagnostics by target
    pub fn for_target(&self, target: &str) -> Vec<&Diagnostic> {
        self.diagnostics
            .iter()
            .filter(|d| d.targets.is_empty() || d.targets.contains(&target.to_string()))
            .collect()
    }
}

// Diagnostic code constants

// Errors
// r[impl diag.error.unknown-type]
pub const ERR_UNKNOWN_TYPE: &str = "unknown-type";
// r[impl diag.error.parse-failure]
pub const ERR_PARSE_FAILURE: &str = "parse-failure";
// r[impl diag.error.duplicate-name]
pub const ERR_DUPLICATE_NAME: &str = "duplicate-name";
// r[impl diag.error.invalid-identifier]
pub const ERR_INVALID_IDENTIFIER: &str = "invalid-identifier";
// r[impl diag.error.type-mismatch]
pub const ERR_TYPE_MISMATCH: &str = "type-mismatch";
// r[impl diag.error.naming-convention]
pub const ERR_NAMING_CONVENTION: &str = "naming-convention";
// r[impl diag.error.enum-variant]
pub const ERR_INVALID_ENUM_VARIANT: &str = "invalid-enum-variant";
// r[impl diag.error.overflow]
pub const ERR_OVERFLOW: &str = "overflow";
// r[impl diag.error.byte-overflow]
pub const ERR_BYTE_OVERFLOW: &str = "byte-overflow";
// r[impl diag.error.circular-namespace]
pub const ERR_CIRCULAR_NAMESPACE: &str = "circular-namespace";

// Warnings
// r[impl diag.warn.unsafe-integer]
pub const WARN_UNSAFE_INTEGER: &str = "js-unsafe-integer";
// r[impl diag.warn.duration-precision]
pub const WARN_DURATION_PRECISION: &str = "duration-precision";
// r[impl diag.warn.keyword-collision]
pub const WARN_KEYWORD_COLLISION: &str = "keyword-collision";
// r[impl diag.warn.unused-namespace]
pub const WARN_UNUSED_NAMESPACE: &str = "unused-namespace";

// Info
// r[impl diag.info.deprecated]
pub const INFO_DEPRECATED: &str = "deprecated";
// r[impl diag.info.style]
pub const INFO_STYLE: &str = "style";