runtime-type-info.h

//===-- include/flang/Semantics/runtime-type-info.h -------------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
 
// BuildRuntimeDerivedTypeTables() translates the scopes of derived types
// and parameterized derived type instantiations into the type descriptions
// defined in module/__fortran_type_info.f90, packaging these descriptions
// as static initializers for compiler-created objects.
 
#ifndef FORTRAN_SEMANTICS_RUNTIME_TYPE_INFO_H_
#define FORTRAN_SEMANTICS_RUNTIME_TYPE_INFO_H_
 
#include "flang/Common/reference.h"
#include "flang/Semantics/symbol.h"
#include <map>
#include <set>
#include <string>
#include <vector>
 
namespace llvm {
class raw_ostream;
}
 
namespace Fortran::semantics {
 
struct RuntimeDerivedTypeTables {
  Scope *schemata{nullptr};
  std::set<std::string> names;
};
 
RuntimeDerivedTypeTables BuildRuntimeDerivedTypeTables(SemanticsContext &);
 
constexpr char typeInfoBuiltinModule[]{"__fortran_type_info"};
 
constexpr char bindingDescCompName[]{"binding"};
 
constexpr char procCompName[]{"proc"};
 
SymbolVector CollectBindings(const Scope &dtScope);
 
struct NonTbpDefinedIo {
  const Symbol *subroutine;
  common::DefinedIo definedIo;
  bool isDtvArgPolymorphic;
};
 
std::multimap<const Symbol *, NonTbpDefinedIo>
CollectNonTbpDefinedIoGenericInterfaces(
    const Scope &, bool useRuntimeTypeInfoEntries);
 
bool ShouldIgnoreRuntimeTypeInfoNonTbpGenericInterfaces(
    const Scope &, const DerivedTypeSpec *);
bool ShouldIgnoreRuntimeTypeInfoNonTbpGenericInterfaces(
    const Scope &, const DeclTypeSpec *);
bool ShouldIgnoreRuntimeTypeInfoNonTbpGenericInterfaces(
    const Scope &, const Symbol *);
 
} // namespace Fortran::semantics
#endif // FORTRAN_SEMANTICS_RUNTIME_TYPE_INFO_H_