Represents an implicit cast to a different type, performed during semantic analysis. More...
#include <ast.hpp>
Public Member Functions | |
| ImplicitCastExpr (span< Token > tok, AnyExpr base, ty::Conv conversion) | |
| void | visit (Visitor &visitor) const override |
| Recursively visit this ast node and all its constituents. More... | |
| auto | clone () const -> ImplicitCastExpr *override |
| Deep copy, except for the type and attachments. More... | |
| auto | clone () const -> Expr *override=0 |
| 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 | |
| AnyExpr | base |
| ty::Conv | conversion |
| The conversion steps performed during this cast. More... | |
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
Represents an implicit cast to a different type, performed during semantic analysis.
Note that implicit casts have no direct "textual" representation in actual source code, they are only materialized during semantic analysis.
Constructor & Destructor Documentation
◆ ImplicitCastExpr()
Member Function Documentation
◆ clone()
|
overridevirtual |
Deep copy, except for the type and attachments.
Implements yume::ast::Expr.
Definition at line 127 of file ast.cpp.
References base, conversion, ImplicitCastExpr(), and yume::ast::AST::tok().
◆ visit()
|
overridevirtual |
Recursively visit this ast node and all its constituents.
- See also
- Visitor
Implements yume::ast::AST.
Definition at line 139 of file visit.cpp.
References base, conversion, yume::ty::Conv::to_string(), and visitor.
Member Data Documentation
◆ base
| AnyExpr yume::ast::ImplicitCastExpr::base |
Definition at line 687 of file ast.hpp.
Referenced by clone(), yume::semantic::TypeWalker::expression(), and visit().
◆ conversion
| ty::Conv yume::ast::ImplicitCastExpr::conversion |
The documentation for this struct was generated from the following files:
