mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-25 11:20:09 +01:00
Jeremy G. Siek
ac0b810bf3
* adding methods to the ast * pre commit stuff? * implementation of class functions * implemented methods * some cleanup * more cleanup * add newlines in test programs * pre-commit fixups * added include of return_term.h * a test of a method calling another method * replacing Member with Declaration * removing the member.h etc files * clarify a type annotation * update uses of FunctionDeclaration * remove ReturnTarget, no longer needed * more cleanup * more cleanup * yet more cleanup, playing with pre-commit * did a pre-commit run --all-files * fixed const issue * remove comment * checking dependencies in BUILD files and headers * pre-commit working now * refactor NominalClassType to just hold a pointer to the class declaration * remove Member from rtti * responding to Geoffreys review * change field_types to a non-member function
121 lines
3.3 KiB
C++
121 lines
3.3 KiB
C++
// Part of the Carbon Language project, under the Apache License v2.0 with LLVM
|
|
// Exceptions. See /LICENSE for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
|
|
#include "executable_semantics/ast/declaration.h"
|
|
|
|
#include "llvm/ADT/StringExtras.h"
|
|
#include "llvm/Support/Casting.h"
|
|
|
|
namespace Carbon {
|
|
|
|
using llvm::cast;
|
|
|
|
Declaration::~Declaration() = default;
|
|
|
|
void Declaration::Print(llvm::raw_ostream& out) const {
|
|
switch (kind()) {
|
|
case DeclarationKind::FunctionDeclaration:
|
|
cast<FunctionDeclaration>(*this).PrintDepth(-1, out);
|
|
break;
|
|
|
|
case DeclarationKind::ClassDeclaration: {
|
|
const auto& class_decl = cast<ClassDeclaration>(*this);
|
|
out << "class " << class_decl.name() << " {\n";
|
|
for (Nonnull<Declaration*> m : class_decl.members()) {
|
|
out << *m;
|
|
}
|
|
out << "}\n";
|
|
break;
|
|
}
|
|
|
|
case DeclarationKind::ChoiceDeclaration: {
|
|
const auto& choice = cast<ChoiceDeclaration>(*this);
|
|
out << "choice " << choice.name() << " {\n";
|
|
for (Nonnull<const AlternativeSignature*> alt : choice.alternatives()) {
|
|
out << *alt << ";\n";
|
|
}
|
|
out << "}\n";
|
|
break;
|
|
}
|
|
|
|
case DeclarationKind::VariableDeclaration: {
|
|
const auto& var = cast<VariableDeclaration>(*this);
|
|
out << "var " << var.binding();
|
|
if (var.has_initializer()) {
|
|
out << " = " << var.initializer();
|
|
}
|
|
out << ";\n";
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
|
|
void GenericBinding::Print(llvm::raw_ostream& out) const {
|
|
out << name() << ":! " << type();
|
|
}
|
|
|
|
void ReturnTerm::Print(llvm::raw_ostream& out) const {
|
|
switch (kind_) {
|
|
case ReturnKind::Omitted:
|
|
return;
|
|
case ReturnKind::Auto:
|
|
out << "-> auto";
|
|
return;
|
|
case ReturnKind::Expression:
|
|
out << "-> " << **type_expression_;
|
|
return;
|
|
}
|
|
}
|
|
|
|
// Look for the `me` parameter in the `deduced_parameters_`
|
|
// and put it in the `me_pattern_`.
|
|
void FunctionDeclaration::ResolveDeducedAndReceiver(
|
|
const std::vector<Nonnull<AstNode*>>& deduced_params) {
|
|
for (Nonnull<AstNode*> param : deduced_params) {
|
|
switch (param->kind()) {
|
|
case AstNodeKind::GenericBinding:
|
|
deduced_parameters_.push_back(&cast<GenericBinding>(*param));
|
|
break;
|
|
case AstNodeKind::BindingPattern: {
|
|
Nonnull<BindingPattern*> bp = &cast<BindingPattern>(*param);
|
|
if (me_pattern_.has_value() || bp->name() != "me") {
|
|
FATAL_COMPILATION_ERROR(source_loc())
|
|
<< "illegal binding pattern in implicit parameter list";
|
|
}
|
|
me_pattern_ = bp;
|
|
break;
|
|
}
|
|
default:
|
|
FATAL_COMPILATION_ERROR(source_loc())
|
|
<< "illegal AST node in implicit parameter list";
|
|
}
|
|
}
|
|
}
|
|
|
|
void FunctionDeclaration::PrintDepth(int depth, llvm::raw_ostream& out) const {
|
|
out << "fn " << name_ << " ";
|
|
if (!deduced_parameters_.empty()) {
|
|
out << "[";
|
|
llvm::ListSeparator sep;
|
|
for (Nonnull<const GenericBinding*> deduced : deduced_parameters_) {
|
|
out << sep << *deduced;
|
|
}
|
|
out << "]";
|
|
}
|
|
out << *param_pattern_ << return_term_;
|
|
if (body_) {
|
|
out << " {\n";
|
|
(*body_)->PrintDepth(depth, out);
|
|
out << "\n}\n";
|
|
} else {
|
|
out << ";\n";
|
|
}
|
|
}
|
|
|
|
void AlternativeSignature::Print(llvm::raw_ostream& out) const {
|
|
out << "alt " << name() << " " << signature();
|
|
}
|
|
|
|
} // namespace Carbon
|