Uses of Class
jflex.performance.Timer
Packages that use Timer
-
Uses of Timer in jflex.core
Fields in jflex.core declared as Timer -
Uses of Timer in jflex.generator
Fields in jflex.generator declared as Timer -
Uses of Timer in jflex.logging
Methods in jflex.logging with parameters of type TimerModifier and TypeMethodDescriptionstatic void
Out.time
(ErrorMessages.ErrorMessage message, Timer time) Report time statistic data.