BlockBody
Represents a sequence of body elements.
| BlockBody | ( | ); |
| BlockBody | ( | std::vector< Body > block | ); |
| PARAMETER | DESCRIPTION |
|---|---|
block |
| void append_element | ( | const Body & element | ); |
| PARAMETER | DESCRIPTION |
|---|---|
element |
Append a BodyElement to this body directly, if supported.
If appending is supported, this method returns the resulting body. Otherwise, it returns an empty optional.
The default implementation does not support appending. If a subclass supports appending, it should override this method.
| virtual std::pair< bool, std::optional< Body > > append_sub | ( | const Body & body, | |
| const Body & element | ); |
| PARAMETER | DESCRIPTION |
|---|---|
body |
The body to append to. |
element |
The element to append. |
| RETURNS | DESCRIPTION |
|---|---|
std::pair< bool, std::optional< Body > > |
The resulting body, or {} if not supported. |
| std::optional< Body > back | ( | ) const; |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Body > |
| virtual Body clone | ( | const CloneContext & context | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
context |
| RETURNS | DESCRIPTION |
|---|---|
Body |
| static Body create | ( | const std::vector< Body > & elements | ); |
| PARAMETER | DESCRIPTION |
|---|---|
elements |
| RETURNS | DESCRIPTION |
|---|---|
Body |
Encode the BodyElement into a byte string.
The default implementation does nothing. Subclasses that represent data or instructions should override this method.
| virtual void encode | ( | std::string & bytes, | |
| const Memory * memory | ); |
| PARAMETER | DESCRIPTION |
|---|---|
bytes |
The byte string to encode into. |
memory |
The memory context for encoding. |
Evaluate the BodyElement in a given context.
Subclasses must implement this method.
If an error occurs during evaluation, either an error should be reported via DiagnosticOutput and the BodyElement marked as invalid, or an exception should be thrown.
| virtual std::optional< Body > evaluate | ( | const EvaluationContext & context | ); |
| PARAMETER | DESCRIPTION |
|---|---|
context |
The evaluation context. |
| RETURNS | DESCRIPTION |
|---|---|
std::optional< Body > |
The Body to replace this BodyElement with, {} if no replacement is needed. |
Serialize the BodyElement to a stream.
Subclasses must implement this method.
| virtual void serialize | ( | std::ostream & stream, | |
| const std::string & prefix | ) const; |
| PARAMETER | DESCRIPTION |
|---|---|
stream |
The stream to serialize to. |
prefix |
The prefix for each line of the serialized output. |
Traverse the BodyElement.
This function is used by the default implementations of resolve() and expand_calls(). Unless a subclass overrides both of these methods, it should override traverse().
| virtual void traverse | ( | std::function< void(Body &)> body_callable, | |
| std::function< void(Expression &)> expression_callable | ); |
| PARAMETER | DESCRIPTION |
|---|---|
body_callable |
A callable to apply to each sub-body-element. |
expression_callable |
A callable to apply to each sub-expression. |