Package org.mpi_sws.jmc.checker

Interface JmcTestTarget

All Known Implementing Classes:
JmcFunctionalTestTarget
public interface JmcTestTarget
Represents a target for JMC.

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    invoke()
    Invokes the target.
    String
    name()
    Returns the name of the target.

  • Method Details

    • name

      String name()
      Returns the name of the target.

    • invoke

      void invoke()
      Invokes the target.