Class Schuld
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.Schuld
- All Implemented Interfaces:
Invalidator
,Tatbestand
,Iterable<Prüfungsfolgenelement>
prüft die Schuld
- Author:
- Till Menke
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionBasisschnittstelleBasisschnittstellevoid
setSachverhalt
(Sachverhalt sachverhalt) injiziert eine Referenz auf den verwendeten Sachverhalt; dadurch wird die Prüfungsfolge neu geladen und allen Prüfungspunkten wird die Änderung mitgeteilt.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, 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
-
Schuld
- Parameters:
tat
- Straftat, deren Schuld 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
-
setSachverhalt
Description copied from class:TatbestandPrüfungsfolge
injiziert eine Referenz auf den verwendeten Sachverhalt; dadurch wird die Prüfungsfolge neu geladen und allen Prüfungspunkten wird die Änderung mitgeteilt. ACHTUNG: Beim Überschreiben unbedingt super.setSachverhalt(sachverhalt) (also diese Methode) aufrufen, damit notwendigenfalls der geänderte Sachverhalt auch in den einzelnen Prüfungspunkten zugänglich ist.- Specified by:
setSachverhalt
in interfaceTatbestand
- Overrides:
setSachverhalt
in classTatbestandPrüfungsfolge
- Parameters:
sachverhalt
- neue Referenz
-