de.learnlib.drivers.reflect

Class Unobserved

java.lang.Object

de.learnlib.drivers.reflect.AbstractMethodOutput

de.learnlib.drivers.reflect.Unobserved

public class Unobserved
extends AbstractMethodOutput

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

Methods

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