Package de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten

Class TatbestandPrüfungsfolgeUnd

java.lang.Object

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

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

All Implemented Interfaces:

Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>

Direct Known Subclasses:

Anfechtung, Anspruch, Konkurrenzen, KonkurrenzenIdealkonkurrenz, SubsumptionstestGrafisch, TatbestandPrüfungsfolgeUndWahrheitswert, Verspätungsanspruch, VerspätungsanspruchInklVertragsschluss

public abstract class TatbestandPrüfungsfolgeUnd
extends TatbestandPrüfungsfolge

Rahmenwerksklasse zur einfachen Prüfung eines Prüfungsschemas auf Basis der logischen Verknüpfung "und", indem nur die ausgewiesenen abstrakten Methoden überschrieben werden

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
TatbestandPrüfungsfolgeUnd()

Method Summary

Modifier and Type	Method	Description
final Rechtsfolge	getRechtsfolge()	Basisschnittstelle

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, getDefinition, getErgebnissatz, getGutachten, getObersatz, getUrteil

Constructor Details

TatbestandPrüfungsfolgeUnd

public TatbestandPrüfungsfolgeUnd()

Method Details

getRechtsfolge

public final Rechtsfolge getRechtsfolge()
                                 throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getRechtsfolge in interface Tatbestand

Specified by:

getRechtsfolge in class TatbestandPrüfungsfolge

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