Class StellvertretungZurückweisung
java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.StellvertretungZurückweisung
- All Implemented Interfaces:
Tatbestand
prüft die Zurückweisung gem. § 174 BGB (unter der zutreffenden Prämisse, dass sie in diesem Anwendungsbeispiel (Kaufvertrag --> keine einseitige Gestaltungserklärung) stets unzulässig ist)
- Author:
- Till Menke
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionBasisschnittstelleBasisschnittstelleBasisschnittstelleBasisschnittstellegetSubsumption
(Sprachstil sprachstil) Basisschnittstellevoid
setSachverhalt
(Sachverhalt sachverhalt) injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter BenutzereingabenMethods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Tatbestand
getBezeichnung, getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil, previewExceptions
-
Constructor Details
-
StellvertretungZurückweisung
public StellvertretungZurückweisung()
-
-
Method Details
-
getRechtsfolge
Description copied from interface:Tatbestand
Basisschnittstelle- Specified by:
getRechtsfolge
in interfaceTatbestand
- 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
-
getObersatz
Description copied from interface:Tatbestand
Basisschnittstelle- Specified by:
getObersatz
in interfaceTatbestand
- Returns:
- Zeichenkette mit dem Obersatz
- Throws:
EingabeFehltException
- wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden
-
getDefinition
Description copied from interface:Tatbestand
Basisschnittstelle- Specified by:
getDefinition
in interfaceTatbestand
- Returns:
- Zeichenkette mit der Definition
- Throws:
EingabeFehltException
- wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden
-
getSubsumption
Description copied from interface:Tatbestand
Basisschnittstelle- Specified by:
getSubsumption
in interfaceTatbestand
- Parameters:
sprachstil
- Angabe, welcher Sprachstil verwendet werden soll (sollte von implementierenden Klassen üblicherweise beachtet werden, da wegen Rekursion wichtig)- Returns:
- Zeichenkette mit der Subsumption (ggf. inkl. Verschachtelungen)
- Throws:
EingabeFehltException
- wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden
-
getErgebnissatz
Description copied from interface:Tatbestand
Basisschnittstelle- Specified by:
getErgebnissatz
in interfaceTatbestand
- Returns:
- Zeichenkette mit dem Ergebnissatz
- Throws:
EingabeFehltException
- wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden
-
setSachverhalt
Description copied from interface:Tatbestand
injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben- Specified by:
setSachverhalt
in interfaceTatbestand
- Parameters:
sachverhalt
- neue Referenz
-