patrickandClaude Sonnet 5
2dd7e574e6
Neue Tabellen hersteller/modell (Migration 0030), CRUD-Endpunkte (/hersteller, /modelle) nach bestehendem Kategorie-Muster, inkl. 409 bei Duplikaten (IntegrityError abgefangen wie in personal.py). geraet_instanz bekommt optionales modell_id-Feld - verknüpft eine konkrete Geräteinstanz (mit Seriennummer, IDENT-004) mit ihrem Hersteller/Modell. Ergänzt Material.hersteller (bleibt unverändert als Freitext) um eine normalisierte Variante gezielt für Geräte mit Seriennummer - keine Datenmigration bestehender Freitext-Werte (Scope dieser Kachel). Bewusst kein neues Admin-UI-Screen für die Pflege (Scope-Grenze der Kachel) - Hersteller/Modell aktuell nur über die API verwaltbar. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CVgbozhYmuEhiEJHffRXCV
44 lines
1.7 KiB
Python
44 lines
1.7 KiB
Python
import enum
|
|
import uuid
|
|
from datetime import date
|
|
|
|
from sqlalchemy import Date, ForeignKey, String
|
|
from sqlalchemy.dialects.postgresql import ENUM as PgEnum, UUID
|
|
from sqlalchemy.orm import Mapped, mapped_column
|
|
|
|
from app.db.base import Base
|
|
|
|
|
|
class GeraetStatus(str, enum.Enum):
|
|
einsatzbereit = "einsatzbereit"
|
|
defekt = "defekt"
|
|
in_reparatur = "in_reparatur"
|
|
|
|
|
|
geraet_status_pg = PgEnum(GeraetStatus, name="geraet_status", create_type=False)
|
|
|
|
|
|
class GeraetInstanz(Base):
|
|
"""Karte 14: löst objektposition.seriennummer als Einzelfeld ab - das konnte
|
|
nur EIN Gerät pro Materialtyp/Objekt abbilden (z.B. 2 Pulsoxymeter im selben
|
|
Rucksack nicht darstellbar). Ist-Menge bei materialtyp='geraet_sn' wird aus
|
|
der Anzahl der Zeilen mit status='einsatzbereit' berechnet, nicht mehr als
|
|
Zahl eingegeben (Umsetzungsschritt 2, siehe Karte 14)."""
|
|
|
|
__tablename__ = "geraet_instanz"
|
|
|
|
id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), primary_key=True, default=uuid.uuid4)
|
|
objektposition_id: Mapped[uuid.UUID] = mapped_column(
|
|
UUID(as_uuid=True), ForeignKey("objektposition.id"), nullable=False
|
|
)
|
|
seriennummer: Mapped[str] = mapped_column(String, nullable=False)
|
|
# IDENT-005: welches Hersteller-Modell dieses konkrete Gerät ist - optional,
|
|
# nicht jede Geräteinstanz muss das pflegen.
|
|
modell_id: Mapped[int | None] = mapped_column(ForeignKey("modell.id"))
|
|
pruefdatum: Mapped[date | None] = mapped_column(Date)
|
|
naechste_pruefung: Mapped[date | None] = mapped_column(Date)
|
|
status: Mapped[GeraetStatus] = mapped_column(
|
|
geraet_status_pg, nullable=False, default=GeraetStatus.einsatzbereit
|
|
)
|
|
bemerkung: Mapped[str | None] = mapped_column(String)
|