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

Class Testnorm

java.lang.Object

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

All Implemented Interfaces:

Tatbestand

Direct Known Subclasses:

Subsumptionstest

public class Testnorm
extends Object
implements Tatbestand

Oberklasse für Implementierungen der Schnittstelle Tatbestand zu Testzwecken; erstellt zudem als Instanziierungsvorlage eine nicht verschachtelte Fallprüfung mit Blindtexten, ohne dass (für Unterklassen deklarierte) Ausnahmen geworfen werden (für erste Tests einer Benutzerschnittstelle sinnvoll)

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
Testnorm()

Method Summary

Modifier and Type	Method	Description
String	getDefinition()	Basisschnittstelle
String	getErgebnissatz()	Basisschnittstelle
String	getObersatz()	Basisschnittstelle
Rechtsfolge	getRechtsfolge()	Basisschnittstelle
String	getSubsumption(Sprachstil sprachstil)	Basisschnittstelle
void	setSachverhalt(Sachverhalt sachverhalt)	injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben

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

Testnorm

public Testnorm()

Method Details

getRechtsfolge

public Rechtsfolge getRechtsfolge()
                           throws SubsumptionFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getRechtsfolge in interface Tatbestand

Returns:

maschinenverarbeitbarer Wert mit dem Subsumptionsergebnis

Throws:

SubsumptionFehltException

getObersatz

public String getObersatz()

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getObersatz in interface Tatbestand

Returns:

Zeichenkette mit dem Obersatz

getDefinition

public String getDefinition()

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getDefinition in interface Tatbestand

Returns:

Zeichenkette mit der Definition

getSubsumption

public String getSubsumption(Sprachstil sprachstil)
                      throws SubsumptionFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getSubsumption in interface Tatbestand

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

getErgebnissatz

public String getErgebnissatz()
                       throws SubsumptionFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getErgebnissatz in interface Tatbestand

Returns:

Zeichenkette mit dem Ergebnissatz

Throws:

SubsumptionFehltException

setSachverhalt

public void setSachverhalt(Sachverhalt sachverhalt)

Description copied from interface: Tatbestand

injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben

Specified by:

setSachverhalt in interface Tatbestand

Parameters:

sachverhalt - neue Referenz