Interface Timers


@Deprecated(forRemoval=true, since="10.0.0") public interface Timers
Deprecated, for removal: This API element is subject to removal in a future version.
Since 10.0.0. Please use Core.metrics().Metrics.createTimer(String). This interface will be removed in Mendix 11.
Timers measure the amount of time an operation took to complete, in milliseconds.
  • Method Summary

    Modifier and Type
    Method
    Description
    void
    recordExecutionTime(String bucket, long timeInMs)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Records an execution time in milliseconds for the specified named operation.
    void
    recordExecutionTime(String bucket, long timeInMs, double sampleRate)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Records an execution time in milliseconds for the specified named operation.
    void
    recordExecutionTime(String bucket, long timeInMs, double sampleRate, Map<String,String> tags)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Records an execution time in milliseconds for the specified named operation.
    void
    recordExecutionTime(String bucket, long timeInMs, Map<String,String> tags)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Records an execution time in milliseconds for the specified named operation.
    default void
    time(String bucket, long timeInMs)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Convenience method equivalent to recordExecutionTime(String, long).
    default void
    time(String bucket, long timeInMs, double sampleRate)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Convenience method equivalent to recordExecutionTime(String, long, double).
    default void
    time(String bucket, long timeInMs, double sampleRate, Map<String,String> tags)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Convenience method equivalent to recordExecutionTime(String, long, double, Map).
    default void
    time(String bucket, long timeInMs, Map<String,String> tags)
    Deprecated, for removal: This API element is subject to removal in a future version.
    Convenience method equivalent to recordExecutionTime(String, long, Map).
  • Method Details

    • recordExecutionTime

      void recordExecutionTime(String bucket, long timeInMs)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
    • recordExecutionTime

      void recordExecutionTime(String bucket, long timeInMs, double sampleRate)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
      sampleRate - percentage of time metric to be sent
    • recordExecutionTime

      void recordExecutionTime(String bucket, long timeInMs, Map<String,String> tags)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
      tags - map of tags to be added to the data
    • recordExecutionTime

      void recordExecutionTime(String bucket, long timeInMs, double sampleRate, Map<String,String> tags)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
      sampleRate - percentage of time metric to be sent
      tags - map of tags to be added to the data
    • time

      default void time(String bucket, long timeInMs)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Convenience method equivalent to recordExecutionTime(String, long). Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
    • time

      default void time(String bucket, long timeInMs, double sampleRate)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Convenience method equivalent to recordExecutionTime(String, long, double). Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
      sampleRate - percentage of time metric to be sent
    • time

      default void time(String bucket, long timeInMs, Map<String,String> tags)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Convenience method equivalent to recordExecutionTime(String, long, Map). Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
      tags - map of tags to be added to the data
    • time

      default void time(String bucket, long timeInMs, double sampleRate, Map<String,String> tags)
      Deprecated, for removal: This API element is subject to removal in a future version.
      Convenience method equivalent to recordExecutionTime(String, long, double, Map). Records an execution time in milliseconds for the specified named operation.
      Parameters:
      bucket - name of the timed operation
      timeInMs - time in milliseconds
      sampleRate - percentage of time metric to be sent
      tags - map of tags to be added to the data