Package de.tillmenke.studium.informatik.masterarbeit.strafrecht

Class KonkurrenzenIdealkonkurrenzTateinheit

java.lang.Object

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

de.tillmenke.studium.informatik.masterarbeit.strafrecht.KonkurrenzenIdealkonkurrenzTateinheit

All Implemented Interfaces:

Invalidator, Tatbestand

public class KonkurrenzenIdealkonkurrenzTateinheit
extends TatbestandManuell

prüft im Rahmen der Idealkonkurrenz, ob Tateinheit vorliegt

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
KonkurrenzenIdealkonkurrenzTateinheit()

Method Summary

Modifier and Type	Method	Description
String	getBezeichnung()	Standardimplementierung der erweiterteten Schnittstelle
String	getDefinition()	Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann
String	getObersatz()	Basisschnittstelle, strengere Variante für manuelle Subsumtion: Obersatz muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann

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

getErgebnissatz, getRechtsfolge, getSubsumption, invalidate, previewExceptions, setSachverhalt, toString

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

getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil

Constructor Details

KonkurrenzenIdealkonkurrenzTateinheit

public KonkurrenzenIdealkonkurrenzTateinheit()

Method Details

getObersatz

public String getObersatz()

Description copied from class: TatbestandManuell

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

Specified by:

getObersatz in interface Tatbestand

Specified by:

getObersatz in class TatbestandManuell

Returns:

Zeichenkette mit dem Obersatz

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

getBezeichnung

public String getBezeichnung()

Description copied from interface: Tatbestand

Standardimplementierung der erweiterteten Schnittstelle

Returns:

Klassenname (da normalsprachliche Bezeichnung ohne Überschreiben nicht bekannt)