@quereus/quereus 0.7.2 → 0.7.4

package/src/parser/ast.ts

@@ -1,581 +0,0 @@
-import type { MaybePromise, RowOp, SqlValue } from '../common/types.js';
-import type { ConflictResolution } from '../common/constants.js';
-
-/**
- * SQL Abstract Syntax Tree (AST) definitions
- * These interfaces define the structure of parsed SQL statements
- */
-
-// Base for all AST nodes
-export interface AstNode {
-	type: 'literal' | 'identifier' | 'column' | 'binary' | 'unary' | 'function' | 'cast' | 'parameter' | 'subquery' | 'select'
-		| 'insert' | 'update' | 'delete' | 'createTable' | 'createIndex' | 'createView' | 'createAssertion' | 'alterTable' | 'drop' | 'begin' | 'commit'
-		| 'rollback' | 'table' | 'join' | 'savepoint' | 'release' | 'functionSource' | 'with' | 'commonTableExpr' | 'pragma'
-		| 'collate' | 'primaryKey' | 'notNull' | 'null' | 'unique' | 'check' | 'default' | 'foreignKey' | 'generated' | 'windowFunction'
-		| 'windowDefinition' | 'windowFrame' | 'currentRow' | 'unboundedPreceding' | 'unboundedFollowing' | 'preceding' | 'following'
-		| 'subquerySource' | 'mutatingSubquerySource' | 'case' | 'in' | 'exists' | 'values' | 'between'
-		| 'declareSchema' | 'diffSchema' | 'applySchema' | 'explainSchema'
-		| 'declaredTable' | 'declaredIndex' | 'declaredView' | 'declaredSeed' | 'declareIgnored';
-	loc?: {
-		start: { line: number, column: number, offset: number };
-		end: { line: number, column: number, offset: number };
-	};
-}
-
-// Expression types
-export type Expression = LiteralExpr | IdentifierExpr | BinaryExpr | UnaryExpr | FunctionExpr | CastExpr
-	| ParameterExpr | SubqueryExpr | ColumnExpr | FunctionSource | CollateExpr | WindowFunctionExpr | CaseExpr
-	| InExpr | ExistsExpr | BetweenExpr;
-
-// Literal value expression (number, string, null, etc.)
-export interface LiteralExpr extends AstNode {
-	type: 'literal';
-	value: MaybePromise<SqlValue>;
-	lexeme?: string; // Optional: Original text representation, e.g., for numbers like '2.0'
-}
-
-// Identifier expression (table name or pragma name)
-export interface IdentifierExpr extends AstNode {
-	type: 'identifier';
-	name: string;
-	schema?: string; // Optional schema qualifier
-}
-
-// Column reference expression
-export interface ColumnExpr extends AstNode {
-	type: 'column';
-	name: string;
-	table?: string;  // Optional table qualifier
-	schema?: string; // Optional schema qualifier
-	alias?: string;  // Optional column alias
-}
-
-// Binary operation expression
-export interface BinaryExpr extends AstNode {
-	type: 'binary';
-	operator: string; // +, -, *, /, AND, OR, =, <, etc.
-	left: Expression;
-	right: Expression;
-}
-
-// Unary operation expression
-export interface UnaryExpr extends AstNode {
-	type: 'unary';
-	operator: string; // NOT, -, +, etc.
-	expr: Expression;
-}
-
-// Function call expression
-export interface FunctionExpr extends AstNode {
-	type: 'function';
-	name: string;
-	args: Expression[];
-	distinct?: boolean; // For DISTINCT in aggregate functions like COUNT(DISTINCT col)
-}
-
-// Window function expression
-export interface WindowFunctionExpr extends AstNode {
-	type: 'windowFunction';
-	function: FunctionExpr;
-	window?: WindowDefinition;
-	alias?: string;
-}
-
-// Window definition (OVER clause)
-export interface WindowDefinition extends AstNode {
-	type: 'windowDefinition';
-	partitionBy?: Expression[];
-	orderBy?: OrderByClause[];
-	frame?: WindowFrame;
-}
-
-// Window frame clause
-export interface WindowFrame {
-	type: WindowFrameUnits; // Changed from 'windowFrame' to WindowFrameUnits
-	start: WindowFrameBound;
-	end: WindowFrameBound | null; // Can be just START bound
-	exclusion?: WindowFrameExclusion;
-}
-
-// Window frame bound
-export type WindowFrameBound =
-	| { type: 'currentRow' }
-	| { type: 'unboundedPreceding' }
-	| { type: 'unboundedFollowing' }
-	| { type: 'preceding', value: Expression }
-	| { type: 'following', value: Expression };
-
-// Window frame units
-export type WindowFrameUnits = 'rows' | 'range';
-
-// Window frame exclusion
-export type WindowFrameExclusion = 'no others' | 'current row' | 'group' | 'ties';
-
-// CAST expression
-export interface CastExpr extends AstNode {
-	type: 'cast';
-	expr: Expression;
-	targetType: string;
-}
-
-// Parameter expression (? or :name or $name)
-export interface ParameterExpr extends AstNode {
-	type: 'parameter';
-	index?: number;  // For positional parameters (?)
-	name?: string;   // For named parameters (:name or $name)
-}
-
-// Subquery expression
-export interface SubqueryExpr extends AstNode {
-	type: 'subquery';
-	query: SelectStmt;
-}
-
-// BETWEEN expression
-export interface BetweenExpr extends AstNode {
-	type: 'between';
-	expr: Expression;      // Left side of BETWEEN
-	lower: Expression;     // Lower bound
-	upper: Expression;     // Upper bound
-	not?: boolean;         // For NOT BETWEEN
-}
-
-// IN expression
-export interface InExpr extends AstNode {
-	type: 'in';
-	expr: Expression;  // Left side of IN
-	values?: Expression[];  // For IN (value1, value2, ...)
-	subquery?: SelectStmt;  // For IN (SELECT ...)
-}
-
-// EXISTS expression
-export interface ExistsExpr extends AstNode {
-	type: 'exists';
-	subquery: SelectStmt;  // EXISTS (SELECT ...)
-}
-
-// --- Statement Types ---
-
-// --- Add FunctionSource type ---
-export interface FunctionSource extends AstNode {
-	type: 'functionSource';
-	name: IdentifierExpr; // Function name (potentially schema.name)
-	args: Expression[];    // Arguments passed to the function
-	alias?: string;        // Optional alias for the generated table
-	columns?: string[];    // Optional column list after alias: alias(col1, col2, ...)
-}
-
-// SELECT statement
-export interface SelectStmt extends AstNode {
-	type: 'select';
-	withClause?: WithClause;
-	columns: ResultColumn[];
-	from?: FromClause[];
-	where?: Expression;
-	groupBy?: Expression[];
-	having?: Expression;
-	orderBy?: OrderByClause[];
-	limit?: Expression;
-	offset?: Expression;
-	distinct?: boolean;
-	all?: boolean;
-	union?: SelectStmt;
-	unionAll?: boolean;
-	compound?: { op: 'union' | 'unionAll' | 'intersect' | 'except' | 'diff'; select: SelectStmt };
-}
-
-// INSERT statement
-export interface InsertStmt extends AstNode {
-	type: 'insert';
-	withClause?: WithClause;
-	table: IdentifierExpr;
-	columns?: string[];
-	values?: Expression[][];  // For VALUES (...), (...), ...
-	select?: SelectStmt;      // For INSERT ... SELECT
-	onConflict?: ConflictResolution;
-	returning?: ResultColumn[];
-	contextValues?: ContextAssignment[]; // Optional mutation context assignments
-}
-
-// UPDATE statement
-export interface UpdateStmt extends AstNode {
-	type: 'update';
-	withClause?: WithClause;
-	table: IdentifierExpr;
-	assignments: { column: string; value: Expression }[];
-	where?: Expression;
-	onConflict?: ConflictResolution;
-	returning?: ResultColumn[];
-	contextValues?: ContextAssignment[]; // Optional mutation context assignments
-}
-
-// DELETE statement
-export interface DeleteStmt extends AstNode {
-	type: 'delete';
-	withClause?: WithClause;
-	table: IdentifierExpr;
-	where?: Expression;
-	returning?: ResultColumn[];
-	contextValues?: ContextAssignment[]; // Optional mutation context assignments
-}
-
-// VALUES statement
-export interface ValuesStmt extends AstNode {
-	type: 'values';
-	values: Expression[][]; // Array of value lists: VALUES (1, 'a'), (2, 'b'), ...
-}
-
-// CREATE TABLE statement
-export interface CreateTableStmt extends AstNode {
-	type: 'createTable';
-	table: IdentifierExpr;
-	ifNotExists: boolean;
-	columns: ColumnDef[];
-	constraints: TableConstraint[];
-	isTemporary?: boolean;
-	moduleName?: string;   // Optional module name from USING clause
-	moduleArgs?: Record<string, SqlValue>; // Optional module arguments from USING clause
-	contextDefinitions?: MutationContextVar[]; // Optional mutation context variables
-}
-
-// CREATE INDEX statement
-export interface CreateIndexStmt extends AstNode {
-	type: 'createIndex';
-	index: IdentifierExpr;
-	table: IdentifierExpr;
-	ifNotExists: boolean;
-	columns: IndexedColumn[];
-	where?: Expression;
-	isUnique?: boolean;
-}
-
-// CREATE ASSERTION statement
-export interface CreateAssertionStmt extends AstNode {
-	type: 'createAssertion';
-	name: string;
-	check: Expression; // The CHECK (<violation-query>) expression
-}
-
-// CREATE VIEW statement
-export interface CreateViewStmt extends AstNode {
-	type: 'createView';
-	view: IdentifierExpr;
-	ifNotExists: boolean;
-	columns?: string[];
-	select: SelectStmt;
-	isTemporary?: boolean;
-}
-
-// ALTER TABLE statement
-export interface AlterTableStmt extends AstNode {
-	type: 'alterTable';
-	table: IdentifierExpr;
-	action: AlterTableAction;
-}
-
-// DROP statement
-export interface DropStmt extends AstNode {
-	type: 'drop';
-	objectType: 'table' | 'view' | 'index' | 'trigger' | 'assertion';
-	name: IdentifierExpr;
-	ifExists: boolean;
-}
-
-// TRANSACTION statements
-export interface BeginStmt extends AstNode {
-	type: 'begin';
-}
-
-export interface CommitStmt extends AstNode {
-	type: 'commit';
-}
-
-export interface RollbackStmt extends AstNode {
-	type: 'rollback';
-	savepoint?: string;
-}
-
-// --- Add Savepoint/Release ---
-export interface SavepointStmt extends AstNode {
-    type: 'savepoint';
-    name: string;
-}
-
-export interface ReleaseStmt extends AstNode {
-    type: 'release';
-    savepoint?: string; // Optional savepoint name
-}
-
-// --- Supporting Types ---
-
-export type ResultColumnExpr = {
-	type: 'column',
-	expr: Expression,
-	alias?: string
-}
-
-// Result column in SELECT
-export type ResultColumn =
-	| { type: 'all', table?: string }
-	| ResultColumnExpr;
-
-// FROM clause item (table, join, function call, or subquery)
-export type FromClause = TableSource | JoinClause | FunctionSource | SubquerySource | MutatingSubquerySource;
-
-// Table source in FROM clause
-export interface TableSource extends AstNode {
-	type: 'table';
-	table: IdentifierExpr;
-	alias?: string;
-}
-
-// Subquery source in FROM clause: (SELECT ...) AS alias
-export interface SubquerySource extends AstNode {
-	type: 'subquerySource';
-	subquery: SelectStmt | ValuesStmt;
-	alias: string;
-	columns?: string[]; // Optional column list: AS alias(col1, col2, ...)
-}
-
-// Mutating subquery source in FROM clause: (INSERT/UPDATE/DELETE ... RETURNING ...) AS alias
-export interface MutatingSubquerySource extends AstNode {
-	type: 'mutatingSubquerySource';
-	stmt: InsertStmt | UpdateStmt | DeleteStmt; // Must have RETURNING clause
-	alias: string;
-	columns?: string[]; // Optional column list: AS alias(col1, col2, ...)
-}
-
-// JOIN clause in FROM
-export interface JoinClause extends AstNode {
-	type: 'join';
-	joinType: 'inner' | 'left' | 'right' | 'full' | 'cross';
-	left: FromClause;
-	right: FromClause;
-	condition?: Expression; // For ON clause
-	columns?: string[];     // For USING clause
-}
-
-// ORDER BY clause
-export interface OrderByClause {
-	expr: Expression;
-	direction: 'asc' | 'desc';
-	nulls?: 'first' | 'last';
-}
-
-// Column definition in CREATE TABLE
-export interface ColumnDef {
-	name: string;
-	dataType?: string;
-	constraints: ColumnConstraint[];
-}
-
-// Mutation context variable definition
-export interface MutationContextVar {
-	name: string;
-	dataType?: string;
-	notNull?: boolean;
-}
-
-// Mutation context assignment
-export interface ContextAssignment {
-	name: string;
-	value: Expression;
-}
-
-// Column constraint (PRIMARY KEY, NOT NULL, etc.)
-export interface ColumnConstraint extends AstNode {
-	type: 'primaryKey' | 'notNull' | 'null' | 'unique' | 'check' | 'default' | 'foreignKey' | 'collate' | 'generated';
-	name?: string;
-	expr?: Expression;          // For CHECK or DEFAULT
-	operations?: RowOp[];       // ADDED: For CHECK ON (...)
-	collation?: string;         // For COLLATE
-	autoincrement?: boolean;    // For PRIMARY KEY AUTOINCREMENT
-	direction?: 'asc' | 'desc'; // ADDED: For PRIMARY KEY ASC/DESC
-	onConflict?: ConflictResolution;
-	foreignKey?: ForeignKeyClause;
-	generated?: {
-		expr: Expression;
-		stored: boolean;          // STORED or VIRTUAL
-	};
-	deferrable?: boolean;
-	initiallyDeferred?: boolean;
-}
-
-// Table constraint (PRIMARY KEY, UNIQUE, etc.)
-export interface TableConstraint extends AstNode {
-	type: 'primaryKey' | 'unique' | 'check' | 'foreignKey';
-	name?: string;
-	columns?: { name: string; direction?: 'asc' | 'desc' }[];
-	expr?: Expression;         // For CHECK
-	operations?: RowOp[];       // ADDED: For CHECK ON (...)
-	onConflict?: ConflictResolution;
-	foreignKey?: ForeignKeyClause;
-	deferrable?: boolean;
-	initiallyDeferred?: boolean;
-}
-
-// Foreign key clause
-export interface ForeignKeyClause {
-	table: string;
-	columns?: string[];
-	onDelete?: ForeignKeyAction;
-	onUpdate?: ForeignKeyAction;
-	deferrable?: boolean;
-	initiallyDeferred?: boolean;
-}
-
-// Foreign key action
-export type ForeignKeyAction = 'setNull' | 'setDefault' | 'cascade' | 'restrict' | 'noAction';
-
-// Column in index definition
-export interface IndexedColumn {
-	name?: string;  // Column name
-	expr?: Expression;  // Or expression
-	collation?: string;
-	direction?: 'asc' | 'desc';
-}
-
-// Alter table action
-export type AlterTableAction =
-	| { type: 'renameTable', newName: string }
-	| { type: 'renameColumn', oldName: string, newName: string }
-	| { type: 'addColumn', column: ColumnDef }
-	| { type: 'dropColumn', name: string }
-	| { type: 'addConstraint', constraint: TableConstraint };
-
-// Add PragmaStmt interface
-export interface PragmaStmt extends AstNode {
-	type: 'pragma';
-	name: string; // Name of the pragma
-	value?: LiteralExpr | IdentifierExpr; // Value being assigned (optional for some pragmas)
-}
-
-export interface WithClause extends AstNode {
-	type: 'with';
-	recursive: boolean;
-	ctes: CommonTableExpr[];
-	options?: WithClauseOptions;
-}
-
-export interface WithClauseOptions {
-	maxRecursion?: number;
-}
-
-export interface CommonTableExpr extends AstNode {
-	type: 'commonTableExpr';
-	name: string;
-	columns?: string[];
-	query: SelectStmt | InsertStmt | UpdateStmt | DeleteStmt; // CTE body
-	materializationHint?: 'materialized' | 'not_materialized';
-}
-
-/**
- * Represents a COLLATE expression in SQL, which specifies the collation sequence
- * to use for a string operation
- */
-export interface CollateExpr extends AstNode {
-	type: 'collate';
-	expr: Expression;
-	collation: string;
-}
-
-export interface CaseExprWhenThenClause {
-	when: Expression;
-	then: Expression;
-}
-
-export interface CaseExpr extends AstNode {
-	type: 'case'; // New type
-	baseExpr?: Expression; // Optional: for CASE expr WHEN ...
-	whenThenClauses: CaseExprWhenThenClause[];
-	elseExpr?: Expression; // Optional: for ELSE ...
-}
-
-// --- Utility Type for Top-Level Statements ---
-export type Statement =
-	| SelectStmt
-	| InsertStmt
-	| UpdateStmt
-	| DeleteStmt
-	| ValuesStmt
-	| CreateTableStmt
-	| CreateIndexStmt
-	| CreateViewStmt
-	| CreateAssertionStmt
-	| DropStmt
-	| AlterTableStmt
-	| BeginStmt
-	| CommitStmt
-	| RollbackStmt
-	| SavepointStmt
-	| ReleaseStmt
-	| PragmaStmt
-	| DeclareSchemaStmt
-	| DiffSchemaStmt
-	| ApplySchemaStmt
-	| ExplainSchemaStmt;
-
-// === Declarative Schema AST ===
-
-export interface DeclareSchemaStmt extends AstNode {
-	type: 'declareSchema';
-	schemaName?: string;
-	version?: string;
-	using?: { defaultVtabModule?: string; defaultVtabArgs?: string };
-	items: readonly DeclareItem[];
-}
-
-export type DeclareItem = DeclaredTable | DeclaredIndex | DeclaredView | DeclaredSeed | DeclareIgnoredItem;
-
-export interface DeclaredTable extends AstNode {
-	type: 'declaredTable';
-	tableStmt: CreateTableStmt;
-}
-
-export interface DeclaredIndex extends AstNode {
-	type: 'declaredIndex';
-	indexStmt: CreateIndexStmt;
-}
-
-export interface DeclaredView extends AstNode {
-	type: 'declaredView';
-	viewStmt: CreateViewStmt;
-}
-
-export interface DeclaredSeed extends AstNode {
-	type: 'declaredSeed';
-	tableName: string;
-	columns?: readonly string[];
-	seedData?: readonly SqlValue[][];
-}
-
-/** Placeholder for domain/collation/import items to keep parser forward-compatible */
-export interface DeclareIgnoredItem extends AstNode {
-	type: 'declareIgnored';
-	kind: 'domain' | 'collation' | 'import';
-	text: string; // original text snippet for hashing/canonicalization if needed
-}
-
-export interface DiffSchemaStmt extends AstNode {
-	type: 'diffSchema';
-	schemaName?: string;
-}
-
-export interface ApplySchemaStmt extends AstNode {
-	type: 'applySchema';
-	schemaName?: string;
-	toVersion?: string;
-	withSeed?: boolean;
-	options?: {
-		dryRun?: boolean;
-		validateOnly?: boolean;
-		allowDestructive?: boolean;
-		renamePolicy?: 'require-hint' | 'infer-id';
-	};
-}
-
-export interface ExplainSchemaStmt extends AstNode {
-	type: 'explainSchema';
-	schemaName?: string;
-	version?: string;
-}

package/src/parser/index.ts

@@ -1,65 +0,0 @@
-import { quereusError } from '../common/errors.js';
-import { StatusCode } from '../common/types.js';
-export * from './ast.js';
-export * from './parser.js';
-export * from './lexer.js';
-
-import { Parser } from './parser.js';
-import type { SelectStmt, InsertStmt } from './ast.js';
-
-/**
- * Parse a SQL SELECT statement
- *
- * @param sql SQL SELECT statement
- * @returns AST for the SELECT statement
- * @throws ParseError if the SQL is invalid or not a SELECT statement
- */
-export function parseSelect(sql: string): SelectStmt {
-	const parser = new Parser();
-	return parser.initialize(sql).selectStatement();
-}
-
-/**
- * Parse a SQL INSERT statement
- *
- * @param sql SQL INSERT statement
- * @returns AST for the INSERT statement
- * @throws Error if the SQL is not an INSERT statement
- */
-export function parseInsert(sql: string): InsertStmt {
-	const stmt = parse(sql);
-	if (stmt.type !== 'insert') {
-		quereusError(
-			`Expected INSERT statement, but got ${stmt.type}`,
-			StatusCode.ERROR,
-			undefined,
-			stmt
-		);
-	}
-	return stmt as InsertStmt;
-}
-
-/**
- * Parse a SQL statement
- *
- * @param sql SQL statement
- * @returns AST for the statement
- * @throws Error if the statement type is not supported
- */
-export function parse(sql: string): SelectStmt | InsertStmt {
-	const parser = new Parser();
-	const stmt = parser.parse(sql);
-
-	if (stmt.type === 'select') {
-		return stmt as SelectStmt;
-	} else if (stmt.type === 'insert') {
-		return stmt as InsertStmt;
-	}
-
-	quereusError(
-		`Unsupported SQL statement type: ${stmt.type}`,
-		StatusCode.UNSUPPORTED,
-		undefined,
-		stmt
-	);
-}