Class RechtfertigungBGBDefensivnotstand
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.RechtfertigungBGBDefensivnotstand
- All Implemented Interfaces:
Invalidator
,Tatbestand
,Iterable<Prüfungsfolgenelement>
prüft § 228 BGB
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionStandardimplementierung der erweiterteten SchnittstelleBasisschnittstelleBasisschnittstelleMethods 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
-
RechtfertigungBGBDefensivnotstand
- Parameters:
tat
- Straftat, deren Rechtswidrigkeit zu prüfen ist
-
-
Method Details
-
getObersatz
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
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
Description copied from interface:Tatbestand
Standardimplementierung der erweiterteten Schnittstelle- Returns:
- Klassenname (da normalsprachliche Bezeichnung ohne Überschreiben nicht bekannt)
-