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

Class TatbestandMeinungsstreit

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandMeinungsstreit
All Implemented Interfaces:
Invalidator, Tatbestand, Iterable<Tatbestand>
Direct Known Subclasses:
ErschleichenVonLeistungenErschleichen, WillenserklärungVorliegen
public abstract class TatbestandMeinungsstreit extends Object implements Tatbestand, Iterable<Tatbestand>, Invalidator
Author:
Till Menke

  • Constructor Details

    • TatbestandMeinungsstreit

      public TatbestandMeinungsstreit()

  • Method Details

    • iterator

      public final Iterator<Tatbestand> iterator()
      gibt einen Iterator über die Meinungen zurück
      Specified by:
      iterator in interface Iterable<Tatbestand>

    • getDefinition

      public String getDefinition() throws EingabeFehltException
      Description copied from interface: Tatbestand
      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

    • getAllgemeingültigerDefinitionsteil

      public String getAllgemeingültigerDefinitionsteil()
      Viele Meinungsstreits unterscheiden sich hinsichtlich der Definition nur in Details. Diese Methode liefert den allgemeingültigen Teil der Definition, soweit dieser vorhanden ist.
      Returns:
      Zeichenkette mit dem allgemeingültigen Definitionsteil oder eine leere Zeichenkette oder null, wenn kein allgemeingültiger Teil vorhanden ist

    • getDefinition

      public String getDefinition(Sprachstil sprachstil) throws EingabeFehltException
      Description copied from interface: Tatbestand
      Basisschnittstelle
      Specified by:
      getDefinition in interface Tatbestand
      Parameters:
      sprachstil - Angabe, welcher Sprachstil verwendet werden soll (wird in der Standardimplementierung nicht beachtet, kann aber von implementierenden Klassen beachtet werden)
      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)
      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)

    • getRechtsfolge

      public final 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

    • getErgebnissatz

      public 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

    • getObersatz

      public abstract String getObersatz()
      Basisschnittstelle, strengere Variante für Meinungsstreit: Obersatz muss ohne Exception gebildet werden, damit Meinungsstreitentscheid abstrakt abgefragt werden kann
      Specified by:
      getObersatz in interface Tatbestand
      Returns:
      Zeichenkette mit dem Obersatz

    • isEindeutig

      public final boolean isEindeutig() throws EingabeFehltException
      Erweiterung der Basisschnittstelle für Meinungsstreits
      Returns:
      Wahrheitswert, der angibt, ob der Meinungsstreit eines Entscheids bedarf
      Throws:
      EingabeFehltException - wenn die Prüfung einer Ansicht noch weitere Eingaben erfordert

    • 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

    • getFalllösung

      public final Falllösung getFalllösung(Sprachstil sprachstil) throws EingabeFehltException
      Erweiterung der Basisschnittstelle für Meinungsstreits
      Parameters:
      sprachstil - Angabe, welcher Sprachstil verwendet werden soll (muss in Implementierungen nicht zwingend beachtet werden)
      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

    • getStreitentscheid

      public final String getStreitentscheid(Sprachstil sprachstil) throws EingabeFehltException
      Erweiterung der Basisschnittstelle für Meinungsstreits
      Parameters:
      sprachstil - Angabe, welcher Sprachstil verwendet werden soll (muss in Implementierungen nicht zwingend beachtet werden)
      Returns:
      Zeichenkette mit dem Streitentscheid nebst Begründung
      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

    • 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()
      fordert den Empfänger auf, den betroffenen Teil zu invalidieren; invalidiert in dieser Implementierung nur Meinungsobjekte, nicht aber Meinungsstreitentscheid, da dieser abstrakt und daher unabhängig vom Sachverhalt ist
      Specified by:
      invalidate in interface Invalidator