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

Class TatbestandPrüfungsfolge

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolge
All Implemented Interfaces:
Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>
Direct Known Subclasses:
Schuldfähigkeit, TatbestandPrüfungsfolgeOder, TatbestandPrüfungsfolgeUnd, Willenserklärung
public abstract class TatbestandPrüfungsfolge extends Object implements Tatbestand, Iterable<Prüfungsfolgenelement>, Invalidator
Rahmenwerksklasse zur einfachen Prüfung eines Prüfungsschemas, indem nur die ausgewiesenen abstrakten Methoden überschrieben werden; bedarf noch einer Logikimplementierung (und/oder)
Author:
Till Menke

  • Constructor Details

    • TatbestandPrüfungsfolge

      public TatbestandPrüfungsfolge()

  • Method Details

    • iterator

      public final Iterator<Prüfungsfolgenelement> iterator()
      gibt einen Iterator über das Prüfungsschema zurück; der Iterator überspringt Punkte, welche noch nicht geprüft werden können
      Specified by:
      iterator in interface Iterable<Prüfungsfolgenelement>

    • getSubsumption

      public String getSubsumption(Sprachstil sprachstil) throws EingabeFehltException
      Description copied from interface: Tatbestand
      Basisschnittstelle
      Specified by:
      getSubsumption in interface Tatbestand
      Parameters:
      sprachstil - Angabe, welcher Sprachstil verwendet werden soll (sollte von implementierenden Klassen üblicherweise beachtet werden, da wegen Rekursion wichtig)
      Returns:
      Zeichenkette mit der Subsumption (ggf. inkl. Verschachtelungen)
      Throws:
      EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

    • getErgebnissatz

      public final String getErgebnissatz() throws EingabeFehltException
      Description copied from interface: Tatbestand
      Basisschnittstelle
      Specified by:
      getErgebnissatz in interface Tatbestand
      Returns:
      Zeichenkette mit dem Ergebnissatz
      Throws:
      EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

    • getRechtsfolge

      public abstract Rechtsfolge getRechtsfolge() throws EingabeFehltException
      Description copied from interface: Tatbestand
      Basisschnittstelle
      Specified by:
      getRechtsfolge in interface Tatbestand
      Returns:
      maschinenverarbeitbarer Wert mit dem Subsumptionsergebnis
      Throws:
      EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

    • getFalllösung

      public final Falllösung getFalllösung() throws EingabeFehltException
      Description copied from interface: Tatbestand
      Standardimplementierung der erweiterteten Schnittstelle
      Specified by:
      getFalllösung in interface Tatbestand
      Returns:
      Instanz eines Falllösungsobjekts, welches die Subsumption ggf. verschachtelt repräsentiert
      Throws:
      EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

    • previewExceptions

      public final List<EingabeFehltException> previewExceptions()
      Description copied from interface: Tatbestand
      Standardimplementierung der erweiterteten Schnittstelle
      Specified by:
      previewExceptions in interface Tatbestand
      Returns:
      Liste der mindestens zu erwartenden Ausnahmen

    • getAnzahlPrüfungspunkte

      public int getAnzahlPrüfungspunkte()
      Returns:
      Anzahl der gespeicherten Prüfungspunkte (Anzahl der tatsächlich geprüften Punkte kann niedriger sein)

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • setSachverhalt

      public void setSachverhalt(Sachverhalt sachverhalt)
      injiziert eine Referenz auf den verwendeten Sachverhalt; dadurch wird die Prüfungsfolge neu geladen und allen Prüfungspunkten wird die Änderung mitgeteilt. ACHTUNG: Beim Überschreiben unbedingt super.setSachverhalt(sachverhalt) (also diese Methode) aufrufen, damit notwendigenfalls der geänderte Sachverhalt auch in den einzelnen Prüfungspunkten zugänglich ist.
      Specified by:
      setSachverhalt in interface Tatbestand
      Parameters:
      sachverhalt - neue Referenz

    • invalidate

      public void invalidate()
      Description copied from interface: Invalidator
      fordert den Empfänger auf, den betroffenen Teil zu invalidieren
      Specified by:
      invalidate in interface Invalidator