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

Class Beförderungsanspruch

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.Vertragsschluss

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.VertraglicherErfüllungsanspruch

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.VertraglicherErfüllungsanspruchVertragstypischeLeistung

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.fluggastrechte.Beförderungsanspruch

All Implemented Interfaces:

Invalidator, Tatbestand, Anspruchsgrundlage

public class Beförderungsanspruch
extends VertraglicherErfüllungsanspruchVertragstypischeLeistung

prüft das Entstehen des Anspruchs auf Beförderung (Kombination mit Anwendungsbeispiel "Vertragsschluss")

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
Beförderungsanspruch(Personendaten anspruchssteller, Personendaten anspruchsgegner, SonstigeLeistung anspruchsinhalt, Zahlung gegenleistung)

Method Summary

Modifier and Type	Method	Description
String	getAnspruchsgrundlageNormzitat()
Rechtsfolge	getRechtsfolge()	Basisschnittstelle
Rechtsfolge	getRechtsfolgePositiv()
String	getVertragstypbezeichnung()

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.zivilrecht.VertraglicherErfüllungsanspruchVertragstypischeLeistung

getObersatz

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.zivilrecht.VertraglicherErfüllungsanspruch

getBesondereEntstehungshindernisse, getGesamtergebnissatzNegativ, getGesamtergebnissatzPositiv, getGesamtobersatz, getGesamtRechtsfolgeNegativ, getRechtsfolgeNegativ

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.zivilrecht.Vertragsschluss

getDefinition, getErgebnissatz, getFalllösung, getInhalt, getSubsumption, invalidate, previewExceptions, setSachverhalt, wirksameWillenserklärungen

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface de.tillmenke.studium.informatik.masterarbeit.zivilrecht.Anspruchsgrundlage

getAnwendbarkeitsvoraussetzungen, getBesondereDurchsetzbarkeitshindernisse, getBesondereErlöschensgründe

Methods inherited from interface de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Tatbestand

getBezeichnung, getDefinition, getDefinition, getErgebnissatz, getErgebnissatz, getFalllösung, getGutachten, getSubsumption, getUrteil, previewExceptions, setSachverhalt

Constructor Details

Beförderungsanspruch

public Beförderungsanspruch(Personendaten anspruchssteller,
 Personendaten anspruchsgegner,
 SonstigeLeistung anspruchsinhalt,
 Zahlung gegenleistung)
                     throws IllegalArgumentException

Parameters:

anspruchssteller - Personendaten des Anspruchsstellers

anspruchsgegner - Personendaten des Anspruchsgegners

anspruchsinhalt - geltend gemachte Beförderung

gegenleistung - die zur geltend gemachte Leistung im Synallagma stehende Beförderungsentgeltzahlung

Throws:

IllegalArgumentException - wenn der übergebene Anspruchsinhalt kein Gegenstand eines Kaufvertrags sein kann (hier im Programm: keine Art "Lieferung")

Method Details

getAnspruchsgrundlageNormzitat

public String getAnspruchsgrundlageNormzitat()

Specified by:

getAnspruchsgrundlageNormzitat in class VertraglicherErfüllungsanspruch

Returns:

Zitat der Anspruchsgrundlage im Gesetz oder null, wenn gesetzesferner Vertrag

getVertragstypbezeichnung

public String getVertragstypbezeichnung()

Overrides:

getVertragstypbezeichnung in class VertraglicherErfüllungsanspruch

Returns:

gebräuchliche Bezeichnung des Vertragstyps (z. B. "Kaufvertrag"); Rückfallwert: "Vertrag"

getRechtsfolge

public Rechtsfolge getRechtsfolge()
                           throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getRechtsfolge in interface Tatbestand

Overrides:

getRechtsfolge in class Vertragsschluss

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

getRechtsfolgePositiv

public Rechtsfolge getRechtsfolgePositiv()

Specified by:

getRechtsfolgePositiv in interface Anspruchsgrundlage

Overrides:

getRechtsfolgePositiv in class VertraglicherErfüllungsanspruch

Returns:

Element, welches die Rechtsfolge repräsentiert, die eintritt, wenn die Anspruchsgrundlage positiv geprüft wird