Package org.mpi_sws.jmc.integrations.junit5.descriptors

Class JmcEngineDescriptor

java.lang.Object
org.junit.platform.engine.support.descriptor.AbstractTestDescriptor
org.junit.platform.engine.support.descriptor.EngineDescriptor
org.mpi_sws.jmc.integrations.junit5.descriptors.JmcEngineDescriptor
All Implemented Interfaces:
org.junit.platform.engine.TestDescriptor
public class JmcEngineDescriptor extends org.junit.platform.engine.support.descriptor.EngineDescriptor
A JUnit 5 engine descriptor for the JMC engine.

This descriptor represents the JMC engine in the JUnit 5 test framework, allowing for the execution of JMC checks as part of the test lifecycle.

  • Nested Class Summary

    Nested classes/interfaces inherited from interface org.junit.platform.engine.TestDescriptor

    org.junit.platform.engine.TestDescriptor.Type, org.junit.platform.engine.TestDescriptor.Visitor

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    static final String
    ENGINE_DISPLAY_NAME
     

    Fields inherited from class org.junit.platform.engine.support.descriptor.AbstractTestDescriptor

    children

  • Constructor Summary

    Constructors
    Constructor
    Description
    JmcEngineDescriptor(org.junit.platform.engine.UniqueId uniqueId)
     

  • Method Summary

    Methods inherited from class org.junit.platform.engine.support.descriptor.EngineDescriptor

    getType

    Methods inherited from class org.junit.platform.engine.support.descriptor.AbstractTestDescriptor

    addChild, equals, findByUniqueId, getChildren, getDisplayName, getParent, getSource, getTags, getUniqueId, hashCode, removeChild, removeFromHierarchy, setParent, toString

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface org.junit.platform.engine.TestDescriptor

    accept, getAncestors, getDescendants, getLegacyReportingName, isContainer, isRoot, isTest, mayRegisterTests, prune

  • Field Details

  • Constructor Details

    • JmcEngineDescriptor

      public JmcEngineDescriptor(org.junit.platform.engine.UniqueId uniqueId)