from __future__ import annotations import uuid from geoalchemy2 import Geometry from sqlalchemy import Boolean, DateTime, Float, ForeignKey, Integer, Numeric, String, Text, UniqueConstraint from sqlalchemy.dialects.postgresql import UUID from sqlalchemy.orm import DeclarativeBase, Mapped, mapped_column from sqlalchemy.sql import func class Base(DeclarativeBase): """Base class for all SQLAlchemy models.""" class TimestampMixin: created_at: Mapped[DateTime] = mapped_column(DateTime(timezone=True), server_default=func.now(), nullable=False) updated_at: Mapped[DateTime] = mapped_column( DateTime(timezone=True), server_default=func.now(), onupdate=func.now(), nullable=False ) class User(Base, TimestampMixin): __tablename__ = "users" id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), primary_key=True, default=uuid.uuid4) username: Mapped[str] = mapped_column(String(64), unique=True, nullable=False) email: Mapped[str | None] = mapped_column(String(255), unique=True, nullable=True) full_name: Mapped[str | None] = mapped_column(String(128), nullable=True) password_hash: Mapped[str] = mapped_column(String(256), nullable=False) role: Mapped[str] = mapped_column(String(32), nullable=False, default="player") preferences: Mapped[str | None] = mapped_column(Text, nullable=True) class Station(Base, TimestampMixin): __tablename__ = "stations" id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), primary_key=True, default=uuid.uuid4) osm_id: Mapped[str | None] = mapped_column(String(32), nullable=True) name: Mapped[str] = mapped_column(String(128), nullable=False) code: Mapped[str | None] = mapped_column(String(16), nullable=True) location: Mapped[str] = mapped_column(Geometry(geometry_type="POINT", srid=4326), nullable=False) elevation_m: Mapped[float | None] = mapped_column(Float, nullable=True) is_active: Mapped[bool] = mapped_column(Boolean, nullable=False, default=True) class Track(Base, TimestampMixin): __tablename__ = "tracks" id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), primary_key=True, default=uuid.uuid4) name: Mapped[str | None] = mapped_column(String(128), nullable=True) start_station_id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), ForeignKey("stations.id", ondelete="RESTRICT"), nullable=False) end_station_id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), ForeignKey("stations.id", ondelete="RESTRICT"), nullable=False) length_meters: Mapped[float | None] = mapped_column(Numeric(10, 2), nullable=True) max_speed_kph: Mapped[int | None] = mapped_column(Integer, nullable=True) is_bidirectional: Mapped[bool] = mapped_column(Boolean, nullable=False, default=True) status: Mapped[str] = mapped_column(String(32), nullable=False, default="planned") track_geometry: Mapped[str] = mapped_column(Geometry(geometry_type="LINESTRING", srid=4326), nullable=False) __table_args__ = ( UniqueConstraint("start_station_id", "end_station_id", name="uq_tracks_station_pair"), ) class Train(Base, TimestampMixin): __tablename__ = "trains" id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), primary_key=True, default=uuid.uuid4) designation: Mapped[str] = mapped_column(String(64), nullable=False, unique=True) operator_id: Mapped[uuid.UUID | None] = mapped_column(UUID(as_uuid=True), ForeignKey("users.id", ondelete="SET NULL")) home_station_id: Mapped[uuid.UUID | None] = mapped_column(UUID(as_uuid=True), ForeignKey("stations.id", ondelete="SET NULL")) capacity: Mapped[int] = mapped_column(Integer, nullable=False) max_speed_kph: Mapped[int] = mapped_column(Integer, nullable=False) consist: Mapped[str | None] = mapped_column(Text, nullable=True) class TrainSchedule(Base, TimestampMixin): __tablename__ = "train_schedules" id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), primary_key=True, default=uuid.uuid4) train_id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), ForeignKey("trains.id", ondelete="CASCADE"), nullable=False) sequence_index: Mapped[int] = mapped_column(Integer, nullable=False) station_id: Mapped[uuid.UUID] = mapped_column(UUID(as_uuid=True), ForeignKey("stations.id", ondelete="CASCADE"), nullable=False) scheduled_arrival: Mapped[DateTime | None] = mapped_column(DateTime(timezone=True), nullable=True) scheduled_departure: Mapped[DateTime | None] = mapped_column(DateTime(timezone=True), nullable=True) dwell_seconds: Mapped[int | None] = mapped_column(Integer, nullable=True) __table_args__ = ( UniqueConstraint("train_id", "sequence_index", name="uq_train_schedule_sequence"), )