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

Class Anspruch

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolge

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgeUnd

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.Anspruch

All Implemented Interfaces:

Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>

public class Anspruch
extends TatbestandPrüfungsfolgeUnd

prüft, ob ein Anspruch entstanden ist und berücksichtigt dabei sowie allgemeine als auch besondere (von der Anspruchsgrundlage abhängige) Anwendungsvoraussetzungen, rechtshindernde Einwendungen, Erlöschensgründe sowie Durchsetzbarkeitshindernisse

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
Anspruch(Anspruchsgrundlage AGL)

Method Summary

Modifier and Type	Method	Description
String	getDefinition()	Basisschnittstelle
String	getObersatz()	Basisschnittstelle

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgeUnd

getRechtsfolge

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolge

getAnzahlPrüfungspunkte, getErgebnissatz, getFalllösung, getSubsumption, invalidate, iterator, previewExceptions, setSachverhalt, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Tatbestand

getBezeichnung, getDefinition, getErgebnissatz, getGutachten, getUrteil

Constructor Details

Anspruch

public Anspruch(Anspruchsgrundlage AGL)

Parameters:

AGL - die Anspruchsgrundlage zu dem Anspruch, der geprüft werden soll

Method Details

getObersatz

public String getObersatz()
                   throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

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

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