PHP: полный мануал с примерами, функциями и ООП

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=null;$owned=$removed=$rows=$checks=$observations=[];
try {
    $config=f154Config();$db=f154Connect($config);$runtime=f154Runtime($db,$config);

    function startStock154($db) {
        $call=f154Capture(static fn()=>ibase_trans(IBASE_WRITE|IBASE_CONCURRENCY|IBASE_NOWAIT,$db));
        if ($call['value']===false || $call['warning']) {f154Failure('Транзакция не начата',$call);}
        return $call['value'];
    }
    function moveStock154($tr,string $q,int $from,int $to,int $amount): array {
        if ($amount<=0 || $from===$to) {throw new InvalidArgumentException('Нужны разные склады и положительное количество.');}
        f154Query($tr,"UPDATE $q SET qty=qty-? WHERE warehouse_id=? AND qty>=?",[$amount,$from,$amount]);
        $debited=ibase_affected_rows($tr);
        if ($debited!==1) {throw new DomainException('Склад-отправитель не найден или товара недостаточно.');}
        f154Query($tr,"UPDATE $q SET qty=qty+? WHERE warehouse_id=?",[$amount,$to]);
        $credited=ibase_affected_rows($tr);
        if ($credited!==1) {throw new DomainException('Склад-получатель не найден.');}
        // The caller commits or rolls back both statements together.
        return ['debited'=>$debited,'credited'=>$credited];
    }
    function readStock154($context,string $q): array {
        return f154Read($context,"SELECT warehouse_id AS \"warehouse_id\",qty AS \"qty\" FROM $q WHERE warehouse_id IN (1,2) ORDER BY warehouse_id");
    }

    $name=f154OwnTable($db,$owned,'stock','(warehouse_id INTEGER NOT NULL PRIMARY KEY,qty INTEGER NOT NULL CHECK(qty>=0))');
    $q=f154Qualified($name);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[1,10]);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[2,2]);
    f154Commit($db); // Close the setup's default transaction before explicit business work.

    $tr=startStock154($db);
    try {
        $counts=moveStock154($tr,$q,1,2,3);
        $inside=readStock154($tr,$q);
        $committed=ibase_commit($tr);
        if ($committed!==true) {f154Failure('Перемещение не подтверждено');}
        $tr=null;

    } finally {
        if (is_resource($tr)) {
            $rollback=ibase_rollback($tr);$tr=null;
            if ($rollback!==true) {f154Failure('Незавершённую транзакцию не удалось откатить');}
        }
    }

    $saved=readStock154($db,$q); // A fresh default read transaction after explicit commit.
    $rows=[['Перемещено единиц',3],['Склад 1: было → стало','10 → '.$saved[0]['qty']],['Склад 2: было → стало','2 → '.$saved[1]['qty']],
        ['Общий остаток',$saved[0]['qty']+$saved[1]['qty']],['Подтверждение операции',$committed],['Строк изменено списанием / приходом',$counts['debited'].' / '.$counts['credited']]];
    $checks=['both_updates_one_row'=>$counts===['debited'=>1,'credited'=>1],'inside_transfer'=>array_column($inside,'qty')===[7,5],
        'commit_confirmed'=>$committed===true,'fresh_read_committed'=>array_column($saved,'qty')===[7,5],'total_preserved'=>array_sum(array_column($saved,'qty'))===12];
    $observations=['before'=>[10,2],'inside_transaction'=>$inside,'committed_rows'=>$saved,'affected'=>$counts];

} finally {
    if (is_resource($db)) {try {$removed=f154Cleanup($db,$owned);} finally {ibase_close($db);}}
}

f154Report('fb154-transfer-commit','Переместить три единицы между складами одной операцией',$rows,$checks,$observations,$runtime,$owned,$removed);

Перемещено единиц — 3
Склад 1: было → стало — 10 → 7
Склад 2: было → стало — 2 → 5
Общий остаток — 12
Подтверждение операции — да
Строк изменено списанием / приходом — 1 / 1

Самостоятельный пример содержит lab.php и README.txt, создаёт одну собственную таблицу с двумя складами, выполняет реальные транзакции, сохраняет HTML/JSON-отчёт и удаляет только свою учебную таблицу. Явная транзакция всегда завершается до общей очистки.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=null;$owned=$removed=$rows=$checks=$observations=[];
try {
    $config=f154Config();$db=f154Connect($config);$runtime=f154Runtime($db,$config);

    function startStock154($db) {
        $call=f154Capture(static fn()=>ibase_trans(IBASE_WRITE|IBASE_CONCURRENCY|IBASE_NOWAIT,$db));
        if ($call['value']===false || $call['warning']) {f154Failure('Транзакция не начата',$call);}
        return $call['value'];
    }
    function moveStock154($tr,string $q,int $from,int $to,int $amount): array {
        if ($amount<=0 || $from===$to) {throw new InvalidArgumentException('Нужны разные склады и положительное количество.');}
        f154Query($tr,"UPDATE $q SET qty=qty-? WHERE warehouse_id=? AND qty>=?",[$amount,$from,$amount]);
        $debited=ibase_affected_rows($tr);
        if ($debited!==1) {throw new DomainException('Склад-отправитель не найден или товара недостаточно.');}
        f154Query($tr,"UPDATE $q SET qty=qty+? WHERE warehouse_id=?",[$amount,$to]);
        $credited=ibase_affected_rows($tr);
        if ($credited!==1) {throw new DomainException('Склад-получатель не найден.');}
        // The caller commits or rolls back both statements together.
        return ['debited'=>$debited,'credited'=>$credited];
    }
    function readStock154($context,string $q): array {
        return f154Read($context,"SELECT warehouse_id AS \"warehouse_id\",qty AS \"qty\" FROM $q WHERE warehouse_id IN (1,2) ORDER BY warehouse_id");
    }

    $name=f154OwnTable($db,$owned,'stock','(warehouse_id INTEGER NOT NULL PRIMARY KEY,qty INTEGER NOT NULL CHECK(qty>=0))');
    $q=f154Qualified($name);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[1,10]);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[2,2]);
    f154Commit($db); // Close the setup's default transaction before explicit business work.

    $tr=startStock154($db);$reason='';$rolled=false;$inside=[];
    try {
        try {
            moveStock154($tr,$q,1,99,3);
            throw new RuntimeException('Контрольная ошибка: отсутствующий склад неожиданно найден.');
        } catch (DomainException $error) {
            $reason=$error->getMessage();
            $inside=readStock154($tr,$q);
            $rolled=ibase_rollback($tr);
            if ($rolled!==true) {f154Failure('Перемещение не удалось отменить');}
            $tr=null;
        }

    } finally {
        if (is_resource($tr)) {
            $rollback=ibase_rollback($tr);$tr=null;
            if ($rollback!==true) {f154Failure('Незавершённую транзакцию не удалось откатить');}
        }
    }

    $saved=readStock154($db,$q);
    $rows=[['Причина отказа',$reason],['Внутри операции после списания',$inside[0]['qty']],['Откат подтверждён',$rolled],
        ['Склад 1 после отката',$saved[0]['qty']],['Склад 2 после отката',$saved[1]['qty']],['Общий остаток',array_sum(array_column($saved,'qty'))]];
    $checks=['recipient_failure'=>$reason==='Склад-получатель не найден.','first_update_was_pending'=>array_column($inside,'qty')===[7,2],
        'rollback_confirmed'=>$rolled===true,'original_rows_restored'=>array_column($saved,'qty')===[10,2],'total_preserved'=>array_sum(array_column($saved,'qty'))===12];
    $observations=['requested'=>['from'=>1,'to'=>99,'amount'=>3],'before'=>[10,2],'pending_before_rollback'=>$inside,'after_rollback'=>$saved,'reason'=>$reason];

} finally {
    if (is_resource($db)) {try {$removed=f154Cleanup($db,$owned);} finally {ibase_close($db);}}
}

f154Report('fb154-transfer-rollback','Отменить списание, если склад-получатель не найден',$rows,$checks,$observations,$runtime,$owned,$removed);

Причина отказа — Склад-получатель не найден.
Внутри операции после списания — 7
Откат подтверждён — да
Склад 1 после отката — 10
Склад 2 после отката — 2
Общий остаток — 12

Самостоятельный пример содержит lab.php и README.txt, создаёт одну собственную таблицу с двумя складами, выполняет реальные транзакции, сохраняет HTML/JSON-отчёт и удаляет только свою учебную таблицу. Явная транзакция всегда завершается до общей очистки.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=null;$owned=$removed=$rows=$checks=$observations=[];
try {
    $config=f154Config();$db=f154Connect($config);$runtime=f154Runtime($db,$config);

    function startStock154($db) {
        $call=f154Capture(static fn()=>ibase_trans(IBASE_WRITE|IBASE_CONCURRENCY|IBASE_NOWAIT,$db));
        if ($call['value']===false || $call['warning']) {f154Failure('Транзакция не начата',$call);}
        return $call['value'];
    }
    function moveStock154($tr,string $q,int $from,int $to,int $amount): array {
        if ($amount<=0 || $from===$to) {throw new InvalidArgumentException('Нужны разные склады и положительное количество.');}
        f154Query($tr,"UPDATE $q SET qty=qty-? WHERE warehouse_id=? AND qty>=?",[$amount,$from,$amount]);
        $debited=ibase_affected_rows($tr);
        if ($debited!==1) {throw new DomainException('Склад-отправитель не найден или товара недостаточно.');}
        f154Query($tr,"UPDATE $q SET qty=qty+? WHERE warehouse_id=?",[$amount,$to]);
        $credited=ibase_affected_rows($tr);
        if ($credited!==1) {throw new DomainException('Склад-получатель не найден.');}
        // The caller commits or rolls back both statements together.
        return ['debited'=>$debited,'credited'=>$credited];
    }
    function readStock154($context,string $q): array {
        return f154Read($context,"SELECT warehouse_id AS \"warehouse_id\",qty AS \"qty\" FROM $q WHERE warehouse_id IN (1,2) ORDER BY warehouse_id");
    }

    $name=f154OwnTable($db,$owned,'stock','(warehouse_id INTEGER NOT NULL PRIMARY KEY,qty INTEGER NOT NULL CHECK(qty>=0))');
    $q=f154Qualified($name);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[1,10]);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[2,2]);
    f154Commit($db); // Close the setup's default transaction before explicit business work.

    $tr=startStock154($db);
    try {
        $firstCounts=moveStock154($tr,$q,1,2,3);
        $first=readStock154($tr,$q);
        $retained=ibase_commit_ret($tr);
        if ($retained!==true) {f154Failure('Первая партия не подтверждена');}
        $secondCounts=moveStock154($tr,$q,1,2,2);
        $second=readStock154($tr,$q);
        $rolled=ibase_rollback($tr);
        if ($rolled!==true) {f154Failure('Вторая партия не отменена');}
        $tr=null;

    } finally {
        if (is_resource($tr)) {
            $rollback=ibase_rollback($tr);$tr=null;
            if ($rollback!==true) {f154Failure('Незавершённую транзакцию не удалось откатить');}
        }
    }

    $saved=readStock154($db,$q);
    $rows=[['Первая партия, единиц',3],['После первой партии',implode(' / ',array_column($first,'qty'))],['commit_ret выполнен',$retained],
        ['После второй, ещё не подтверждённой партии',implode(' / ',array_column($second,'qty'))],['После окончательного rollback',implode(' / ',array_column($saved,'qty'))],['Первая партия сохранилась',array_column($saved,'qty')===[7,5]]];
    $checks=['first_batch_correct'=>array_column($first,'qty')===[7,5],'retained_commit'=>$retained===true,
        'same_context_accepts_next_batch'=>$secondCounts===['debited'=>1,'credited'=>1]&&array_column($second,'qty')===[5,7],
        'final_rollback'=>$rolled===true,'committed_batch_survives'=>array_column($saved,'qty')===[7,5],'total_preserved'=>array_sum(array_column($saved,'qty'))===12];
    $observations=['initial'=>[10,2],'first_batch'=>$first,'second_pending_batch'=>$second,'after_final_rollback'=>$saved,'first_affected'=>$firstCounts,'second_affected'=>$secondCounts];

} finally {
    if (is_resource($db)) {try {$removed=f154Cleanup($db,$owned);} finally {ibase_close($db);}}
}

f154Report('fb154-commit-retaining','Подтвердить первую партию и отменить только следующую',$rows,$checks,$observations,$runtime,$owned,$removed);

Первая партия, единиц — 3
После первой партии — 7 / 5
commit_ret выполнен — да
После второй, ещё не подтверждённой партии — 5 / 7
После окончательного rollback — 7 / 5
Первая партия сохранилась — да

Самостоятельный пример содержит lab.php и README.txt, создаёт одну собственную таблицу с двумя складами, выполняет реальные транзакции, сохраняет HTML/JSON-отчёт и удаляет только свою учебную таблицу. Явная транзакция всегда завершается до общей очистки.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$db=null;$owned=$removed=$rows=$checks=$observations=[];
try {
    $config=f154Config();$db=f154Connect($config);$runtime=f154Runtime($db,$config);

    function startStock154($db) {
        $call=f154Capture(static fn()=>ibase_trans(IBASE_WRITE|IBASE_CONCURRENCY|IBASE_NOWAIT,$db));
        if ($call['value']===false || $call['warning']) {f154Failure('Транзакция не начата',$call);}
        return $call['value'];
    }
    function moveStock154($tr,string $q,int $from,int $to,int $amount): array {
        if ($amount<=0 || $from===$to) {throw new InvalidArgumentException('Нужны разные склады и положительное количество.');}
        f154Query($tr,"UPDATE $q SET qty=qty-? WHERE warehouse_id=? AND qty>=?",[$amount,$from,$amount]);
        $debited=ibase_affected_rows($tr);
        if ($debited!==1) {throw new DomainException('Склад-отправитель не найден или товара недостаточно.');}
        f154Query($tr,"UPDATE $q SET qty=qty+? WHERE warehouse_id=?",[$amount,$to]);
        $credited=ibase_affected_rows($tr);
        if ($credited!==1) {throw new DomainException('Склад-получатель не найден.');}
        // The caller commits or rolls back both statements together.
        return ['debited'=>$debited,'credited'=>$credited];
    }
    function readStock154($context,string $q): array {
        return f154Read($context,"SELECT warehouse_id AS \"warehouse_id\",qty AS \"qty\" FROM $q WHERE warehouse_id IN (1,2) ORDER BY warehouse_id");
    }

    $name=f154OwnTable($db,$owned,'stock','(warehouse_id INTEGER NOT NULL PRIMARY KEY,qty INTEGER NOT NULL CHECK(qty>=0))');
    $q=f154Qualified($name);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[1,10]);
    f154Command($db,"INSERT INTO $q(warehouse_id,qty) VALUES(?,?)",[2,2]);
    f154Commit($db); // Close the setup's default transaction before explicit business work.

    $tr=startStock154($db);
    try {
        moveStock154($tr,$q,1,2,3);
        $draft=readStock154($tr,$q);
        $retained=ibase_rollback_ret($tr);
        if ($retained!==true) {f154Failure('Черновая партия не отменена');}
        $reset=readStock154($tr,$q);
        $acceptedCounts=moveStock154($tr,$q,1,2,2);
        $accepted=readStock154($tr,$q);
        $committed=ibase_commit($tr);
        if ($committed!==true) {f154Failure('Исправленная партия не подтверждена');}
        $tr=null;

    } finally {
        if (is_resource($tr)) {
            $rollback=ibase_rollback($tr);$tr=null;
            if ($rollback!==true) {f154Failure('Незавершённую транзакцию не удалось откатить');}
        }
    }

    $saved=readStock154($db,$q);
    $rows=[['Черновое перемещение на 3',implode(' / ',array_column($draft,'qty'))],['rollback_ret выполнен',$retained],['После отмены черновика',implode(' / ',array_column($reset,'qty'))],
        ['Принято перемещение на 2',implode(' / ',array_column($accepted,'qty'))],['После окончательного commit',implode(' / ',array_column($saved,'qty'))],['Общий остаток',array_sum(array_column($saved,'qty'))]];
    $checks=['draft_applied'=>array_column($draft,'qty')===[7,5],'retained_rollback'=>$retained===true,
        'draft_fully_discarded'=>array_column($reset,'qty')===[10,2],'same_context_reused'=>$acceptedCounts===['debited'=>1,'credited'=>1]&&array_column($accepted,'qty')===[8,4],
        'final_commit'=>$committed===true,'only_corrected_batch_saved'=>array_column($saved,'qty')===[8,4],'total_preserved'=>array_sum(array_column($saved,'qty'))===12];
    $observations=['before'=>[10,2],'rejected_draft'=>$draft,'after_rollback_ret'=>$reset,'accepted_batch'=>$accepted,'committed_rows'=>$saved];

} finally {
    if (is_resource($db)) {try {$removed=f154Cleanup($db,$owned);} finally {ibase_close($db);}}
}

f154Report('fb154-rollback-retaining','Отклонить черновую партию и сохранить исправленную',$rows,$checks,$observations,$runtime,$owned,$removed);

Черновое перемещение на 3 — 7 / 5
rollback_ret выполнен — да
После отмены черновика — 10 / 2
Принято перемещение на 2 — 8 / 4
После окончательного commit — 8 / 4
Общий остаток — 12

Самостоятельный пример содержит lab.php и README.txt, создаёт одну собственную таблицу с двумя складами, выполняет реальные транзакции, сохраняет HTML/JSON-отчёт и удаляет только свою учебную таблицу. Явная транзакция всегда завершается до общей очистки.