Function generateLambdaFinalizer

src/ast/ast_generate.cpp:598–657

    }

    FunctionPtr generateLambdaFinalizer ( const string & lambdaName, ExprBlock * block,
                                        const StructurePtr & ls, Program * thisProgram ) {
        auto lfn = lambdaName + "`finalizer";
        auto pFunc = new Function();
        pFunc->privateFunction = true;
        pFunc->generated = true;
        pFunc->at = pFunc->atDecl = block->at;
        pFunc->name = lfn;
        auto fb = new ExprBlock();
        fb->at = block->at;
        // fb->list.push_back(genComment("delete this lambda\n"));
        if ( block->finalList.size() ) {
            auto with = new ExprWith(block->at);
            auto THISVAR = new ExprVar(block->at, "__this");
            with->with = new ExprPtr2Ref(block->at, THISVAR);
            with->with->generated = true;
            auto bbl = new ExprBlock();
            bbl->at = block->at;
            with->body = bbl;
            with->body->at = block->at;
            bbl->list.reserve(block->finalList.size());     // copy finally section of the block body
            for ( auto & subexpr : block->finalList ) {
                bbl->list.push_back(subexpr->clone());
            }
            fb->list.push_back(with);
        }
        // now, lets generate all release functions (after the original finally section is generated, but before deleting the lambda itself)
        pFunc->body = fb;
        thisProgram->library.foreach([&](Module * mod){
            for ( auto & cm : mod->captureMacros ) {
                cm->releaseFunction(thisProgram, thisProgram->thisModule.get(), ls, pFunc);
            }
            return true;
        },"*");

        // delete * this
        auto THISA = new ExprVar(block->at, "__this");
        auto THISAP = new ExprPtr2Ref(block->at, THISA);
        auto delit = new ExprDelete(block->at, THISAP);
        delit->alwaysSafe = true;
        fb->list.push_back(delit);
        // delete this
        auto THISA1 = new ExprVar(block->at, "__this");
        auto delit1 = new ExprDelete(block->at, THISA1);
        delit1->native = true;
        delit1->alwaysSafe = true;
        fb->list.push_back(delit1);
        // function goo
        pFunc->result = new TypeDecl(Type::tVoid);
        auto cTHIS = new Variable();
        cTHIS->at = ls->at;
        cTHIS->name = "__this";
        cTHIS->type = new TypeDecl(Type::tPointer);
        cTHIS->type->firstType = new TypeDecl(ls);
        cTHIS->type->isExplicit = true;
        pFunc->arguments.push_back(cTHIS);
        // wrapInUnsafe(pFunc);
        verifyGenerated(pFunc->body);