Package de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten

Interface Tatbestandsaustauscher

public interface Tatbestandsaustauscher
Schnittstelle, über die ein Falllösungsbestandteil ausgetauscht werden kann
Author:
Till Menke

  • Method Summary

    Modifier and Type
    Method
    Description
    default void
    überschreibePrüfung(Rechtsfolge neueRechtsfolge, String neuerObersatz, String neueDefinition, String neueSubsumption, String neuerErgebnissatz)
    Methode, um die Prüfung komplett manuell vorzugeben
    void
    überschreibeTatbestand(Tatbestand neuePrüfung)
    Methode, um eine andere Falllösungsstrategie für diesen Teil zu verwenden (Achtung: kann Konsistenz zerstören)

  • Method Details

    • überschreibeTatbestand

      void überschreibeTatbestand(Tatbestand neuePrüfung)
      Methode, um eine andere Falllösungsstrategie für diesen Teil zu verwenden (Achtung: kann Konsistenz zerstören)
      Parameters:
      neuePrüfung - Tatbestandsobjekt, welches die neue Falllösungsstrategie für diesen Teil repräsentiert

    • überschreibePrüfung

      default void überschreibePrüfung(Rechtsfolge neueRechtsfolge, String neuerObersatz, String neueDefinition, String neueSubsumption, String neuerErgebnissatz)
      Methode, um die Prüfung komplett manuell vorzugeben
      Parameters:
      neueRechtsfolge - Objekt, welches die manuell vorgegebene Rechtsfolge repräsentiert
      neuerObersatz - Zeichenkette mit dem manuell vorgegebenem Obersatz
      neueDefinition - Zeichenkette mit der manuell vorgegebenen Definition
      neueSubsumption - Zeichenkette mit der manuell vorgegebenen Subsumption
      neuerErgebnissatz - Zeichenkette mit dem manuell vorgegebenem Ergebnissatz