yume::DeclLike Struct Reference

A common base between declarations in the compiler: Fn, Struct and Const. Its value may also be absent (std::monostate). More...

#include <vals.hpp>

Inheritance diagram for yume::DeclLike:

Collaboration diagram for yume::DeclLike:

Public Member Functions
auto	fully_substituted () const noexcept -> bool
auto	subs () const noexcept -> const Substitutions *
auto	subs () noexcept -> Substitutions *
auto	ast () const noexcept -> const ast::AST *
auto	ast () noexcept -> ast::AST *
auto	self_ty () const noexcept -> optional< ty::Type >
auto	opaque_self () const noexcept -> bool
Public Member Functions inherited from yume::visitable_variant< Ts >
template<typename... Us>
auto	visit (Us... us) -> decltype(auto)
template<typename... Us>
auto	visit (Us... us) const -> decltype(auto)

Detailed Description

A common base between declarations in the compiler: Fn, Struct and Const. Its value may also be absent (std::monostate).

Definition at line 208 of file vals.hpp.

Member Function Documentation

ast() [1/2]

auto yume::DeclLike::ast ( ) const -> const ast::AST*

inlinenoexcept

Definition at line 238 of file vals.hpp.

Referenced by yume::semantic::TypeWalker::statement().

ast() [2/2]

auto yume::DeclLike::ast ( ) -> ast::AST*

inlinenoexcept

Definition at line 243 of file vals.hpp.

fully_substituted()

auto yume::DeclLike::fully_substituted ( ) const -> bool

inlinenoexcept

Definition at line 212 of file vals.hpp.

References yume::Substitutions::fully_substituted(), and yume::Struct::subs.

Referenced by yume::semantic::TypeWalker::statement().

opaque_self()

auto yume::DeclLike::opaque_self ( ) const -> bool

inlinenoexcept

Definition at line 253 of file vals.hpp.

References yume::Fn::abstract(), yume::ast::FnDecl::ANN_OVERRIDE, and yume::Fn::has_annotation().

self_ty()

auto yume::DeclLike::self_ty ( ) const -> optional<ty::Type>

inlinenoexcept

Definition at line 248 of file vals.hpp.

Referenced by yume::semantic::TypeWalker::expression(), and yume::semantic::TypeWalker::statement().

subs() [1/2]

auto yume::DeclLike::subs ( ) const -> const Substitutions*

inlinenoexcept

Definition at line 218 of file vals.hpp.

subs() [2/2]

auto yume::DeclLike::subs ( ) -> Substitutions*

inlinenoexcept

Definition at line 228 of file vals.hpp.

---

The documentation for this struct was generated from the following file:

• src/yume/compiler/vals.hpp