v/vlib/v/parser/parse_type.v

module parser
// Copyright (c) 2019-2020 Alexander Medvednikov. All rights reserved.
// Use of this source code is governed by an MIT license
// that can be found in the LICENSE file.
import (
	v.table
)

pub fn (p mut Parser) parse_array_ti(nr_muls int) table.Type {
	p.check(.lsbr)
	// fixed array
	if p.tok.kind == .number {
		size := p.tok.lit.int()
		elem_ti := p.parse_type()
		p.check(.rsbr)
		p.check_name()
		idx,name := p.table.find_or_register_array_fixed(&elem_ti, size, 1)
		return table.new_type(.array_fixed, name, idx, nr_muls)
	}
	// array
	p.check(.rsbr)
	elem_ti := p.parse_type()
	mut nr_dims := 1
	for p.tok.kind == .lsbr {
		p.check(.lsbr)
		p.check(.rsbr)
		nr_dims++
	}
	idx,name := p.table.find_or_register_array(&elem_ti, nr_dims)
	return table.new_type(.array, name, idx, nr_muls)
}

pub fn (p mut Parser) parse_map_type(nr_muls int) table.Type {
	if p.tok.kind != .lsbr {
		return table.map_type
	}
	p.next()
	p.check(.lsbr)
	key_ti := p.parse_type()
	p.check(.rsbr)
	value_ti := p.parse_type()
	idx,name := p.table.find_or_register_map(&key_ti, &value_ti)
	return table.new_type(.map, name, idx, nr_muls)
}

pub fn (p mut Parser) parse_multi_return_ti() table.Type {
	p.check(.lpar)
	mut mr_tis := []table.Type
	for {
		mr_ti := p.parse_type()
		mr_tis << mr_ti
		if p.tok.kind == .comma {
			p.check(.comma)
		}
		else {
			break
		}
	}
	p.check(.rpar)
	idx,name := p.table.find_or_register_multi_return(mr_tis)
	return table.new_type(.multi_return, name, idx, 0)
}

pub fn (p mut Parser) parse_variadic_ti() table.Type {
	p.check(.ellipsis)
	variadic_ti := p.parse_type()
	idx,name := p.table.find_or_register_variadic(&variadic_ti)
	return table.new_type(.variadic, name, idx, 0)
}

pub fn (p mut Parser) parse_fn_type() table.Type {
	// p.check(.key_fn)
	p.fn_decl()
	return table.int_type
}

pub fn (p mut Parser) parse_type() table.Type {
	mut nr_muls := 0
	for p.tok.kind == .amp {
		p.check(.amp)
		nr_muls++
	}
	if p.tok.lit == 'C' {
		p.next()
		p.check(.dot)
	}
	if p.tok.kind == .question {
		p.next()
	}
	name := p.tok.lit
	match p.tok.kind {
		// func
		.key_fn {
			return p.parse_fn_type()
		}
		// array
		.lsbr {
			return p.parse_array_ti(nr_muls)
		}
		// multiple return
		.lpar {
			if nr_muls > 0 {
				p.error('parse_ti: unexpected `&` before multiple returns')
			}
			return p.parse_multi_return_ti()
		}
		// variadic
		.ellipsis {
			if nr_muls > 0 {
				p.error('parse_ti: unexpected `&` before variadic')
			}
			return p.parse_variadic_ti()
		}
		else {
			defer {
				p.next()
			}
			match name {
				'map' {
					return p.parse_map_type(nr_muls)
				}
				'voidptr' {
					return table.new_type(.voidptr, 'voidptr', table.voidptr_type_idx, nr_muls)
				}
				'byteptr' {
					return table.new_type(.byteptr, 'byteptr', table.byteptr_type_idx, nr_muls)
				}
				'charptr' {
					return table.new_type(.charptr, 'charptr', table.charptr_type_idx, nr_muls)
				}
				'i8' {
					return table.new_type(.i8, 'i8', table.i8_type_idx, nr_muls)
				}
				'i16' {
					return table.new_type(.i16, 'i16', table.i16_type_idx, nr_muls)
				}
				'int' {
					return table.new_type(.int, 'int', table.int_type_idx, nr_muls)
				}
				'i64' {
					return table.new_type(.i64, 'i64', table.i64_type_idx, nr_muls)
				}
				'byte' {
					return table.new_type(.byte, 'byte', table.byte_type_idx, nr_muls)
				}
				'u16' {
					return table.new_type(.u16, 'u16', table.u16_type_idx, nr_muls)
				}
				'u32' {
					return table.new_type(.u32, 'u32', table.u32_type_idx, nr_muls)
				}
				'u64' {
					return table.new_type(.u64, 'u64', table.u64_type_idx, nr_muls)
				}
				'f32' {
					return table.new_type(.f32, 'f32', table.f32_type_idx, nr_muls)
				}
				'f64' {
					return table.new_type(.f64, 'f64', table.f64_type_idx, nr_muls)
				}
				'string' {
					return table.new_type(.string, 'string', table.string_type_idx, nr_muls)
				}
				'char' {
					return table.new_type(.char, 'char', table.charptr_type_idx, nr_muls)
				}
				'bool' {
					return table.new_type(.bool, 'bool', table.bool_type_idx, nr_muls)
				}
				// struct / enum / placeholder
				else {
					// struct / enum
					mut idx := p.table.find_type_idx(name)
					if idx > 0 {
						return table.new_type(p.table.types[idx].kind, name, idx, nr_muls)
					}
					// not found - add placeholder
					idx = p.table.add_placeholder_type(name)
					return table.new_type(.placeholder, name, idx, nr_muls)
				}
	}
		}
	}
}