Class LogSkeletonCount


  • public class LogSkeletonCount
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String ENDEVENT  
      static java.lang.String STARTEVENT  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(java.lang.String activity, java.lang.Integer number)  
      void add​(java.lang.String fromActivity, java.lang.String toActivity, java.lang.Integer number)  
      java.util.Collection<Violation> checkTransitionCounts​(LogSkeletonCount model, CheckerConfiguration configuration, org.deckfour.xes.model.XTrace trace)  
      void exportToFile​(com.csvreader.CsvWriter writer)  
      java.lang.Integer get​(java.lang.String activity)  
      java.lang.Integer get​(java.lang.String fromActivity, java.lang.String toActivity)  
      java.util.Collection<java.lang.String> getActivities()  
      java.util.Collection<java.lang.String> getFrom​(java.lang.String toActivity)  
      java.lang.Integer getMax​(java.lang.String activity)  
      java.lang.Integer getMin​(java.lang.String activity)  
      java.util.Collection<java.lang.String> getTo​(java.lang.String fromActivity)  
      void importFromStream​(com.csvreader.CsvReader reader)  
      void inc​(java.lang.String activity)  
      void inc​(java.lang.String fromActivity, java.lang.String toActivity)  
      void print​(java.lang.String name)  
      • Methods inherited from class java.lang.Object

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

      • LogSkeletonCount

        public LogSkeletonCount()
    • Method Detail

      • get

        public java.lang.Integer get​(java.lang.String activity)
      • getMin

        public java.lang.Integer getMin​(java.lang.String activity)
      • getMax

        public java.lang.Integer getMax​(java.lang.String activity)
      • get

        public java.lang.Integer get​(java.lang.String fromActivity,
                                     java.lang.String toActivity)
      • getTo

        public java.util.Collection<java.lang.String> getTo​(java.lang.String fromActivity)
      • getFrom

        public java.util.Collection<java.lang.String> getFrom​(java.lang.String toActivity)
      • add

        public void add​(java.lang.String activity,
                        java.lang.Integer number)
      • add

        public void add​(java.lang.String fromActivity,
                        java.lang.String toActivity,
                        java.lang.Integer number)
      • inc

        public void inc​(java.lang.String activity)
      • inc

        public void inc​(java.lang.String fromActivity,
                        java.lang.String toActivity)
      • getActivities

        public java.util.Collection<java.lang.String> getActivities()
      • print

        public void print​(java.lang.String name)
      • exportToFile

        public void exportToFile​(com.csvreader.CsvWriter writer)
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • importFromStream

        public void importFromStream​(com.csvreader.CsvReader reader)
                              throws java.io.IOException
        Throws:
        java.io.IOException