Class XEventDataManager

  • All Implemented Interfaces:
    java.io.Serializable

    public class XEventDataManager
    extends DataManager<org.deckfour.xes.model.XEvent>
    See Also:
    Serialized Form
    • Constructor Detail

      • XEventDataManager

        public XEventDataManager​(M key2extension,
                                 DataManager.StringHandler stringHandler,
                                 java.util.Collection<org.deckfour.xes.model.XAttribute> attributes,
                                 gnu.trove.map.TObjectIntMap<java.lang.String> lit2index)
    • Method Detail

      • readObjectFromBlock

        protected org.deckfour.xes.model.XEvent readObjectFromBlock​(byte[] array,
                                                                    int ptr,
                                                                    boolean forAddingAttributes)
        Specified by:
        readObjectFromBlock in class DataManager<org.deckfour.xes.model.XEvent>
      • getTraceForEvent

        public int getTraceForEvent​(int number)