anchor.diff:  positive_integer(Interarrival) ->
       is_integer(Interarrival) andalso Interarrival > 0.
   
  +maybe_update_interarrival_timer(interarrival, _) ->
  +    gen_server:cast(?SERVER, maybe_update_interarrival_timer).
   %% ------------------------------------------------------------------
   %% gen_server Function Definitions
   %% ------------------------------------------------------------------
  
positive.code:         Class:Exception:Stacktrace ->
              {error, {Class, Exception, Stacktrace}}
      end.
  
negative.code: %% ------------------------------------------------------------------
  %% Parameters verification functions
  %% ------------------------------------------------------------------
  -export([maybe_update_interarrival_timer/2,
           positive_integer/1]).
  
  %% ------------------------------------------------------------------
  %% gen_server Function Exports
  %% ------------------------------------------------------------------
  