A declaration of a custom constructor (def :new). More...

#include <ast.hpp>

Inheritance diagram for yume::ast::CtorDecl:

[legend]

Collaboration diagram for yume::ast::CtorDecl:

[legend]

Public Member Functions
	CtorDecl (span< Token > tok, vector< TypeName > args, Compound body)

void	visit (Visitor &visitor) const override
	Recursively visit this ast node and all its constituents. More...

auto	decl_name () const -> string override

auto	clone () const -> CtorDecl *override
	Deep copy, except for the type and attachments. More...

Public Member Functions inherited from yume::ast::Decl
auto	clone () const -> Decl *override=0
	Deep copy, except for the type and attachments. More...

virtual auto	decl_name () const -> string=0

auto	describe () const -> string final
	A short, string representation for debugging. More...

auto	clone () const -> Stmt *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 `Token`s 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...

Public Attributes
vector< TypeName >	args

Compound	body

Additional Inherited Members
Protected Member Functions inherited from yume::ast::Stmt
	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 declaration of a custom constructor (def :new).

The arguments of a constructor may be regular TypeNames, just as in regular function declarations, but they also may be a FieldAccessExpr without a base (such as ::x), representing a shorthand where the field is set immediately, and the type is deduced to be that of the field. Essentially the following two declarations are identical:

struct Foo(data I32)
  def :new(::data)
  end
 
  def :new(data I32)
    ::data = data
  end
end

Definition at line 832 of file ast.hpp.

Constructor & Destructor Documentation

◆ CtorDecl()

yume::ast::CtorDecl::CtorDecl	(	span< Token >	tok,
		vector< TypeName >	args,
		Compound	body
	)

inline

Definition at line 837 of file ast.hpp.

Referenced by clone().

Member Function Documentation

◆ clone()

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

overridevirtual

Deep copy, except for the type and attachments.

Implements yume::ast::Decl.

Definition at line 99 of file ast.cpp.

References args, body, CtorDecl(), and yume::ast::AST::tok().

◆ decl_name()

auto yume::ast::CtorDecl::decl_name ( ) const -> string

inlineoverridevirtual

Implements yume::ast::Decl.

Definition at line 840 of file ast.hpp.

◆ visit()

void yume::ast::CtorDecl::visit ( Visitor & visitor ) const

overridevirtual

Recursively visit this ast node and all its constituents.

See also: Visitor

Implements yume::ast::AST.

Definition at line 102 of file visit.cpp.

References args, body, and visitor.

Member Data Documentation

◆ args

vector<TypeName> yume::ast::CtorDecl::args

Definition at line 834 of file ast.hpp.

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

◆ body

Compound yume::ast::CtorDecl::body

Definition at line 835 of file ast.hpp.