JustificationComputationManager.ChangeListener (Protege Justification Explanation 0.1.0 API)

All Known Implementing Classes:: JustificationManager

Enclosing class:: JustificationComputationManager

public static interface JustificationComputationManager.ChangeListener

Method Summary

Modifier and Type

Method

Description

void

justificationsOutdated()

fired when the justifications previously provided by the JustificationComputationManager may be out of date, i.e., they may be no longer correct for the current ontology or current settings and need to be recomputed

void

settingsPanelChanged()

fired when the settings panel returned by JustificationComputationManager.getSettingsPanel() may have changed

Method Details
- justificationsOutdated
  
  void justificationsOutdated()
  
  fired when the justifications previously provided by the JustificationComputationManager may be out of date, i.e., they may be no longer correct for the current ontology or current settings and need to be recomputed
- settingsPanelChanged
  
  void settingsPanelChanged()
  
  fired when the settings panel returned by JustificationComputationManager.getSettingsPanel() may have changed