@pgpm/verify 0.4.0

package/deploy/procedures/verify_extension.sql

@@ -0,0 +1,24 @@
+-- Deploy procedures/verify_extension to pg
+BEGIN;
+CREATE FUNCTION verify_extension (_extname text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            1
+        FROM
+            pg_available_extensions
+        WHERE
+            name = _extname) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent extension --> %', _extname
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_function.sql

@@ -0,0 +1,37 @@
+-- Deploy procedures/verify_function to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+BEGIN;
+CREATE FUNCTION verify_function (_name text, _user text DEFAULT NULL)
+  RETURNS boolean
+  AS $$
+DECLARE
+  check_user text;
+BEGIN
+  IF (_user IS NOT NULL) THEN
+    check_user = _user;
+  ELSE
+    check_user = CURRENT_USER;
+  END IF;
+  IF EXISTS (
+    SELECT
+      has_function_privilege(check_user, p.oid, 'execute')
+    FROM
+      pg_catalog.pg_proc p
+      JOIN pg_catalog.pg_namespace n ON n.oid = p.pronamespace
+    WHERE
+      n.nspname = get_schema_from_str (_name)
+      AND p.proname = get_entity_from_str (_name)) THEN
+  RETURN TRUE;
+ELSE
+  RAISE EXCEPTION 'Nonexistent function --> %', _name
+    USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_index.sql

@@ -0,0 +1,23 @@
+-- Deploy procedures/verify_index to pg
+
+-- requires: procedures/list_indexes
+
+BEGIN;
+CREATE FUNCTION verify_index (_table text, _index text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            list_indexes (_table, _index)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent index --> %', _index
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_membership.sql

@@ -0,0 +1,27 @@
+-- Deploy procedures/verify_membership to pg
+
+-- requires: procedures/list_memberships
+
+BEGIN;
+CREATE FUNCTION verify_membership (_user text, _role text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            1
+        FROM
+            list_memberships (_user)
+        WHERE
+            rolname = _role) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent member --> %', _user
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_policy.sql

@@ -0,0 +1,35 @@
+-- Deploy procedures/verify_policy to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+
+BEGIN;
+
+CREATE FUNCTION verify_policy (_policy text, _table text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            1
+        FROM
+            pg_class p
+            JOIN pg_catalog.pg_namespace n ON n.oid = p.relnamespace
+            JOIN pg_policy pol ON pol.polrelid = p.relfilenode
+        WHERE
+            pol.polname = _policy
+            AND relrowsecurity = 'true'
+            AND relname = get_entity_from_str (_table)
+            AND nspname = get_schema_from_str (_table)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent policy or missing relrowsecurity --> %', _policy
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_role.sql

@@ -0,0 +1,24 @@
+-- Deploy procedures/verify_role to pg
+BEGIN;
+CREATE FUNCTION verify_role (_user text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            1
+        FROM
+            pg_roles
+        WHERE
+            rolname = _user) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent user --> %', _user
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_schema.sql

@@ -0,0 +1,24 @@
+-- Deploy procedures/verify_schema to pg
+BEGIN;
+CREATE FUNCTION verify_schema (_schema text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            *
+        FROM
+            pg_catalog.pg_namespace
+        WHERE
+            nspname = _schema) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent schema --> %', _schema
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_security.sql

@@ -0,0 +1,33 @@
+-- Deploy procedures/verify_security to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+BEGIN;
+CREATE FUNCTION verify_security (_table text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            n.oid,
+            relname,
+            n.nspname
+        FROM
+            pg_class p
+            JOIN pg_catalog.pg_namespace n ON n.oid = p.relnamespace
+        WHERE
+            relrowsecurity = 'true'
+            AND relname = get_entity_from_str (_table)
+            AND nspname = get_schema_from_str (_table)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent security --> %', _name
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_table.sql

@@ -0,0 +1,30 @@
+-- Deploy procedures/verify_table to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+
+BEGIN;
+CREATE FUNCTION verify_table (_table text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            *
+        FROM
+            information_schema.tables
+        WHERE
+            table_schema = get_schema_from_str (_table)
+            AND table_name = get_entity_from_str (_table)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent table --> %', _table
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_table_grant.sql

@@ -0,0 +1,32 @@
+-- Deploy procedures/verify_table_grant to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+BEGIN;
+CREATE FUNCTION verify_table_grant (_table text, _privilege text, _role text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            grantee,
+            privilege_type
+        FROM
+            information_schema.role_table_grants
+        WHERE
+            table_schema = get_schema_from_str (_table)
+            AND table_name = get_entity_from_str (_table)
+            AND privilege_type = _privilege
+            AND grantee = _role) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent table grant --> %', _privilege
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_trigger.sql

@@ -0,0 +1,32 @@
+-- Deploy procedures/verify_trigger to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+
+BEGIN;
+CREATE FUNCTION verify_trigger (_trigger text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            pg_trigger.tgname,
+            n.nspname
+        FROM
+            pg_trigger,
+            pg_catalog.pg_namespace n
+        WHERE
+            tgname = get_entity_from_str (_trigger)
+            AND nspname = get_schema_from_str (_trigger)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent trigger --> %', _trigger
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_type.sql

@@ -0,0 +1,32 @@
+-- Deploy procedures/verify_type to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+
+BEGIN;
+CREATE FUNCTION verify_type (_type text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            pg_type.typname,
+            n.nspname
+        FROM
+            pg_type,
+            pg_catalog.pg_namespace n
+        WHERE
+            typname = get_entity_from_str (_type)
+            AND nspname = get_schema_from_str (_type)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent type --> %', _type
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/deploy/procedures/verify_view.sql

@@ -0,0 +1,30 @@
+-- Deploy procedures/verify_view to pg
+
+-- requires: procedures/get_entity_from_str 
+-- requires: procedures/get_schema_from_str 
+
+
+BEGIN;
+CREATE FUNCTION verify_view (_view text)
+    RETURNS boolean
+    AS $$
+BEGIN
+    IF EXISTS (
+        SELECT
+            *
+        FROM
+            information_schema.views
+        WHERE
+            table_schema = get_schema_from_str (_view)
+            AND table_name = get_entity_from_str (_view)) THEN
+    RETURN TRUE;
+ELSE
+    RAISE EXCEPTION 'Nonexistent view --> %', _view
+        USING HINT = 'Please check';
+END IF;
+END;
+$$
+LANGUAGE 'plpgsql'
+IMMUTABLE;
+COMMIT;
+

package/jest.config.js

@@ -0,0 +1,15 @@
+/** @type {import('ts-jest').JestConfigWithTsJest} */
+module.exports = {
+  preset: 'ts-jest',
+  testEnvironment: 'node',
+
+  // Match both __tests__ and colocated test files
+  testMatch: ['**/?(*.)+(test|spec).{ts,tsx,js,jsx}'],
+
+  // Ignore build artifacts and type declarations
+  testPathIgnorePatterns: ['/dist/', '\\.d\\.ts$'],
+  modulePathIgnorePatterns: ['<rootDir>/dist/'],
+  watchPathIgnorePatterns: ['/dist/'],
+
+  moduleFileExtensions: ['ts', 'tsx', 'js', 'jsx', 'json', 'node'],
+};

package/launchql-verify.control

@@ -0,0 +1,8 @@
+# launchql-verify extension
+comment = 'launchql-verify extension'
+default_version = '0.4.6'
+module_pathname = '$libdir/launchql-verify'
+requires = 'plpgsql'
+relocatable = false
+superuser = false
+  

package/launchql.plan

@@ -0,0 +1,24 @@
+%syntax-version=1.0.0
+%project=launchql-verify
+%uri=launchql-verify
+
+procedures/get_entity_from_str 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/get_entity_from_str
+procedures/get_schema_from_str 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/get_schema_from_str
+procedures/list_indexes [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/list_indexes
+procedures/list_memberships 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/list_memberships
+procedures/verify_constraint 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_constraint
+procedures/verify_domain [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_domain
+procedures/verify_extension 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_extension
+procedures/verify_function [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_function
+procedures/verify_index [procedures/list_indexes] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_index
+procedures/verify_membership [procedures/list_memberships] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_membership
+procedures/verify_policy [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_policy
+procedures/verify_role 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_role
+procedures/verify_schema 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_schema
+procedures/verify_security [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_security
+procedures/verify_table_grant [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_table_grant
+procedures/verify_table [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_table
+procedures/verify_trigger [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_trigger
+procedures/verify_type [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_type
+procedures/verify_view [procedures/get_entity_from_str procedures/get_schema_from_str] 2017-08-11T08:11:51Z skitch <skitch@5b0c196eeb62> # add procedures/verify_view
+@0.1.0 2025-08-26T23:56:48Z launchql <launchql@5b0c196eeb62> # verify

package/package.json

@@ -0,0 +1,25 @@
+{
+  "name": "@pgpm/verify",
+  "version": "0.4.0",
+  "description": "Verification utilities for LaunchQL deploy/verify/revert workflow",
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "bundle": "lql package",
+    "test": "jest",
+    "test:watch": "jest --watch"
+  },
+  "devDependencies": {
+    "@launchql/cli": "^4.9.0"
+  },
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/launchql/extensions"
+  },
+  "homepage": "https://github.com/launchql/extensions",
+  "bugs": {
+    "url": "https://github.com/launchql/extensions/issues"
+  },
+  "gitHead": "cc9f52a335caa6e21ee7751b04b77c84ce6cb809"
+}

package/revert/procedures/get_entity_from_str.sql

@@ -0,0 +1,7 @@
+-- Revert launchql-verify:procedures/get_entity_from_str from pg
+
+BEGIN;
+
+DROP FUNCTION get_entity_from_str(text);
+
+COMMIT;

package/revert/procedures/get_schema_from_str.sql

@@ -0,0 +1,7 @@
+-- Revert launchql-verify:procedures/get_schema_from_str from pg
+
+BEGIN;
+
+DROP FUNCTION get_schema_from_str(text);
+
+COMMIT;

package/revert/procedures/list_indexes.sql

@@ -0,0 +1,7 @@
+-- Revert launchql-verify:procedures/list_indexes from pg
+
+BEGIN;
+
+DROP FUNCTION list_indexes(text, text);
+
+COMMIT;

package/revert/procedures/list_memberships.sql

@@ -0,0 +1,7 @@
+-- Revert launchql-verify:procedures/list_memberships from pg
+
+BEGIN;
+
+DROP FUNCTION list_memberships(text);
+
+COMMIT;

package/revert/procedures/verify_constraint.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_constraint from pg
+
+BEGIN;
+
+DROP FUNCTION verify_constraint;
+
+COMMIT;

package/revert/procedures/verify_domain.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_domain from pg
+
+BEGIN;
+
+DROP FUNCTION public.verify_domain;
+
+COMMIT;

package/revert/procedures/verify_extension.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_extension from pg
+
+BEGIN;
+
+DROP FUNCTION public.verify_extension;
+
+COMMIT;

package/revert/procedures/verify_function.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_function from pg
+
+BEGIN;
+
+DROP FUNCTION verify_function;
+
+COMMIT;

package/revert/procedures/verify_index.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_index from pg
+
+BEGIN;
+
+DROP FUNCTION verify_index;
+
+COMMIT;

package/revert/procedures/verify_membership.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_membership from pg
+
+BEGIN;
+
+DROP FUNCTION verify_membership;
+
+COMMIT;

package/revert/procedures/verify_policy.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_policy from pg
+
+BEGIN;
+
+DROP FUNCTION verify_policy;
+
+COMMIT;

package/revert/procedures/verify_role.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_role from pg
+
+BEGIN;
+
+DROP FUNCTION verify_role;
+
+COMMIT;

package/revert/procedures/verify_schema.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_schema from pg
+
+BEGIN;
+
+DROP FUNCTION verify_schema;
+
+COMMIT;

package/revert/procedures/verify_security.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_security from pg
+
+BEGIN;
+
+DROP FUNCTION verify_security;
+
+COMMIT;

package/revert/procedures/verify_table.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_table from pg
+
+BEGIN;
+
+DROP FUNCTION verify_table;
+
+COMMIT;

package/revert/procedures/verify_table_grant.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_table_grant from pg
+
+BEGIN;
+
+DROP FUNCTION verify_table_grant;
+
+COMMIT;

package/revert/procedures/verify_trigger.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_trigger from pg
+
+BEGIN;
+
+DROP FUNCTION verify_trigger;
+
+COMMIT;

package/revert/procedures/verify_type.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_type from pg
+
+BEGIN;
+
+DROP FUNCTION verify_type;
+
+COMMIT;

package/revert/procedures/verify_view.sql

@@ -0,0 +1,7 @@
+-- Revert procedures/verify_view from pg
+
+BEGIN;
+
+DROP FUNCTION public.verify_view;
+
+COMMIT;