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

Class VertaneUrlaubszeit

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.kostenrechner.VertaneUrlaubszeit

All Implemented Interfaces:

Tatbestand, ProzessualerAnspruch

public class VertaneUrlaubszeit
extends Object
implements ProzessualerAnspruch

Platzhalterklasse für die Prüfung des Anspruchs zur Abgeltung vertaner Urlaubszeit

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
VertaneUrlaubszeit(Personendaten[] beklagte, Streitwert gesamtwert)	Konstruktor

Method Summary

Modifier and Type	Method	Description
Personendaten[]	getBeklagte()
String	getDefinition()	Basisschnittstelle
String	getErgebnissatz()	Basisschnittstelle
Streitwert	getGesamtwert()
Personendaten[]	getKläger()
String	getObersatz()	Basisschnittstelle
Zahlung	getRechtsfolge()	Basisschnittstelle
String	getSubsumption(Sprachstil sprachstil)	Basisschnittstelle
Streitwert	getZugesprochen()
void	setSachverhalt(Sachverhalt sachverhalt)	injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben

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.werkzeugkasten.Tatbestand

getBezeichnung, getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil, previewExceptions

Constructor Details

VertaneUrlaubszeit

public VertaneUrlaubszeit(Personendaten[] beklagte,
 Streitwert gesamtwert)

Konstruktor

Parameters:

beklagte - die Beklagten (werden unverändert ausgegeben)

gesamtwert - der Gesamtwert (wird unverändert ausgegeben)

Method Details

getRechtsfolge

public Zahlung getRechtsfolge()
                       throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getRechtsfolge in interface Tatbestand

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

public String getObersatz()
                   throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getObersatz in interface Tatbestand

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

public String getDefinition()
                     throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getDefinition in interface Tatbestand

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

public String getSubsumption(Sprachstil sprachstil)
                      throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getSubsumption in interface Tatbestand

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

public String getErgebnissatz()
                       throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getErgebnissatz in interface Tatbestand

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

public void setSachverhalt(Sachverhalt sachverhalt)

Description copied from interface: Tatbestand

injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben

Specified by:

setSachverhalt in interface Tatbestand

Parameters:

sachverhalt - neue Referenz

getKläger

public Personendaten[] getKläger()
                          throws SachverhaltsdetailFehltException

Specified by:

getKläger in interface ProzessualerAnspruch

Returns:

Feld mit den Details der Kläger

Throws:

SachverhaltsdetailFehltException

getBeklagte

public Personendaten[] getBeklagte()

Specified by:

getBeklagte in interface ProzessualerAnspruch

Returns:

Feld mit den Details der Beklagten

getGesamtwert

public Streitwert getGesamtwert()

Specified by:

getGesamtwert in interface ProzessualerAnspruch

Returns:

Höhe des Streitwerts (§ 48 GKG)

getZugesprochen

public Streitwert getZugesprochen()
                           throws EingabeFehltException

Specified by:

getZugesprochen in interface ProzessualerAnspruch

Returns:

Wert der zugesprochenen Leistung

Throws:

EingabeFehltException - wenn die Prüfung noch nicht abgeschlossen ist