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

Class Paragraph433IBGB

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.Paragraph433IBGB

All Implemented Interfaces:

Invalidator, Tatbestand, Anspruchsgrundlage

public class Paragraph433IBGB
extends VertraglicherErfüllungsanspruchVertragstypischeLeistung

prüft das Entstehen des Anspruchs aus § 433 Abs. 1 BGB

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
Paragraph433IBGB(Personendaten anspruchssteller, Personendaten anspruchsgegner, SonstigeLeistung anspruchsinhalt, Zahlung gegenleistung)

Method Summary

Modifier and Type	Method	Description
String	getAnspruchsgrundlageNormzitat()
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, getRechtsfolgePositiv

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

Paragraph433IBGB

public Paragraph433IBGB(Personendaten anspruchssteller,
 Personendaten anspruchsgegner,
 SonstigeLeistung anspruchsinhalt,
 Zahlung gegenleistung)
                 throws IllegalArgumentException

Parameters:

anspruchssteller - Personendaten des Anspruchsstellers

anspruchsgegner - Personendaten des Anspruchsgegners

anspruchsinhalt - geltend gemachte Lieferung

gegenleistung - die zur geltend gemachte Leistung im Synallagma stehende Kaufpreiszahlung

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"