Package de.tillmenke.studium.informatik.masterarbeit.test

Class Subsumptionstest

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.test.Testnorm

de.tillmenke.studium.informatik.masterarbeit.test.Subsumptionstest

All Implemented Interfaces:

Tatbestand

public class Subsumptionstest
extends Testnorm

Konsolenanwendung 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

Constructor	Description
Subsumptionstest()

Method Summary

Modifier and Type	Method	Description
String	getErgebnissatz()	Basisschnittstelle
Rechtsfolge	getRechtsfolge()	Basisschnittstelle
String	getSubsumption(Sprachstil sprachstil)	Basisschnittstelle
static void	main(String[] args)	Konsolenanwendung zum Test eines einfachen Aufrufs der Schnittstelle "Tatbestand" mit geworfenen Ausnahmen

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.test.Testnorm

getDefinition, getObersatz, setSachverhalt

Methods inherited from class java.lang.Object

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

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

getBezeichnung, getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil, previewExceptions

Constructor Details

Subsumptionstest

public Subsumptionstest()

Method Details

main

public static void main(String[] args)

Konsolenanwendung zum Test eines einfachen Aufrufs der Schnittstelle "Tatbestand" mit geworfenen Ausnahmen

Parameters:

args - wird nicht ausgewertet, aber für den Programmeinstiegspunkt konventionsmäßig erwartet

getSubsumption

public String getSubsumption(Sprachstil sprachstil)
                      throws SubsumptionFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getSubsumption in interface Tatbestand

Overrides:

getSubsumption in class Testnorm

Parameters:

sprachstil - Angabe, welcher Sprachstil verwendet werden soll (sollte von implementierenden Klassen üblicherweise beachtet werden, da wegen Rekursion wichtig)

Returns:

Zeichenkette mit der Subsumption (ggf. inkl. Verschachtelungen)

Throws:

SubsumptionFehltException

getRechtsfolge

public Rechtsfolge getRechtsfolge()
                           throws SubsumptionFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getRechtsfolge in interface Tatbestand

Overrides:

getRechtsfolge in class Testnorm

Returns:

maschinenverarbeitbarer Wert mit dem Subsumptionsergebnis

Throws:

SubsumptionFehltException

getErgebnissatz

public String getErgebnissatz()
                       throws SubsumptionFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getErgebnissatz in interface Tatbestand

Overrides:

getErgebnissatz in class Testnorm

Returns:

Zeichenkette mit dem Ergebnissatz

Throws:

SubsumptionFehltException