ValueExpression
Expression node representing a Value.
Create a value expression.
| ValueExpression | ( | const Location & location, | |
| Value value | ); |
| PARAMETER | DESCRIPTION |
|---|---|
location |
The location of the expression. |
value |
The value of the expression. |
Create a value expression with an unsigned integer value.
| ValueExpression | ( | const Location & location, | |
| uint64_t value | ); |
| PARAMETER | DESCRIPTION |
|---|---|
location |
The location of the expression. |
value |
The unsigned integer value of the expression. |
Create a value expression from a token.
| ValueExpression | ( | const Token & token | ); |
| PARAMETER | DESCRIPTION |
|---|---|
token |
The token to create the expression from. |
| THROWS | DESCRIPTION |
|---|---|
Exception |
if the token is not a value or string token. |
Create a deep copy of the expression.
A subclass must override this method if it can occur in a macro or function definition, .repeat body, or instruction encoding.
| virtual Expression clone | ( | const CloneContext & context | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
context |
| RETURNS | DESCRIPTION |
|---|---|
Expression |
A shared pointer to the cloned expression. |
Create a value expression.
| static Expression create | ( | const Location & location, | |
| Value value | ); |
| PARAMETER | DESCRIPTION |
|---|---|
location |
The location of the expression. |
value |
The value of the expression. |
| RETURNS | DESCRIPTION |
|---|---|
Expression |
Check if the value of the expression is known.
The default implementation returns true if value() returns a value, false otherwise. If the value is expensive to compute, subclasses may override this method to provide a more efficient implementation.
| virtual bool has_value | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
bool |
|
Get the minimum possible value of the expression.
The default implementation returns the value of the expression if it is known, or {} otherwise. Subclasses should override this method if they can determine a minimum value without knowing the exact value of the expression.
| virtual std::optional< Value > maximum_value | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Value > |
The minimum possible value of the expression. if it can be determined, {} otherwise. |
Get the maximum possible value of the expression.
The default implementation returns the value of the expression if it is known, or {} otherwise. Subclasses should override this method if they can determine a maximum value without knowing the exact value of the expression.
| virtual std::optional< Value > minimum_value | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Value > |
The maximum possible value of the expression if it can be determined, {} otherwise. |
Serialize the expression to a stream.
This method must be implemented by derived classes.
| virtual void serialize_sub | ( | std::ostream & stream | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
stream |
The stream to serialize to. |
Get the type of the expression's value.
The default implementation returns the type of the value of the expression if it is known, or {} otherwise. Subclasses should override this method if they can determine the type of the expression without knowing the exact value of the expression.
| virtual std::optional< Value::Type > type | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Value::Type > |
The type of the expression's value if it can be determined, {} otherwise. |
Get the value of the expression if it is known.
Subclasses should override this method. The default implementation returns {}.
| virtual std::optional< Value > value | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Value > |
The value of the expression, if it is known. |
The value of the expression.