Package org.jreliability.tester

Class TestExample

java.lang.Object

org.jreliability.tester.TestExample

public class TestExample
extends Object

The TestExample is a play example. It describes a water heating system that consists of a heater and two pumps. To allow a correct functionality, the system needs a working heater and at least one working pump.

Field Summary

Fields

Modifier and Type	Field	Description
protected final String	heater	The heater.
protected final String	pump1	The first pump.
protected final String	pump2	The second pump.

Constructor Summary

Constructors

Constructor	Description
TestExample()

Method Summary

Modifier and Type	Method	Description
Term	get()	Returns the Term representation of the TestExample.

Methods inherited from class java.lang.Object

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

Field Details

heater

protected final String heater

The heater.

See Also:

• Constant Field Values

pump1

protected final String pump1

The first pump.

See Also:

• Constant Field Values

pump2

protected final String pump2

The second pump.

See Also:

• Constant Field Values

Constructor Details

TestExample

public TestExample()

Method Details

get

public Term get()

Returns the Term representation of the TestExample.

Returns:

the term representation of the test example