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

Class TatbestandPrüfungsfolgeOder

java.lang.Object

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

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

All Implemented Interfaces:

Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>

Direct Known Subclasses:

TatbestandPrüfungsfolgeOderWahrheitswert

public abstract class TatbestandPrüfungsfolgeOder
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üfungsfolgeOder()

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üfungsfolgeOder

public TatbestandPrüfungsfolgeOder()

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