ProductLineHeaderMenu.ValidationListener (EASy-Producer Documentation API)

java.lang.Object
- net.ssehub.easy.producer.ui.core.reasoning.AbstractReasonerListener
- - net.ssehub.easy.producer.ui.productline_editor.project_configuration.ProductLineHeaderMenu.ValidationListener

All Implemented Interfaces:

IReasonerListener

Enclosing class:

ProductLineHeaderMenu
```
private class ProductLineHeaderMenu.ValidationListener
extends AbstractReasonerListener
```
IReasonerListener for validating the variability model (perform satisfiability check).

Author:

El-Sharkawy

- Constructor Summary
  
  Constructors
  Modifier Constructor Description
  
  private ValidationListener()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void endReasoning(ReasoningResult result)
  This method will be called after the reasoner is finished.
  - Methods inherited from class net.ssehub.easy.producer.ui.core.reasoning.AbstractReasonerListener
    reasoningFinished
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ValidationListener
```
private ValidationListener()
```
- Method Detail
  - endReasoning
```
public void endReasoning(ReasoningResult result)
```
    Description copied from class: AbstractReasonerListener
    
    This method will be called after the reasoner is finished. This method is called in an own GUI thread to allow modifications on the GUI.
    
    Specified by:
    
    endReasoning in class AbstractReasonerListener
    
    Parameters:
    
    result - The result of the reasoning, can also contain warnings and errors.