Class 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

      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

      Constructor Description
    • 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
    • Constructor Detail

      • TestExample

        public TestExample()
    • Method Detail

      • get

        public Term get()
        Returns the Term representation of the TestExample.
        the term representation of the test example