ScopeStatement

Used to represent nested scopes.

    concrete ScopeStatement : Statement
      {
        Statement * owner body in child_statements
                build {create_statement_list( _suif_env )};
        SymbolTable * owner symbol_table
                build {create_basic_symbol_table( _suif_env )};
        DefinitionBlock * owner definition_block
                build {create_definition_block( _suif_env )};
      };

body	Code executed when the scope_statement is executed.
symbol_table	The scope of the symbol_table owned by the ScopeStatement is the ScopeStatement itself and everything the scope statement owns.
definition_block	Provides a place for VariableDefinitions for static variables of this scope.