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

Class Notstand

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolge

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgeUnd

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgeUndWahrheitswert

de.tillmenke.studium.informatik.masterarbeit.strafrecht.Notstand

All Implemented Interfaces:

Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>

public class Notstand
extends TatbestandPrüfungsfolgeUndWahrheitswert

prüft den Rechtfertigungstatbestand "Notstand"

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
Notstand(Straftat tat)

Method Summary

Modifier and Type	Method	Description
String	getBezeichnung()	Standardimplementierung der erweiterteten Schnittstelle
String	getDefinition()	Basisschnittstelle
String	getObersatz()	Basisschnittstelle

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgeUnd

getRechtsfolge

Methods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolge

getAnzahlPrüfungspunkte, getErgebnissatz, getFalllösung, getSubsumption, invalidate, iterator, previewExceptions, setSachverhalt, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

getDefinition, getErgebnissatz, getGutachten, getUrteil

Constructor Details

Notstand

public Notstand(Straftat tat)

Parameters:

tat - Straftat, deren Rechtswidrigkeit zu prüfen ist

Method Details

getObersatz

public String getObersatz()
                   throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Returns:

Zeichenkette mit dem Obersatz

Throws:

EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

getDefinition

public String getDefinition()
                     throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Returns:

Zeichenkette mit der Definition

Throws:

EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

getBezeichnung

public String getBezeichnung()

Description copied from interface: Tatbestand

Standardimplementierung der erweiterteten Schnittstelle

Returns:

Klassenname (da normalsprachliche Bezeichnung ohne Überschreiben nicht bekannt)