Class AbstractRealTests

java.lang.Object
net.ssehub.easy.dslCore.test.AbstractTest<net.ssehub.easy.instantiation.core.model.buildlangModel.Script>
test.de.uni_hildesheim.sse.vil.buildlang.AbstractTest<net.ssehub.easy.instantiation.core.model.buildlangModel.Script>
Direct Known Subclasses:
RealMeasurementsTests, RealTests

public abstract class AbstractRealTests extends AbstractEasyScenarioTest
Test infrastructure class for real tests.
Author:
Holger Eichelberger
  • Field Details

    • enableRealTimeAsserts

      protected boolean enableRealTimeAsserts
  • Constructor Details

    • AbstractRealTests

      public AbstractRealTests()
  • Method Details

    • assertConfiguration

      protected net.ssehub.easy.instantiation.core.model.vilTypes.configuration.Configuration assertConfiguration(net.ssehub.easy.varModel.model.Project prj, AbstractScenarioTest.Mode mode)
      Description copied from class: AbstractScenarioTest
      Creates and asserts a VIL configuration and checks the reasoning/propagation result for no conflicts.
      Overrides:
      assertConfiguration in class AbstractScenarioTest
      Parameters:
      prj - the project to create the configuration for
      mode - the testing mode
      Returns:
      the VIL configuration
    • assertFailureMessage

      private static void assertFailureMessage(net.ssehub.easy.reasoning.core.reasoner.ReasoningResult res, net.ssehub.easy.varModel.model.AbstractVariable... vars)
      Asserts failure messages for each vars.
      Parameters:
      res - the reasoning result
      vars - the variables that must cause conflicts