Package org.mpi_sws.jmc.checker

Interface JmcFunctionalTestTarget.Target

Enclosing class:

JmcFunctionalTestTarget

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public static interface JmcFunctionalTestTarget.Target

Represents a target for JMC.

Method Summary

Modifier and Type	Method	Description
void	invoke()

Method Details

invoke

void invoke()