Package jflex.performance

Class Summary

Class	Description
Timer	Very simple timer for code generation time statistics.