blob: fb8e6a070fa2b45a0b63450a7171ee517bcb0ca3 [file] [log] [blame]
//===-- lib/Semantics/mod-file.h --------------------------------*- C++ -*-===//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
#include "flang/Semantics/attr.h"
#include "llvm/Support/raw_ostream.h"
#include <string>
namespace Fortran::parser {
class CharBlock;
class Message;
class MessageFixedText;
} // namespace Fortran::parser
namespace llvm {
class raw_ostream;
namespace Fortran::semantics {
using SourceName = parser::CharBlock;
class Symbol;
class Scope;
class SemanticsContext;
class ModFileWriter {
explicit ModFileWriter(SemanticsContext &context) : context_{context} {}
bool WriteAll();
SemanticsContext &context_;
// Buffer to use with raw_string_ostream
std::string usesBuf_;
std::string useExtraAttrsBuf_;
std::string declsBuf_;
std::string containsBuf_;
llvm::raw_string_ostream uses_{usesBuf_};
llvm::raw_string_ostream useExtraAttrs_{
useExtraAttrsBuf_}; // attrs added to used entity
llvm::raw_string_ostream decls_{declsBuf_};
llvm::raw_string_ostream contains_{containsBuf_};
void WriteAll(const Scope &);
void WriteOne(const Scope &);
void Write(const Symbol &);
std::string GetAsString(const Symbol &);
// Returns true if a derived type with bindings and "contains" was emitted
bool PutSymbols(const Scope &);
void PutSymbol(llvm::raw_ostream &, const Symbol &);
void PutDerivedType(const Symbol &);
void PutSubprogram(const Symbol &);
void PutGeneric(const Symbol &);
void PutUse(const Symbol &);
void PutUseExtraAttr(Attr, const Symbol &, const Symbol &);
class ModFileReader {
// directories specifies where to search for module files
ModFileReader(SemanticsContext &context) : context_{context} {}
// Find and read the module file for a module or submodule.
// If ancestor is specified, look for a submodule of that module.
// Return the Scope for that module/submodule or nullptr on error.
Scope *Read(
const SourceName &, Scope *ancestor = nullptr, bool silent = false);
SemanticsContext &context_;
parser::Message &Say(const SourceName &, const std::string &,
parser::MessageFixedText &&, const std::string &);
} // namespace Fortran::semantics