Package de.tillmenke.studium.informatik.masterarbeit.zivilrecht

Class WillenserklärungTatbestand

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.WillenserklärungTatbestand
All Implemented Interfaces:
Invalidator, Tatbestand
public class WillenserklärungTatbestand extends Object implements Tatbestand, Invalidator
Gegenüber der üblichen juristischen Prüfung weist der Tatbestand der Willenserklärung die Besonderheit auf, dass seine Nichterfüllung nicht zwangsläufig zu der Rechtsfolge des Nichtvorliegens einer Willenserklärung führt. Diese Klasse prüft daher den vollständigen Tatbestand der Willenserklärung und gibt ein spezielles Rechtsfolgeobjekt zurück, welches anzeigt, welche Teile erfüllt sind. Aufgrund der Besonderheiten ist die Verwendung der Klasse "TatbestandPrüfungsfolge" nicht möglich, da diese ein eindeutiges Ergebnis voraussetzt. Es konnten jedoch einige Codefragmente aus dieser Klasse Verwendung finden.
Author:
Till Menke

  • Constructor Details

    • WillenserklärungTatbestand

      public WillenserklärungTatbestand(Kommunikationsakt zuPrüfen, Geschäftswille inhaltsanforderung)
      Parameters:
      zuPrüfen - der zu prüfende Kommunikationsakt
      inhaltsanforderung - die inhaltlichen Anforderungen an den Geschäftswillen

  • Method Details

    • getRechtsfolge

      public WillenserklärungTatbestand.Ergebnis 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

    • getObersatz

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

    • 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 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

    • 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

    • 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

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • getBezeichnung

      public String getBezeichnung()
      Description copied from interface: Tatbestand
      Standardimplementierung der erweiterteten Schnittstelle
      Specified by:
      getBezeichnung in interface Tatbestand
      Returns:
      Klassenname (da normalsprachliche Bezeichnung ohne Überschreiben nicht bekannt)

    • getHandlungNebensatzIndem

      public String getHandlungNebensatzIndem()
      leitet den durch das Kommunikationsaktsobjekt erzeugten Nebensatz, welcher im Präteritum die Handlung beschreibt, weiter
      Returns:
      Nebensatz, der mit ", indem " beginnt

    • getInhalt

      public Geschäftswille getInhalt() throws EingabeFehltException
      Returns:
      Inhalt der Willenserklärung
      Throws:
      EingabeFehltException - wenn die Prüfung noch nicht abgeschlossen ist