Class TimeSetSuccessResult


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

      • TimeSetSuccessResult

        public TimeSetSuccessResult​(List<ForkDefinition> someForks,
                                    Map<String,​org.eclipse.xtext.util.Pair<ZonedDateTime,​Double>> someCurrentDateTimes,
                                    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