Klasse Falllösung

java.lang.Object
de.tillmenke.studium.informatik.masterarbeit.werkzeugkasten.Falllösung
Bekannte direkte Unterklassen:
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.
Autor:
Till Menke

  • Feldübersicht

    Felder
    Modifikator und Typ
    Feld
    Beschreibung
    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

  • Konstruktorübersicht

    Konstruktoren
    Konstruktor
    Beschreibung
    Falllösung()
     

  • Methodenübersicht

    Modifikator und Typ
    Methode
    Beschreibung
    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)

    Von Klasse geerbte Methoden Object

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

  • Felddetails

    • 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
      Siehe auch:

    • 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
      Siehe auch:

    • 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
      Siehe auch:

    • 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
      Siehe auch:

    • 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
      Siehe auch:

  • Konstruktordetails

    • Falllösung

      public Falllösung()

  • Methodendetails

    • getÜberschrift

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

    • setÜberschrift

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

    • isAustauschbar

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

    • setAustauscher

      public void setAustauscher(Tatbestandsaustauscher austauscher)
      Parameter:
      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)
      Parameter:
      neuePrüfung - Tatbestandsobjekt, welches die neue Falllösungsstrategie für diesen Teil repräsentiert
      Löst aus:
      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
      Parameter:
      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
      Löst aus:
      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.
      Gibt zurück:
      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.
      Parameter:
      neu - hashCode() des Erstellers