Interface IvMTrace

  • All Superinterfaces:
    java.util.Collection<IvMMove>, java.lang.Iterable<IvMMove>, java.util.List<IvMMove>, org.deckfour.xes.model.XAttributable
    All Known Implementing Classes:
    IvMTraceImpl

    public interface IvMTrace
    extends java.util.List<IvMMove>, org.deckfour.xes.model.XAttributable
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      IvMTraceImpl.ActivityInstanceIterator activityInstanceIterator​(IvMModel model)  
      org.deckfour.xes.model.XAttributeMap getAttributes()
      Retrieves the attributes set for this element.
      java.lang.Double getEndTime()  
      java.lang.String getName()
      Name to be shown in the trace view.
      int getNumberOfEvents()  
      java.lang.Long getRealEndTime()  
      java.lang.Long getRealStartTime()  
      java.lang.Double getStartTime()  
      void setEndTime​(double guessEndTime)  
      void setRealEndTime​(long endTime)  
      void setRealStartTime​(long startTime)  
      void setStartTime​(double guessStartTime)  
      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray
      • Methods inherited from interface java.lang.Iterable

        forEach
      • Methods inherited from interface java.util.List

        add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray
      • Methods inherited from interface org.deckfour.xes.model.XAttributable

        getExtensions, hasAttributes, setAttributes
    • Method Detail

      • getName

        java.lang.String getName()
        Name to be shown in the trace view.
        Returns:
      • getStartTime

        java.lang.Double getStartTime()
        Returns:
        start time of the trace in user time. This includes fading-in of the animated tokens.
      • getRealStartTime

        java.lang.Long getRealStartTime()
        Returns:
        the first timestamp that is present in the trace in log time.
      • getRealEndTime

        java.lang.Long getRealEndTime()
        Returns:
        the last timestamp that is present in the trace in log time.
      • getEndTime

        java.lang.Double getEndTime()
        Returns:
        end time of the trace in user time. This includes fading-out of the animated tokens.
      • setStartTime

        void setStartTime​(double guessStartTime)
      • setEndTime

        void setEndTime​(double guessEndTime)
      • setRealStartTime

        void setRealStartTime​(long startTime)
      • setRealEndTime

        void setRealEndTime​(long endTime)
      • getAttributes

        org.deckfour.xes.model.XAttributeMap getAttributes()
        Description copied from interface: org.deckfour.xes.model.XAttributable
        Retrieves the attributes set for this element.
        Specified by:
        getAttributes in interface org.deckfour.xes.model.XAttributable
        Returns:
        A map of attributes.
      • getNumberOfEvents

        int getNumberOfEvents()