用户"currentuser“尝试删除此数据库中的角色"roletodelete”,使用revoke all on all sequences in schema public,firma1 from "roletodelete" cascade;
revoke allon database mydb from "r
假设有两个外部函数init()和revoke()。Init()返回“有效”值,revoke()使其无效。我想验证use()是否只使用初始化但未撤销的值。#include <lib.h>
extern int init(); @ assignsvalid_val(val);void use(int val) {}
int mai