Automatic generation produced by ISE Eiffel
class TOKEN_BUILDER General cluster: text_window description: "Build editor displayable token from EiffelLex TOKENs." Ancestors ANY Queries build_token (a_token: TOKEN): EDITOR_TOKEN -- Generated by Eiffel Studio --
For more details: eiffel.org