Klasse WillenserklärungAnnahmeFrist

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuell

de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuellVorlage

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.WillenserklärungAnnahmeFrist

Alle implementierten Schnittstellen:

Invalidator, Tatbestand

public class WillenserklärungAnnahmeFrist
extends TatbestandManuellVorlage

prüft, ob eine Annahmefrist gewahrt wurde

Autor:

Till Menke

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
WillenserklärungAnnahmeFrist(Willenserklärung antrag, Willenserklärung annahme)

Methodenübersicht

Modifikator und Typ	Methode	Beschreibung
String	getDefinition()	Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann
String	getObersatz()	Basisschnittstelle, strengere Variante für manuelle Subsumtion: Obersatz muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann
void	invalidate()	fordert den Empfänger auf, den betroffenen Teil zu invalidieren; ACHTUNG: bei TatbestandManuellVorlage erfolgt keine automatische Rücksetzung der Nutzerwahl, um in der Implementierung größtmögliche Freiheit zu gewährleisten; dies müss über setNutzerauswahl("",null) explizit ausgelöst werden
void	setSachverhalt(Sachverhalt sachverhalt)	injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben

Von Klasse geerbte Methoden TatbestandManuell

getErgebnissatz, getRechtsfolge, getSubsumption, previewExceptions, toString

Von Klasse geerbte Methoden Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Von Schnittstelle geerbte Methoden Tatbestand

getBezeichnung, getDefinition, getErgebnissatz, getFalllösung, getGutachten, getUrteil

Konstruktordetails

WillenserklärungAnnahmeFrist

public WillenserklärungAnnahmeFrist(Willenserklärung antrag,
 Willenserklärung annahme)

Parameter:

antrag - Antrag

annahme - Annahme

Methodendetails

getObersatz

public String getObersatz()

Beschreibung aus Klasse kopiert: TatbestandManuell

Basisschnittstelle, strengere Variante für manuelle Subsumtion: Obersatz muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann

Angegeben von:

getObersatz in Schnittstelle Tatbestand

Angegeben von:

getObersatz in Klasse TatbestandManuell

Gibt zurück:

Zeichenkette mit dem Obersatz

getDefinition

public String getDefinition()

Beschreibung aus Klasse kopiert: TatbestandManuell

Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann

Angegeben von:

getDefinition in Schnittstelle Tatbestand

Angegeben von:

getDefinition in Klasse TatbestandManuell

Gibt zurück:

Zeichenkette mit der Definition

setSachverhalt

public void setSachverhalt(Sachverhalt sachverhalt)

Beschreibung aus Schnittstelle kopiert: Tatbestand

injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben

Angegeben von:

setSachverhalt in Schnittstelle Tatbestand

Angegeben von:

setSachverhalt in Klasse TatbestandManuellVorlage

Parameter:

sachverhalt - neue Referenz

invalidate

public void invalidate()

Beschreibung aus Klasse kopiert: TatbestandManuellVorlage

fordert den Empfänger auf, den betroffenen Teil zu invalidieren; ACHTUNG: bei TatbestandManuellVorlage erfolgt keine automatische Rücksetzung der Nutzerwahl, um in der Implementierung größtmögliche Freiheit zu gewährleisten; dies müss über setNutzerauswahl("",null) explizit ausgelöst werden

Angegeben von:

invalidate in Schnittstelle Invalidator

Angegeben von:

invalidate in Klasse TatbestandManuellVorlage