Package jflex.option

Class Summary

Class	Description
Options	Collects all global JFlex options.