Represents a body, that introduces a new scope for its contained body.
DEFINITION
class ScopeBody;
DEFINITION
|
ScopeBody |
( |
Body body_, |
| | const std::shared_ptr< Environment > & inner_environment | ); |
| PARAMETER | DESCRIPTION |
|---|
body_ |
|
inner_environment |
|
DEFINITION
|
virtual std::shared_ptr< BodyElement > clone |
( |
) const; |
| RETURNS | DESCRIPTION |
|---|
std::shared_ptr< BodyElement > |
|
DEFINITION
|
static Body create |
( |
Body body, |
| | const std::shared_ptr< Environment > & inner_environment | ); |
| PARAMETER | DESCRIPTION |
|---|
body |
|
inner_environment |
|
DEFINITION
|
virtual bool empty |
( |
) const; |
DEFINITION
|
virtual void encode |
( |
std::string & bytes, |
| | const Memory * memory | ) const; |
| PARAMETER | DESCRIPTION |
|---|
bytes |
|
memory |
|
DEFINITION
|
virtual std::optional< Body > evaluated |
( |
const EvaluationContext & context | ) const; |
| PARAMETER | DESCRIPTION |
|---|
context |
|
| RETURNS | DESCRIPTION |
|---|
std::optional< Body > |
|
DEFINITION
|
virtual void serialize |
( |
std::ostream & stream, |
| | const std::string & prefix | ) const; |
| PARAMETER | DESCRIPTION |
|---|
stream |
|
prefix |
|