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

Class SubsumptionFehltException

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.EingabeFehltException

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.WertungFehltException

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.SubsumptionFehltException

All Implemented Interfaces:

Serializable

public class SubsumptionFehltException
extends WertungFehltException

Ausnahme, mit welcher eine benutzergenerierte Subsumption angefordert wird

Author:

Till Menke

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SubsumptionFehltException(String obersatz, String definition, Class<? extends Rechtsfolge> typeofRechtsfolge, SubsumptionFehltExceptionResultListener resultListener)	erzeugt die Ausnahme
SubsumptionFehltException(String obersatz, String definition, String subsumptionsentwurf, Rechtsfolge rechtsfolgeentwurf, SubsumptionFehltExceptionResultListener resultListener)	erzeugt die Ausnahme mit Entwurfswerten

Method Summary

Modifier and Type	Method	Description
String	getDefinition()	Getter für die vom Benutzer zu subsumierenden Definition
String	getObersatz()	Getter für den vom Benutzer zu subsumierenden Obersatz
Rechtsfolge	getRechtsfolgeentwurf()	Getter für den programmgenerierten Entwurf der Rechtsfolge
String	getSubsumptionsentwurf()	Getter für den programmgenerierten Entwurf der Subsumption
Class<? extends Rechtsfolge>	getTypeofRechtsfolge()	Getter für angefragten Typ
void	setResult(String subsumption, Rechtsfolge programmergebnis)	zentrale Rückgabemethode, welche im Rahmen der Ausnahmebehandlung aufgerufen werden soll

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Details

SubsumptionFehltException

public SubsumptionFehltException(String obersatz,
 String definition,
 Class<? extends Rechtsfolge> typeofRechtsfolge,
 SubsumptionFehltExceptionResultListener resultListener)

erzeugt die Ausnahme

Parameters:

obersatz - Zeichenkette mit dem vom Benutzer zu subsumierenden Obersatz

definition - Zeichenkette mit der vom Benutzer zu subsumierenden Definition

typeofRechtsfolge - Objekt, welches den Typ der als Rückgabe erwarteten maschinenlesbaren Rechtsfolgeobjekts repräsentiert

resultListener - Instanz einer Klasse, welche das Interface SubsumptionFehltExceptionResultListener implementiert; es bietet sich die Erzeugung als anonyme Klasse an

SubsumptionFehltException

public SubsumptionFehltException(String obersatz,
 String definition,
 String subsumptionsentwurf,
 Rechtsfolge rechtsfolgeentwurf,
 SubsumptionFehltExceptionResultListener resultListener)

erzeugt die Ausnahme mit Entwurfswerten

Parameters:

obersatz - Zeichenkette mit dem vom Benutzer zu subsumierenden Obersatz

definition - Zeichenkette mit der vom Benutzer zu subsumierenden Definition

subsumptionsentwurf - Zeichenkette mit dem programmgenerierten Entwurf der Subsumption

rechtsfolgeentwurf - maschinenlesbares Rechtsfolgeobjekt, welches dem programmgenerierten Entwurf entspricht

resultListener - Instanz einer Klasse, welche das Interface SubsumptionFehltExceptionResultListener implementiert; es bietet sich die Erzeugung als anonyme Klasse an

Method Details

getObersatz

public String getObersatz()

Getter für den vom Benutzer zu subsumierenden Obersatz

Returns:

Zeichenkette mit dem vom Benutzer zu subsumierenden Obersatz

getDefinition

public String getDefinition()

Getter für die vom Benutzer zu subsumierenden Definition

Returns:

Zeichenkette mit der vom Benutzer zu subsumierenden Definition

getTypeofRechtsfolge

public Class<? extends Rechtsfolge> getTypeofRechtsfolge()

Getter für angefragten Typ

Returns:

Objekt, welches den angefragten Typ repräsentiert

getSubsumptionsentwurf

public String getSubsumptionsentwurf()

Getter für den programmgenerierten Entwurf der Subsumption

Returns:

Zeichenkette mit dem programmgenerierten Entwurf der Subsumption oder eine leere Zeichenkette

getRechtsfolgeentwurf

public Rechtsfolge getRechtsfolgeentwurf()

Getter für den programmgenerierten Entwurf der Rechtsfolge

Returns:

maschinenlesbares Rechtsfolgeobjekt, welches dem programmgenerierten Entwurf entspricht, oder null

setResult

public void setResult(String subsumption,
 Rechtsfolge programmergebnis)

zentrale Rückgabemethode, welche im Rahmen der Ausnahmebehandlung aufgerufen werden soll

Parameters:

subsumption - Zeichenkette mit der benutzergenerierten Subsumption

programmergebnis - maschinenlesbarer Wert, welcher dem Subsumptionsergebnis entspricht; muss dem Typ entsprechen, welcher über die Methode getTypeofRechtsfolge ermittelt werden kann