Package eu.qualimaster.easy.extension.modelop

Interface ModelModifier.QMPlatformProvider

Enclosing class:
ModelModifier
public static interface ModelModifier.QMPlatformProvider
Connection to functionalities of the QM-IConf platform.
Author:
El-Sharkawy

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    reason(net.ssehub.easy.varModel.confModel.Configuration config)
    Should start the reasoning to validate a newly generated configuration and to propagate values before its usage.
    void
    showExceptionDialog(String title, Exception exception)
    Should show exceptions in an error dialog.

  • Method Details

    • reason

      void reason(net.ssehub.easy.varModel.confModel.Configuration config)
      Should start the reasoning to validate a newly generated configuration and to propagate values before its usage. Should call Reasoning.reasonOn(false, config);.
      Parameters:
      config - The configuration to check (and propagate).

    • showExceptionDialog

      void showExceptionDialog(String title, Exception exception)
      Should show exceptions in an error dialog.
      Parameters:
      title - The title of the dialog.
      exception - The caught exception to show.