Package eu.qualimaster.easy.extension.debug

Class Debug

java.lang.Object
eu.qualimaster.easy.extension.debug.AbstractDebug
eu.qualimaster.easy.extension.debug.Debug
public class Debug extends AbstractDebug
Performs a sequential test of frozen state log files produced by the infrastructure.
Author:
Holger Eichelberger

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    private static final net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration
    CONFIGURATION
     
    private static eu.qualimaster.adaptation.events.AdaptationEvent
    event
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    Debug()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static void
    main(String[] args)
    Executes the test in sequence.
    private static void
    process(String prefix, net.ssehub.easy.varModel.confModel.Configuration config, net.ssehub.easy.instantiation.rt.core.model.rtVil.Script rtVilModel)
    Processes the logged files.

    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

    • event

      private static eu.qualimaster.adaptation.events.AdaptationEvent event

    • CONFIGURATION

      private static final net.ssehub.easy.reasoning.core.reasoner.ReasonerConfiguration CONFIGURATION

  • Constructor Details

    • Debug

      public Debug()

  • Method Details

    • process

      private static void process(String prefix, net.ssehub.easy.varModel.confModel.Configuration config, net.ssehub.easy.instantiation.rt.core.model.rtVil.Script rtVilModel)
      Processes the logged files.
      Parameters:
      prefix - the file name prefix
      config - the configuration
      rtVilModel - the rt-VIL model

    • main

      public static void main(String[] args) throws net.ssehub.easy.basics.modelManagement.ModelManagementException, net.ssehub.easy.varModel.model.ModelQueryException
      Executes the test in sequence. Please adjust your model location and the files to be analyzed.
      Parameters:
      args - location of the model, requested functionality (none: just load the model, monitor: process file/monitoring_ in sequence, adapt: process file/adaptation_ in sequence)
      Throws:
      net.ssehub.easy.basics.modelManagement.ModelManagementException - shall not occur
      net.ssehub.easy.varModel.model.ModelQueryException - shall not occur