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

Class Prüfungsfolgenelement

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Prüfungsfolgenelement
All Implemented Interfaces:
Invalidator, Tatbestand
public class Prüfungsfolgenelement extends Object implements Tatbestand, Invalidator
erweitert die Tatbestandsschnittstelle um für die Verwendung als Prüfungsfolgenelement in TatbestandPrüfungsfolge erforderlichen Eigenschaften
Author:
Till Menke
See Also:

  • Field Details

    • tatbestand

      public final Tatbestand tatbestand
      Verweis auf ein Objekt, das den zu prüfenden Tatbestand repräsentiert; da die wichtigsten Methoden auch durch diese Wrapperklasse zur Verfügung gestellt werden (und deren Aufruf Rückwirkung auf die wichtige Eigenschaft "prüfungAbgeschlossen" hat), sollte der Verweis nur verwendet werden, wenn es auf die konkrete Klassenzugehörigkeit ankommt; kann nach Initialisierung nicht mehr verändert werden, da semantisch sinnlos und Veränderung durch externe Klasse (kein Getter/Setter, da zentrales zu transportierendes Objekt) verhindert werden muss

  • Constructor Details

    • Prüfungsfolgenelement

      public Prüfungsfolgenelement(Tatbestand tatbestand, Rechtsfolge erwarteteRechtsfolge, Boolean abhängigVonVorelement)
      erzeugt ein Objekt, das einen Prüfungspunkt repräsentiert
      Parameters:
      tatbestand - Das erzeugte Tatbestandsobjekt für den Prüfungspunkt
      erwarteteRechtsfolge - Ein Objekt der Klasse Rechtsfolge, welches die für eine Wertung des Prüfungspunktes als (+) erwartete Rechtsfolge repräsentiert
      abhängigVonVorelement - Ein Wahrheitswert der angibt, ob das Tatbestandsobjekt voraussetzt, dass vor seinem Aufruf vorherige Elemente bereits erfolgreich geprüft wurden

    • Prüfungsfolgenelement

      public Prüfungsfolgenelement(Tatbestand tatbestand, Rechtsfolge erwarteteRechtsfolge)
      erzeugt ein Objekt, das einen Prüfungspunkt repräsentiert, der nicht von Vorelementen abhängig ist (vereinfachter Konstruktur mit Defaultwert)
      Parameters:
      tatbestand - Das erzeugte Tatbestandsobjekt für den Prüfungspunkt
      erwarteteRechtsfolge - Ein Objekt der Klasse Rechtsfolge, welches die für eine Wertung des Prüfungspunktes als (+) erwartete Rechtsfolge repräsentiert

    • Prüfungsfolgenelement

      public Prüfungsfolgenelement(Tatbestand tatbestand, Boolean abhängigVonVorelement)
      erzeugt ein Objekt, das einen Prüfungspunkt repräsentiert, bei dem für eine erfolgreiche Prüfung RechtsfolgeWahrheitswert(wahr) erwartet wird (vereinfachter Konstruktur mit Defaultwert)
      Parameters:
      tatbestand - Das erzeugte Tatbestandsobjekt für den Prüfungspunkt
      abhängigVonVorelement - Ein Wahrheitswert der angibt, ob das Tatbestandsobjekt voraussetzt, dass vor seinem Aufruf vorherige Elemente bereits erfolgreich geprüft wurden

    • Prüfungsfolgenelement

      public Prüfungsfolgenelement(Tatbestand tatbestand)
      erzeugt ein Objekt, das einen Prüfungspunkt repräsentiert, bei dem für eine erfolgreiche Prüfung RechtsfolgeWahrheitswert(wahr) erwartet wird und der nicht von Vorelementen abhängig ist (vereinfachter Konstruktur mit Defaultwerten)
      Parameters:
      tatbestand - Das erzeugte Tatbestandsobjekt für den Prüfungspunkt

  • Method Details

    • getErwarteteRechtsfolge

      public Rechtsfolge getErwarteteRechtsfolge()
      Getter
      Returns:
      Verweis auf ein Objekt, das die für den Prüfungserfolg erforderliche Rechtsfolge repräsentiert

    • setErwarteteRechtsfolge

      public void setErwarteteRechtsfolge(Rechtsfolge erwarteteRechtsfolge)
      Setter
      Parameters:
      erwarteteRechtsfolge - Verweis auf ein Objekt, das die für den Prüfungserfolg erforderliche Rechtsfolge repräsentiert

    • isErwarteteRechtsfolge

      public boolean isErwarteteRechtsfolge() throws EingabeFehltException
      prüft mit der delegierten Methode getRechtsfolge und der Methodfe getErwarteteRechtsfolge, ob das Ergebnis der erwarteten Rechtsfolge entspricht
      Returns:
      Wahrheitswert, welcher dem Ergebnis dieser Prüfung entspricht
      Throws:
      EingabeFehltException - wenn delegierte Methode diese wirft

    • isAbhängigVonVorelement

      public boolean isAbhängigVonVorelement()
      Getter
      Returns:
      Ein Wahrheitswert der angibt, ob das Tatbestandsobjekt voraussetzt, dass vor seinem Aufruf vorherige Elemente bereits erfolgreich geprüft wurden

    • setAbhängigVonVorelement

      public void setAbhängigVonVorelement(boolean abhängigVonVorelement)
      Setter
      Parameters:
      abhängigVonVorelement - Ein Wahrheitswert der angibt, ob das Tatbestandsobjekt voraussetzt, dass vor seinem Aufruf vorherige Elemente bereits erfolgreich geprüft wurden

    • isPrüfungAbgeschlossen

      public boolean isPrüfungAbgeschlossen()
      Getter
      Returns:
      Ein Wahrheitswert der angibt, ob das Tatbestandsobjekt erfolgreich geprüft wurde, d. h. Ergebnisse vorliegen bzw. ohne Ausnahmen abgerufen werden können

    • setPrüfungAbgeschlossen

      public void setPrüfungAbgeschlossen(boolean prüfungAbgeschlossen)
      Setter
      Parameters:
      prüfungAbgeschlossen - Ein Wahrheitswert der angibt, ob das Tatbestandsobjekt erfolgreich geprüft wurde, d. h. Ergebnisse vorliegen bzw. ohne Ausnahmen abgerufen werden können

    • getRechtsfolge

      public Rechtsfolge getRechtsfolge() throws EingabeFehltException
      an tatbestand delegierte 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 Falllösung getFalllösung() throws EingabeFehltException
      an tatbestand delegierte erweitertete 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

    • getObersatz

      public String getObersatz() throws EingabeFehltException
      an tatbestand delegierte Basisschnittstelle
      Specified by:
      getObersatz in interface Tatbestand
      Returns:
      Zeichenkette mit dem Obersatz
      Throws:
      EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

    • getDefinition

      public String getDefinition() throws EingabeFehltException
      an tatbestand delegierte Basisschnittstelle
      Specified by:
      getDefinition in interface Tatbestand
      Returns:
      Zeichenkette mit der Definition
      Throws:
      EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

    • getSubsumption

      public String getSubsumption(Sprachstil sprachstil) throws EingabeFehltException
      an tatbestand delegierte 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 String getErgebnissatz() throws EingabeFehltException
      an tatbestand delegierte 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

    • getGutachten

      public String getGutachten() throws EingabeFehltException
      an tatbestand delegierte erweitertete Schnittstelle
      Specified by:
      getGutachten in interface Tatbestand
      Returns:
      Zeichenkette mit der Falllösung im Gutachtenstil, generiert aus Konkatenation von Obersatz, Definition, Subsumption und 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

    • getUrteil

      public String getUrteil() throws EingabeFehltException
      an tatbestand delegierte erweitertete Schnittstelle
      Specified by:
      getUrteil in interface Tatbestand
      Returns:
      Zeichenkette mit der Falllösung im Urteilsstil, generiert aus Konkatenation von Ergebnissatz, Definition und Subsumption
      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 List<EingabeFehltException> previewExceptions()
      an tatbestand delegierte erweitertete Schnittstelle
      Specified by:
      previewExceptions in interface Tatbestand
      Returns:
      Liste der mindestens zu erwartenden Ausnahmen

    • setSachverhalt

      public void setSachverhalt(Sachverhalt sachverhalt)
      Description copied from interface: Tatbestand
      injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben
      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

    • setRechtsfolgenVergleicher

      public void setRechtsfolgenVergleicher(RechtsfolgenVergleicher rechtsfolgenVergleicher)
      setzt eine Schnittstelle, über welche diesem Prüfungsfolgenelement eine besondere Prüfung der Methode "isErwarteteRechtsfolge" vorgegeben werden kann
      Parameters:
      rechtsfolgenVergleicher - Objekt der Schnittstelle "RechtsfolgenVergleicher"