de.learnlib.drivers.reflect

Class Unobserved

java.lang.Object

de.learnlib.drivers.reflect.MethodOutput

de.learnlib.drivers.reflect.Unobserved

public final class Unobserved
extends MethodOutput

Unobserved indicates that the corresponding input was not executed on the system. This usually happens after an exception occurred.

Author:

falkhowar

Field Summary

Fields

Modifier and Type	Field and Description
static Unobserved	INSTANCE

Method Summary

Modifier and Type	Method and Description
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final Unobserved INSTANCE

Method Detail

toString

public String toString()

Overrides:

toString in class Object