MemoryInfoExpression
Represents an expression that provides information about memory.
| VALUE | DESCRIPTION |
|---|---|
MEMORY_SIZE |
|
MEMORY_START |
|
MEMORY_END |
| MemoryInfoExpression | ( | const Location & location, | |
| Output * output, | |||
| InfoType info_type, | |||
| uint64_t bank = 0 | ); |
| PARAMETER | DESCRIPTION |
|---|---|
location |
|
output |
|
info_type |
|
bank |
| static Expression create | ( | const Location & location, | |
| Output * output, | |||
| InfoType info_type, | |||
| uint64_t bank = 0 | ); |
| PARAMETER | DESCRIPTION |
|---|---|
location |
|
output |
|
info_type |
|
bank |
| RETURNS | DESCRIPTION |
|---|---|
Expression |
Evaluate the expression in the given context.
The default implementation calls evaluate() on all sub-expressions using traverse(), and then calls evaluate_process().
Errors during evaluation should either be reported via DiagnosticOutput and result in the expression being marked as invalid, or an exception should be thrown.
| virtual std::optional< Expression > evaluate | ( | const EvaluationContext & context | ); |
| PARAMETER | DESCRIPTION |
|---|---|
context |
The evaluation context. |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Expression > |
The Expression to replace this expression with, {} if no replacement is needed. |
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 |
|
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. |