Klasse Beförderungsvertrag

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.fluggastrechte.Beförderungsvertrag
Alle implementierten Schnittstellen:
Tatbestand
public class Beförderungsvertrag extends Object implements Tatbestand
prüft das Vorliegen eines Beförderungsvertrags anhand einer normativen Tatsache im Sachverhalt
Autor:
Till Menke

  • Konstruktordetails

    • Beförderungsvertrag

      public Beförderungsvertrag()

  • Methodendetails

    • getObersatz

      public String getObersatz()
      Beschreibung aus Schnittstelle kopiert: Tatbestand
      Basisschnittstelle
      Angegeben von:
      getObersatz in Schnittstelle Tatbestand
      Gibt zurück:
      Zeichenkette mit dem Obersatz

    • getDefinition

      public String getDefinition()
      Beschreibung aus Schnittstelle kopiert: Tatbestand
      Basisschnittstelle
      Angegeben von:
      getDefinition in Schnittstelle Tatbestand
      Gibt zurück:
      Zeichenkette mit der Definition

    • getRechtsfolge

      public Rechtsfolge getRechtsfolge() throws EingabeFehltException
      Beschreibung aus Schnittstelle kopiert: Tatbestand
      Basisschnittstelle
      Angegeben von:
      getRechtsfolge in Schnittstelle Tatbestand
      Gibt zurück:
      maschinenverarbeitbarer Wert mit dem Subsumptionsergebnis
      Löst aus:
      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
      Beschreibung aus Schnittstelle kopiert: Tatbestand
      Basisschnittstelle
      Angegeben von:
      getSubsumption in Schnittstelle Tatbestand
      Parameter:
      sprachstil - Angabe, welcher Sprachstil verwendet werden soll (sollte von implementierenden Klassen üblicherweise beachtet werden, da wegen Rekursion wichtig)
      Gibt zurück:
      Zeichenkette mit der Subsumption (ggf. inkl. Verschachtelungen)
      Löst aus:
      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
      Beschreibung aus Schnittstelle kopiert: Tatbestand
      Basisschnittstelle
      Angegeben von:
      getErgebnissatz in Schnittstelle Tatbestand
      Gibt zurück:
      Zeichenkette mit dem Ergebnissatz
      Löst aus:
      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)
      Beschreibung aus Schnittstelle kopiert: Tatbestand
      injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben
      Angegeben von:
      setSachverhalt in Schnittstelle Tatbestand
      Parameter:
      sachverhalt - neue Referenz