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

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$owned=[];$removed=[];$db=$service=null;
try {
    $config=f160Config();$service=f160Service();$runtime=f160Runtime($service);

    $name=f160CreateDatabase($service,$owned,'reader');
    $user=f160NewUser($owned,'reader');$password=f160Password();
    f160AddUser($service,$user,$password);
    $userDb=null;
    try {
        $userDb=f160ConnectUser($name,$user,$password);
        $identity=f160Read($userDb,'SELECT CURRENT_USER AS LOGIN_NAME FROM RDB$DATABASE');
        $deniedRead=f160Capture(static fn()=>ibase_query($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID'));
        f160Close($userDb);
        $db=f160Connect($name);
        f160Command($db,'GRANT SELECT ON TABLE LAB_ITEMS TO USER '.f160UserIdentifier($user));
        f160Commit($db);f160Close($db);
        $userDb=f160ConnectUser($name,$user,$password);
        $catalogue=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        $deniedWrite=f160Capture(static fn()=>ibase_query($userDb,'UPDATE LAB_ITEMS SET QTY=9 WHERE ID=1'));
        $after=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        f160Close($userDb);
    } finally {
        if(is_resource($userDb))f160Close($userDb);
    }
    $expected=[['ID'=>1,'TITLE'=>'Cable','QTY'=>3],['ID'=>2,'TITLE'=>'Clamp','QTY'=>0]];
    $rows=[['Обычный пользователь вошёл',$identity[0]['LOGIN_NAME']===$user],
        ['SELECT до GRANT разрешён',$deniedRead['value']!==false],['Код первого отказа',$deniedRead['code']],
        ['После GRANT: товар 1',$catalogue[0]['TITLE'].' — '.$catalogue[0]['QTY']],
        ['После GRANT: товар 2',$catalogue[1]['TITLE'].' — '.$catalogue[1]['QTY']],
        ['UPDATE при одном SELECT разрешён',$deniedWrite['value']!==false],['Код отказа UPDATE',$deniedWrite['code']],
        ['После отказа Cable сохранил количество',$after[0]['QTY']]];
    $checks=['ordinary_login_verified'=>$identity===[['LOGIN_NAME'=>$user]],
        'select_initially_refused'=>$deniedRead['value']===false && $deniedRead['code']===-551 && $deniedRead['warning'] && $deniedRead['message_present'],
        'granted_select_reads_catalogue'=>$catalogue===$expected,
        'update_still_refused'=>$deniedWrite['value']===false && $deniedWrite['code']===-551 && $deniedWrite['warning'] && $deniedWrite['message_present'],
        'catalogue_unchanged'=>$after===$expected];
    $observations=['ordinary_user_identity_matches'=>$identity[0]['LOGIN_NAME']===$user,'initial_select'=>$deniedRead,
        'catalogue'=>$catalogue,'update_refusal'=>$deniedWrite,'after'=>$after,
        'permission_path'=>'direct SELECT only; no role or PUBLIC grant'];

} finally {
    if(is_resource($db)){f160Close($db);}
    if(is_resource($service)){f160Detach($service);}
    $removed=f160Cleanup($owned);
}

f160Report('fb160-select-permission','Разрешить витрине чтение каталога, сохранив запрет изменения',$rows,$checks,$observations,$runtime,$owned,$removed);

Обычный пользователь вошёл — да
SELECT до GRANT разрешён — нет
Код первого отказа — -551
После GRANT: товар 1 — Cable — 3
После GRANT: товар 2 — Clamp — 0
UPDATE при одном SELECT разрешён — нет
Код отказа UPDATE — -551
После отказа Cable сохранил количество — 3

Распакуйте все файлы архива в отдельный каталог. README.txt описывает отдельный TCP-сервер с собственной security database; embedded-подключение не заменяет этот опыт. example.php создаёт одну собственную FDB с каталогом Cable/3 и Clamp/0, одного обычного пользователя и необходимые выдачи прав. lab.php отделяет административные операции от пользовательского SQL, проверяет владельца и удаляет только зарегистрированные учебные объекты. result.html содержит реальные товары и отказы, result.json — наблюдения, metrics.json — проверки и завершение уборки. Пароли не печатаются.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$owned=[];$removed=[];$db=$service=null;
try {
    $config=f160Config();$service=f160Service();$runtime=f160Runtime($service);

    $name=f160CreateDatabase($service,$owned,'role');
    $user=f160NewUser($owned,'role');$password=f160Password();
    f160AddUser($service,$user,$password);
    $role='LAB_READER';$roleSQL=f160RoleIdentifier($role);
    $db=f160Connect($name);
    f160Command($db,'CREATE ROLE '.$roleSQL);
    f160Commit($db);
    f160Command($db,'GRANT SELECT ON TABLE LAB_ITEMS TO ROLE '.$roleSQL);
    f160Command($db,'GRANT '.$roleSQL.' TO USER '.f160UserIdentifier($user));
    f160Commit($db);f160Close($db);
    $userDb=null;
    try {
        $userDb=f160ConnectUser($name,$user,$password);
        $withoutRole=f160Read($userDb,'SELECT CURRENT_ROLE AS ROLE_NAME FROM RDB$DATABASE')[0]['ROLE_NAME'];
        $denied=f160Capture(static fn()=>ibase_query($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID'));
        f160Close($userDb);
        $userDb=f160ConnectUser($name,$user,$password,$role);
        $withRole=f160Read($userDb,'SELECT CURRENT_ROLE AS ROLE_NAME FROM RDB$DATABASE')[0]['ROLE_NAME'];
        $catalogue=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        $deniedDelete=f160Capture(static fn()=>ibase_query($userDb,'DELETE FROM LAB_ITEMS WHERE ID=1'));
        $after=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        f160Close($userDb);
    } finally {
        if(is_resource($userDb))f160Close($userDb);
    }
    $expected=[['ID'=>1,'TITLE'=>'Cable','QTY'=>3],['ID'=>2,'TITLE'=>'Clamp','QTY'=>0]];
    $rows=[['CURRENT_ROLE без указания роли',$withoutRole],['SELECT без роли разрешён',$denied['value']!==false],
        ['Код отказа без роли',$denied['code']],['CURRENT_ROLE при явном выборе',$withRole],
        ['Каталог с ролью',$catalogue[0]['TITLE'].' — '.$catalogue[0]['QTY'].'; '.$catalogue[1]['TITLE'].' — '.$catalogue[1]['QTY']],
        ['DELETE для читающей роли разрешён',$deniedDelete['value']!==false],['После отказа число товаров',count($after)]];
    $checks=['no_explicit_role'=>$withoutRole==='NONE',
        'role_not_automatically_applied'=>$denied['value']===false && $denied['code']===-551 && $denied['warning'] && $denied['message_present'],
        'explicit_role_active'=>$withRole===$role,
        'role_select_reads_rows'=>$catalogue===$expected,
        'delete_not_granted'=>$deniedDelete['value']===false && $deniedDelete['code']===-551 && $deniedDelete['warning'] && $deniedDelete['message_present'],
        'rows_preserved'=>$after===$expected];
    $observations=['role_without_option'=>$withoutRole,'select_without_role'=>$denied,'role_with_option'=>$withRole,
        'catalogue'=>$catalogue,'delete_refusal'=>$deniedDelete,'after'=>$after,'role_is_default'=>false];

} finally {
    if(is_resource($db)){f160Close($db);}
    if(is_resource($service)){f160Detach($service);}
    $removed=f160Cleanup($owned);
}

f160Report('fb160-role-login','Включить выданную роль в конкретном подключении',$rows,$checks,$observations,$runtime,$owned,$removed);

CURRENT_ROLE без указания роли — NONE
SELECT без роли разрешён — нет
Код отказа без роли — -551
CURRENT_ROLE при явном выборе — LAB_READER
Каталог с ролью — Cable — 3; Clamp — 0
DELETE для читающей роли разрешён — нет
После отказа число товаров — 2

Распакуйте все файлы архива в отдельный каталог. README.txt описывает отдельный TCP-сервер с собственной security database; embedded-подключение не заменяет этот опыт. example.php создаёт одну собственную FDB с каталогом Cable/3 и Clamp/0, одного обычного пользователя и необходимые выдачи прав. lab.php отделяет административные операции от пользовательского SQL, проверяет владельца и удаляет только зарегистрированные учебные объекты. result.html содержит реальные товары и отказы, result.json — наблюдения, metrics.json — проверки и завершение уборки. Пароли не печатаются.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$owned=[];$removed=[];$db=$service=null;
try {
    $config=f160Config();$service=f160Service();$runtime=f160Runtime($service);

    $name=f160CreateDatabase($service,$owned,'revoke');
    $user=f160NewUser($owned,'revoke');$password=f160Password();
    f160AddUser($service,$user,$password);
    $db=f160Connect($name);
    f160Command($db,'GRANT SELECT ON TABLE LAB_ITEMS TO USER '.f160UserIdentifier($user));
    f160Commit($db);f160Close($db);
    $userDb=null;$oldResult=null;
    try {
        $userDb=f160ConnectUser($name,$user,$password);
        $before=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        $db=f160Connect($name);
        f160Command($db,'REVOKE SELECT ON TABLE LAB_ITEMS FROM USER '.f160UserIdentifier($user));
        f160Commit($db);f160Close($db);
        $oldCall=f160Capture(static fn()=>ibase_query($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID'));
        $oldResult=$oldCall['value'];unset($oldCall['value']);
        $oldCall['allowed']=is_resource($oldResult);
        try {
            $oldRows=is_resource($oldResult)?f160Rows($oldResult):[];
        } finally {
            if(is_resource($oldResult))ibase_free_result($oldResult);
            $oldResult=null;
        }
        f160Close($userDb);
        $oldConnectionClosed=$userDb===null;
        $userDb=f160ConnectUser($name,$user,$password);
        $freshCall=f160Capture(static fn()=>ibase_query($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID'));
        f160Close($userDb);
    } finally {
        if(is_resource($oldResult))ibase_free_result($oldResult);
        $oldResult=null;
        if(is_resource($userDb))f160Close($userDb);
    }
    $db=f160Connect($name);
    $after=f160Read($db,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
    f160Close($db);
    $expected=[['ID'=>1,'TITLE'=>'Cable','QTY'=>3],['ID'=>2,'TITLE'=>'Clamp','QTY'=>0]];
    $rows=[['До REVOKE',$before[0]['TITLE'].' — '.$before[0]['QTY'].'; '.$before[1]['TITLE'].' — '.$before[1]['QTY']],
        ['Старое соединение после REVOKE ещё читает',$oldCall['allowed']],
        ['Строки старого соединения',$oldRows[0]['TITLE'].' — '.$oldRows[0]['QTY'].'; '.$oldRows[1]['TITLE'].' — '.$oldRows[1]['QTY']],
        ['Старое соединение закрыто перед новым',$oldConnectionClosed],
        ['Новое соединение может выполнить SELECT',$freshCall['value']!==false],['Код нового отказа',$freshCall['code']],
        ['Сам каталог не удалён',$after[0]['TITLE'].' — '.$after[0]['QTY'].'; '.$after[1]['TITLE'].' — '.$after[1]['QTY']]];
    $checks=['granted_reader_initial_rows'=>$before===$expected,
        'old_connection_observed_allowed'=>$oldCall['allowed'] && !$oldCall['warning'] && $oldCall['code']===0 && $oldRows===$expected,
        'old_connection_closed'=>$oldConnectionClosed,
        'fresh_connection_select_refused'=>$freshCall['value']===false && $freshCall['code']===-551 && $freshCall['warning'] && $freshCall['message_present'],
        'catalogue_still_exists'=>$after===$expected];
    $observations=['before'=>$before,'old_session_after_revoke'=>$oldCall,'old_session_rows'=>$oldRows,
        'old_connection_closed'=>$oldConnectionClosed,'fresh_session_after_revoke'=>$freshCall,'admin_readback'=>$after,
        'old_query_kind'=>'new ibase_query on the original still-open connection; not a reused prepared statement',
        'permission_path'=>'one direct SELECT grant; no role or PUBLIC alternative'];

} finally {
    if(is_resource($db)){f160Close($db);}
    if(is_resource($service)){f160Detach($service);}
    $removed=f160Cleanup($owned);
}

f160Report('fb160-revoke-access','Отозвать SELECT и проверить новое подключение отдельно от старого',$rows,$checks,$observations,$runtime,$owned,$removed);

До REVOKE — Cable — 3; Clamp — 0
Старое соединение после REVOKE ещё читает — да
Строки старого соединения — Cable — 3; Clamp — 0
Старое соединение закрыто перед новым — да
Новое соединение может выполнить SELECT — нет
Код нового отказа — -551
Сам каталог не удалён — Cable — 3; Clamp — 0

Распакуйте все файлы архива в отдельный каталог. README.txt описывает отдельный TCP-сервер с собственной security database; embedded-подключение не заменяет этот опыт. example.php создаёт одну собственную FDB с каталогом Cable/3 и Clamp/0, одного обычного пользователя и необходимые выдачи прав. lab.php отделяет административные операции от пользовательского SQL, проверяет владельца и удаляет только зарегистрированные учебные объекты. result.html содержит реальные товары и отказы, result.json — наблюдения, metrics.json — проверки и завершение уборки. Пароли не печатаются.

<?php
declare(strict_types=1);
require __DIR__.'/lab.php';
$owned=[];$removed=[];$db=$service=null;
try {
    $config=f160Config();$service=f160Service();$runtime=f160Runtime($service);

    $name=f160CreateDatabase($service,$owned,'columns');
    $user=f160NewUser($owned,'columns');$password=f160Password();
    f160AddUser($service,$user,$password);
    $db=f160Connect($name);
    $userSQL=f160UserIdentifier($user);
    f160Command($db,'GRANT SELECT ON TABLE LAB_ITEMS TO USER '.$userSQL);
    f160Command($db,'GRANT UPDATE(QTY) ON TABLE LAB_ITEMS TO USER '.$userSQL);
    f160Commit($db);f160Close($db);
    $userDb=null;
    try {
        $userDb=f160ConnectUser($name,$user,$password);
        $before=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        f160Command($userDb,'UPDATE LAB_ITEMS SET QTY=? WHERE ID=?',[9,1]);
        f160Commit($userDb);
        $afterQuantity=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        $deniedTitle=f160Capture(static fn()=>ibase_query($userDb,'UPDATE LAB_ITEMS SET TITLE=? WHERE ID=?','Changed',1));
        $afterRefusal=f160Read($userDb,'SELECT ID,TITLE,QTY FROM LAB_ITEMS ORDER BY ID');
        f160Close($userDb);
    } finally {
        if(is_resource($userDb))f160Close($userDb);
    }
    $initial=[['ID'=>1,'TITLE'=>'Cable','QTY'=>3],['ID'=>2,'TITLE'=>'Clamp','QTY'=>0]];
    $expected=[['ID'=>1,'TITLE'=>'Cable','QTY'=>9],['ID'=>2,'TITLE'=>'Clamp','QTY'=>0]];
    $rows=[['До изменения',$before[0]['TITLE'].' — '.$before[0]['QTY']],
        ['После UPDATE(QTY) + commit',$afterQuantity[0]['TITLE'].' — '.$afterQuantity[0]['QTY']],
        ['Изменение TITLE разрешено',$deniedTitle['value']!==false],['Код отказа TITLE',$deniedTitle['code']],
        ['Название после отказа',$afterRefusal[0]['TITLE']],['Количество после отказа',$afterRefusal[0]['QTY']],
        ['Другой товар',$afterRefusal[1]['TITLE'].' — '.$afterRefusal[1]['QTY']]];
    $checks=['initial_catalogue'=>$before===$initial,
        'quantity_committed'=>$afterQuantity===$expected,
        'title_update_refused'=>$deniedTitle['value']===false && $deniedTitle['code']===-551 && $deniedTitle['warning'] && $deniedTitle['message_present'],
        'title_and_committed_quantity_preserved'=>$afterRefusal===$expected];
    $observations=['before'=>$before,'after_quantity_commit'=>$afterQuantity,'title_refusal'=>$deniedTitle,'after_refusal'=>$afterRefusal,
        'granted_columns'=>['QTY'],'select_granted'=>true,'row_level_restriction_granted'=>false];

} finally {
    if(is_resource($db)){f160Close($db);}
    if(is_resource($service)){f160Detach($service);}
    $removed=f160Cleanup($owned);
}

f160Report('fb160-column-update','Разрешить изменение количества и запретить изменение названия',$rows,$checks,$observations,$runtime,$owned,$removed);

До изменения — Cable — 3
После UPDATE(QTY) + commit — Cable — 9
Изменение TITLE разрешено — нет
Код отказа TITLE — -551
Название после отказа — Cable
Количество после отказа — 9
Другой товар — Clamp — 0

Распакуйте все файлы архива в отдельный каталог. README.txt описывает отдельный TCP-сервер с собственной security database; embedded-подключение не заменяет этот опыт. example.php создаёт одну собственную FDB с каталогом Cable/3 и Clamp/0, одного обычного пользователя и необходимые выдачи прав. lab.php отделяет административные операции от пользовательского SQL, проверяет владельца и удаляет только зарегистрированные учебные объекты. result.html содержит реальные товары и отказы, result.json — наблюдения, metrics.json — проверки и завершение уборки. Пароли не печатаются.