SizeofExpression

INCLUDE FILE

#include "Expression/SizeofExpression.h"

class SizeofExpression

Represents an expression that evaluates to the size of an object: .sizeof(object).

DEFINITION

            class SizeofExpression;
        

constructor SizeofExpression

DEFINITION

SizeofExpression	(	const Location & location,
		const Object * object	);

PARAMETER	DESCRIPTION
`location`
`object`

constructor SizeofExpression

DEFINITION

SizeofExpression	(	const Location & location,
		Symbol object_name	);

PARAMETER	DESCRIPTION
`location`
`object_name`

method createstatic

DEFINITION

static Expression create	(	const Location & location,
		const std::vector< Expression > & arguments	);

PARAMETER	DESCRIPTION
`location`
`arguments`

RETURNS	DESCRIPTION
`Expression`

method createstatic

DEFINITION

static Expression create	(	const Location & location,
		const Object * object	);

PARAMETER	DESCRIPTION
`location`
`object`

RETURNS	DESCRIPTION
`Expression`

method evaluatevirtual

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.

DEFINITION

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.

method has_valueconst virtual

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.

DEFINITION

virtual bool has_value

(

) const;

RETURNS	DESCRIPTION
`bool`	`true` if the value is known, `false` otherwise.

method maximum_valueconst virtual

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.

DEFINITION

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.

method minimum_valueconst virtual

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.

DEFINITION

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.

method resolvevirtual

Resolve all names in the expression.

The default implementation calls resolve() on all sub-expressions using traverse().

If a name cannot be resolved, either an error should be reported via DiagnosticOutput and the expression marked as invalid, or an exception should be thrown.

DEFINITION

virtual void resolve	(	Scope * scope,
		Entity * containing_entity	);

PARAMETER	DESCRIPTION
`scope`	The scope to resolve names in.
`containing_entity`	The entity that contains the expression.

method serialize_subconst virtual protected

Serialize the expression to a stream.

This method must be implemented by derived classes.

DEFINITION

virtual void serialize_sub

(

std::ostream & stream

) const;

PARAMETER	DESCRIPTION
`stream`	The stream to serialize to.

method typeconst virtual

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.

DEFINITION

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.

method valueconst virtual

Get the value of the expression if it is known.

Subclasses should override this method. The default implementation returns {}.

DEFINITION

virtual std::optional< Value > value

(

) const;

RETURNS	DESCRIPTION
`std::optional< Value >`	The value of the expression, if it is known.

member objectprivate

DEFINITION

const Object * object;

member object_nameprivate

DEFINITION

Symbol object_name;