Gefahrenabwehrwille

java.lang.Object

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

de.tillmenke.studium.informatik.masterarbeit.strafrecht.Gefahrenabwehrwille

All Implemented Interfaces:: Invalidator, Tatbestand

public class Gefahrenabwehrwille extends TatbestandManuell

prüft das subjektive Rechtfertigungselement

Constructor Summary

Constructors

Constructor

Description

Gefahrenabwehrwille()
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
- Gefahrenabwehrwille
  
  public Gefahrenabwehrwille()
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