%name GLSpecLex;

%defs (
  structure T = GLSpecTokens
  type lex_result = T.token
  fun eof () = T.EOF
);

%let ws = [ \t\n\v\f\r];
%let digit = [0-9];
%let alpha = [a-zA-Z];

{ws}+	=> (skip());

"constant"	=> (T.TAG_constant);
"constants"	=> (T.TAG_constants);
"extension"	=> (T.TAG_extension);
"extensions"	=> (T.TAG_extensions);
"function"	=> (T.TAG_function);
"functions"	=> (T.TAG_functions);
"instance"	=> (T.TAG_instance);
"param"		=> (T.TAG_param);
"name"		=> (T.ATR_name);
"value"		=> (T.ATR_value);
"returnType"	=> (T.ATR_returnType);
"type"		=> (T.ATR_type);

"gl"		=> (T.TAG_gl);
"wgl"		=> (T.TAG_wgl);
"glx"		=> (T.TAG_glx);
"agl"		=> (T.TAG_agl);

"<"		=> (T.LOPEN);
">"		=> (T.ROPEN);
"</"		=> (T.LCLOSE);
"/>"		=> (T.RCLOSE);
"="		=> (T.EQ);

"\""[^\"]*"\""	=> (T.STR(String.substring(yytext, 1, size yytext - 2)));

.		=> (
print(concat["ignoring #\"", String.toString yytext, "\"\n"]); skip());