Class AnspruchDurchsetzbarZurückbehaltungsrechte
java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuell
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuellVorlage
de.tillmenke.studium.informatik.masterarbeit.zivilrecht.AnspruchDurchsetzbarZurückbehaltungsrechte
- All Implemented Interfaces:
Invalidator
,Tatbestand
fragt die allgemeinen Zurückbehaltungsrechte gesammelt ab, um Nutzerabfragen zu reduzieren
- Author:
- Till Menke
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionBasisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kannBasisschnittstelle, strengere Variante für manuelle Subsumtion: Obersatz muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kannvoid
fordert den Empfänger auf, den betroffenen Teil zu invalidieren; ACHTUNG: bei TatbestandManuellVorlage erfolgt keine automatische Rücksetzung der Nutzerwahl, um in der Implementierung größtmögliche Freiheit zu gewährleisten; dies müss über setNutzerauswahl("",null) explizit ausgelöst werdenvoid
setSachverhalt
(Sachverhalt sachverhalt) injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter BenutzereingabenMethods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuell
getErgebnissatz, getRechtsfolge, getSubsumption, previewExceptions, toString
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Tatbestand
getBezeichnung, getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil
-
Constructor Details
-
AnspruchDurchsetzbarZurückbehaltungsrechte
public AnspruchDurchsetzbarZurückbehaltungsrechte()
-
-
Method Details
-
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
- Specified by:
setSachverhalt
in classTatbestandManuellVorlage
- Parameters:
sachverhalt
- neue Referenz
-
invalidate
public void invalidate()Description copied from class:TatbestandManuellVorlage
fordert den Empfänger auf, den betroffenen Teil zu invalidieren; ACHTUNG: bei TatbestandManuellVorlage erfolgt keine automatische Rücksetzung der Nutzerwahl, um in der Implementierung größtmögliche Freiheit zu gewährleisten; dies müss über setNutzerauswahl("",null) explizit ausgelöst werden- Specified by:
invalidate
in interfaceInvalidator
- Specified by:
invalidate
in classTatbestandManuellVorlage
-
getObersatz
Description copied from class:TatbestandManuell
Basisschnittstelle, strengere Variante für manuelle Subsumtion: Obersatz muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann- Specified by:
getObersatz
in interfaceTatbestand
- Specified by:
getObersatz
in classTatbestandManuell
- Returns:
- Zeichenkette mit dem Obersatz
-
getDefinition
Description copied from class:TatbestandManuell
Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann- Specified by:
getDefinition
in interfaceTatbestand
- Specified by:
getDefinition
in classTatbestandManuell
- Returns:
- Zeichenkette mit der Definition
-