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

Class VertraglicherErfüllungsanspruchVertragstypischeLeistung

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

All Implemented Interfaces:

Invalidator, Tatbestand, Anspruchsgrundlage

Direct Known Subclasses:

Beförderungsanspruch, Paragraph433IBGB

public abstract class VertraglicherErfüllungsanspruchVertragstypischeLeistung
extends VertraglicherErfüllungsanspruch

prüft eine Anspruchsgrundlage eines vertraglichen Anspruchs auf die vertragstypische Hauptleistung

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
VertraglicherErfüllungsanspruchVertragstypischeLeistung(Personendaten anspruchssteller, Personendaten anspruchsgegner, SonstigeLeistung anspruchsinhalt, Zahlung gegenleistung)

Method Summary

Modifier and Type	Method	Description
String	getObersatz()	Basisschnittstelle

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

getAnspruchsgrundlageNormzitat, getBesondereEntstehungshindernisse, getGesamtergebnissatzNegativ, getGesamtergebnissatzPositiv, getGesamtobersatz, getGesamtRechtsfolgeNegativ, getRechtsfolgeNegativ, getRechtsfolgePositiv, getVertragstypbezeichnung

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

getDefinition, getErgebnissatz, getFalllösung, getInhalt, getRechtsfolge, 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, getRechtsfolge, getSubsumption, getUrteil, previewExceptions, setSachverhalt

Constructor Details

VertraglicherErfüllungsanspruchVertragstypischeLeistung

public VertraglicherErfüllungsanspruchVertragstypischeLeistung(Personendaten anspruchssteller,
 Personendaten anspruchsgegner,
 SonstigeLeistung anspruchsinhalt,
 Zahlung gegenleistung)

Parameters:

anspruchssteller - Personendaten des Anspruchsstellers

anspruchsgegner - Personendaten des Anspruchsgegners

anspruchsinhalt - geltend gemachte Sachleistung

gegenleistung - die zur geltend gemachte Leistung im Synallagma stehende (Entgelt-)Leistung

Method Details

getObersatz

public String getObersatz()

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getObersatz in interface Tatbestand

Overrides:

getObersatz in class VertraglicherErfüllungsanspruch

Returns:

Zeichenkette mit dem Obersatz