AnspruchErloschen

java.lang.Object

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

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

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

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.AnspruchErloschen

All Implemented Interfaces:: Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>

public class AnspruchErloschen extends TatbestandPrüfungsfolgeUndWahrheitswert

prüft, ob ein Anspruch erloschen ist

Author:

Till Menke

See Also:

AnspruchEntstanden

Constructor Summary

Constructors

Constructor

Description

AnspruchErloschen(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
- AnspruchErloschen
  
  public AnspruchErloschen(Anspruchsgrundlage AGL)
  
  Parameters:
  
  AGL - die Anspruchsgrundlage, deren Erlöschen 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