Package eu.qualimaster.easy.extension.debug

Class DebugModelPruning

java.lang.Object

eu.qualimaster.easy.extension.debug.AbstractDebug

eu.qualimaster.easy.extension.debug.DebugModelPruning

public class DebugModelPruning
extends AbstractDebug

Tests that the ModelModifier can be executed before instantiating the platform.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
static final net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration	RCONFIG

Constructor Summary

Constructors

Constructor	Description
DebugModelPruning()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Executes the test.

Methods inherited from class eu.qualimaster.easy.extension.debug.AbstractDebug

initialize, loadModelLocation, sleep

Methods inherited from class java.lang.Object

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

Field Details

RCONFIG

public static final net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration RCONFIG

Constructor Details

DebugModelPruning

public DebugModelPruning()

Method Details

main

public static void main(String[] args)
                 throws Exception

Executes the test.

Parameters:

args - the first argument shall be the model location

Throws:

Exception - in case of any failures