TestExample (jreliability v2.0 API)

java.lang.Object
- org.jreliability.tester.TestExample

```
public class TestExample
extends java.lang.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 java.lang.String`	`heater`	The heater.
`protected java.lang.String`	`pump1`	The first pump.
`protected java.lang.String`	`pump2`	The second pump.

Constructor Summary

Constructors
Constructor Description

TestExample()

Method Summary

All Methods Instance Methods Concrete Methods
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 Detail
  - heater
```
protected final java.lang.String heater
```
    The heater.
    
    See Also:
    
    Constant Field Values
  - pump1
```
protected final java.lang.String pump1
```
    The first pump.
    
    See Also:
    
    Constant Field Values
  - pump2
```
protected final java.lang.String pump2
```
    The second pump.
    
    See Also:
    
    Constant Field Values
- Constructor Detail
  - TestExample
```
public TestExample()
```
- Method Detail
  - get
```
public Term get()
```
    Returns the Term representation of the TestExample.
    
    Returns:
    
    the term representation of the test example