+ public void unpauseLiveExecution()
+ {
+ synchronized (isPaused)
+ {
+ tf.unpause();
+ isPaused.set(false);
+ isPaused.notify();
+ }
+ }
+
+ public void pauseLiveExecution()
+ {
+ synchronized (isPaused)
+ {
+ tf.pause();
+ isPaused.set(true);
+ }
+ }
+
+ public boolean isPaused()
+ {
+ return isPaused.get();
+ }
+
+ public double getSpeedFactor()
+ {
+ return tf.getSpeedFactor();
+ }
+
+ public void setSpeedFactor(double factor)
+ {
+ tf.setSpeedFactor(factor);
+ }
+