.. _stdlib_ast_block_to_loop:

=======================
DECS, AST block to loop
=======================

.. include:: detail/ast_block_to_loop.rst

The ast_block_to_loop module implements block to loop conversion as part of the DECS infrastructure.

All functions and symbols are in "ast_block_to_loop" module, use require to get access to it. ::

    require daslib/ast_block_to_loop

++++++++++++++++++++++++
Block to loop conversion
++++++++++++++++++++++++

  *  :ref:`convert_block_to_loop (blk:smart_ptr\<ast::Expression\> -const;failOnReturn:bool const;replaceReturnWithContinue:bool const;requireContinueCond:bool const) : void <function-_at_ast_block_to_loop_c__c_convert_block_to_loop_1_ls_H_ls_ast_c__c_Expression_gr__gr_?M_Cb_Cb_Cb>` 

.. _function-_at_ast_block_to_loop_c__c_convert_block_to_loop_1_ls_H_ls_ast_c__c_Expression_gr__gr_?M_Cb_Cb_Cb:

.. das:function:: convert_block_to_loop(blk: smart_ptr<ast::Expression>; failOnReturn: bool const; replaceReturnWithContinue: bool const; requireContinueCond: bool const)

+-------------------------+-----------------------------------------------------------+
+argument                 +argument type                                              +
+=========================+===========================================================+
+blk                      +smart_ptr< :ref:`ast::Expression <handle-ast-Expression>` >+
+-------------------------+-----------------------------------------------------------+
+failOnReturn             +bool const                                                 +
+-------------------------+-----------------------------------------------------------+
+replaceReturnWithContinue+bool const                                                 +
+-------------------------+-----------------------------------------------------------+
+requireContinueCond      +bool const                                                 +
+-------------------------+-----------------------------------------------------------+


Converts closure block to loop.
If `failOnReturn` is true, then returns are not allowed inside the block.
If `replaceReturnWithContinue` is true, then `return cond;` are replaced with `if cond; continue;`.
If `requireContinueCond` is false, then `return;` is replaced with `continue;`, otherwise it is an error.