X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=token.c;h=a0bcb940ed734c04d970b00b0aaaa45e9ee41d47;hb=7473d9545525216a1276296dbc1759e07972cf96;hp=52ff730d7c9928c0955daf6714866a8961081c9a;hpb=1c622ff40fc61cbef1202888d3184215d88de680;p=cparser diff --git a/token.c b/token.c index 52ff730..a0bcb94 100644 --- a/token.c +++ b/token.c @@ -1,21 +1,6 @@ /* * This file is part of cparser. - * Copyright (C) 2007-2008 Matthias Braun - * - * This program is free software; you can redistribute it and/or - * modify it under the terms of the GNU General Public License - * as published by the Free Software Foundation; either version 2 - * of the License, or (at your option) any later version. - * - * This program is distributed in the hope that it will be useful, - * but WITHOUT ANY WARRANTY; without even the implied warranty of - * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - * GNU General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA - * 02111-1307, USA. + * Copyright (C) 2012 Matthias Braun */ #include @@ -23,60 +8,62 @@ #include "symbol_t.h" #include -#include -#include "symbol.h" #include "lang_features.h" #include "adt/array.h" +#include "adt/error.h" +#include "adt/util.h" +#include "symbol_table.h" -static symbol_t *token_symbols[T_LAST_TOKEN]; -static symbol_t *pp_token_symbols[TP_LAST_TOKEN]; +symbol_t *token_symbols[T_LAST_TOKEN]; -source_position_t builtin_source_position = { "", 0 }; +const position_t builtin_position = { "", 0, 0, true }; -void init_tokens(void) +static token_kind_t last_id; + +static symbol_t *intern_register_token(token_kind_t id, const char *string) { - symbol_t *symbol; - int last_id = -2; + assert(id < T_LAST_TOKEN); + symbol_t *symbol = symbol_table_insert(string); + if (token_symbols[id] == NULL) + token_symbols[id] = symbol; + return symbol; +} - memset(token_symbols, 0, T_LAST_TOKEN * sizeof(token_symbols[0])); - memset(pp_token_symbols, 0, TP_LAST_TOKEN * sizeof(pp_token_symbols[0])); - -#define T(mode,x,str,val) \ - if (T_##x > 255) { \ - assert(T_##x >= last_id); \ - last_id = T_##x; \ - } \ - if (c_mode & (mode)) { \ - assert(T_##x >= 0 && T_##x < T_LAST_TOKEN); \ - symbol = symbol_table_insert(str); \ - symbol->ID = T_##x; \ - token_symbols[T_##x] = symbol; \ +static void register_token(unsigned mode, token_kind_t id, const char *string) +{ + if (id > 255) { + assert(id >= last_id); + last_id = id; } + if (c_mode & mode) { + symbol_t *symbol = intern_register_token(id, string); + symbol->ID = id; + } +} -#define TS(x,str,val) \ - assert(T_##x >= 0 && T_##x < T_LAST_TOKEN); \ - symbol = symbol_table_insert(str); \ - token_symbols[T_##x] = symbol; - -#include "tokens.inc" +static void register_pp_token(pp_token_kind_t const id, char const *const string) +{ + assert(id < TP_LAST_TOKEN); + symbol_t *const symbol = symbol_table_insert(string); + symbol->pp_ID = id; +} -#undef TS -#undef T +void init_tokens(void) +{ + static bool tokens_initialized = false; + if (tokens_initialized) + return; + tokens_initialized = true; -#define T(mode,x,str,val) \ - assert(TP_##x >= 0 && TP_##x < TP_LAST_TOKEN); \ - symbol = symbol_table_insert(str); \ - symbol->pp_ID = TP_##x; \ - pp_token_symbols[TP_##x] = symbol; + memset(token_symbols, 0, T_LAST_TOKEN * sizeof(token_symbols[0])); -#define TS(x,str,val) \ - assert(TP_##x >= 0 && TP_##x < T_LAST_TOKEN); \ - symbol = symbol_table_insert(str); \ - pp_token_symbols[TP_##x] = symbol; +#define T(mode,x,str,val) register_token(mode, x, str); +#include "tokens.inc" +#undef T +#define T(token) register_pp_token(TP_##token, #token); #include "tokens_preprocessor.inc" - #undef T } @@ -84,99 +71,92 @@ void exit_tokens(void) { } -void print_token_type(FILE *f, token_type_t token_type) +void print_token_kind(FILE *f, token_kind_t token_kind) { - if(token_type == T_EOF) { - fputs("end of file", f); - return; - } - if(token_type == T_ERROR) { - fputs("error", f); - return; - } - - int token_symbols_len = T_LAST_TOKEN; - if(token_type < 0 || token_type >= token_symbols_len) { + if (token_kind >= lengthof(token_symbols)) { fputs("invalid token", f); return; } - const symbol_t *symbol = token_symbols[token_type]; - if(symbol != NULL) { - fprintf(f, "'%s'", symbol->string); - } else { - if(token_type >= 0 && token_type < 256) { - fprintf(f, "'%c'", token_type); - return; - } - fputs("unknown token", f); + fputs(token_symbols[token_kind]->string, f); +} + +char const *get_string_encoding_prefix(string_encoding_t const enc) +{ + switch (enc) { + case STRING_ENCODING_CHAR: return ""; + case STRING_ENCODING_CHAR16: return "u"; + case STRING_ENCODING_CHAR32: return "U"; + case STRING_ENCODING_UTF8: return "u8"; + case STRING_ENCODING_WIDE: return "L"; } + panic("invalid string encoding"); } void print_token(FILE *f, const token_t *token) { - switch(token->type) { + char delim = '\''; + char const *enc = ""; + char const *val; + switch (token->kind) { case T_IDENTIFIER: - fprintf(f, "symbol '%s'", token->v.symbol->string); - break; - case T_INTEGER: - fprintf(f, "integer number %lld", token->v.intvalue); - break; - case T_FLOATINGPOINT: - fprintf(f, "floatingpointer number %LF", token->v.floatvalue); + case T_MACRO_PARAMETER: + case T_UNKNOWN_CHAR: + val = token->base.symbol->string; break; + case T_STRING_LITERAL: - fprintf(f, "string '%s'", token->v.string.begin); /* TODO suboptimal */ - break; - default: - print_token_type(f, (token_type_t)token->type); + delim = '"'; + /* FALLTHROUGH */ + case T_CHARACTER_CONSTANT: + enc = get_string_encoding_prefix(token->literal.string.encoding); + /* FALLTHROUGH */ + case T_NUMBER: + val = token->literal.string.begin; break; - } -} -void print_pp_token_type(FILE *f, preprocessor_token_type_t token_type) -{ - if(token_type == TP_EOF) { - fputs("end of file", f); + default: { + char const *kind = (token->base.symbol ? token->base.symbol : token_symbols[token->kind])->string; + fprintf(f, "'%s'", kind); return; } - if(token_type == TP_ERROR) { - fputs("error", f); - return; - } - - int token_symbols_len = TP_LAST_TOKEN; - if(token_type < 0 || token_type >= token_symbols_len) { - fputs("invalid token", f); - return; - } - - const symbol_t *symbol = pp_token_symbols[token_type]; - if(symbol != NULL) { - fprintf(f, "'%s'", symbol->string); - } else { - if(token_type >= 0 && token_type < 256) { - fprintf(f, "'%c'", token_type); - return; - } - fputs("unknown token", f); } + fprintf(f, "%s %s%c%s%c", token_symbols[token->kind]->string, enc, delim, val, delim); } -void print_pp_token(FILE *f, const token_t *token) +bool tokens_would_paste(token_kind_t token1, token_kind_t token2) { - switch((preprocessor_token_type_t) token->type) { - case TP_IDENTIFIER: - fprintf(f, "symbol '%s'", token->v.symbol->string); - break; - case TP_NUMBER: - fprintf(f, "number %s", token->v.string.begin); - break; - case TP_STRING_LITERAL: - fprintf(f, "string '%s'", token->v.string.begin); - break; + char const c = token_symbols[token2]->string[0]; + + switch (token1) { + case '>': return c == '>' || c == '='; + case '<': return c == '<' || c == '=' || c == '%' || c == ':'; + case '+': return c == '+' || c == '='; + case '-': return c == '-' || c == '>'; + case '/': return c == '/' || c == '=' || c == '*'; + case '%': return c == ':' || c == '=' || c == '>'; + case '&': return c == '&' || c == '='; + case '|': return c == '|' || c == '='; + case ':': return c == ':' || c == '>'; + case '*': return c == '*' || c == '='; + case '.': return c == '.' || c == '%' || token2 == T_NUMBER; + case '#': return c == '#' || c == '%'; + case T_GREATERGREATER: return c == '='; + case T_LESSLESS: return c == '='; + case '^': return c == '='; + case '!': return c == '='; + + case T_IDENTIFIER: + return token2 == T_CHARACTER_CONSTANT || + token2 == T_IDENTIFIER || + token2 == T_NUMBER || + token2 == T_STRING_LITERAL; /* L */ + + case T_NUMBER: + return token2 == T_IDENTIFIER || token2 == T_NUMBER || + token2 == '.' || token2 == '+' || token2 == '-'; + default: - print_pp_token_type(f, (preprocessor_token_type_t) token->type); - break; + return false; } }