VerhältnismäßigkeitGeeignetheit

java.lang.Object

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

de.tillmenke.studium.informatik.masterarbeit.strafrecht.VerhältnismäßigkeitGeeignetheit

All Implemented Interfaces:: Invalidator, Tatbestand

public class VerhältnismäßigkeitGeeignetheit extends TatbestandManuell

prüft das Vorliegen der Geeignetheit im Rahmen der Verhältnismäßigkeit

Constructor Summary

Constructors

Constructor

Description

VerhältnismäßigkeitGeeignetheit(String zweck, String maßnahme, String sonderdefinition)
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
- VerhältnismäßigkeitGeeignetheit
  
  public VerhältnismäßigkeitGeeignetheit(String zweck, String maßnahme, String sonderdefinition)
  
  Parameters:
  
  zweck - Beschreibung des Zwecks der Maßnahme (wird in Anführungszeichen wiedergegeben)
  
  maßnahme - Beschreibung der Maßnahme (in der Form eines Satzbeginns, z. B. "Die Maßnahme")
  
  sonderdefinition - ein zusätzlicher Definitionssatz für den speziellen Fall
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