Class TatbestandPrüfungsfolgeUndWahrheitswert
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
- All Implemented Interfaces:
Invalidator
,Tatbestand
,Iterable<Prüfungsfolgenelement>
- Direct Known Subclasses:
AnfechtungEinzelprüfung
,AnspruchDurchsetzbar
,AnspruchEntstanden
,AnspruchEntstandenHinderung
,AnspruchErloschen
,AnspruchsgrundlageAnwendbarkeit
,Entschuldigung
,Notstand
,NotstandEntschuldigung
,Notwehr
,Notwehrexzess
,Notwehrhandlung
,Notwehrlage
,RechtfertigungBGBAggressivnotstand
,RechtfertigungBGBBesitzerselbsthilfe
,RechtfertigungBGBDefensivnotstand
,RechtfertigungBGBSelbsthilfe
,Rechtswidrigkeit
,Schuld
,Stellvertretung
,Straftat
,Straftatbestand
,StraftatbestandObjektiv
,StraftatbestandSubjektiv
,StraftatbestandSubjektivObjektiv
,Verhältnismäßigkeit
,WillenserklärungTatbestandObjektiv
,WillenserklärungTatbestandSubjektiv
,WillenserklärungVorliegenVermittelndeAnsicht
Von TatbestandPrüfungsfolgeUnd abgeleitete Klasse mit Standardimplementierungen
für die Rechtsfolge (Wahrheitswerte), da diese meist verwendet sind und so
redundante Festlegungen vermieden werden können; Überschreibungen sind als
final deklariert, damit semantische Bedeutung der Klasseneigenschaft
erzwungen wird
- Author:
- Till Menke
- See Also:
-
Constructor Summary
Constructors -
Method Summary
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, getDefinition, getErgebnissatz, getGutachten, getObersatz, getUrteil
-
Constructor Details
-
TatbestandPrüfungsfolgeUndWahrheitswert
public TatbestandPrüfungsfolgeUndWahrheitswert()
-