patrickandClaude Sonnet 5
d61aabadf3
objektposition.seriennummer war ein Einzelfeld, konnte nur EIN Gerät pro Materialtyp/Objekt abbilden (z.B. 2 Pulsoxymeter im selben Rucksack nicht darstellbar). Neue Tabelle geraet_instanz erlaubt beliebig viele Exemplare pro Position (Seriennummer, Prüfdatum, nächste Prüfung, Status). Zusätzlich objektposition.pruefintervall_monate (individuell überschreibbar). Bewusst additiv: seriennummer-Spalte bleibt vorerst stehen (Service/ Endpunkte/Frontend hängen noch daran), bestehende Werte werden per INSERT...SELECT nach geraet_instanz kopiert. Drop + Umbau der abhängigen Schichten folgt in Umsetzungsschritt 2 (siehe arbeitskarten/14_...). Migration von postgres-expert gegengeprüft (ON CONFLICT DO NOTHING als Sicherheitsnetz, DROP TYPE IF EXISTS ergänzt), Tests decken Mehrfach- Instanzen, UNIQUE-Constraint je Position, gleiche SN an verschiedenen Positionen und pruefintervall_monate ab. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01CVgbozhYmuEhiEJHffRXCV
41 lines
1.5 KiB
Python
41 lines
1.5 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)
|
|
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)
|