← Code-Übersicht

CodeDateiRepository.php

Pfad: src/Domain/Code/CodeDateiRepository.php

Ext: php

Größe: 800 Bytes

Geändert: 2026-07-16 10:04:02+02

<?php
declare(strict_types=1);

namespace Demo\Domain\Code;

/**
 * Getriebener Port: Zugriff auf die Code-Datei-Dokumentation.
 * Adapter liegt in der Infrastruktur.
 */
interface CodeDateiRepository
{
    /**
     * Liefert alle Code-Dateien fuer die Uebersicht.
     *
     * @return list<CodeDatei> Alle Code-Datei-Mirrordatensaetze.
     */
    public function liste(): array;

    /**
     * Laedt eine Code-Datei anhand der ID.
     *
     * @param int $id Datensatz-ID.
     * @return CodeDatei|null Treffer oder null.
     */
    public function byId(int $id): ?CodeDatei;

    /**
     * Schreibt ein vollstaendiges 1:1 Bild der Projekt-Dateien ein.
     *
     * @param list<CodeDatei> $dateien Vollstaendige Dateiliste.
     */
    public function synchronisiere(array $dateien): void;
}