16980c718a
The new SemanticsContext holds the state of semantics whose lifetime spans all of the compilations. It contains the scope tree (and so all symbols), the intrinsics table, messages, and the state of options that affect semantics (default kinds, search directories, etc.) Original-commit: flang-compiler/f18@f04ceab81f Reviewed-on: https://github.com/flang-compiler/f18/pull/215 Tree-same-pre-rewrite: false
102 lines
2.9 KiB
C++
102 lines
2.9 KiB
C++
// Copyright (c) 2018, NVIDIA CORPORATION. All rights reserved.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#include "semantics.h"
|
|
#include "canonicalize-do.h"
|
|
#include "mod-file.h"
|
|
#include "resolve-labels.h"
|
|
#include "resolve-names.h"
|
|
#include "rewrite-parse-tree.h"
|
|
#include "scope.h"
|
|
#include "symbol.h"
|
|
#include <ostream>
|
|
|
|
namespace Fortran::semantics {
|
|
|
|
static void DoDumpSymbols(std::ostream &, const Scope &, int indent = 0);
|
|
static void PutIndent(std::ostream &, int indent);
|
|
|
|
bool SemanticsContext::AnyFatalError() const {
|
|
return !messages_.empty() &&
|
|
(warningsAreErrors_ || messages_.AnyFatalError());
|
|
}
|
|
|
|
bool Semantics::Perform() {
|
|
ValidateLabels(context_.messages(), program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
parser::CanonicalizeDo(program_);
|
|
ResolveNames(context_, program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
RewriteParseTree(context_, program_);
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
ModFileWriter writer{context_};
|
|
writer.WriteAll();
|
|
if (AnyFatalError()) {
|
|
return false;
|
|
}
|
|
if (context_.debugExpressions()) {
|
|
parser::CharBlock whole{cooked_.data()};
|
|
parser::ContextualMessages contextualMessages{whole, &context_.messages()};
|
|
evaluate::FoldingContext foldingContext{contextualMessages};
|
|
AnalyzeExpressions(program_, foldingContext, context_);
|
|
}
|
|
return !AnyFatalError();
|
|
}
|
|
|
|
void Semantics::EmitMessages(std::ostream &os) const {
|
|
context_.messages().Emit(os, cooked_);
|
|
}
|
|
|
|
void Semantics::DumpSymbols(std::ostream &os) {
|
|
DoDumpSymbols(os, context_.globalScope());
|
|
}
|
|
|
|
void DoDumpSymbols(std::ostream &os, const Scope &scope, int indent) {
|
|
PutIndent(os, indent);
|
|
os << Scope::EnumToString(scope.kind()) << " scope:";
|
|
if (const auto *symbol{scope.symbol()}) {
|
|
os << ' ' << symbol->name().ToString();
|
|
}
|
|
os << '\n';
|
|
++indent;
|
|
for (const auto &pair : scope) {
|
|
const auto &symbol{*pair.second};
|
|
PutIndent(os, indent);
|
|
os << symbol << '\n';
|
|
if (const auto *details{symbol.detailsIf<GenericDetails>()}) {
|
|
if (const auto &type{details->derivedType()}) {
|
|
PutIndent(os, indent);
|
|
os << *type << '\n';
|
|
}
|
|
}
|
|
}
|
|
for (const auto &child : scope.children()) {
|
|
DoDumpSymbols(os, child, indent);
|
|
}
|
|
--indent;
|
|
}
|
|
|
|
static void PutIndent(std::ostream &os, int indent) {
|
|
for (int i = 0; i < indent; ++i) {
|
|
os << " ";
|
|
}
|
|
}
|
|
|
|
} // namespace Fortran::semantics
|