Package de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten

Class TatbestandManuell

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.TatbestandManuell
All Implemented Interfaces:
Invalidator, Tatbestand
Direct Known Subclasses:
Anfechtungsfrist, Anfechtungsrecht, BetrugBereicherungsabsicht, BetrugIrrtum, BetrugRechtswidrigkeit, BetrugSchaden, BetrugVerfügung, EntschuldigungSonstige, ErschleichenVonLeistungenErschleichenHL, ErschleichenVonLeistungenTatobjektAutomat, ErschleichenVonLeistungenTatobjektKommunikationsnetz, ErschleichenVonLeistungenTatobjektZutritt, Exkulpation, Gefahrenabwehrwille, Irrtum, Kausalität, KonkurrenzenIdealkonkurrenzTateinheit, NotstandEntschuldigungZumutbarkeit, NotstandslageGefahr, NotwehrexzessÜberschreitung, NotwehrhandlungVerteidigung, NotwehrlageAngriff, NotwehrlageAngriffGegenwärtigkeit, NotwehrlageAngriffRechtswidrigkeit, RechtfertigungBGBAggressivnotstandGefahr, RechtfertigungBGBBesitzerselbsthilfeTatbestand, RechtfertigungBGBDefensivnotstandGefahr, RechtfertigungBGBDefensivnotstandHandlung, RechtfertigungBGBSelbsthilfeEinredefreierAnspruch, RechtfertigungBGBSelbsthilfeGefahr, RechtfertigungBGBSelbsthilfeObrigkeitlicheHilfe, RechtswidrigkeitSonstige, SchuldfähigkeitSonstige, StellvertretungVertretungsmacht, TatbestandManuellVorlage, TatbestandStrategiewahl, Testanspruchsgrundlage, VerhältnismäßigkeitAngemessenheit, VerhältnismäßigkeitErforderlichkeit, VerhältnismäßigkeitGeeignetheit, VerhältnismäßigkeitLegitimerZweck, WillenserklärungTatbestandObjektivRechtsbindungswille, WillenserklärungTatbestandSubjektivRechtsbindungswille
public abstract class TatbestandManuell extends Object implements Tatbestand, Invalidator
Rahmenwerksklasse zur Weitergabe der Subsumptionsverantwortung an den Nutzer
Author:
Till Menke

  • Constructor Details

    • TatbestandManuell

      public TatbestandManuell()

  • Method Details

    • getRechtsfolge

      public final 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

    • getObersatz

      public abstract String getObersatz()
      Basisschnittstelle, strengere Variante für manuelle Subsumtion: Obersatz muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann
      Specified by:
      getObersatz in interface Tatbestand
      Returns:
      Zeichenkette mit dem Obersatz

    • getDefinition

      public abstract String getDefinition()
      Basisschnittstelle, strengere Variante für manuelle Subsumtion: Defintion muss ohne Exception gebildet werden, damit Subsumtion abgefragt werden kann
      Specified by:
      getDefinition in interface Tatbestand
      Returns:
      Zeichenkette mit der Definition

    • 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

    • previewExceptions

      public List<EingabeFehltException> previewExceptions()
      spezielle Implementierung der erweiterten Schnittstelle
      Specified by:
      previewExceptions in interface Tatbestand
      Returns:
      Liste der mindestens zu erwartenden Ausnahmen

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • 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

    • 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