Yume
Public Member Functions | Public Attributes | List of all members
yume::ast::ReturnStmt Struct Referencefinal

Return from a function body. More...

#include <ast.hpp>

Inheritance diagram for yume::ast::ReturnStmt:
Inheritance graph
[legend]
Collaboration diagram for yume::ast::ReturnStmt:
Collaboration graph
[legend]

Public Member Functions

 ReturnStmt (span< Token > tok, OptionalExpr expr)
 
void visit (Visitor &visitor) const override
 Recursively visit this ast node and all its constituents. More...
 
auto clone () const -> ReturnStmt *override
 Deep copy, except for the type and attachments. 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 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...
 

Public Attributes

OptionalExpr expr
 
VarDeclextends_lifetime {}
 

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

Return from a function body.

Definition at line 944 of file ast.hpp.

Constructor & Destructor Documentation

◆ ReturnStmt()

yume::ast::ReturnStmt::ReturnStmt ( span< Token tok,
OptionalExpr  expr 
)
inlineexplicit

Definition at line 949 of file ast.hpp.

Referenced by clone().

Member Function Documentation

◆ clone()

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

Deep copy, except for the type and attachments.

Implements yume::ast::Stmt.

Definition at line 92 of file ast.cpp.

References expr, ReturnStmt(), and yume::ast::AST::tok().

◆ visit()

void yume::ast::ReturnStmt::visit ( Visitor visitor) const
overridevirtual

Recursively visit this ast node and all its constituents.

See also
Visitor

Implements yume::ast::AST.

Definition at line 81 of file visit.cpp.

References expr, and visitor.

Member Data Documentation

◆ expr

OptionalExpr yume::ast::ReturnStmt::expr

◆ extends_lifetime

VarDecl* yume::ast::ReturnStmt::extends_lifetime {}

Definition at line 947 of file ast.hpp.

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


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