Class SPECppOutputtingUtils


  • @Deprecated
    public class SPECppOutputtingUtils
    extends java.lang.Object
    Deprecated.
    • Constructor Detail

      • SPECppOutputtingUtils

        public SPECppOutputtingUtils()
        Deprecated.
    • Method Detail

      • saveParameters

        public static java.lang.String saveParameters​(SPECpp<?,​?,​?,​?> specpp)
        Deprecated.
      • postSetup

        public static void postSetup​(SPECpp<?,​?,​?,​?> specpp,
                                     boolean allowPrinting)
        Deprecated.
      • duringExecution

        public static void duringExecution​(SPECpp<?,​?,​?,​?> specpp,
                                           boolean allowPrinting)
        Deprecated.
      • postExecution

        public static void postExecution​(SPECpp<?,​?,​?,​ProMPetrinetWrapper> specpp,
                                         boolean allowPrinting,
                                         boolean allowVisualOutput,
                                         boolean allowSaving)
        Deprecated.
      • printFinalResult

        public static void printFinalResult​(ProMPetrinetWrapper finalResult)
        Deprecated.
      • showFinalResult

        public static void showFinalResult​(PetrinetVisualization petrinetVisualization)
        Deprecated.
      • printMonitoringResults

        public static void printMonitoringResults​(java.util.List<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> monitors)
        Deprecated.
      • showMonitoringResults

        public static void showMonitoringResults​(java.util.List<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> monitors)
        Deprecated.
      • saveMonitoringResults

        public static void saveMonitoringResults​(OutputPathParameters outputPathParameters,
                                                 java.util.List<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> monitors)
        Deprecated.
      • getMonitorStream

        public static java.util.stream.Stream<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> getMonitorStream​(SPECpp<?,​?,​?,​?> specpp)
        Deprecated.
      • getMonitors

        public static java.util.List<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> getMonitors​(SPECpp<?,​?,​?,​?> specpp)
        Deprecated.
      • getResultingStrings

        public static java.util.List<java.lang.String> getResultingStrings​(java.util.stream.Stream<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> monitors)
        Deprecated.
      • getResultingVisualizations

        public static java.util.List<Visualization<?>> getResultingVisualizations​(java.util.stream.Stream<java.util.Map.Entry<java.lang.String,​Monitor<?,​?>>> monitors)
        Deprecated.