Irrtum

java.lang.Object

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

de.tillmenke.studium.informatik.masterarbeit.strafrecht.Irrtum

All Implemented Interfaces:: Invalidator, Tatbestand

public class Irrtum extends TatbestandManuell

prüft den Irrtum gem. § 17 StGB

Author:: Till Menke

Constructor Summary

Constructors

Constructor

Description

Irrtum()
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

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
getBezeichnung, getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil

Constructor Details
- Irrtum
  
  public Irrtum()
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