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

Class VertraglicherErfüllungsanspruch

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.Vertragsschluss
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.VertraglicherErfüllungsanspruch
All Implemented Interfaces:
Invalidator, Tatbestand, Anspruchsgrundlage
Direct Known Subclasses:
VertraglicherErfüllungsanspruchGeldgegenleistung, VertraglicherErfüllungsanspruchVertragstypischeLeistung
public abstract class VertraglicherErfüllungsanspruch extends Vertragsschluss implements Anspruchsgrundlage
prüft eine Anspruchsgrundlage eines vertraglichen Erfüllungsanspruchs
Author:
Till Menke

  • Constructor Details

    • VertraglicherErfüllungsanspruch

      public VertraglicherErfüllungsanspruch(Personendaten anspruchssteller, Personendaten anspruchsgegner, Leistung anspruchsinhalt, Leistung gegenleistung)
      Parameters:
      anspruchssteller - Personendaten des Anspruchsstellers
      anspruchsgegner - Personendaten des Anspruchsgegners
      anspruchsinhalt - geltend gemachte Leistung
      gegenleistung - die zur geltend gemachte Leistung im Synallagma stehende Leistung

  • Method Details

    • getAnspruchsgrundlageNormzitat

      public abstract String getAnspruchsgrundlageNormzitat()
      Returns:
      Zitat der Anspruchsgrundlage im Gesetz oder null, wenn gesetzesferner Vertrag

    • getVertragstypbezeichnung

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

    • getRechtsfolgePositiv

      public Rechtsfolge getRechtsfolgePositiv()
      Specified by:
      getRechtsfolgePositiv in interface Anspruchsgrundlage
      Returns:
      Element, welches die Rechtsfolge repräsentiert, die eintritt, wenn die Anspruchsgrundlage positiv geprüft wird

    • getGesamtobersatz

      public String getGesamtobersatz() throws EingabeFehltException
      Specified by:
      getGesamtobersatz in interface Anspruchsgrundlage
      Returns:
      Zeichenkette, welche als Gesamtobersatz für eine Anspruchsprüfung verwendet werden kann
      Throws:
      EingabeFehltException - wenn eine Eingabe fehlt, die für die Erstellung der Ausgabe erforderlich ist

    • getRechtsfolgeNegativ

      public Rechtsfolge getRechtsfolgeNegativ()

    • getGesamtRechtsfolgeNegativ

      public Rechtsfolge getGesamtRechtsfolgeNegativ()
      Specified by:
      getGesamtRechtsfolgeNegativ in interface Anspruchsgrundlage
      Returns:
      Element, welches die Rechtsfolge repräsentiert, die eintritt, wenn die Fallprüfung insgesamt negativ ausfällt

    • getGesamtergebnissatzPositiv

      public String getGesamtergebnissatzPositiv() throws EingabeFehltException
      Description copied from interface: Anspruchsgrundlage
      gibt Ergebnissatz für positive Resultate zurück; Trennung wichtig, um zu prüfen, ob nicht z. B. Anspruch erloschen
      Specified by:
      getGesamtergebnissatzPositiv in interface Anspruchsgrundlage
      Returns:
      Zeichenkette, welche als Gesamtergebnissatz für eine Anspruchsprüfung verwendet werden kann, wenn der Anspruch zumindest teilweise gegeben ist; Höhe wird unabhängig davon durch Anspruchsgrundlagenobjekt festgelegt
      Throws:
      EingabeFehltException - wenn eine Eingabe fehlt, die für die Erstellung der Ausgabe erforderlich ist

    • getGesamtergebnissatzNegativ

      public String getGesamtergebnissatzNegativ() throws EingabeFehltException
      Description copied from interface: Anspruchsgrundlage
      gibt Ergebnissatz für negative Resultate zurück; Trennung wichtig, um zu prüfen, ob nicht z. B. Anspruch erloschen
      Specified by:
      getGesamtergebnissatzNegativ in interface Anspruchsgrundlage
      Returns:
      Zeichenkette, welche als Gesamtergebnissatz für eine Anspruchsprüfung verwendet werden kann, wenn die Fallprüfung insgesamt negativ ausfällt
      Throws:
      EingabeFehltException - wenn eine Eingabe fehlt, die für die Erstellung der Ausgabe erforderlich ist

    • getObersatz

      public String getObersatz()
      Description copied from interface: Tatbestand
      Basisschnittstelle
      Specified by:
      getObersatz in interface Tatbestand
      Overrides:
      getObersatz in class Vertragsschluss
      Returns:
      Zeichenkette mit dem Obersatz

    • getBesondereEntstehungshindernisse

      public List<Prüfungsfolgenelement> getBesondereEntstehungshindernisse()
      Specified by:
      getBesondereEntstehungshindernisse in interface Anspruchsgrundlage
      Returns:
      Liste von Tatbeständen, welche das Entstehen eines Anspruchs speziell dieser Anspruchsgrundlage verhindern