0c575ed548
Module file writing is implemented in mod-file.cc. They need to be written after all semantic checking. Until then, for testing, write them out whenever names are resolved. There is a header comment in the .mod files but it is mostly a placeholder until we can read them in and do something with it. Rename `Symbol::details<D>` to `Symbol::get<D>`. This asserts that the details of the symbol match D and returns that type. But we need a way to access the details as a variant as well (not just one of its types). `details()` is the best name for that, especially as we already have `set_details()`. Renaming the old `details` to `get` also better matches `has` which is used to check which variant is present. Original-commit: flang-compiler/f18@8d14be1a16 Reviewed-on: https://github.com/flang-compiler/f18/pull/126 Tree-same-pre-rewrite: false
56 lines
2 KiB
C++
56 lines
2 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.
|
|
|
|
#ifndef FORTRAN_SEMANTICS_ATTR_H_
|
|
#define FORTRAN_SEMANTICS_ATTR_H_
|
|
|
|
#include "../common/enum-set.h"
|
|
#include "../common/idioms.h"
|
|
#include <cinttypes>
|
|
#include <iostream>
|
|
#include <string>
|
|
|
|
namespace Fortran::semantics {
|
|
|
|
// All available attributes.
|
|
ENUM_CLASS(Attr, ABSTRACT, ALLOCATABLE, ASYNCHRONOUS, BIND_C, CONTIGUOUS,
|
|
DEFERRED, ELEMENTAL, EXTERNAL, IMPURE, INTENT_IN, INTENT_INOUT, INTENT_OUT,
|
|
INTRINSIC, MODULE, NON_OVERRIDABLE, NON_RECURSIVE, NOPASS, OPTIONAL,
|
|
PARAMETER, PASS, POINTER, PRIVATE, PROTECTED, PUBLIC, PURE, RECURSIVE, SAVE,
|
|
TARGET, VALUE, VOLATILE)
|
|
|
|
// Set of attributes
|
|
class Attrs : public common::EnumSet<Attr, Attr_enumSize> {
|
|
private:
|
|
using enumSetType = common::EnumSet<Attr, Attr_enumSize>;
|
|
|
|
public:
|
|
using enumSetType::enumSetType;
|
|
constexpr bool HasAny(const Attrs &x) const { return !(*this & x).none(); }
|
|
constexpr bool HasAll(const Attrs &x) const { return (~*this & x).none(); }
|
|
// Internal error if any of these attributes are not in allowed.
|
|
void CheckValid(const Attrs &allowed) const;
|
|
|
|
private:
|
|
friend std::ostream &operator<<(std::ostream &, const Attrs &);
|
|
};
|
|
|
|
// Return string representation of attr that matches Fortran source.
|
|
std::string AttrToString(Attr attr);
|
|
|
|
std::ostream &operator<<(std::ostream &o, Attr attr);
|
|
std::ostream &operator<<(std::ostream &o, const Attrs &attrs);
|
|
|
|
} // namespace Fortran::semantics
|
|
#endif // FORTRAN_SEMANTICS_ATTR_H_
|