@balena/pinejs 20.1.0-build-large-file-uploads-2-1a7d50e8660ff52fe7df8d6ef9ce8b6b707027dc-1 → 21.0.0-build-21-x-aded34a9c5c670522247399b3cc4dc7814430d5e-1

package/out/webresource-handler/webresource.sbvr

@@ -1,60 +0,0 @@
-Vocabulary: webresource
-
-Term: actor
-	Concept Type: Integer (Type)
-Term: expiry date
-	Concept Type: Date Time (Type)
-Term: uuid
-	Concept Type: Short Text (Type)
-Term: resource name
-	Concept Type: Short Text (Type)
-Term: field name
-	Concept Type: Short Text (Type)
-Term: resource id
-	Concept Type: Integer (Type)
-Term: upload id
-	Concept Type: Short Text (Type)
-Term: file key
-	Concept Type: Short Text (Type)
-Term: status
-	Concept Type: Short Text (Type)
-Term: filename
-	Concept Type: Short Text (Type)
-Term: content type
-	Concept Type: Short Text (Type)
-Term: size
-	Concept Type: Integer (Type)
-Term: chunk size
-	Concept Type: Integer (Type)
-Term: valid until date
-	Concept Type: Date Time (Type)
-
-Term: multipart upload
-Fact type: multipart upload has uuid
-	Necessity: each multipart upload has exactly one uuid
-	Necessity: each uuid is of exactly one multipart upload
-Fact type: multipart upload has resource name
-	Necessity: each multipart upload has exactly one resource name
-Fact type: multipart upload has field name
-	Necessity: each multipart upload has exactly one field name
-Fact type: multipart upload has resource id
-	Necessity: each multipart upload has exactly one resource id
-Fact type: multipart upload has upload id
-	Necessity: each multipart upload has exactly one upload id
-Fact type: multipart upload has file key
-	Necessity: each multipart upload has exactly one file key
-Fact type: multipart upload has status
-	Necessity: each multipart upload has exactly one status
-	Definition: "pending" or "completed" or "cancelled"
-Fact type: multipart upload has filename
-	Necessity: each multipart upload has exactly one filename
-Fact type: multipart upload has content type
-	Necessity: each multipart upload has exactly one content type
-Fact type: multipart upload has size
-	Necessity: each multipart upload has exactly one size
-Fact type: multipart upload has chunk size
-	Necessity: each multipart upload has exactly one chunk size
-Fact type: multipart upload has expiry date
-	Necessity: each multipart upload has exactly one expiry date
-Fact type: multipart upload is created by actor
-	Necessity: each multipart upload is created by at most one actor

package/src/data-server/sbvr-server.ts

@@ -1,412 +0,0 @@
-import * as permissions from '../sbvr-api/permissions.js';
-import type { Resolvable } from '../sbvr-api/common-types.js';
-import type { Handler } from 'express';
-import type { Config, SetupFunction } from '../config-loader/config-loader.js';
-import type { Tx } from '../database-layer/db.js';
-
-const uiModel = `\
-Vocabulary: ui
-
-Term:       text
-	Concept type: Text (Type)
-Term:       name
-	Concept type: Short Text (Type)
-Term:       textarea
-	--Database id Field: name
-	Reference Scheme: text
-Fact type:  textarea is disabled
-Fact type:  textarea has name
-	Necessity: Each textarea has exactly 1 name
-	Necessity: Each name is of exactly 1 textarea
-Fact type:  textarea has text
-	Necessity: Each textarea has exactly 1 text`;
-
-// Middleware
-const isServerOnAir = (() => {
-	let resolve: ((thenableOrResult?: Resolvable<boolean>) => void) | undefined;
-	let promise = new Promise<boolean>(($resolve) => {
-		resolve = $resolve;
-	});
-	return (value?: boolean) => {
-		if (value != null) {
-			if (resolve != null) {
-				resolve(value);
-				resolve = undefined;
-			} else {
-				promise = Promise.resolve(value);
-			}
-		}
-		return promise;
-	};
-})();
-
-const serverIsOnAir: Handler = async (_req, _res, next) => {
-	const onAir = await isServerOnAir();
-	if (onAir) {
-		next();
-	} else {
-		next('route');
-	}
-};
-
-export const setup: SetupFunction = async (app, sbvrUtils, db) => {
-	const uiApi = sbvrUtils.api.ui;
-	const devApi = sbvrUtils.api.dev;
-	const setupModels = async (tx: Tx) => {
-		try {
-			const uiApiTx = uiApi.clone({
-				passthrough: {
-					tx,
-					req: permissions.root,
-				},
-			});
-			await uiApiTx
-				.get({
-					resource: 'textarea',
-					id: {
-						name: 'model_area',
-					},
-					options: {
-						$select: 'id',
-					},
-				})
-				.then(async (result) => {
-					if (result == null) {
-						// Add a model_area entry if it doesn't already exist.
-						return await uiApiTx.post({
-							resource: 'textarea',
-							body: {
-								name: 'model_area',
-								text: ' ',
-							},
-						});
-					}
-				});
-			await devApi
-				.get({
-					resource: 'model',
-					passthrough: {
-						tx,
-						req: permissions.rootRead,
-					},
-					options: {
-						$select: ['is_of__vocabulary', 'model_value'],
-						$filter: {
-							model_type: 'se',
-							is_of__vocabulary: 'data',
-						},
-					},
-				})
-				.then(async (result) => {
-					if (result.length === 0) {
-						throw new Error('No SE data model found');
-					}
-					const instance = result[0];
-					const modelValue = instance.model_value as { [key: string]: string };
-					await sbvrUtils.executeModel(tx, {
-						apiRoot: instance.is_of__vocabulary,
-						modelText: modelValue.value,
-					});
-				});
-			await isServerOnAir(true);
-		} catch {
-			await isServerOnAir(false);
-		}
-	};
-
-	app.get('/onAir', async (_req, res) => {
-		const onAir = await isServerOnAir();
-		res.json(onAir);
-	});
-
-	app.post(
-		'/update',
-		permissions.checkPermissionsMiddleware('all'),
-		serverIsOnAir,
-		(_req, res) => {
-			res.status(404).end();
-		},
-	);
-
-	app.post(
-		'/execute',
-		permissions.checkPermissionsMiddleware('all'),
-		async (_req, res) => {
-			try {
-				await uiApi
-					.get({
-						resource: 'textarea',
-						passthrough: { req: permissions.rootRead },
-						id: {
-							name: 'model_area',
-						},
-						options: {
-							$select: 'text',
-						},
-					})
-					.then(async (result) => {
-						if (result == null) {
-							throw new Error('Could not find the model to execute');
-						}
-						const modelText = result.text;
-						await db.transaction(async (tx) => {
-							await sbvrUtils.executeModel(tx, {
-								apiRoot: 'data',
-								modelText,
-							});
-							await uiApi.patch({
-								resource: 'textarea',
-								passthrough: {
-									tx,
-									req: permissions.root,
-								},
-								id: {
-									name: 'model_area',
-								},
-								body: {
-									is_disabled: true,
-								},
-							});
-						});
-					});
-				await isServerOnAir(true);
-				res.status(200).end();
-			} catch (err) {
-				await isServerOnAir(false);
-				res.status(404).json(err);
-			}
-		},
-	);
-	app.post(
-		'/validate',
-		permissions.checkPermissionsMiddleware('read'),
-		async (req, res) => {
-			try {
-				const results = await sbvrUtils.runRule('data', req.body.rule);
-				res.json(results);
-			} catch (err) {
-				console.log('Error validating', err);
-				res.status(404).end();
-			}
-		},
-	);
-	app.delete(
-		'/cleardb',
-		permissions.checkPermissionsMiddleware('delete'),
-		async (_req, res) => {
-			try {
-				await db.transaction(async (tx) => {
-					const result = await tx.tableList();
-
-					await Promise.all(
-						result.rows.map((table) => tx.dropTable(table.name)),
-					);
-					await sbvrUtils.executeStandardModels(tx);
-					// TODO: HACK: This is usually done by config-loader and should be done there
-					// In general cleardb is very destructive and should really go through a full "reboot" procedure to set everything up again.
-					console.warn(
-						'DEL /cleardb is very destructive and should really be followed by a full restart/reload.',
-					);
-					await sbvrUtils.executeModels(tx, config.models);
-					await setupModels(tx);
-				});
-				res.status(200).end();
-			} catch (err) {
-				console.error('Error clearing db', err);
-				res.status(503).end();
-			}
-		},
-	);
-	app.put(
-		'/importdb',
-		permissions.checkPermissionsMiddleware({
-			and: ['create', 'update', 'delete'],
-		}),
-		async (req, res) => {
-			try {
-				const queries = req.body.split(';');
-				await db.transaction(async (tx) => {
-					for (let query of queries) {
-						query = query.trim();
-						if (query.length > 0) {
-							try {
-								await tx.executeSql(query);
-							} catch (err) {
-								// TODO: Consider changing this to a custom Error
-								// eslint-disable-next-line no-throw-literal
-								throw [query, err];
-							}
-						}
-					}
-				});
-				res.status(200).end();
-			} catch (err) {
-				console.error('Error importing db', err);
-				res.status(404).end();
-			}
-		},
-	);
-	app.get(
-		'/exportdb',
-		permissions.checkPermissionsMiddleware('read'),
-		async (_req, res) => {
-			try {
-				let exported = '';
-				await db.transaction(async (tx) => {
-					const tables = await tx.tableList("name NOT LIKE '%_buk'");
-					await Promise.all(
-						tables.rows.map(async (table) => {
-							const tableName = table.name;
-							exported += 'DROP TABLE IF EXISTS "' + tableName + '";\n';
-							exported += table.sql + ';\n';
-							const result = await tx.executeSql(
-								'SELECT * FROM "' + tableName + '";',
-							);
-							let insQuery = '';
-							for (const currRow of result.rows) {
-								let notFirst = false;
-								insQuery += 'INSERT INTO "' + tableName + '" (';
-								let valQuery = '';
-								for (const propName of Object.keys(currRow)) {
-									if (notFirst) {
-										insQuery += ',';
-										valQuery += ',';
-									} else {
-										notFirst = true;
-									}
-									insQuery += '"' + propName + '"';
-									valQuery += "'" + currRow[propName] + "'";
-								}
-								insQuery += ') values (' + valQuery + ');\n';
-							}
-							exported += insQuery;
-						}),
-					);
-				});
-				res.json(exported);
-			} catch (err) {
-				console.error('Error exporting db', err);
-				res.status(503).end();
-			}
-		},
-	);
-	app.post(
-		'/backupdb',
-		permissions.checkPermissionsMiddleware('all'),
-		serverIsOnAir,
-		async (_req, res) => {
-			try {
-				await db.transaction(async (tx) => {
-					const result = await tx.tableList("name NOT LIKE '%_buk'");
-					await Promise.all(
-						result.rows.map(async (currRow) => {
-							const tableName = currRow.name;
-							await tx.dropTable(tableName + '_buk', true);
-
-							await tx.executeSql(
-								'ALTER TABLE "' +
-									tableName +
-									'" RENAME TO "' +
-									tableName +
-									'_buk";',
-							);
-						}),
-					);
-				});
-				res.status(200).end();
-			} catch (err) {
-				console.error('Error backing up db', err);
-				res.status(404).end();
-			}
-		},
-	);
-	app.post(
-		'/restoredb',
-		permissions.checkPermissionsMiddleware('all'),
-		serverIsOnAir,
-		async (_req, res) => {
-			try {
-				await db.transaction(async (tx) => {
-					const result = await tx.tableList("name LIKE '%_buk'");
-					await Promise.all(
-						result.rows.map(async (currRow) => {
-							const tableName = currRow.name;
-							await tx.dropTable(tableName.slice(0, -4), true);
-							await tx.executeSql(
-								'ALTER TABLE "' +
-									tableName +
-									'" RENAME TO "' +
-									tableName.slice(0, -4) +
-									'";',
-							);
-						}),
-					);
-				});
-				res.status(200).end();
-			} catch (err) {
-				console.error('Error restoring db', err);
-				res.status(404).end();
-			}
-		},
-	);
-
-	app.all('/data/*', serverIsOnAir, sbvrUtils.handleODataRequest);
-	app.get('/Auth/*', serverIsOnAir, sbvrUtils.handleODataRequest);
-	app.merge('/ui/*', sbvrUtils.handleODataRequest);
-	app.patch('/ui/*', sbvrUtils.handleODataRequest);
-
-	app.delete('/', serverIsOnAir, async (_req, res) => {
-		await Promise.all([
-			uiApi.patch({
-				resource: 'textarea',
-				passthrough: { req: permissions.root },
-				id: {
-					name: 'model_area',
-				},
-				body: {
-					text: '',
-					is_disabled: false,
-				},
-			}),
-			sbvrUtils.deleteModel('data'),
-		]);
-		await isServerOnAir(false);
-		res.status(200).end();
-	});
-
-	await db.transaction(setupModels);
-};
-
-export const config = {
-	models: [
-		{
-			modelName: 'ui',
-			modelText: uiModel,
-			apiRoot: 'ui',
-			customServerCode: { setup },
-			migrations: {
-				'11.0.0-modified-at': `\
-ALTER TABLE "textarea"
-ADD COLUMN IF NOT EXISTS "modified at" TIMESTAMP DEFAULT CURRENT_TIMESTAMP NOT NULL;\
-`,
-				'15.0.0-data-types': async (tx, sbvrUtils) => {
-					switch (sbvrUtils.db.engine) {
-						case 'mysql':
-							await tx.executeSql(`\
-								ALTER TABLE "textarea"
-								MODIFY "is disabled" BOOLEAN NOT NULL;`);
-							break;
-						case 'postgres':
-							await tx.executeSql(`\
-								ALTER TABLE "textarea"
-								ALTER COLUMN "is disabled" DROP DEFAULT,
-								ALTER COLUMN "is disabled" SET DATA TYPE BOOLEAN USING "is disabled"::BOOLEAN,
-								ALTER COLUMN "is disabled" SET DEFAULT FALSE;`);
-							break;
-						// No need to migrate for websql
-					}
-				},
-			},
-		},
-	],
-} satisfies Config;

package/src/http-transactions/transaction.sbvr

@@ -1,59 +0,0 @@
-Vocabulary: transaction
-
-Term:       resource id
-	Concept type: Text (Type)
-Term:       resource type
-	Concept type: Text (Type)
-Term:       field name
-	Concept type: Text (Type)
-Term:       field value
-	Concept type: Text (Type)
-Term:       placeholder
-	Concept type: Short Text (Type)
-
-Term:       resource
-	Reference Scheme: resource id
-Fact type: resource has resource id
-	Necessity: Each resource has exactly 1 resource id.
-Fact type: resource has resource type
-	Necessity: Each resource has exactly 1 resource type.
-
-Term:       transaction
-
-Term:       lock
-Fact type:  lock is exclusive
-Fact type:  lock belongs to transaction
-	Necessity: Each lock belongs to exactly 1 transaction.
-Fact type:  resource is under lock
-	Synonymous Form: lock is on resource
-Rule:       It is obligatory that each resource that is under a lock that is exclusive, is under at most 1 lock.
-
-Term:       conditional type
-	Concept Type: Short Text (Type)
-	Definition: "ADD", "EDIT" or "DELETE"
-
-Term:       conditional resource
-Fact type:  conditional resource belongs to transaction
-	Necessity: Each conditional resource belongs to exactly 1 transaction.
-Fact type:  conditional resource has lock
-	Necessity: Each conditional resource has at most 1 lock.
-Fact type:  conditional resource has resource type
-	Necessity: Each conditional resource has exactly 1 resource type.
-Fact type:  conditional resource has conditional type
-	Necessity: Each conditional resource has exactly 1 conditional type.
-Fact type:  conditional resource has placeholder
-	Necessity: Each conditional resource has at most 1 placeholder.
---Rule:       It is obligatory that each conditional resource that has a placeholder, has a conditional type that is of "ADD".
-
-Term:       conditional field
-	Reference Scheme: field name
-Fact type:  conditional field has field name
-	Necessity: Each conditional field has exactly 1 field name.
-Fact type:  conditional field has field value
-	Necessity: Each conditional field has at most 1 field value.
-Fact type:  conditional field is of conditional resource
-	Necessity: Each conditional field is of exactly 1 conditional resource.
-
---Rule:       It is obligatory that each conditional resource that has a conditional type that is of "EDIT" or "DELETE", has a lock that is exclusive
-Rule:       It is obligatory that each conditional resource that has a lock, has a resource type that is of a resource that the lock is on.
-Rule:       It is obligatory that each conditional resource that has a lock, belongs to a transaction that the lock belongs to.