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

Class WillenserklärungVorliegenTheorie

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.WillenserklärungVorliegenTheorie
All Implemented Interfaces:
Tatbestand
Direct Known Subclasses:
WillenserklärungVorliegenErklärungstheorie, WillenserklärungVorliegenWillenstheorie
public abstract class WillenserklärungVorliegenTheorie extends Object implements Tatbestand
prüft den Tatbestand der Willenserklärung anhand einer Theorie, welche durch eine abstrakte Methode definiert wird. Die besondere Prüfung ist erforderlich, um die außerordentliche Prüfung "WillenserklärungTatbestand" einbetten zu können.
Author:
Till Menke
See Also:

  • Constructor Details

    • WillenserklärungVorliegenTheorie

      public WillenserklärungVorliegenTheorie(WillenserklärungTatbestand tb)
      Parameters:
      tb - das Objekt, welches die Prüfung des vollständigen Tatbestands enthält

  • Method Details

    • getDefinition

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

    • getRechtsfolge

      public abstract RechtsfolgeWahrheitswert getRechtsfolge() throws EingabeFehltException
      Zuordnung der Zustände des Tatbestandes der Willenserklärung zur Rechtsfolge nach dieser Ansicht
      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

    • 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

    • 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

    • 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

    • getErgebnissatz

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