Class SubsumptionstestGrafisch
java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolge
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgeUnd
de.tillmenke.studium.informatik.masterarbeit.test.SubsumptionstestGrafisch
- All Implemented Interfaces:
Invalidator
,Tatbestand
,Iterable<Prüfungsfolgenelement>
grafische Anwendung zum Test eines einfachen Aufrufs der Schnittstelle
"Tatbestand" mit geworfenen Ausnahmen; zugleich Testimplementierung dieser
Schnittstelle, welche die Ausnahmen aufwirft
- Author:
- Till Menke
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionBasisschnittstelleBasisschnittstellestatic void
grafische Anwendung zum Test eines einfachen Aufrufs der Schnittstelle "Tatbestand" mit geworfenen AusnahmenMethods 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
-
SubsumptionstestGrafisch
public SubsumptionstestGrafisch()
-
-
Method Details
-
main
grafische Anwendung zum Test eines einfachen Aufrufs der Schnittstelle "Tatbestand" mit geworfenen Ausnahmen- Parameters:
args
- wird nicht ausgewertet, aber für den Programmeinstiegspunkt konventionsmäßig erwartet
-
getObersatz
Description copied from interface:Tatbestand
Basisschnittstelle- Returns:
- Zeichenkette mit dem Obersatz
-
getDefinition
Description copied from interface:Tatbestand
Basisschnittstelle- Returns:
- Zeichenkette mit der Definition
-
getErgebnissatzPositiv
- Throws:
EingabeFehltException
-
getErgebnissatzNegativ
- Throws:
EingabeFehltException
-