Package org.mpi_sws.jmc.checker

Class JmcFunctionalTestTarget

java.lang.Object

org.mpi_sws.jmc.checker.JmcFunctionalTestTarget

All Implemented Interfaces:

JmcTestTarget

public class JmcFunctionalTestTarget
extends Object
implements JmcTestTarget

A functional test target for JMC that allows invoking a target method.

This class implements the JmcTestTarget interface and provides a way to invoke a target method with a specified name.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	JmcFunctionalTestTarget.Target	Represents a target for JMC.

Constructor Summary

Constructors

Constructor	Description
JmcFunctionalTestTarget(String name, JmcFunctionalTestTarget.Target target)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

JmcFunctionalTestTarget

public JmcFunctionalTestTarget(String name,
 JmcFunctionalTestTarget.Target target)

Method Details

name

public String name()

Description copied from interface: JmcTestTarget

Returns the name of the target.

Specified by:

name in interface JmcTestTarget

invoke

public void invoke()

Description copied from interface: JmcTestTarget

Invokes the target.

Specified by:

invoke in interface JmcTestTarget