Class AnfechtungEinzelprüfung
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.zivilrecht.AnfechtungEinzelprüfung
- All Implemented Interfaces:
- Invalidator,- Tatbestand,- Iterable<Prüfungsfolgenelement>
prüft eine einzelne Anfechtung (Abgrenzung: Klasse "Anfechtung" prüft alle und greift auf diese Klasse zurück)
- Author:
- Till Menke
- 
Constructor SummaryConstructors
- 
Method SummaryModifier and TypeMethodDescriptionBasisschnittstelleBasisschnittstellevoidsetSachverhalt(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üfungsfolgeUndgetRechtsfolgeMethods inherited from class de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandPrüfungsfolgegetAnzahlPrüfungspunkte, getErgebnissatz, getFalllösung, getSubsumption, invalidate, iterator, previewExceptions, toStringMethods inherited from class java.lang.Objectequals, getClass, hashCode, notify, notifyAll, wait, wait, waitMethods inherited from interface java.lang.IterableforEach, spliteratorMethods inherited from interface de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandgetBezeichnung, getDefinition, getErgebnissatz, getGutachten, getUrteil
- 
Constructor Details- 
AnfechtungEinzelprüfung- Parameters:
- zuPrüfen- der zu prüfende Kommunikationsakt
 
 
- 
- 
Method Details- 
getObersatzDescription copied from interface:TatbestandBasisschnittstelle- 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
 
- 
getDefinitionDescription copied from interface:TatbestandBasisschnittstelle- 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
 
- 
setSachverhaltDescription copied from class:TatbestandPrüfungsfolgeinjiziert 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:
- setSachverhaltin interface- Tatbestand
- Overrides:
- setSachverhaltin class- TatbestandPrüfungsfolge
- Parameters:
- sachverhalt- neue Referenz
 
 
-