138 lines
4.3 KiB
C++
138 lines
4.3 KiB
C++
/* Name analysis.
|
|
Copyright (C) 2025 Free Software Foundation, Inc.
|
|
|
|
GCC 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 3, or (at your option)
|
|
any later version.
|
|
|
|
GCC 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 GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#include "elna/boot/semantic.h"
|
|
|
|
namespace elna
|
|
{
|
|
namespace boot
|
|
{
|
|
undeclared_error::undeclared_error(const std::string& identifier, const char *path, const struct position position)
|
|
: error(path, position), identifier(identifier)
|
|
{
|
|
}
|
|
|
|
std::string undeclared_error::what() const
|
|
{
|
|
return "Type '" + identifier + "' not declared";
|
|
}
|
|
|
|
|
|
already_declared_error::already_declared_error(const std::string& identifier,
|
|
const char *path, const struct position position)
|
|
: error(path, position), identifier(identifier)
|
|
{
|
|
}
|
|
|
|
std::string already_declared_error::what() const
|
|
{
|
|
return "Symbol '" + identifier + "' has been already declared";
|
|
}
|
|
|
|
declaration_visitor::declaration_visitor(const char *path, std::shared_ptr<symbol_table> symbols)
|
|
: error_container(path), symbols(symbols)
|
|
{
|
|
}
|
|
|
|
void declaration_visitor::visit(program *program)
|
|
{
|
|
for (type_definition *const type : program->types)
|
|
{
|
|
if (!this->unresolved.insert({ type->identifier, std::make_shared<alias_type>() }).second)
|
|
{
|
|
add_error<already_declared_error>(type->identifier, this->input_file, type->position());
|
|
}
|
|
}
|
|
for (type_definition *const type : program->types)
|
|
{
|
|
type->accept(this);
|
|
}
|
|
}
|
|
|
|
void declaration_visitor::visit(type_definition *definition)
|
|
{
|
|
definition->body().accept(this);
|
|
auto unresolved_declaration = this->unresolved.at(definition->identifier);
|
|
|
|
unresolved_declaration->reference = this->current_type;
|
|
}
|
|
|
|
void declaration_visitor::visit(primitive_type_expression *type_expression)
|
|
{
|
|
auto unresolved_alias = this->unresolved.find(type_expression->name);
|
|
|
|
if (unresolved_alias != this->unresolved.end())
|
|
{
|
|
this->current_type = type(unresolved_alias->second);
|
|
}
|
|
else if (auto from_symbol_table = this->symbols.lookup(type_expression->name))
|
|
{
|
|
this->current_type = from_symbol_table->is_type()->symbol;
|
|
}
|
|
else
|
|
{
|
|
add_error<undeclared_error>(type_expression->name, this->input_file, type_expression->position());
|
|
this->current_type = type();
|
|
}
|
|
}
|
|
|
|
void declaration_visitor::visit(pointer_type_expression *type_expression)
|
|
{
|
|
type_expression->base().accept(this);
|
|
this->current_type = type(std::make_shared<pointer_type>(this->current_type));
|
|
}
|
|
|
|
void declaration_visitor::visit(array_type_expression *type_expression)
|
|
{
|
|
type_expression->base().accept(this);
|
|
this->current_type = type(std::make_shared<array_type>(this->current_type, type_expression->size));
|
|
}
|
|
|
|
void declaration_visitor::visit(record_type_expression *type_expression)
|
|
{
|
|
auto type_definition = std::make_shared<record_type>();
|
|
|
|
for (auto& field : type_expression->fields)
|
|
{
|
|
field.second->accept(this);
|
|
if (!this->current_type.empty())
|
|
{
|
|
type_definition->fields.push_back({ field.first, type(this->current_type) });
|
|
}
|
|
}
|
|
this->current_type = type(type_definition);
|
|
}
|
|
|
|
void declaration_visitor::visit(union_type_expression *type_expression)
|
|
{
|
|
auto type_definition = std::make_shared<union_type>();
|
|
|
|
for (auto& field : type_expression->fields)
|
|
{
|
|
field.second->accept(this);
|
|
|
|
type_definition->fields.push_back({ field.first, type(this->current_type) });
|
|
}
|
|
this->current_type = type(type_definition);
|
|
}
|
|
|
|
void declaration_visitor::visit(procedure_type_expression *type_expression)
|
|
{
|
|
}
|
|
}
|
|
}
|