Konkurrenzen

java.lang.Object

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

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

de.tillmenke.studium.informatik.masterarbeit.strafrecht.Konkurrenzen

All Implemented Interfaces:: Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>

public class Konkurrenzen extends TatbestandPrüfungsfolgeUnd

prüft die Konkurrenzen zwischen mehreren Straftaten

Author:: Till Menke

Constructor Summary

Constructors

Constructor

Description

Konkurrenzen(Straftat[] straftatbestände)

Konstruktor
Method Summary

Modifier and Type

Method

Description

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

Constructor Details
- Konkurrenzen
  
  public Konkurrenzen(Straftat[] straftatbestände)
  
  Konstruktor
  
  Parameters:
  
  straftatbestände - Liste der Straftatbestände (erfüllt oder nicht erfüllt)
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