yume::ast::Type Class Reference

A type annotation. This (ast::Type) is distinct from the actual type of a value (ty::Type). More...

#include <ast.hpp>

Inheritance diagram for yume::ast::Type:

Collaboration diagram for yume::ast::Type:

Public Member Functions
auto	clone () const -> Type *override=0
	Deep copy, except for the type and attachments. More...
Public Member Functions inherited from yume::ast::AST
	AST (const AST &)=delete
	AST (AST &&)=default
auto	operator= (const AST &) -> AST &=delete
auto	operator= (AST &&) -> AST &=delete
virtual	~AST ()=default
virtual void	visit (Visitor &visitor) const =0
	Recursively visit this ast node and all its constituents. More...
auto	val_ty () const noexcept -> optional< ty::Type >
auto	ensure_ty () const -> ty::Type
void	val_ty (optional< ty::Type > type)
void	attach_to (nonnull< AST * > other)
	Make the type of this node depend on the type of other. More...
auto	kind () const -> Kind
auto	kind_name () const -> string
	Human-readable string representation of the Kind of this node. More...
auto	token_range () const -> const span< Token > &
auto	equals_by_hash (ast::AST &other) const -> bool
auto	location () const -> Loc
	The union of the locations of the Tokens making up this node. More...
virtual auto	describe () const -> string
	A short, string representation for debugging. More...
virtual auto	clone () const -> AST *=0
	Deep copy, except for the type and attachments. More...

Protected Member Functions
	AST (Kind kind, span< Token > tok)
	AST (const AST &)=delete
	AST (AST &&)=default
Protected Member Functions inherited from yume::ast::AST
void	unify_val_ty ()
	Verify the type compatibility of the depends of this node, and merge the types if possible. This is called every time the node's type is updated. More...
auto	tok () const noexcept -> span< Token >
	AST (Kind kind, span< Token > tok)

Detailed Description

A type annotation. This (ast::Type) is distinct from the actual type of a value (ty::Type).

Definition at line 312 of file ast.hpp.

Member Function Documentation

AST() [1/3]

yume::ast::AST::AST ( AST &&  )

protecteddefault

AST() [2/3]

yume::ast::AST::AST ( const AST &  )

protecteddelete

AST() [3/3]

yume::ast::AST::AST ( Kind  kind, span< Token >  tok  )

inlineprotected

Definition at line 241 of file ast.hpp.

clone()

auto yume::ast::Type::clone ( ) const -> Type *override

overridepure virtual

Deep copy, except for the type and attachments.

Implements yume::ast::AST.

Implemented in yume::ast::FunctionType, yume::ast::ProxyType, yume::ast::QualType, yume::ast::SelfType, yume::ast::SimpleType, and yume::ast::TemplatedType.

---

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

• src/yume/ast/ast.hpp