Add placeholder types.

This commit is contained in:
Danila Fedorin 2018-04-07 14:50:06 -07:00
parent 1960ded070
commit 0cfc1df02c
2 changed files with 31 additions and 12 deletions

View File

@ -9,6 +9,7 @@
*/
enum libab_parsetype_variant_e {
PT_STRING,
PT_PLACEHOLDER,
PT_PARENT
};

View File

@ -172,14 +172,31 @@ libab_result _parse_type_list(struct parser_state* state, vec* into, char end_ch
}
libab_result _parse_type_id(struct parser_state* state, libab_parsetype** into) {
libab_result result = _parser_allocate_type(into, state->string,
libab_result result;
int placeholder_flag = 0;
*into = NULL;
if(_parser_is_char(state, '\'')) {
placeholder_flag = 1;
_parser_state_step(state);
}
if(_parser_is_type(state, TOKEN_ID)) {
result = _parser_allocate_type(into, state->string,
state->current_match->from, state->current_match->to);
} else {
result = _parser_consume_type(state, TOKEN_ID);
}
if(result == LIBAB_SUCCESS) {
(*into)->variant = PT_STRING;
(*into)->variant = placeholder_flag ? PT_PLACEHOLDER : PT_STRING;
_parser_state_step(state);
}
if(result == LIBAB_SUCCESS && _parser_is_char(state, '(')) {
if(placeholder_flag) {
result = LIBAB_UNEXPECTED;
} else {
result = libab_convert_ds_result(vec_init(&(*into)->children));
if(result != LIBAB_SUCCESS) {
free((*into)->name);
@ -191,6 +208,7 @@ libab_result _parse_type_id(struct parser_state* state, libab_parsetype** into)
result = _parse_type_list(state, &(*into)->children, ')');
}
}
}
if(result != LIBAB_SUCCESS && *into) {
libab_parsetype_free_recursive(*into);
@ -267,7 +285,7 @@ libab_result _parse_type_array(struct parser_state* state,
libab_result _parse_type(struct parser_state* state, libab_parsetype** into) {
libab_result result;
if(_parser_is_type(state, TOKEN_ID)) {
if(_parser_is_type(state, TOKEN_ID) || _parser_is_char(state, '\'')) {
result = _parse_type_id(state, into);
} else if(_parser_is_char(state, '(')) {
result = _parse_type_function(state, into);