Package de.tillmenke.studium.informatik.masterarbeit.zivilrecht

Class Vertragsschluss

java.lang.Object

de.tillmenke.studium.informatik.masterarbeit.zivilrecht.Vertragsschluss

All Implemented Interfaces:

Invalidator, Tatbestand

Direct Known Subclasses:

VertraglicherErfüllungsanspruch

public class Vertragsschluss
extends Object
implements Tatbestand, Invalidator

prüft das Zustandekommen eines Vertrags durch korrespondierende Willenserklärungen

Author:

Till Menke

Constructor Summary

Constructors

Constructor	Description
Vertragsschluss(Geschäftswille inhaltsanforderung, Personendaten... parteien)

Method Summary

Modifier and Type	Method	Description
String	getDefinition()	Basisschnittstelle
String	getErgebnissatz()	Basisschnittstelle
Falllösung	getFalllösung()	Standardimplementierung der erweiterteten Schnittstelle
Geschäftswille	getInhalt()
String	getObersatz()	Basisschnittstelle
Rechtsfolge	getRechtsfolge()	Basisschnittstelle
String	getSubsumption(Sprachstil sprachstil)	Basisschnittstelle
void	invalidate()	fordert den Empfänger auf, den betroffenen Teil zu invalidieren
final List<EingabeFehltException>	previewExceptions()	Standardimplementierung der erweiterteten Schnittstelle
void	setSachverhalt(Sachverhalt sachverhalt)	injiziert eine Referenz auf den verwendeten Sachverhalt; üblicherweise zu implementierender Effekt: Invalidierung bereits erfolgter Benutzereingaben
Willenserklärung[]	wirksameWillenserklärungen()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Tatbestand

getBezeichnung, getDefinition, getErgebnissatz, getGutachten, getUrteil

Constructor Details

Vertragsschluss

public Vertragsschluss(Geschäftswille inhaltsanforderung,
 Personendaten... parteien)
                throws IllegalArgumentException

Parameters:

inhaltsanforderung - die inhaltlichen Anforderungen an den Geschäftswillen

parteien - Auflistung der Parteien des Vertrags (mindestens zwei)

Throws:

IllegalArgumentException - wenn weniger als zwei Parteien übergeben wurden

Method Details

getObersatz

public String getObersatz()

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getObersatz in interface Tatbestand

Returns:

Zeichenkette mit dem Obersatz

getDefinition

public String getDefinition()

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getDefinition in interface Tatbestand

Returns:

Zeichenkette mit der Definition

getFalllösung

public Falllösung getFalllösung()
                         throws EingabeFehltException

Description copied from interface: Tatbestand

Standardimplementierung der erweiterteten Schnittstelle

Specified by:

getFalllösung in interface Tatbestand

Returns:

Instanz eines Falllösungsobjekts, welches die Subsumption ggf. verschachtelt repräsentiert

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

public void setSachverhalt(Sachverhalt sachverhalt)

Description copied from interface: Tatbestand

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

Specified by:

setSachverhalt in interface Tatbestand

Parameters:

sachverhalt - neue Referenz

getRechtsfolge

public Rechtsfolge getRechtsfolge()
                           throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getRechtsfolge in interface Tatbestand

Returns:

maschinenverarbeitbarer Wert mit dem Subsumptionsergebnis

Throws:

EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

getSubsumption

public String getSubsumption(Sprachstil sprachstil)
                      throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getSubsumption in interface Tatbestand

Parameters:

sprachstil - Angabe, welcher Sprachstil verwendet werden soll (sollte von implementierenden Klassen üblicherweise beachtet werden, da wegen Rekursion wichtig)

Returns:

Zeichenkette mit der Subsumption (ggf. inkl. Verschachtelungen)

Throws:

EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

getErgebnissatz

public String getErgebnissatz()
                       throws EingabeFehltException

Description copied from interface: Tatbestand

Basisschnittstelle

Specified by:

getErgebnissatz in interface Tatbestand

Returns:

Zeichenkette mit dem Ergebnissatz

Throws:

EingabeFehltException - wenn für die Bearbeitung weitere Informationen erforderlich sind; Anzahl kann evtl. durch vorherige Abarbeitung der mit previewExceptions() ermittelten Ausnahmen vermindert werden

invalidate

public void invalidate()

Description copied from interface: Invalidator

fordert den Empfänger auf, den betroffenen Teil zu invalidieren

Specified by:

invalidate in interface Invalidator

getInhalt

public Geschäftswille getInhalt()

Returns:

der übereinstimmende Vertragsinhalt

wirksameWillenserklärungen

public Willenserklärung[] wirksameWillenserklärungen()

Returns:

der übereinstimmende Vertragsinhalt

previewExceptions

public final List<EingabeFehltException> previewExceptions()

Description copied from interface: Tatbestand

Standardimplementierung der erweiterteten Schnittstelle

Specified by:

previewExceptions in interface Tatbestand

Returns:

Liste der mindestens zu erwartenden Ausnahmen