Barmaja-PyArduino 2.0.0__py3-none-any.whl

Barmaja_PyArduino/api_registry.py

@@ -0,0 +1,459 @@
+from __future__ import annotations
+
+from dataclasses import dataclass
+from enum import Enum
+
+
+class ApiKind(Enum):
+    CONSTANT = "constant"
+    CORE_FUNCTION = "core_function"
+    HARDWARE_CLASS = "hardware_class"
+    SINGLETON = "singleton"
+
+
+@dataclass(frozen=True)
+class SignatureSpec:
+    """Declarative student-facing API signature.
+
+    Type tokens are intentionally backend/type-system neutral.  The type phase
+    maps these tokens to Barmaja types; board/range/lifecycle constraints are
+    interpreted by later target analysis.
+    """
+
+    args: tuple[str, ...]
+    returns: str
+    constraints: tuple[str, ...] = ()
+
+
+@dataclass(frozen=True)
+class MethodSpec:
+    name: str
+    signatures: tuple[SignatureSpec, ...]
+    lifecycle: str | None = None
+    resources: tuple[str, ...] = ()
+
+    @property
+    def arities(self) -> frozenset[int]:
+        return frozenset(len(sig.args) for sig in self.signatures)
+
+
+@dataclass(frozen=True)
+class FunctionSpec:
+    name: str
+    signatures: tuple[SignatureSpec, ...]
+    include: str | None = None
+    dependency_id: str | None = None
+    resources: tuple[str, ...] = ()
+
+    @property
+    def arities(self) -> frozenset[int]:
+        return frozenset(len(sig.args) for sig in self.signatures)
+
+
+@dataclass(frozen=True)
+class HardwareClassSpec:
+    name: str
+    constructors: tuple[SignatureSpec, ...]
+    methods: dict[str, MethodSpec]
+    includes: tuple[str, ...]
+    dependency_ids: tuple[str, ...]
+    resources: tuple[str, ...] = ()
+
+    @property
+    def constructor_arities(self) -> frozenset[int]:
+        return frozenset(len(sig.args) for sig in self.constructors)
+
+
+@dataclass(frozen=True)
+class SingletonSpec:
+    name: str
+    methods: dict[str, MethodSpec]
+    includes: tuple[str, ...] = ()
+    dependency_ids: tuple[str, ...] = ()
+    resources: tuple[str, ...] = ()
+
+
+@dataclass(frozen=True)
+class DependencySpec:
+    dependency_id: str
+    display_name: str
+    version: str
+    include: str | None
+    source_identity: str
+    transitive: tuple[str, ...] = ()
+
+
+CONSTANT_VALUES: dict[str, int] = {
+    "HIGH": 1,
+    "LOW": 0,
+    "INPUT": 0,
+    "OUTPUT": 1,
+    "INPUT_PULLUP": 2,
+    "A0": 14,
+    "A1": 15,
+    "A2": 16,
+    "A3": 17,
+    "A4": 18,
+    "A5": 19,
+    "DHT11": 11,
+    "DHT22": 22,
+    # Pinned Erick Simoes Ultrasonic 3.0.0 constants.
+    "CM": 28,
+    "INC": 71,
+}
+
+
+CORE_FUNCTIONS: dict[str, FunctionSpec] = {
+    "pinMode": FunctionSpec("pinMode", (SignatureSpec(("Int", "Int"), "Void", ("digital_pin", "pin_mode")),)),
+    "digitalWrite": FunctionSpec("digitalWrite", (SignatureSpec(("Int", "IntOrBool"), "Void", ("digital_pin", "digital_level")),)),
+    "digitalRead": FunctionSpec("digitalRead", (SignatureSpec(("Int",), "Int", ("digital_pin", "returns_low_high")),)),
+    "analogRead": FunctionSpec("analogRead", (SignatureSpec(("Int",), "Int", ("analog_pin", "range_0_1023")),)),
+    "analogWrite": FunctionSpec("analogWrite", (SignatureSpec(("Int", "Int"), "Void", ("pwm_pin", "range_0_255")),), resources=("pwm",)),
+    "delay": FunctionSpec("delay", (SignatureSpec(("Int",), "Void", ("non_negative",)),)),
+    "millis": FunctionSpec("millis", (SignatureSpec((), "TimeU32", ("wrap_u32",)),)),
+    # V1.1 Stage 1: Arduino built-ins, no third-party library required.
+    "tone": FunctionSpec("tone", (
+        SignatureSpec(("Int", "Int"), "Void", ("digital_pin", "tone_frequency")),
+        SignatureSpec(("Int", "Int", "Int"), "Void", ("digital_pin", "tone_frequency", "tone_duration")),
+    ), resources=("timer2",)),
+    "noTone": FunctionSpec("noTone", (SignatureSpec(("Int",), "Void", ("digital_pin",)),), resources=("timer2",)),
+    "micros": FunctionSpec("micros", (SignatureSpec((), "TimeU32", ("wrap_u32",)),)),
+    "delayMicroseconds": FunctionSpec("delayMicroseconds", (SignatureSpec(("Int",), "Void", ("range_0_16383",)),)),
+    "map": FunctionSpec("map", (SignatureSpec(("Int", "Int", "Int", "Int", "Int"), "Int", ("map_distinct_input_bounds",)),)),
+    "constrain": FunctionSpec("constrain", (SignatureSpec(("Int", "Int", "Int"), "Int", ("ordered_bounds",)),)),
+}
+
+
+HARDWARE_CLASSES: dict[str, HardwareClassSpec] = {
+    # V1.1 Stage 4: module-dependent, standalone only. The Uno R3 has no built-in radio/networking.
+    "BluetoothSerial": HardwareClassSpec(
+        "BluetoothSerial", (SignatureSpec(("Int", "Int"), "Hardware[BluetoothSerial]", ("digital_pin", "digital_pin")),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec(("Int",), "Void", ("positive_constant",)),)),
+            "listen": MethodSpec("listen", (SignatureSpec((), "Bool"),)),
+            "available": MethodSpec("available", (SignatureSpec((), "Int"),)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int"),)),
+            "write": MethodSpec("write", (SignatureSpec(("Int",), "Int", ("range_0_255",)),)),
+        }, includes=("Barmaja_BluetoothSerial.h",), dependency_ids=("barmaja-bluetooth-serial", "arduino-softwareserial-core"), resources=("softserial",),
+    ),
+    "MPU6050Sensor": HardwareClassSpec(
+        "MPU6050Sensor", (SignatureSpec((), "Hardware[MPU6050Sensor]"),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Bool"),)),
+            "update": MethodSpec("update", (SignatureSpec((), "Void"),)),
+            "angleX": MethodSpec("angleX", (SignatureSpec((), "Float"),)),
+            "angleY": MethodSpec("angleY", (SignatureSpec((), "Float"),)),
+            "angleZ": MethodSpec("angleZ", (SignatureSpec((), "Float"),)),
+            "accelX": MethodSpec("accelX", (SignatureSpec((), "Float"),)),
+            "accelY": MethodSpec("accelY", (SignatureSpec((), "Float"),)),
+            "accelZ": MethodSpec("accelZ", (SignatureSpec((), "Float"),)),
+            "gyroX": MethodSpec("gyroX", (SignatureSpec((), "Float"),)),
+            "gyroY": MethodSpec("gyroY", (SignatureSpec((), "Float"),)),
+            "gyroZ": MethodSpec("gyroZ", (SignatureSpec((), "Float"),)),
+        }, includes=("Barmaja_MPU6050Sensor.h",), dependency_ids=("barmaja-mpu6050-adapter", "rfetick-mpu6050-light"), resources=("i2c",),
+    ),
+    "GPSModule": HardwareClassSpec(
+        "GPSModule", (SignatureSpec(("Int", "Int"), "Hardware[GPSModule]", ("digital_pin", "digital_pin")),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec(("Int",), "Void", ("positive_constant",)),)),
+            "update": MethodSpec("update", (SignatureSpec((), "Bool"),)),
+            "hasFix": MethodSpec("hasFix", (SignatureSpec((), "Bool"),)),
+            "latitude": MethodSpec("latitude", (SignatureSpec((), "Float"),)),
+            "longitude": MethodSpec("longitude", (SignatureSpec((), "Float"),)),
+            "satellites": MethodSpec("satellites", (SignatureSpec((), "Int"),)),
+        }, includes=("Barmaja_GPSModule.h",), dependency_ids=("barmaja-gps-adapter", "mikalhart-tinygpsplus", "arduino-softwareserial-core"), resources=("softserial",),
+    ),
+    "EthernetW5500": HardwareClassSpec(
+        "EthernetW5500", (SignatureSpec(("Int", "Int", "Int", "Int", "Int", "Int", "Int"), "Hardware[EthernetW5500]"),),
+        methods={
+            "beginIP": MethodSpec("beginIP", (SignatureSpec(("Int", "Int", "Int", "Int"), "Void"),)),
+            "connect": MethodSpec("connect", (SignatureSpec(("Int", "Int", "Int", "Int", "Int"), "Bool"),)),
+            "connected": MethodSpec("connected", (SignatureSpec((), "Bool"),)),
+            "write": MethodSpec("write", (SignatureSpec(("Int",), "Int", ("range_0_255",)),)),
+            "available": MethodSpec("available", (SignatureSpec((), "Int"),)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int"),)),
+            "stop": MethodSpec("stop", (SignatureSpec((), "Void"),)),
+        }, includes=("Barmaja_EthernetW5500.h",), dependency_ids=("barmaja-ethernet-adapter", "arduino-ethernet"), resources=("spi",),
+    ),
+    "WiFiESPAT": HardwareClassSpec(
+        "WiFiESPAT", (SignatureSpec(("Int", "Int"), "Hardware[WiFiESPAT]", ("digital_pin", "digital_pin")),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec(("Int",), "Void", ("positive_constant",)),)),
+            "connect": MethodSpec("connect", (SignatureSpec(("String", "String"), "Bool"),)),
+            "connected": MethodSpec("connected", (SignatureSpec((), "Bool"),)),
+            "tcpConnect": MethodSpec("tcpConnect", (SignatureSpec(("Int", "Int", "Int", "Int", "Int"), "Bool"),)),
+            "write": MethodSpec("write", (SignatureSpec(("Int",), "Int", ("range_0_255",)),)),
+            "available": MethodSpec("available", (SignatureSpec((), "Int"),)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int"),)),
+            "stop": MethodSpec("stop", (SignatureSpec((), "Void"),)),
+        }, includes=("Barmaja_WiFiESPAT.h",), dependency_ids=("barmaja-wifiespat-adapter", "jandrassy-wifiespat", "arduino-softwareserial-core"), resources=("softserial",),
+    ),
+    # V1.1 Stage 2: standalone Arduino Uno modules (LiveRun deliberately not exposed).
+    "RFID": HardwareClassSpec(
+        "RFID", (SignatureSpec(("Int", "Int"), "Hardware[RFID]", ("digital_pin", "digital_pin")),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Void"),), lifecycle="rfid_begin"),
+            "readUID": MethodSpec("readUID", (SignatureSpec((), "String"),), lifecycle="requires_rfid_begin"),
+        }, includes=("Barmaja_RFID.h",), dependency_ids=("barmaja-rfid-adapter", "mfrc522-v1"), resources=("spi",),
+    ),
+    "IRRemote": HardwareClassSpec(
+        "IRRemote", (SignatureSpec(("Int",), "Hardware[IRRemote]", ("digital_pin",)),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Void"),), lifecycle="ir_begin"),
+            "readCommand": MethodSpec("readCommand", (SignatureSpec((), "Int"),), lifecycle="requires_ir_begin"),
+        }, includes=("Barmaja_IRRemote.h",), dependency_ids=("barmaja-ir-adapter", "arduino-irremote"), resources=("ir_timer",),
+    ),
+    "Keypad4x4": HardwareClassSpec(
+        "Keypad4x4", (SignatureSpec(("Int", "Int", "Int", "Int", "Int", "Int", "Int", "Int"), "Hardware[Keypad4x4]", ("keypad_pins",)),),
+        methods={"getKey": MethodSpec("getKey", (SignatureSpec((), "String"),))},
+        includes=("Barmaja_Keypad.h",), dependency_ids=("barmaja-keypad-adapter",),
+    ),
+    "StepperMotor": HardwareClassSpec(
+        "StepperMotor", (SignatureSpec(("Int", "Int", "Int", "Int"), "Hardware[StepperMotor]", ("digital_pin",)),),
+        methods={
+            "setMaxSpeed": MethodSpec("setMaxSpeed", (SignatureSpec(("Float",), "Void"), SignatureSpec(("Int",), "Void"))),
+            "setAcceleration": MethodSpec("setAcceleration", (SignatureSpec(("Float",), "Void"), SignatureSpec(("Int",), "Void"))),
+            "moveTo": MethodSpec("moveTo", (SignatureSpec(("Int",), "Void"),)),
+            "move": MethodSpec("move", (SignatureSpec(("Int",), "Void"),)),
+            "run": MethodSpec("run", (SignatureSpec((), "Bool"),)),
+            "distanceToGo": MethodSpec("distanceToGo", (SignatureSpec((), "Int"),)),
+            "currentPosition": MethodSpec("currentPosition", (SignatureSpec((), "Int"),)),
+            "setCurrentPosition": MethodSpec("setCurrentPosition", (SignatureSpec(("Int",), "Void"),)),
+        }, includes=("Barmaja_Stepper.h",), dependency_ids=("barmaja-stepper-adapter", "airspayce-accelstepper"),
+    ),
+    "OneWireBus": HardwareClassSpec(
+        "OneWireBus", (SignatureSpec(("Int",), "Hardware[OneWireBus]", ("digital_pin",)),),
+        methods={
+            "reset": MethodSpec("reset", (SignatureSpec((), "Int"),)),
+            "write": MethodSpec("write", (SignatureSpec(("Int",), "Void", ("range_0_255",)),)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int"),)),
+        }, includes=("Barmaja_OneWireBus.h",), dependency_ids=("barmaja-onewire-adapter", "paulstoffregen-onewire"),
+    ),
+    # OPTIONAL: ONLY for a MAX7219/MAX7221 driven matrix, NOT bare 8x8 matrices.
+    "LEDMatrixMAX7219": HardwareClassSpec(
+        "LEDMatrixMAX7219", (SignatureSpec(("Int", "Int", "Int"), "Hardware[LEDMatrixMAX7219]", ("digital_pin", "digital_pin", "digital_pin")),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Void"),)),
+            "clear": MethodSpec("clear", (SignatureSpec((), "Void"),)),
+            "setPixel": MethodSpec("setPixel", (SignatureSpec(("Int", "Int", "Bool"), "Void"), SignatureSpec(("Int", "Int", "Int"), "Void"))),
+            "setRow": MethodSpec("setRow", (SignatureSpec(("Int", "Int"), "Void"),)),
+            "setBrightness": MethodSpec("setBrightness", (SignatureSpec(("Int",), "Void"),)),
+        }, includes=("Barmaja_LEDMatrixMAX7219.h",), dependency_ids=("barmaja-matrix-adapter", "wayoda-ledcontrol"),
+    ),
+    # OPTIONAL: ONLY for CLK/DIO TM1637 4-digit modules, NOT multiplexed bare displays.
+    "FourDigitTM1637": HardwareClassSpec(
+        "FourDigitTM1637", (SignatureSpec(("Int", "Int"), "Hardware[FourDigitTM1637]", ("digital_pin", "digital_pin")),),
+        methods={
+            "setBrightness": MethodSpec("setBrightness", (SignatureSpec(("Int",), "Void"),)),
+            "showNumber": MethodSpec("showNumber", (SignatureSpec(("Int",), "Void"),)),
+            "clear": MethodSpec("clear", (SignatureSpec((), "Void"),)),
+        }, includes=("Barmaja_FourDigitTM1637.h",), dependency_ids=("barmaja-tm1637-adapter", "avishorp-tm1637"),
+    ),
+    "Servo": HardwareClassSpec(
+        "Servo",
+        constructors=(SignatureSpec((), "Hardware[Servo]"),),
+        methods={
+            "attach": MethodSpec("attach", (
+                SignatureSpec(("Int",), "Int", ("digital_pin",)),
+                SignatureSpec(("Int", "Int", "Int"), "Int", ("digital_pin", "servo_pulse_bounds")),
+            ), resources=("timer1",)),
+            "write": MethodSpec("write", (SignatureSpec(("Int",), "Void", ("range_0_180",)),), resources=("timer1",)),
+            "writeMicroseconds": MethodSpec("writeMicroseconds", (SignatureSpec(("Int",), "Void", ("servo_pulse",)),), resources=("timer1",)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int"),), resources=("timer1",)),
+            "detach": MethodSpec("detach", (SignatureSpec((), "Void"),), resources=("timer1",)),
+            "attached": MethodSpec("attached", (SignatureSpec((), "Bool"),), resources=("timer1",)),
+        },
+        includes=("Servo.h",),
+        dependency_ids=("arduino-servo",),
+        resources=("timer1",),
+    ),
+    "Ultrasonic": HardwareClassSpec(
+        "Ultrasonic",
+        constructors=(SignatureSpec(("Int", "Int"), "Hardware[Ultrasonic]", ("digital_pin", "digital_pin")),),
+        methods={
+            "read": MethodSpec("read", (
+                SignatureSpec((), "Int", ("non_negative_result",)),
+                SignatureSpec(("UltrasonicUnit",), "Int", ("non_negative_result",)),
+            )),
+            "setTimeout": MethodSpec("setTimeout", (SignatureSpec(("Int",), "Void", ("non_negative", "ultrasonic_timeout")),)),
+        },
+        includes=("Ultrasonic.h",),
+        dependency_ids=("erick-simoes-ultrasonic",),
+    ),
+    "DHT": HardwareClassSpec(
+        "DHT",
+        constructors=(SignatureSpec(("Int", "DHTType"), "Hardware[DHT]", ("digital_pin", "dht_sensor_type")),),
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Void"),), lifecycle="dht_begin"),
+            "readTemperature": MethodSpec("readTemperature", (SignatureSpec((), "Float", ("may_nan",)),), lifecycle="requires_dht_begin"),
+            "readHumidity": MethodSpec("readHumidity", (SignatureSpec((), "Float", ("may_nan",)),), lifecycle="requires_dht_begin"),
+        },
+        includes=("DHT.h",),
+        dependency_ids=("adafruit-dht", "adafruit-unified-sensor"),
+    ),
+    "LiquidCrystal_I2C": HardwareClassSpec(
+        "LiquidCrystal_I2C",
+        constructors=(SignatureSpec(("Int", "Int", "Int"), "Hardware[LiquidCrystal_I2C]", ("i2c_address", "lcd_dimension", "lcd_dimension")),),
+        methods={
+            "init": MethodSpec("init", (SignatureSpec((), "Void"),), lifecycle="lcd_init"),
+            "begin": MethodSpec("begin", (
+                SignatureSpec(("Int", "Int"), "Void", ("lcd_dimension", "lcd_dimension")),
+                SignatureSpec(("Int", "Int", "Int"), "Void", ("lcd_dimension", "lcd_dimension", "lcd_charsize")),
+            ), lifecycle="lcd_init"),
+            "clear": MethodSpec("clear", (SignatureSpec((), "Void"),), lifecycle="requires_lcd_init"),
+            "home": MethodSpec("home", (SignatureSpec((), "Void"),), lifecycle="requires_lcd_init"),
+            # Pinned 1.1.4 setCursor(uint8_t col, uint8_t row) indexes a 4-entry
+            # HD44780 row_offsets table; larger rows read past it and negative/>255
+            # values would silently narrow to uint8_t.
+            "setCursor": MethodSpec("setCursor", (SignatureSpec(("Int", "Int"), "Void", ("lcd_cursor_column", "lcd_cursor_row")),), lifecycle="requires_lcd_init"),
+            "print": MethodSpec("print", (SignatureSpec(("Scalar",), "Void"),), lifecycle="requires_lcd_init"),
+            "backlight": MethodSpec("backlight", (SignatureSpec((), "Void"),), lifecycle="requires_lcd_init"),
+            "noBacklight": MethodSpec("noBacklight", (SignatureSpec((), "Void"),), lifecycle="requires_lcd_init"),
+            "display": MethodSpec("display", (SignatureSpec((), "Void"),), lifecycle="requires_lcd_init"),
+            "noDisplay": MethodSpec("noDisplay", (SignatureSpec((), "Void"),), lifecycle="requires_lcd_init"),
+        },
+        includes=("Wire.h", "LiquidCrystal_I2C.h"),
+        dependency_ids=("arduino-wire-core", "liquidcrystal-i2c-frank-de-brabander"),
+        resources=("i2c",),
+    ),
+}
+
+
+SINGLETONS: dict[str, SingletonSpec] = {
+    "EEPROM": SingletonSpec(
+        "EEPROM",
+        methods={
+            "read": MethodSpec("read", (SignatureSpec(("Int",), "Int"),)),
+            "write": MethodSpec("write", (SignatureSpec(("Int", "Int"), "Void"),)),
+            "update": MethodSpec("update", (SignatureSpec(("Int", "Int"), "Void"),)),
+            "length": MethodSpec("length", (SignatureSpec((), "Int"),)),
+        }, includes=("EEPROM.h",), dependency_ids=("arduino-eeprom-core",),
+    ),
+    "SPI": SingletonSpec(
+        "SPI",
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Void"),)),
+            "transfer": MethodSpec("transfer", (SignatureSpec(("Int",), "Int"),)),
+            "end": MethodSpec("end", (SignatureSpec((), "Void"),)),
+        }, includes=("SPI.h",), dependency_ids=("arduino-spi-core",), resources=("spi",),
+    ),
+    "Serial": SingletonSpec(
+        "Serial",
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec(("Int",), "Void", ("positive_constant",)),), lifecycle="serial_begin", resources=("uart",)),
+            "print": MethodSpec("print", (
+                SignatureSpec(("Scalar",), "Void"),
+                SignatureSpec(("NumericOrBool", "Int"), "Void", ("arduino_format",)),
+            ), lifecycle="requires_serial_begin", resources=("uart",)),
+            "println": MethodSpec("println", (
+                SignatureSpec((), "Void"),
+                SignatureSpec(("Scalar",), "Void"),
+                SignatureSpec(("NumericOrBool", "Int"), "Void", ("arduino_format",)),
+            ), lifecycle="requires_serial_begin", resources=("uart",)),
+            "available": MethodSpec("available", (SignatureSpec((), "Int", ("non_negative_result",)),), lifecycle="requires_serial_begin", resources=("uart",)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int", ("range_-1_255",)),), lifecycle="requires_serial_begin", resources=("uart",)),
+        },
+        resources=("uart",),
+    ),
+    "Wire": SingletonSpec(
+        "Wire",
+        methods={
+            "begin": MethodSpec("begin", (SignatureSpec((), "Void"),), lifecycle="wire_begin", resources=("i2c",)),
+            "beginTransmission": MethodSpec("beginTransmission", (SignatureSpec(("Int",), "Void", ("i2c_address",)),), lifecycle="requires_wire_begin", resources=("i2c",)),
+            "write": MethodSpec("write", (SignatureSpec(("Int",), "Int", ("range_0_255",)),), lifecycle="requires_wire_begin", resources=("i2c",)),
+            "endTransmission": MethodSpec("endTransmission", (SignatureSpec((), "Int"),), lifecycle="requires_wire_begin", resources=("i2c",)),
+            "requestFrom": MethodSpec("requestFrom", (SignatureSpec(("Int", "Int"), "Int", ("i2c_address", "wire_request_count")),), lifecycle="requires_wire_begin", resources=("i2c",)),
+            "available": MethodSpec("available", (SignatureSpec((), "Int", ("non_negative_result",)),), lifecycle="requires_wire_begin", resources=("i2c",)),
+            "read": MethodSpec("read", (SignatureSpec((), "Int", ("range_-1_255",)),), lifecycle="requires_wire_begin", resources=("i2c",)),
+        },
+        includes=("Wire.h",),
+        dependency_ids=("arduino-wire-core",),
+        resources=("i2c",),
+    ),
+}
+
+
+DEPENDENCIES: dict[str, DependencySpec] = {
+    "arduino-softwareserial-core": DependencySpec("arduino-softwareserial-core", "SoftwareSerial", "arduino:avr 1.8.8", "SoftwareSerial.h", "Arduino AVR core already in V1"),
+    "barmaja-bluetooth-serial": DependencySpec("barmaja-bluetooth-serial", "BluetoothSerial adapter", "1.1.dev", "Barmaja_BluetoothSerial.h", "BARMAJA owned HC-05 UART transport"),
+    "barmaja-mpu6050-adapter": DependencySpec("barmaja-mpu6050-adapter", "MPU6050 sensor adapter", "1.1.dev", "Barmaja_MPU6050Sensor.h", "BARMAJA owned adapter"),
+    "rfetick-mpu6050-light": DependencySpec("rfetick-mpu6050-light", "MPU6050_light", "1.2.1", "MPU6050_light.h", "rfetick/MPU6050_light v1.2.1 MIT; acquire exact release", ("arduino-wire-core",)),
+    "barmaja-gps-adapter": DependencySpec("barmaja-gps-adapter", "GPS module adapter", "1.1.dev", "Barmaja_GPSModule.h", "BARMAJA owned adapter"),
+    "mikalhart-tinygpsplus": DependencySpec("mikalhart-tinygpsplus", "TinyGPSPlus", "1.0.3", "TinyGPS++.h", "mikalhart/TinyGPSPlus 1.0.3; verify exact source tag and license"),
+    "barmaja-ethernet-adapter": DependencySpec("barmaja-ethernet-adapter", "W5500 Ethernet adapter", "1.1.dev", "Barmaja_EthernetW5500.h", "BARMAJA owned adapter"),
+    "arduino-ethernet": DependencySpec("arduino-ethernet", "Ethernet", "2.0.2", "Ethernet.h", "arduino-libraries/Ethernet; pin official exact tag"),
+    "barmaja-wifiespat-adapter": DependencySpec("barmaja-wifiespat-adapter", "ESP AT Wi-Fi adapter", "1.1.dev", "Barmaja_WiFiESPAT.h", "BARMAJA owned adapter"),
+    "jandrassy-wifiespat": DependencySpec("jandrassy-wifiespat", "WiFiEspAT", "1.5.0", "WiFiEspAT.h", "JAndrassy/WiFiEspAT LGPL-2.1; select exact release + compatible ESP AT firmware"),
+    "arduino-eeprom-core": DependencySpec("arduino-eeprom-core", "EEPROM", "arduino:avr 1.8.8", "EEPROM.h", "Arduino AVR core already in V1"),
+    "arduino-spi-core": DependencySpec("arduino-spi-core", "SPI", "arduino:avr 1.8.8", "SPI.h", "Arduino AVR core already in V1"),
+    "paulstoffregen-onewire": DependencySpec("paulstoffregen-onewire", "OneWire", "2.3.8", "OneWire.h", "OneWire 2.3.8 already in V1"),
+    "wayoda-ledcontrol": DependencySpec("wayoda-ledcontrol", "LedControl", "1.0.6", "LedControl.h", "wayoda/LedControl 1.0.6; conditional hardware; obtain official tagged release"),
+    "avishorp-tm1637": DependencySpec("avishorp-tm1637", "TM1637Display", "1.2.0", "TM1637Display.h", "avishorp/TM1637 v1.2.0 LGPL; conditional hardware; obtain official tagged release"),
+    "barmaja-onewire-adapter": DependencySpec("barmaja-onewire-adapter", "Barmaja OneWire adapter", "1.1.dev", "Barmaja_OneWireBus.h", "BARMAJA owned wrapper"),
+    "barmaja-matrix-adapter": DependencySpec("barmaja-matrix-adapter", "Barmaja MAX7219 adapter", "1.1.dev", "Barmaja_LEDMatrixMAX7219.h", "BARMAJA-owned conditional wrapper"),
+    "barmaja-tm1637-adapter": DependencySpec("barmaja-tm1637-adapter", "Barmaja TM1637 adapter", "1.1.dev", "Barmaja_FourDigitTM1637.h", "BARMAJA-owned conditional wrapper"),
+    "mfrc522-v1": DependencySpec("mfrc522-v1", "MFRC522", "1.4.12", "MFRC522.h", "miguelbalboa/rfid 1.4.12 (Unlicense)"),
+    "arduino-irremote": DependencySpec("arduino-irremote", "IRremote", "4.7.1", "IRremote.hpp", "Arduino-IRremote (LGPL-2.1 or later; verify pinned exact tag)"),
+    "airspayce-accelstepper": DependencySpec("airspayce-accelstepper", "AccelStepper", "1.64", "AccelStepper.h", "Already bundled in V1"),
+    "barmaja-rfid-adapter": DependencySpec("barmaja-rfid-adapter", "Barmaja RFID adapter", "1.1.dev", "Barmaja_RFID.h", "BARMAJA owned wrapper header"),
+    "barmaja-ir-adapter": DependencySpec("barmaja-ir-adapter", "Barmaja IR adapter", "1.1.dev", "Barmaja_IRRemote.h", "BARMAJA owned wrapper header"),
+    "barmaja-keypad-adapter": DependencySpec("barmaja-keypad-adapter", "Barmaja Keypad adapter", "1.1.dev", "Barmaja_Keypad.h", "BARMAJA owned wrapper header"),
+    "barmaja-stepper-adapter": DependencySpec("barmaja-stepper-adapter", "Barmaja Stepper adapter", "1.1.dev", "Barmaja_Stepper.h", "BARMAJA owned wrapper header"),
+    "arduino-wire-core": DependencySpec(
+        "arduino-wire-core", "Wire", "arduino:avr 1.8.8", "Wire.h", "Arduino AVR core bundled library"
+    ),
+    "arduino-servo": DependencySpec(
+        "arduino-servo", "Servo", "1.3.0", "Servo.h", "official Arduino Servo release 1.3.0"
+    ),
+    "erick-simoes-ultrasonic": DependencySpec(
+        "erick-simoes-ultrasonic", "Ultrasonic", "3.0.0", "Ultrasonic.h", "Erick Simoes release tag/commit c1a28b5"
+    ),
+    "adafruit-unified-sensor": DependencySpec(
+        "adafruit-unified-sensor", "Adafruit Unified Sensor", "1.1.15", "Adafruit_Sensor.h", "Adafruit release 1.1.15"
+    ),
+    "adafruit-dht": DependencySpec(
+        "adafruit-dht", "DHT sensor library", "1.4.7", "DHT.h", "Adafruit release 1.4.7", ("adafruit-unified-sensor",)
+    ),
+    "liquidcrystal-i2c-frank-de-brabander": DependencySpec(
+        "liquidcrystal-i2c-frank-de-brabander", "LiquidCrystal_I2C", "1.1.4", "LiquidCrystal_I2C.h", "Frank de Brabander / johnrickman lineage 1.1.4", ("arduino-wire-core",)
+    ),
+}
+
+
+# Host workflow commands. They run on the PC (PictoBlox or any Python IDE), never
+# on the Arduino: a top-level `upload()` line compiles and uploads the file it is
+# written in, then stops the desktop run. The compiler removes these lines.
+HOST_COMMANDS: dict[str, str] = {
+    "upload": "Compile this program and upload it to the connected Arduino Uno.",
+    "verify": "Compile this program for the Arduino Uno without uploading.",
+    "show_code": "Print the generated Arduino C++ for this program.",
+    "LiveRun": "Start live PC/PictoBlox control of the connected Arduino Uno.",
+    "LiveStop": "Stop the active LiveRun connection.",
+}
+
+
+# ---- Device packs (1.1.0.dev7): extra Arduino libraries/sensors declared in JSON.
+# Loaded once, before PUBLIC_API_NAMES, so every compiler phase sees them as
+# ordinary hardware classes.  Invalid packs are skipped (see device_packs.LOAD_ERRORS).
+from . import device_packs as _device_packs  # noqa: E402
+
+_device_packs.load_packs({*CONSTANT_VALUES, *CORE_FUNCTIONS, *HARDWARE_CLASSES, *SINGLETONS, *HOST_COMMANDS})
+_device_packs.register_into(HARDWARE_CLASSES, DEPENDENCIES, (SignatureSpec, MethodSpec, HardwareClassSpec, DependencySpec))
+
+PUBLIC_API_NAMES = frozenset({*CONSTANT_VALUES, *CORE_FUNCTIONS, *HARDWARE_CLASSES, *SINGLETONS, *HOST_COMMANDS})
+
+
+def hardware_method_names(class_name: str) -> frozenset[str]:
+    return frozenset(HARDWARE_CLASSES[class_name].methods)
+
+
+def singleton_method_names(singleton: str) -> frozenset[str]:
+    return frozenset(SINGLETONS[singleton].methods)
+
+
+def arity_range(arities: frozenset[int]) -> tuple[int, int]:
+    return min(arities), max(arities)
+
+
+def matching_signatures(signatures: tuple[SignatureSpec, ...], argc: int) -> tuple[SignatureSpec, ...]:
+    return tuple(sig for sig in signatures if len(sig.args) == argc)

Barmaja_PyArduino/backend/__init__.py

@@ -0,0 +1,3 @@
+from .uno_cpp import GeneratedSketch, SourceMapEntry, UnoCppBackend, generate_uno_cpp
+
+__all__ = ["GeneratedSketch", "SourceMapEntry", "UnoCppBackend", "generate_uno_cpp"]