Schnittstelle SubsumptionFehltExceptionResultListener

Alle Superschnittstellen:
EingabeFehltExceptionResultListener

public interface SubsumptionFehltExceptionResultListener extends EingabeFehltExceptionResultListener
Schnittstelle, über welche nach Generierung einer SubsumptionFehltException zusätzliche Eingaben an das werfende Objekt zurückübermittelt werden können. Die Implementierung dürfte regelmäßig als anonyme Klasse an der Stelle der Generierung der SubsumptionFehltException erfolgen.
Autor:
Till Menke
Siehe auch:
  • Methodenübersicht

    Modifikator und Typ
    Methode
    Beschreibung
    void
    onResultSet(String subsumption, Rechtsfolge programmergebnis)
    zentrale Rückgabemethode (wird von der SubsumptionFehltException aufgerufen)
  • Methodendetails

    • onResultSet

      void onResultSet(String subsumption, Rechtsfolge programmergebnis)
      zentrale Rückgabemethode (wird von der SubsumptionFehltException aufgerufen)
      Parameter:
      subsumption - Zeichenkette mit der benutzergenerierten Subsumption
      programmergebnis - maschinenlesbarer Wert, welcher dem Subsumptionsergebnis entspricht; muss dem Typ entsprechen, welcher über die Methode getTypeofRechtsfolge der SubsumptionFehltException ermittelt werden kann