Class HistogramData


  • public class HistogramData
    extends java.lang.Object
    There are three types of histograms: a global one denoting the number of active cases in the system, a node-specific one denoting the executions over time of a particular node, and an log-move edge specific one denoting the happening of log moves at that place in the model. These histograms are reality-based, i.e. no timestamps are invented and no fading-in/out time is added to traces. Therefore, histograms might deviate from the animation.
    Author:
    sleemans
    • Constructor Detail

      • HistogramData

        public HistogramData​(IvMModel model,
                             ProcessTreeVisualisationInfo info,
                             IvMLogFiltered log,
                             Scaler scaler,
                             int globalBuckets,
                             int localBuckets,
                             int logBuckets,
                             IvMCanceller canceller)
        Parameters:
        model -
        log -
        scaler -
        globalBuckets -
        localBuckets - The width of the histogram (used for pixel-precision).
        logBuckets -
        canceller -
    • Method Detail

      • addTraceLocalEdge

        public void addTraceLocalEdge​(IvMTrace trace,
                                      boolean isFilteredOut)
        Add log moves to their histograms.
        Parameters:
        trace -
        isFilteredOut -
      • getLogTimeInMsPerLocalBucket

        public double getLogTimeInMsPerLocalBucket()
      • getNrOfGlobalBuckets

        public int getNrOfGlobalBuckets()
      • getNrOfLocalBuckets

        public int getNrOfLocalBuckets()
      • getNrOfLogBuckets

        public int getNrOfLogBuckets()
      • getGlobalBucketFraction

        public double getGlobalBucketFraction​(int bucketNr)
      • getLocalNodeBucketFraction

        public double getLocalNodeBucketFraction​(int node,
                                                 int pixel)
      • getLocalEdgeBucketFraction

        public double getLocalEdgeBucketFraction​(long edge,
                                                 int pixel)
      • getLogBucketFraction

        public double getLogBucketFraction​(int pixel)
      • getGlobalMaximum

        public int getGlobalMaximum()
      • getLocalMaximum

        public int getLocalMaximum()
      • getLogMaximum

        public int getLogMaximum()
      • getEdgeIndex

        public static long getEdgeIndex​(LogMovePosition position)