Package openllet.core.utils

Class Timers

  • public class Timers
extends java.lang.Object

    Copyright: Copyright (c) 2008

    Company: Clark & Parsia, LLC.

    Author:
    Evren Sirin

    • Field Summary

      Fields 
      Modifier and Type Field Description
      Timer _mainTimer  

    • Constructor Summary

      Constructors 
      Constructor Description
      Timers()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addAll​(Timers other)  
      void checkTimer​(java.lang.String name)  
      Timer createTimer​(java.lang.String name)  
      void execute​(java.lang.String name, java.util.function.Consumer<Timers> consumer)  
      <RESULT> RESULT execute​(java.lang.String name, java.util.function.Supplier<RESULT> producer)  
      java.util.Optional<Timer> getTimer​(java.lang.String name)  
      double getTimerAverage​(java.lang.String name)  
      java.util.Collection<Timer> getTimers()  
      long getTimerTotal​(java.lang.String name)  
      void interrupt()  
      void print()  
      void print​(boolean shortForm)  
      void print​(boolean shortForm, java.lang.String sortBy)  
      void print​(java.io.Writer pw)  
      void print​(java.io.Writer pw, boolean shortForm, java.lang.String sortBy)  
      void resetAll()  
      void resetTimer​(java.lang.String name)  
      void setTimeout​(java.lang.String name, long timeout)  
      java.util.Optional<Timer> startTimer​(java.lang.String name)  
      void stopTimer​(java.lang.String name)  
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • _mainTimer

        public final Timer _mainTimer

    • Constructor Detail

      • Timers

        public Timers()

    • Method Detail

      • addAll

        public void addAll​(Timers other)

      • createTimer

        public Timer createTimer​(java.lang.String name)

      • startTimer

        public java.util.Optional<Timer> startTimer​(java.lang.String name)

      • execute

        public void execute​(java.lang.String name,
                    java.util.function.Consumer<Timers> consumer)

      • execute

        public <RESULT> RESULT execute​(java.lang.String name,
                               java.util.function.Supplier<RESULT> producer)

      • checkTimer

        public void checkTimer​(java.lang.String name)

      • resetTimer

        public void resetTimer​(java.lang.String name)

      • interrupt

        public void interrupt()

      • setTimeout

        public void setTimeout​(java.lang.String name,
                       long timeout)

      • stopTimer

        public void stopTimer​(java.lang.String name)

      • resetAll

        public void resetAll()

      • getTimerTotal

        public long getTimerTotal​(java.lang.String name)

      • getTimerAverage

        public double getTimerAverage​(java.lang.String name)

      • getTimer

        public java.util.Optional<Timer> getTimer​(java.lang.String name)

      • getTimers

        public java.util.Collection<Timer> getTimers()

      • print

        public void print()

      • print

        public void print​(java.io.Writer pw)

      • print

        public void print​(boolean shortForm)

      • print

        public void print​(boolean shortForm,
                  java.lang.String sortBy)

      • print

        public void print​(java.io.Writer pw,
                  boolean shortForm,
                  java.lang.String sortBy)

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object