Klasse 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
- Alle implementierten Schnittstellen:
Invalidator, Tatbestand, Iterable<Prüfungsfolgenelement>
prüft eine einzelne Anfechtung (Abgrenzung: Klasse "Anfechtung" prüft alle und greift auf diese Klasse zurück)
- Autor:
- Till Menke
-
Konstruktorübersicht
Konstruktoren -
Methodenübersicht
Modifikator und TypMethodeBeschreibungBasisschnittstelleBasisschnittstellevoidsetSachverhalt(Sachverhalt sachverhalt) injiziert eine Referenz auf den verwendeten Sachverhalt; dadurch wird die Prüfungsfolge neu geladen und allen Prüfungspunkten wird die Änderung mitgeteilt.Von Klasse geerbte Methoden TatbestandPrüfungsfolgeUnd
getRechtsfolgeVon Klasse geerbte Methoden TatbestandPrüfungsfolge
getAnzahlPrüfungspunkte, getErgebnissatz, getFalllösung, getSubsumption, invalidate, iterator, previewExceptions, toStringVon Schnittstelle geerbte Methoden Iterable
forEach, spliteratorVon Schnittstelle geerbte Methoden Tatbestand
getBezeichnung, getDefinition, getErgebnissatz, getGutachten, getUrteil
-
Konstruktordetails
-
AnfechtungEinzelprüfung
- Parameter:
zuPrüfen- der zu prüfende Kommunikationsakt
-
-
Methodendetails
-
getObersatz
Beschreibung aus Schnittstelle kopiert:TatbestandBasisschnittstelle- Gibt zurück:
- Zeichenkette mit dem Obersatz
- Löst aus:
EingabeFehltException- wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden
-
getDefinition
Beschreibung aus Schnittstelle kopiert:TatbestandBasisschnittstelle- Gibt zurück:
- Zeichenkette mit der Definition
- Löst aus:
EingabeFehltException- wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden
-
setSachverhalt
Beschreibung aus Klasse kopiert: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.- Angegeben von:
setSachverhaltin SchnittstelleTatbestand- Setzt außer Kraft:
setSachverhaltin KlasseTatbestandPrüfungsfolge- Parameter:
sachverhalt- neue Referenz
-