Spicy
Public Member Functions | Protected Member Functions | List of all members
hilti::Expression Class Referenceabstract

#include <expression.h>

Inheritance diagram for hilti::Expression:
hilti::Node hilti::expression::Assign hilti::expression::BuiltInFunction hilti::expression::Coerced hilti::expression::ConditionTest hilti::expression::Ctor hilti::expression::Grouping hilti::expression::Keyword hilti::expression::ListComprehension hilti::expression::LogicalAnd hilti::expression::LogicalNot hilti::expression::LogicalOr hilti::expression::Member hilti::expression::Move hilti::expression::Name hilti::expression::PendingCoerced hilti::expression::ResolvedOperator hilti::expression::Ternary hilti::expression::TypeInfo hilti::expression::TypeWrapped hilti::expression::Type_ hilti::expression::UnresolvedOperator hilti::expression::Void

Public Member Functions

auto isConstant () const
 
auto isResolved (node::CycleDetector *cd=nullptr) const
 
virtual QualifiedType * type () const =0
 
- Public Member Functions inherited from hilti::Node
node::Tag nodeTag () const
 
bool hasParent () const
 
Node * parent (int i=1) const
 
template<typename T >
T * parent () const
 
auto pathLength () const
 
const auto & meta () const
 
const auto & location () const
 
void setMeta (Meta m)
 
auto scope () const
 
auto getOrCreateScope ()
 
void clearScope ()
 
Result< std::pair< Declaration *, ID > > lookupID (const ID &id, const std::string_view &what) const
 
virtual bool inheritScope () const
 
std::string typename_ () const
 
uint64_t identity () const
 
const auto & children () const
 
template<typename T >
T * child (unsigned int i) const
 
template<typename T >
T * childTryAs (unsigned int i) const
 
Node * child (unsigned int i) const
 
template<typename T >
auto children (int begin, std::optional< int > end) const
 
template<typename T >
auto children (int begin, std::optional< int > end)
 
template<typename T >
node::Set< T > childrenOfType () const
 
bool hasChild (const Node *n, bool recurse=false) const
 
Node * sibling (Node *n) const
 
void addChild (ASTContext *ctx, Node *n)
 
void addChildren (ASTContext *ctx, const Nodes &children)
 
void removeChild (Node *n)
 
void removeChildren (int begin, std::optional< int > end)
 
void setChild (ASTContext *ctx, size_t idx, Node *n)
 
void replaceChildren (ASTContext *ctx, const Nodes &children)
 
void replaceChild (ASTContext *ctx, Node *old, Node *new_)
 
template<typename T >
bool isA () const
 
template<typename T >
bool isA_ () const
 
template<typename T >
T * as () const
 
template<typename T >
T * as ()
 
template<typename T >
const T * tryAs () const
 
template<typename T >
T * tryAs ()
 
template<typename T >
T * tryAs_ ()
 
void print (std::ostream &out, bool compact, bool user_visible) const
 
std::string print () const
 
std::string printRaw () const
 
 operator std::string () const
 
std::string dump () const
 
std::string renderSelf (bool include_location=true) const
 
void addError (std::string msg, std::vector< std::string > context={})
 
void addError (std::string msg, node::ErrorPriority priority, std::vector< std::string > context={})
 
void addError (std::string msg, const Location &l, std::vector< std::string > context={})
 
void addError (std::string msg, Location l, node::ErrorPriority priority, std::vector< std::string > context={})
 
bool hasErrors () const
 
const auto & errors () const
 
void clearErrors ()
 
void clearChildren ()
 
void retain ()
 
void release ()
 
bool isRetained () const
 
virtual node::Properties properties () const
 
virtual void dispatch (visitor::Dispatcher &v)=0
 
virtual std::string_view branchTag () const
 
Node & operator= (const Node &other)=delete
 
Node & operator= (Node &&other) noexcept=delete
 

Protected Member Functions

 Expression (ASTContext *ctx, node::Tags node_tags, Nodes children, Meta meta)
 
std::string _dump () const override
 
 HILTI_NODE_0 (Expression, override)
 
- Protected Member Functions inherited from hilti::Node
 Node (ASTContext *ctx, node::Tags node_tags, Nodes children, Meta meta)
 
 Node (ASTContext *ctx, node::Tags node_tags, Meta meta)
 
 Node (Node &&other)=default
 
 Node (const Node &other)
 
virtual std::string _typename () const
 
virtual Node * _clone (ASTContext *ctx) const =0
 

Additional Inherited Members

- Static Public Attributes inherited from hilti::Node
static constexpr uint16_t NodeLevel = 0
 
static constexpr ::hilti::node::Tag NodeTag = ::hilti::node::tag::Node
 
static constexpr ::hilti::node::Tags NodeTags = {::hilti::node::tag::Node}
 

Detailed Description

Base class for expression nodes.

Member Function Documentation

◆ _dump()

std::string Expression::_dump ( ) const
overrideprotectedvirtual

Returns additional information to include into the node's dump() output, as provided by derived classes.

Reimplemented from hilti::Node.

◆ isConstant()

auto hilti::Expression::isConstant ( ) const
inline

Returns true if the expression's type is constant.

◆ isResolved()

auto hilti::Expression::isResolved ( node::CycleDetector *  cd = nullptr) const
inline

Returns true if expression's type has been resolved.

◆ type()

virtual QualifiedType* hilti::Expression::type ( ) const
pure virtual

Returns the expression's HILTI type when evaluated.

Implemented in hilti::expression::Void, hilti::expression::UnresolvedOperator, hilti::expression::TypeInfo, hilti::expression::Type_, hilti::expression::TypeWrapped, hilti::expression::Ternary, hilti::expression::ResolvedOperator, hilti::expression::PendingCoerced, hilti::expression::Name, hilti::expression::Move, hilti::expression::Member, hilti::expression::LogicalOr, hilti::expression::LogicalNot, hilti::expression::LogicalAnd, hilti::expression::ListComprehension, hilti::expression::Keyword, hilti::expression::Grouping, hilti::expression::Ctor, hilti::expression::ConditionTest, hilti::expression::Coerced, hilti::expression::BuiltInFunction, and hilti::expression::Assign.

The documentation for this class was generated from the following files:
Generated by doxygen 1.9.1