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

Class Falllösung

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Falllösung
Direct Known Subclasses:
FalllösungAWTComponent, FalllösungAWTStufe, FalllösungHilfsgutachtenmarker, FalllösungMeinungsstreit, FalllösungStufe, FalllösungText
public abstract class Falllösung extends Object
Oberklasse für Objekte, welche die Falllösung bzw. Teile davon unter maschinenverarbeitbarer Beibehaltung ihrer hierarchischen Strukturierung transportieren; ist nicht zur Instanziierung gedacht, sondern dient nur der Herstellung einer Polymorphie und ggf. der Vererbungsgrundlage in zukünftigen Entwicklungen sowie der statischen Speicherung zentraler Konfigurationsparameter. Da Unterklassen nur als Transportobjekte dienen, wird zu Gunsten einer einfacheren Programmierung auf Getter und Setter verzichtet und der öffentliche Zugriff auf die dafür bestimmten Instanzvariablen zugelassen.
Author:
Till Menke

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    DEFAULT_DEFINITION
    stellt einen Standardwert für Definitionszeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
    static final String
    DEFAULT_ERGEBNISSATZ
    stellt einen Standardwert für Ergebnissatzzeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
    static final String
    DEFAULT_OBERSATZ
    stellt einen Standardwert für Obersatzzeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
    static final String
    DEFAULT_STREITENTSCHEID
    stellt einen Standardwert für Streitentscheidszeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
    static final String
    DEFAULT_SUBSUMPTION
    stellt einen Standardwert für Subsumptionszeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll

  • Constructor Summary

    Constructors
    Constructor
    Description
    Falllösung()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    getCreatorHashCode()
    Die Speicherung des CreatorHashCode ermöglicht, auch bei mehrfacher Erzeugung dieses Transportobjekts nachzuvollziehen, ob der Objektinhalt bereits bekannt ist.
    String
    getÜberschrift()
    Getter
    boolean
    isAustauschbar()
     
    void
    setAustauscher(Tatbestandsaustauscher austauscher)
     
    void
    setCreatorHashCode(int neu)
    Die Speicherung des CreatorHashCode ermöglicht, auch bei mehrfacher Erzeugung dieses Transportobjekts nachzuvollziehen, ob der Objektinhalt bereits bekannt ist.
    void
    setÜberschrift(String überschrift)
    Getter
    void
    überschreibePrüfung(Rechtsfolge neueRechtsfolge, String neuerObersatz, String neueDefinition, String neueSubsumption, String neuerErgebnissatz)
    Methode, um diesen Prüfungsabschnitt durch eine manuell vorgegebene Prüfung zu ersetzen
    void
    überschreibeTatbestand(Tatbestand neuePrüfung)
    Methode, um eine andere Falllösungsstrategie für diesen Teil zu verwenden (Achtung: kann Konsistenz zerstören)

    Methods inherited from class java.lang.Object

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

  • Field Details

    • DEFAULT_OBERSATZ

      public static final String DEFAULT_OBERSATZ
      stellt einen Standardwert für Obersatzzeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
      See Also:

    • DEFAULT_DEFINITION

      public static final String DEFAULT_DEFINITION
      stellt einen Standardwert für Definitionszeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
      See Also:

    • DEFAULT_SUBSUMPTION

      public static final String DEFAULT_SUBSUMPTION
      stellt einen Standardwert für Subsumptionszeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
      See Also:

    • DEFAULT_ERGEBNISSATZ

      public static final String DEFAULT_ERGEBNISSATZ
      stellt einen Standardwert für Ergebnissatzzeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
      See Also:

    • DEFAULT_STREITENTSCHEID

      public static final String DEFAULT_STREITENTSCHEID
      stellt einen Standardwert für Streitentscheidszeichenketten dar, welcher in Ausgaben zum Ignorieren der Zeile führen soll
      See Also:

  • Constructor Details

    • Falllösung

      public Falllösung()

  • Method Details

    • getÜberschrift

      public String getÜberschrift()
      Getter
      Returns:
      Zeichenkette mit der Überschrift über diesem Element

    • setÜberschrift

      public void setÜberschrift(String überschrift)
      Getter
      Parameters:
      überschrift - Zeichenkette mit der Überschrift über diesem Element

    • isAustauschbar

      public boolean isAustauschbar()
      Returns:
      Wahrheitswert der angibt, ob das dieser Falllösung zu grunde liegende Element ausgetauscht werden kann

    • setAustauscher

      public void setAustauscher(Tatbestandsaustauscher austauscher)
      Parameters:
      austauscher - Element der Klasse "Tatbestandsaustauscher", welches in der Prüfungsstruktur einen Austausch des Tatbestandsobjekts erlaubt, welches die Inhalte dieses Falllösungsobjekts erzeugt hat

    • überschreibeTatbestand

      public void überschreibeTatbestand(Tatbestand neuePrüfung) throws TatbestandsaustauschUnmöglichException
      Methode, um eine andere Falllösungsstrategie für diesen Teil zu verwenden (Achtung: kann Konsistenz zerstören)
      Parameters:
      neuePrüfung - Tatbestandsobjekt, welches die neue Falllösungsstrategie für diesen Teil repräsentiert
      Throws:
      TatbestandsaustauschUnmöglichException - wenn isAustauschbar() einen negativen Wert zurückgibt

    • überschreibePrüfung

      public void überschreibePrüfung(Rechtsfolge neueRechtsfolge, String neuerObersatz, String neueDefinition, String neueSubsumption, String neuerErgebnissatz) throws TatbestandsaustauschUnmöglichException
      Methode, um diesen Prüfungsabschnitt durch eine manuell vorgegebene Prüfung zu ersetzen
      Parameters:
      neueRechtsfolge - Objekt, welches die manuell vorgegebene Rechtsfolge repräsentiert
      neuerObersatz - Zeichenkette mit dem manuell vorgegebenem Obersatz
      neueDefinition - Zeichenkette mit der manuell vorgegebenen Definition
      neueSubsumption - Zeichenkette mit der manuell vorgegebenen Subsumption
      neuerErgebnissatz - Zeichenkette mit dem manuell vorgegebenem Ergebnissatz
      Throws:
      TatbestandsaustauschUnmöglichException - wenn isAustauschbar() einen negativen Wert zurückgibt

    • getCreatorHashCode

      public int getCreatorHashCode()
      Die Speicherung des CreatorHashCode ermöglicht, auch bei mehrfacher Erzeugung dieses Transportobjekts nachzuvollziehen, ob der Objektinhalt bereits bekannt ist.
      Returns:
      HashCode des Erstellers, soweit festgelegt, sonst HashCode dieses Objekts

    • setCreatorHashCode

      public void setCreatorHashCode(int neu)
      Die Speicherung des CreatorHashCode ermöglicht, auch bei mehrfacher Erzeugung dieses Transportobjekts nachzuvollziehen, ob der Objektinhalt bereits bekannt ist.
      Parameters:
      neu - hashCode() des Erstellers