opencrbasic 1.0.0__py3-none-any.whl

opencrbasic/data/terminals.json

@@ -0,0 +1,195 @@
+{
+ "channels": {
+  "u_terminal": {
+   "ranges": [[201, 212]],
+   "transform": "none",
+   "skip_nonpositive": false,
+   "message": "Invalid channel {v}, must use U1..U12."
+  },
+  "u_terminal_se": {
+   "ranges": [[201, 212]],
+   "span": {"message": "Channel {v} exceeds number of valid channels.", "shift": -200, "start_upper": false},
+   "transform": "abs",
+   "skip_nonpositive": false,
+   "message": "Invalid channel {v}, must use U1..U12."
+  },
+  "u_terminal_diff": {
+   "ranges": [[201, 212]],
+   "span": {"message": "Channel {v} exceeds number of valid channels.", "shift": -200, "start_upper": false, "step": 2},
+   "transform": "abs",
+   "skip_nonpositive": false,
+   "message": "Invalid channel {v}, must use U1..U12.",
+   "odd_only": true,
+   "odd_message": "Invalid start channel for Differential Measurement. Must be U1, U3, U5 ..."
+  },
+  "excite_channel": {
+   "ranges": [[201, 212]],
+   "transform": "none",
+   "skip_nonpositive": false,
+   "message": "Invalid Excitation channel (must be U1-U12)."
+  },
+  "port_c1c4_u1u12": {
+   "ranges": [[101, 116], [201, 212]],
+   "port_wrap": true,
+   "transform": "none",
+   "skip_nonpositive": false,
+   "message": "Invalid port {v}, use C1..C4 or U1..U12.",
+   "string_int_min": true
+  },
+  "sdi_port": {
+   "ranges": [[101, 103], [201, 211]],
+   "transform": "none",
+   "skip_nonpositive": false,
+   "odd_only": true,
+   "message": "Invalid SDI-12 port, must be C1,C3 or U1,U3...U11",
+   "string_int_min": true,
+   "odd_message": "Invalid SDI-12 port, must be C1,C3 or U1,U3...U11"
+  },
+  "i2c_port": {
+   "ranges": [[101, 116], [201, 212]],
+   "transform": "none",
+   "skip_nonpositive": false,
+   "message": "Invalid port {v}, use C1..C4 or U1..U12.",
+   "odd_only": true,
+   "odd_message": "I2C port must be 1,3,5,7..."
+  },
+  "spi_port": {
+   "ranges": [[101, 116], [201, 212]],
+   "transform": "none",
+   "skip_nonpositive": false,
+   "message": "Invalid port {v}, use C1..C4 or U1..U12.",
+   "allowed": [101, 105, 109, 113, 201, 205, 209],
+   "allowed_message": "SPI Port must be C1, U1, U5, or U9.",
+   "string_int_min": true
+  },
+  "timer_port": {
+   "ranges": [[101, 116], [201, 212]],
+   "transform": "none",
+   "skip_nonpositive": false,
+   "message": "Invalid port {v}, use C1..C4 or U1..U12.",
+   "allowed": [101, 105, 201],
+   "allowed_message": "TimerInput starting channel must be C1 or U1."
+  }
+ },
+ "instructions": {
+  "TCDIFF": [
+   [4, "u_terminal_diff", 2]
+  ],
+  "TCSE": [
+   [4, "u_terminal_se", 2]
+  ],
+  "VOLTSE": [
+   [4, "u_terminal_se", 2]
+  ],
+  "VOLTDIFF": [
+   [4, "u_terminal_diff", 2]
+  ],
+  "BRHALF": [
+   [4, "u_terminal_se", 2]
+  ],
+  "BRHALF3W": [
+   [4, "u_terminal_se", 2, 2]
+  ],
+  "BRFULL": [
+   [4, "u_terminal_diff", 2]
+  ],
+  "BRHALF4W": [
+   [5, "u_terminal_diff", 2, 2]
+  ],
+  "BRFULL6W": [
+   [5, "u_terminal_diff", 2, 2]
+  ],
+  "THERM107": [
+   [3, "u_terminal_se", 2]
+  ],
+  "THERM108": [
+   [3, "u_terminal_se", 2]
+  ],
+  "THERM109": [
+   [3, "u_terminal_se", 2]
+  ],
+  "ACPOWER": [
+   [4, "u_terminal"],
+   [7, "u_terminal"]
+  ],
+  "CS616": [
+   [3, "u_terminal"],
+   [4, "port_c1c4_u1u12"]
+  ],
+  "EXCITEV": [
+   [1, "u_terminal"],
+   [1, "excite_channel"]
+  ],
+  "EXCITEI": [
+   [1, "u_terminal"],
+   [1, "excite_channel"]
+  ],
+  "PORTSET": [
+   [1, "port_c1c4_u1u12"]
+  ],
+  "PORTGET": [
+   [2, "port_c1c4_u1u12"]
+  ],
+  "SDI12RECORDER": [
+   [2, "sdi_port"]
+  ],
+  "AM25T": [
+   [5, "u_terminal_diff"],
+   [8, "port_c1c4_u1u12"],
+   [9, "port_c1c4_u1u12"],
+   [10, "u_terminal"]
+  ],
+  "I2COPEN": [
+   [1, "i2c_port"]
+  ],
+  "I2CREAD": [
+   [1, "i2c_port"]
+  ],
+  "I2CWRITE": [
+   [1, "i2c_port"]
+  ],
+  "MUXSELECT": [
+   [1, "port_c1c4_u1u12"],
+   [2, "port_c1c4_u1u12"]
+  ],
+  "PWM": [
+   [2, "port_c1c4_u1u12"]
+  ],
+  "PORTPAIRCONFIG": [
+   [1, "port_c1c4_u1u12"]
+  ],
+  "PULSEPORT": [
+   [1, "port_c1c4_u1u12"]
+  ],
+  "PULSECOUNT": [
+   [3, "port_c1c4_u1u12"]
+  ],
+  "QUADRATURE": [
+   [2, "port_c1c4_u1u12"]
+  ],
+  "SPIOPEN": [
+   [1, "spi_port"]
+  ],
+  "SPIREAD": [
+   [1, "spi_port"]
+  ],
+  "SPIWRITE": [
+   [1, "spi_port"]
+  ],
+  "TIMERINPUT": [
+   [2, "timer_port"]
+  ],
+  "WAITDIGTRIG": [
+   [1, "port_c1c4_u1u12"]
+  ],
+  "CWB100RSSI": [
+   [1, "sdi_port"]
+  ],
+  "CWB100DIAGNOSTICS": [
+   [1, "sdi_port"]
+  ],
+  "SDI12SENSORSETUP": [
+   [2, "sdi_port"]
+  ]
+ }
+}

opencrbasic/data/type_codes.json

@@ -0,0 +1,249 @@
+{
+  "1": {
+    "kind": "const_expr",
+    "desc": "Compile-time constant numeric expression: named constant fast-path or a full folded expression (literals, Consts, predefined symbols, arithmetic); a quoted numeric string is also accepted; rejects a live variable."
+  },
+  "2": {
+    "kind": "expr",
+    "desc": "General runtime expression or value; may be a variable, literal, or arithmetic expression; no compile-time type check."
+  },
+  "3": {
+    "kind": "for_header",
+    "desc": "FOR loop header: Var = start TO end [STEP step], parsed as one unit (4 words: variable, start, end, step)."
+  },
+  "4": {
+    "kind": "const_int_kw",
+    "desc": "Constant integer/keyword, tolerant of being absent at end of line (e.g. Do/Loop/Else's optional While/Until marker); when absent, all remaining codes for the instruction are silently defaulted."
+  },
+  "5": {
+    "kind": "const_expr_only",
+    "desc": "Compile-time constant only; always rejects a variable reference (paired with 38, the time-unit-scaled variant)."
+  },
+  "6": {
+    "kind": "identifier",
+    "desc": "A name token whose meaning is instruction-specific (Sub name, table name, or a Var=UnitString pair for Units); captured as raw text and interpreted/validated later, not compiled here."
+  },
+  "7": {
+    "kind": "bool_expr",
+    "desc": "General expression used as a condition (If/While/Select/Case); no compile-time type restriction."
+  },
+  "8": {
+    "kind": "variable_or_array",
+    "desc": "Destination variable or array (no index required); accepts a promotable expression but rejects a bare literal."
+  },
+  "9": {
+    "kind": "var_decl",
+    "desc": "Dim variable declaration: Name[(dims)] [As Type] [= init | {init,...}]."
+  },
+  "10": {
+    "kind": "var_decl",
+    "desc": "Public variable declaration; identical parser to code 9."
+  },
+  "11": {
+    "kind": "deferred_text",
+    "desc": "Raw expression text captured verbatim for later compilation (DataTable statistics function Source parameters); no type/constancy check at this layer."
+  },
+  "12": {
+    "kind": "sub_params",
+    "desc": "Sub parameter-list declaration; enforces OPTIONAL/required ordering and initializer rules."
+  },
+  "13": {
+    "kind": "expr_list",
+    "desc": "Comma-separated list of general expressions up to a closing ')' (Call's argument list)."
+  },
+  "14": {
+    "kind": "none",
+    "desc": "No argument (EndSub/EndFunction)."
+  },
+  "15": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction; real switch case exists in the decompiled parser but is unreachable from instructions.json."
+  },
+  "16": {
+    "kind": "end_exit_kw",
+    "desc": "End/Exit's optional target keyword (Prog/Sub/Function/...); absent is valid."
+  },
+  "17": {
+    "kind": "next_kw",
+    "desc": "NEXT's optional trailing keyword (Scan or SubScan); an unrecognised token is silently treated as absent."
+  },
+  "18": {
+    "kind": "raw_line_text",
+    "desc": "Rest-of-line text captured verbatim (MenuPick's menu label)."
+  },
+  "19": {
+    "kind": "const_int_kw",
+    "desc": "Constant integer/keyword (e.g. bridge RevEx flag); failure to resolve is silently ignored rather than reported."
+  },
+  "20": {
+    "kind": "datatype_kw",
+    "desc": "Data-type/range/units keyword, constant-only, validated against a per-instruction allowed set."
+  },
+  "21": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction."
+  },
+  "22": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction."
+  },
+  "23": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction (shares a no-op goto with used code 32)."
+  },
+  "24": {
+    "kind": "expr",
+    "desc": "General expression/value (shares a handler with 40, without 40's extra output-marking flag)."
+  },
+  "25": {
+    "kind": "expr",
+    "desc": "General runtime expression/value; second most common code; a non-constant argument here is one of the documented triggers for forcing Sequential mode (docs/modes.md)."
+  },
+  "26": {
+    "kind": "expr_or_name",
+    "desc": "General expression/reference, flagged variant of 25, used where the token may need to resolve against a different namespace (e.g. table/module name)."
+  },
+  "27": {
+    "kind": "variable_or_array",
+    "desc": "Variable/array reference, array-checked like 8/29; oracle testing showed it rejects a table name and accepts a plain variable."
+  },
+  "28": {
+    "kind": "expr",
+    "desc": "General expression/value (shares a handler with 2/27); accepts a variable syntactically even where the consuming instruction then imposes its own stricter constant-only rule."
+  },
+  "29": {
+    "kind": "variable_or_array",
+    "desc": "Destination variable/array, array-checked; stricter sibling of code 8."
+  },
+  "30": {
+    "kind": "expr_pair",
+    "desc": "Two words per argument: an internal word followed by the value (VoiceSpeak only); purpose of the extra word not fully determined."
+  },
+  "31": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction; real switch case exists (constant-only expression with a 'Parameter %s must be a constant.' check) but unreachable from instructions.json."
+  },
+  "32": {
+    "kind": "none",
+    "desc": "No-op marker: consumes no argument text (RainFlowSample's first parameter)."
+  },
+  "33": {
+    "kind": "variable_or_array",
+    "desc": "Variable/array reference, array-checked, with an extra 2-word allowance when a string/array-length flag is set."
+  },
+  "34": {
+    "kind": "expr_typed",
+    "desc": "Return's expression; accepted shape depends on the enclosing Function's declared return type."
+  },
+  "35": {
+    "kind": "sub_params",
+    "desc": "Function parameter-list declaration; identical parser to code 12."
+  },
+  "36": {
+    "kind": "none",
+    "desc": "No argument; EndSelect only."
+  },
+  "37": {
+    "kind": "expr_marker",
+    "desc": "ConstTable's optional table-name argument; presence is checked but the text itself is not stored (0 words) - only ever used as its optional form, 137."
+  },
+  "38": {
+    "kind": "const_expr_only",
+    "desc": "Paired, unit-scaled sibling of code 5 (rounds by a stored time-unit divisor after parsing)."
+  },
+  "39": {
+    "kind": "const_expr",
+    "desc": "Paired sibling of code 1 with an extra rounding step against a stored time-unit divisor (e.g. Scan's Units parameter)."
+  },
+  "40": {
+    "kind": "expr",
+    "desc": "General expression/value (shares a handler with 24); additionally sets an internal output/disable-reference flag."
+  },
+  "41": {
+    "kind": "variable_or_array",
+    "desc": "Variable/array reference (Move's Dest); shares flags with 27/28's handler family."
+  },
+  "42": {
+    "kind": "expr_special",
+    "desc": "Variant of the general expression handler with extra auto-temp-variable machinery specific to VibratingWire."
+  },
+  "43": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction."
+  },
+  "44": {
+    "kind": "unused",
+    "desc": "Not emitted by any CR6 instruction."
+  },
+  "45": {
+    "kind": "type_name",
+    "desc": "StructureType/ObjectType name declaration; registers a new named type context, rejects nesting."
+  },
+  "46": {
+    "kind": "none",
+    "desc": "Closes a structure/object type context (EndStructureType/EndObjectType)."
+  },
+  "47": {
+    "kind": "variable_or_array",
+    "desc": "Variable/array reference, array-checked (flags 0x200)."
+  },
+  "48": {
+    "kind": "variable_or_array",
+    "desc": "Variable/array reference, array-checked (flags 0x4000); only ever used as its optional form, 148."
+  },
+  "101": {
+    "kind": "const_expr",
+    "desc": "Optional Mask/Interval-style constant (e.g. WriteIO's, ExciteV's trailing constant); still rejects a variable once present.",
+    "optional_of": 1
+  },
+  "105": {
+    "kind": "const_expr_only",
+    "desc": "Optional constant-only value (e.g. Thermistor/VibratingWire trailing settling/multiplier constants).",
+    "optional_of": 5
+  },
+  "108": {
+    "kind": "variable_or_array",
+    "desc": "Optional constant/keyword (e.g. SlowSequence's, Calibrate's trailing option).",
+    "optional_of": 8
+  },
+  "120": {
+    "kind": "datatype_kw",
+    "desc": "Optional data-type/units keyword (VibratingWire).",
+    "optional_of": 20
+  },
+  "124": {
+    "kind": "expr",
+    "desc": "Optional general expression (AvgRun/TotalRun/StdDevRun's Count parameter).",
+    "optional_of": 24
+  },
+  "125": {
+    "kind": "expr",
+    "desc": "Optional general expression (AvgRun/TotalRun/StdDevRun's RunReset/TotalCalls/Call_ID parameters); confirmed to accept a variable, a literal, or omission.",
+    "optional_of": 25
+  },
+  "126": {
+    "kind": "expr_or_name",
+    "desc": "Optional expression/reference (SDI12SensorSetup, FieldClassify, MQTTPublishMeta).",
+    "optional_of": 26
+  },
+  "127": {
+    "kind": "variable_or_array",
+    "desc": "Optional expression/reference (GPS, ModBus family, GetDataRecord).",
+    "optional_of": 27
+  },
+  "129": {
+    "kind": "variable_or_array",
+    "desc": "Optional expression/reference (CDM_VW300Config trailing parameters).",
+    "optional_of": 29
+  },
+  "137": {
+    "kind": "expr_marker",
+    "desc": "Optional identifier (ConstTable's table name); presence-only, no text stored.",
+    "optional_of": 37
+  },
+  "148": {
+    "kind": "variable_or_array",
+    "desc": "Optional variable/array reference (MQTTPublishTable's trailing fields).",
+    "optional_of": 48
+  }
+}

opencrbasic/diagnostics.py

@@ -0,0 +1,196 @@
+"""Diagnostics in CR6Comp.exe's format.
+
+CR6Comp prints errors as `line N: <message>` and warnings as `Warning: <message>`; the message
+texts mirror the exe's format strings (docs/messages.tsv). Line numbers are per-file, not
+translated to the site of the `Include`/`IncludeSection` call that pulled the code in
+(`source.py`'s own docstring, oracle-confirmed).
+
+**File-origin prefix** (`docs/checker.md` "Errors from an included file" and "Prefix by message
+kind in an included file"): an *error* whose statement came from a file other than the main program
+is printed as `<file> line N: <message>`, the included file's own name in angle brackets before the
+usual `line N:`, when the real compiler emits it while reading the file. Messages it emits after the
+file was closed carry none: `_DEFERRED` below (message families) and `Diagnostic.show_file` (call
+sites: False never, "cr3xx" only on CR300/CR350).
+Warnings are untested against this rule and are left unprefixed (`cr6comp` only applies it to
+errors) rather than guessed at.
+"""
+
+import re
+from dataclasses import dataclass, field
+
+from .provenance import LoadProvenance
+
+_DRIVE_RE = re.compile(r"^(CPU|USR|CRD|USB):", re.IGNORECASE)
+
+# Messages the real compiler reports after the included file was closed (block pairing, placement
+# before `BeginProg`, table/scan/array checks run after the read loop): they never carry the
+# `<file>` prefix when the file has no `BeginProg` of its own (and print a garbled name when it
+# has, not modelled). Observed per logger family on corpus programs split around `BeginProg`
+# (`docs/checker.md` "Prefix by message kind"); a family with any prefixed observation is absent.
+_DEFERRED_COMMON = (
+    r".+ illegally occurs before BeginProg\.$",
+    r"Could not find ",
+    r"Cannot find DataTable",
+    r"Cannot autoallocate memory for DataTable",
+    r"Duplicate Sub ",
+    r"EndTable without DataTable",
+    r"Table \S+ declared with no output fields",
+    r"Table with DataInterval must be called",
+    r"Sample must be used inside a table",
+    r"Illegal Matrix",
+    r"END IF without IF",
+    r"Else with no If",
+    r"LOOP without DO",
+    r"EndSub without Sub",
+    r"NEXT without FOR",
+    r"NextScan with no Scan",
+    r"Scan without NextScan",
+    r"Missing NextScan",
+    r"FOR NEXT statement illegally has",
+    r"IF or SELECT statement illegally has",
+    r"LOOP statement illegally has",
+    r"Variable .* out of bounds",
+    r"FileManage ",
+    r"Out of memory\.",
+    r"Illegal Semaphore",
+)
+_DEFERRED_PATTERNS = {
+    False: _DEFERRED_COMMON
+    + (  # CR6 / CR1000X
+        r"Case with no Select",
+        r"Next SubScan without SubScan",
+        r"Delay not allowed outside",
+        r"Scan \S+ invalid",
+        r"Scan interval too short",
+        r"Scan (Interval|BufferOption|Count) parameter",
+        r"Slow Scan interval",
+        r"MenuRecompile must be used",
+        r"MenuPick must",
+        r"EndMenu must be used",
+        r"Invalid channel ",
+        r"Invalid port ",
+        r"Invalid reps ",
+        r"Invalid SDM Address",
+        r"Illegal table name",
+        r"Table name .* illegal",
+        r"DataTable name .* too long",
+        r"DNP Variable must be",
+        r"Can't assign units to",
+        r"\S+ already assigned Units",
+        r"PanelTemp channel out of range",
+        r"Input channel",
+        r"Reps cycle input",
+        r"SPIOpen must precede",
+        r"Illegal PakBus address",
+        r"Insufficient ",
+        r"CPI Address must",
+        r"Bridge parameter must",
+        r"Optional Count parameter",
+        r"Source and Dest types",
+        r"Unable to find Dest",
+        r"multiply result illegal",
+        r"Destination variable must",
+        r"Legal configuration is",
+        r"Sig\d+ must be of length",
+        r"Number of bytes ",
+        r"number of averages ",
+        r"SampleFieldCal with no FieldCal",
+        r"CDM_PulsePort instruction not supported",
+        r"CH\d+Status update interval",
+        r".+ is not a Settings Field Name",
+        r"GoesTable not active",
+        r"Missing DialSequence",
+        r"Boolean picklist must",
+        r"\S+ must be declared as a integer Const",
+        r"If source and destination are of type STRING",
+        r"DataInterval TintoInt",
+        r"Multiple BeginProgs",
+        r"Sub .* EndSub not matched",
+        r"IF or SELECT without EndIf",
+    ),
+    True: _DEFERRED_COMMON
+    + (  # CR300 / CR350
+        r"FOR without NEXT",
+        r"Scans > ",
+        r"DNP\d+Statics and/or",
+        r"Destination variable cannot",
+        r"Illegal option",
+        r"Illegal dimension",
+        r"Illegal message type",
+        r"Only one DataInterval allowed",
+        r"Settling time ",
+        r"\S+ must be of length",
+        r"Invalid drive or no drive",
+        r"Invalid file type option",
+        r"\S+ is not a Status or Settings Field Name",
+        r"DataTable name .* too long",
+    ),
+}
+_DEFERRED = {k: re.compile("|".join(f"(?:{p})" for p in v)) for k, v in _DEFERRED_PATTERNS.items()}
+
+
+@dataclass(frozen=True)
+class Diagnostic:
+    severity: str  # "error" or "warning"
+    line: int  # 0 when the message has no line (e.g. "No BeginProg in Program.")
+    message: str  # without the "line N: " / "Warning: " prefix
+    file: str = ""  # originating file, for our own richer output
+    show_file: bool | str = True  # whether an origin outside `main_file` gets a `<file>` prefix:
+    # True always, False never, "cr3xx" only on CR300/CR350 (pass-2 on CR6/CR1000X, pass-1 there);
+    # see this module's docstring.
+    cascade: bool = True  # CR300/CR350: may start the `Too many parameters` cascade (`cr3xx`)
+    trigger: bool = field(default=False, compare=False)  # starts it whatever the message (`cr3xx`)
+    stmt: int = field(default=0, compare=False)  # id() of the statement that raised it, when tagged
+
+    def cr6comp(self, main_file: str = "", drive_prefix: bool = False) -> str:
+        if self.severity == "warning":
+            # A warning with a real line (`checker/warnings.py`'s ungated reachability/background-
+            # calibration/fnotch checks) is prefixed `line N: `, same as an error (oracle:
+            # `docs/instructions.md`, e.g. `line 6: Warning: Delay never reached at run time.`); one
+            # with no line (the pre-existing "table declared but never called" check, `diags.warning
+            # (0, ...)`) stays bare (oracle: `Warning: Table Foo, is declared but never called.`,
+            # no `line N:` at all). The `<file>` include prefix is left untested for warnings, as
+            # before (see this module's docstring).
+            if self.line:
+                return f"line {self.line}: Warning: {self.message}"
+            return f"Warning: {self.message}"
+        if not self.line:
+            return self.message
+        prefix = ""
+        name = _DRIVE_RE.sub("", self.file or "")
+        show = self.show_file
+        if show == "cr3xx":
+            show = drive_prefix
+        if show and _DEFERRED[drive_prefix].match(self.message):
+            show = False
+        if show and name and (name.lower() != main_file.lower() or _DRIVE_RE.match(self.file)):
+            # An included file prints as written in its `Include`: CR6/CR1000X without the drive
+            # (`<lib.CRB>` for `"cpu:lib.CRB"`), CR300/CR350 with it, `cpu:` added when none was
+            # written (`<cpu:Lib.crb>`) -- oracle, 2026-09-27, `docs/loggers.md`.
+            if drive_prefix:
+                name = self.file if _DRIVE_RE.match(self.file) else f"cpu:{self.file}"
+            prefix = f"<{name}> "
+        return f"{prefix}line {self.line}: {self.message}"
+
+
+@dataclass
+class Diagnostics(LoadProvenance):
+    items: list[Diagnostic] = field(default_factory=list)
+    cascade_gone: set[str] = field(default_factory=set)  # CR300/CR350 names a declaration cascade left unregistered
+
+    def error(self, line: int, message: str, file: str = "", show_file: bool | str = True, stmt: object = None) -> None:
+        self.items.append(Diagnostic("error", line, message, file, show_file, stmt=id(stmt) if stmt else 0))
+
+    def warning(self, line: int, message: str, file: str = "") -> None:
+        self.items.append(Diagnostic("warning", line, message, file))
+
+    @property
+    def errors(self) -> list[Diagnostic]:
+        return [d for d in self.items if d.severity == "error"]
+
+    @property
+    def warnings(self) -> list[Diagnostic]:
+        return [d for d in self.items if d.severity == "warning"]
+
+    def __bool__(self) -> bool:
+        return bool(self.errors)