71 |
|
|
72 |
DIGIT [0-9] |
DIGIT [0-9] |
73 |
ID [a-zA-Z][a-zA-Z0-9_]* |
ID [a-zA-Z][a-zA-Z0-9_]* |
74 |
METRIC (k|h|da|d|c|m|u) |
METRIC (k|h|(da)|d|c|m|u) |
75 |
UNIT (s|Hz|B) |
UNIT (s|(Hz)|B) |
76 |
END_ID on|while|if|select|function|synchronized |
END_ID on|while|if|select|function|synchronized |
77 |
|
|
78 |
%% |
%% |
100 |
} |
} |
101 |
|
|
102 |
<METRIC>{METRIC}{1,2} { |
<METRIC>{METRIC}{1,2} { |
103 |
yyextra->token = MetrixPrefixToken(yytext); |
yyextra->token = MetricPrefixToken(yytext); |
104 |
yy_pop_state(yyscanner); |
yy_pop_state(yyscanner); |
105 |
return yyextra->token.baseType; |
return yyextra->token.baseType; |
106 |
} |
} |
107 |
|
|
108 |
<METRIC>{METRIC}{1,2}/{UNIT} { |
<METRIC>{METRIC}{1,2}/{UNIT} { |
109 |
yyextra->token = MetrixPrefixToken(yytext); |
yyextra->token = MetricPrefixToken(yytext); |
110 |
yy_pop_state(yyscanner); |
yy_pop_state(yyscanner); |
111 |
yy_push_state(UNIT, yyscanner); |
yy_push_state(UNIT, yyscanner); |
112 |
return yyextra->token.baseType; |
return yyextra->token.baseType; |