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

Class TatbestandStrategiewahl

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuell

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandStrategiewahl

All Implemented Interfaces:

Invalidator, Tatbestand

Direct Known Subclasses:

VertragsschlussStrategiewahl

public abstract class TatbestandStrategiewahl
extends TatbestandManuell

fragt eine Strategiewahl des Nutzers ab und dokumentiert das Ergebnis in der Falllösung

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
TatbestandStrategiewahl()

Method Summary

Modifier and Type	Method	Description
String	getDefinition()	Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann
String	toString()

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuell

getErgebnissatz, getObersatz, getRechtsfolge, getSubsumption, invalidate, previewExceptions, setSachverhalt

Methods inherited from class java.lang.Object

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

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

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

Constructor Details

TatbestandStrategiewahl

public TatbestandStrategiewahl()

Method Details

getDefinition

public String getDefinition()

Description copied from class: TatbestandManuell

Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann

Specified by:

getDefinition in interface Tatbestand

Specified by:

getDefinition in class TatbestandManuell

Returns:

Zeichenkette mit der Definition

toString

public String toString()

Overrides:

toString in class TatbestandManuell