|
| 1 | +#include "type_parser.h" |
| 2 | + |
| 3 | +#include <sstream> |
| 4 | + |
| 5 | +template <typename T> |
| 6 | +static inline T fromString(const std::string& s) |
| 7 | +{ |
| 8 | + std::istringstream iss(s); |
| 9 | + T result; |
| 10 | + iss >> result; |
| 11 | + return result; |
| 12 | + |
| 13 | +} |
| 14 | +static TypeAst::Meta getTypeMeta(const std::string& name) { |
| 15 | + if (name == "Array") { |
| 16 | + return TypeAst::Array; |
| 17 | + } |
| 18 | + |
| 19 | + if (name == "Null") { |
| 20 | + return TypeAst::Null; |
| 21 | + } |
| 22 | + |
| 23 | + if (name == "Nullable") { |
| 24 | + return TypeAst::Nullable; |
| 25 | + } |
| 26 | + |
| 27 | + if (name == "Tuple") { |
| 28 | + return TypeAst::Tuple; |
| 29 | + } |
| 30 | + |
| 31 | + return TypeAst::Terminal; |
| 32 | +} |
| 33 | + |
| 34 | + |
| 35 | +TypeParser::TypeParser(const std::string& name) |
| 36 | + : cur_(name.data()) |
| 37 | + , end_(name.data() + name.size()) |
| 38 | + , type_(nullptr) |
| 39 | +{ |
| 40 | +} |
| 41 | + |
| 42 | +TypeParser::~TypeParser() = default; |
| 43 | + |
| 44 | +bool TypeParser::parse(TypeAst* type) { |
| 45 | + type_ = type; |
| 46 | + open_elements_.push(type_); |
| 47 | + |
| 48 | + do { |
| 49 | + const Token& token = nextToken(); |
| 50 | + |
| 51 | + switch (token.type) { |
| 52 | + case Token::Name: |
| 53 | + type_->meta = getTypeMeta(token.value); |
| 54 | + type_->name = token.value; |
| 55 | + break; |
| 56 | + case Token::Number: |
| 57 | + type_->meta = TypeAst::Number; |
| 58 | + type_->size = fromString<int>(token.value); |
| 59 | + break; |
| 60 | + case Token::LPar: |
| 61 | + type_->elements.emplace_back(TypeAst()); |
| 62 | + open_elements_.push(type_); |
| 63 | + type_ = &type_->elements.back(); |
| 64 | + break; |
| 65 | + case Token::RPar: |
| 66 | + type_ = open_elements_.top(); |
| 67 | + open_elements_.pop(); |
| 68 | + break; |
| 69 | + case Token::Comma: |
| 70 | + type_ = open_elements_.top(); |
| 71 | + open_elements_.pop(); |
| 72 | + type_->elements.emplace_back(TypeAst()); |
| 73 | + open_elements_.push(type_); |
| 74 | + type_ = &type_->elements.back(); |
| 75 | + break; |
| 76 | + case Token::EOS: |
| 77 | + return true; |
| 78 | + case Token::Invalid: |
| 79 | + return false; |
| 80 | + } |
| 81 | + } while (true); |
| 82 | +} |
| 83 | + |
| 84 | +TypeParser::Token TypeParser::nextToken() { |
| 85 | + for (; cur_ < end_; ++cur_) { |
| 86 | + switch (*cur_) { |
| 87 | + case ' ': |
| 88 | + case '\n': |
| 89 | + case '\t': |
| 90 | + case '\0': |
| 91 | + continue; |
| 92 | + |
| 93 | + case '(': |
| 94 | + return Token{Token::LPar, std::string(cur_++, 1)}; |
| 95 | + case ')': |
| 96 | + return Token{Token::RPar, std::string(cur_++, 1)}; |
| 97 | + case ',': |
| 98 | + return Token{Token::Comma, std::string(cur_++, 1)}; |
| 99 | + |
| 100 | + default: { |
| 101 | + const char* st = cur_; |
| 102 | + |
| 103 | + if (isalpha(*cur_)) { |
| 104 | + for (; cur_ < end_; ++cur_) { |
| 105 | + if (!isalpha(*cur_) && !isdigit(*cur_)) { |
| 106 | + break; |
| 107 | + } |
| 108 | + } |
| 109 | + |
| 110 | + return Token{Token::Name, std::string(st, cur_)}; |
| 111 | + } |
| 112 | + |
| 113 | + if (isdigit(*cur_)) { |
| 114 | + for (; cur_ < end_; ++cur_) { |
| 115 | + if (!isdigit(*cur_)) { |
| 116 | + break; |
| 117 | + } |
| 118 | + } |
| 119 | + |
| 120 | + return Token{Token::Number, std::string(st, cur_)}; |
| 121 | + } |
| 122 | + |
| 123 | + return Token{Token::Invalid, std::string()}; |
| 124 | + } |
| 125 | + } |
| 126 | + } |
| 127 | + |
| 128 | + return Token{Token::EOS, std::string()}; |
| 129 | +} |
0 commit comments