Class TimeSetResult

    • Constructor Summary

      Constructors 
      Constructor Description
      TimeSetResult​(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

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.util.Map<java.lang.String,​org.eclipse.xtext.util.Pair<java.time.ZonedDateTime,​java.lang.Double>> getCurrentDateTimes()  
      java.util.List<ForkDefinition> getForks()  
      • Methods inherited from class java.lang.Object

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

      • TimeSetResult

        public TimeSetResult​(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
    • Method Detail

      • getCurrentDateTimes

        public java.util.Map<java.lang.String,​org.eclipse.xtext.util.Pair<java.time.ZonedDateTime,​java.lang.Double>> getCurrentDateTimes()