hilti::CoercedExpression Struct Reference

#include <coercer.h>

Public Member Functions
	operator bool () const
	CoercedExpression (Expression *src)
	CoercedExpression (QualifiedType *src, Expression *coerced)
	CoercedExpression ()=default
	CoercedExpression (const result::Error &error)

Public Attributes
Result< Expression * >	coerced
Expression *	nexpr = {}
bool	consider_type_changed = false

Detailed Description

Return type for the functions doing expression coercion.

Constructor & Destructor Documentation

CoercedExpression() [1/4]

hilti::CoercedExpression::CoercedExpression ( Expression *  src )

inline

Represents a successful coercion that led the source expression not changing, which will be assigned to the coerced field.

Note

The expression not changing doesn't necessarily mean that the expression's type is exactly matching the coercion's destination type. However, even if not, the caller should proceed by using the coerced field value for anywhere where the coerced expression is expected.

Parameters

src	the original source expression

CoercedExpression() [2/4]

hilti::CoercedExpression::CoercedExpression ( QualifiedType *  src, Expression *  coerced  )

inline

Represents a successful coercion that led to a new expression different from the source expression.

Parameters

src	the original source expression's type
coerced	the resulting expression that src was coerced to

CoercedExpression() [3/4]

hilti::CoercedExpression::CoercedExpression ( )

default

Represents an unsuccessful coercion.

CoercedExpression() [4/4]

hilti::CoercedExpression::CoercedExpression ( const result::Error &  error )

inline

Represents an unsuccessful coercion, carrying an error message along explaining why it failed.

Member Function Documentation

operator bool()

hilti::CoercedExpression::operator bool ( ) const

inline

Returns true if coercion was successful.

Member Data Documentation

coerced

Result<Expression*> hilti::CoercedExpression::coerced

Coerced expression if successful, an error if not. This will be set even if the coerced expression ends up being identical to the source expression.

consider_type_changed

bool hilti::CoercedExpression::consider_type_changed = false

If coerced is set, true if type of new expression's type is to be considered changed compared to source expression's type for overload resolution

nexpr

Expression* hilti::CoercedExpression::nexpr = {}

Coerced expression if successful and the coerced expression is not identical to original one; unset otherwise.

---

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

• /home/docs/checkouts/readthedocs.org/user_builds/spicy-docs/checkouts/v1.14.0/hilti/toolchain/include/compiler/coercer.h