Package org.processmining.servicelevelagreements.model.eventdatabase

Interface IEventDatabase

  • All Known Implementing Classes:
    BasicEventDatabase, EventDatabase
    public interface IEventDatabase
    Interface to be used by event databases.
    Author:
    B.F.A. Hompes

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.util.Map<java.lang.String,​com.google.common.collect.Table<java.lang.String,​java.lang.String,​IntervalList>> getFluentValueMVIs()  
      long getLastTimeStamp()  
      java.lang.String holdsAt​(java.lang.String fluent, java.lang.String arguments, long timestamp)  
      boolean holdsAt​(java.lang.String fluent, java.lang.String arguments, java.lang.String value, long timestamp)  
      IntervalList holdsFor​(java.lang.String fluent, java.lang.String arguments, java.lang.String value)  
      boolean holdsFor​(java.lang.String fluent, java.lang.String arguments, java.lang.String value, Interval interval)  
      void initiate​(java.lang.String fluent, java.lang.String arguments, java.lang.String value, long timestamp)  
      void set​(java.lang.String fluent, java.lang.String arguments, java.lang.String value, IntervalList list)  
      void setFluentValueMVIs​(java.util.Map<java.lang.String,​com.google.common.collect.Table<java.lang.String,​java.lang.String,​IntervalList>> fluentValueMVIs)  
      void terminate​(java.lang.String fluent, java.lang.String arguments, java.lang.String value, long timestamp)  

    • Method Detail

      • getFluentValueMVIs

        java.util.Map<java.lang.String,​com.google.common.collect.Table<java.lang.String,​java.lang.String,​IntervalList>> getFluentValueMVIs()

      • setFluentValueMVIs

        void setFluentValueMVIs​(java.util.Map<java.lang.String,​com.google.common.collect.Table<java.lang.String,​java.lang.String,​IntervalList>> fluentValueMVIs)

      • holdsAt

        boolean holdsAt​(java.lang.String fluent,
                java.lang.String arguments,
                java.lang.String value,
                long timestamp)

      • holdsAt

        java.lang.String holdsAt​(java.lang.String fluent,
                         java.lang.String arguments,
                         long timestamp)

      • holdsFor

        IntervalList holdsFor​(java.lang.String fluent,
                      java.lang.String arguments,
                      java.lang.String value)

      • holdsFor

        boolean holdsFor​(java.lang.String fluent,
                 java.lang.String arguments,
                 java.lang.String value,
                 Interval interval)

      • initiate

        void initiate​(java.lang.String fluent,
              java.lang.String arguments,
              java.lang.String value,
              long timestamp)

      • terminate

        void terminate​(java.lang.String fluent,
               java.lang.String arguments,
               java.lang.String value,
               long timestamp)

      • set

        void set​(java.lang.String fluent,
         java.lang.String arguments,
         java.lang.String value,
         IntervalList list)

      • getLastTimeStamp

        long getLastTimeStamp()