Class TimeSetSuccessResult


  • public class TimeSetSuccessResult
    extends TimeSetResult
    This result documents a successful timeset operation.
    Author:
    Rene Schneider - initial API and implementation
    • Constructor Summary

      Constructors 
      Constructor Description
      TimeSetSuccessResult​(java.util.List<ForkDefinition> someForks, java.util.Map<java.lang.String,​org.eclipse.xtext.util.Pair<java.time.ZonedDateTime,​java.lang.Double>> someCurrentDateTimes, java.lang.Long anExecutionTime)
      Constructor.
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • TimeSetSuccessResult

        public TimeSetSuccessResult​(java.util.List<ForkDefinition> someForks,
                                    java.util.Map<java.lang.String,​org.eclipse.xtext.util.Pair<java.time.ZonedDateTime,​java.lang.Double>> someCurrentDateTimes,
                                    java.lang.Long anExecutionTime)
        Constructor.
        Parameters:
        someForks - The forks on which the time was set. The null element in the list means the master process.
        someCurrentDateTimes - A complete map of fork names (null = master) to their respective currently valid test date/time, including the current progression speed (0.0 = static time)
        anExecutionTime - the time in msecs it took to execute the timeset