@hamelin.sh/compiler 0.1.36 → 0.2.2-prerelease.20250819T010536

package/dist/main.d.ts

@@ -3,61 +3,20 @@ import { AbstractParseTreeVisitor, Token, ParseTreeListener, TerminalNode, Error
 
 /* tslint:disable */
 /* eslint-disable */
-type CompileResult = { Ok: Translation } | { Err: ContextualTranslationErrors };
+type CompileQueryResult = { Ok: QueryTranslation } | { Err: ContextualTranslationErrors };
 
-type StatementDatasetsResult = { Ok: string[] } | { Err: ContextualTranslationErrors };
-
-type HamelinType = "binary" | "boolean" | "interval" | "calendar_interval" | "int" | "double" | "rows" | "string" | "timestamp" | "unknown" | { decimal: { precision: number; scale: number } } | { array: { element_type: HamelinType } } | { map: { key_type: HamelinType; value_type: HamelinType } } | { tuple: { elements: HamelinType[] } } | "variant" | { range: { of: HamelinType } } | { struct: Column[] };
-
-interface Column {
-    name: string;
-    type: HamelinType;
-}
-
-type Catalog = Record<string, Column[]>;
+type QueryDatasetsResult = { Ok: string[] } | { Err: ContextualTranslationErrors };
 
 interface FunctionDescription {
     name: string;
     parameters: string;
 }
 
-interface ContextualTranslationErrors {
-    hamelin: string;
-    errors: ContextualTranslationError[];
-}
-
-type TranslationErrors = TranslationError[];
-
-interface Context {
-    interval: { start: number; end: number };
-    message: string;
-}
-
-interface ContextualTranslationError {
-    error: TranslationError;
-    pretty: string;
-}
-
-interface TranslationError {
-    area: LanguageArea | undefined;
-    stage: Stage;
-    level: Level;
-    primary: Context;
-    supporting: Context[] | undefined;
-    source_desc: string | undefined;
-}
-
-type Stage = "Translation" | "Parsing" | "SemanticAnalysis";
-
-type LanguageArea = "FunctionCall" | "Operator" | "Deref" | "IndexAccess" | "Parsing";
-
-type Level = "Error" | "Warning" | "Info";
-
 interface ContextualResult {
     hamelin: string;
     errors: ContextualTranslationError[];
     completions: ContextualCompletion | undefined;
-    translation: Translation | undefined;
+    translation: QueryTranslation | undefined;
 }
 
 interface ContextualCompletion {
@@ -106,6 +65,57 @@ interface Translation {
     columns: Column[];
 }
 
+interface DMLTranslation {
+    translation: Translation;
+}
+
+interface QueryTranslation {
+    translation: Translation;
+}
+
+type StatementTranslation = { Query: QueryTranslation } | { DML: DMLTranslation };
+
+interface ContextualTranslationErrors {
+    hamelin: string;
+    errors: ContextualTranslationError[];
+}
+
+type TranslationErrors = TranslationError[];
+
+interface Context {
+    interval: { start: number; end: number };
+    message: string;
+}
+
+interface ContextualTranslationError {
+    error: TranslationError;
+    pretty: string;
+}
+
+interface TranslationError {
+    area: LanguageArea | undefined;
+    stage: Stage;
+    level: Level;
+    primary: Context;
+    supporting: Context[] | undefined;
+    source_desc: string | undefined;
+}
+
+type Stage = "Translation" | "Parsing" | "SemanticAnalysis";
+
+type LanguageArea = "FunctionCall" | "Operator" | "Deref" | "IndexAccess" | "Parsing";
+
+type Level = "Error" | "Warning" | "Info";
+
+type HamelinType = "binary" | "boolean" | "interval" | "calendar_interval" | "int" | "double" | "rows" | "string" | "timestamp" | "unknown" | { decimal: { precision: number; scale: number } } | { array: { element_type: HamelinType } } | { map: { key_type: HamelinType; value_type: HamelinType } } | { tuple: { elements: HamelinType[] } } | "variant" | { range: { of: HamelinType } } | { struct: Column[] };
+
+interface Column {
+    name: string;
+    type: HamelinType;
+}
+
+type Catalog = Record<string, Column[]>;
+
 declare class CatalogProvider {
   private constructor();
   free(): void;
@@ -118,9 +128,9 @@ declare class Compiler {
   set_catalog_provider(provider: CatalogProvider): void;
   set_time_range(start?: Date | null, end?: Date | null): void;
   set_time_range_expression(expression: string): ContextualTranslationErrors | undefined;
-  compile_statement(query: string): CompileResult;
-  compile_statement_at(query: string, at?: number | null): ContextualResult;
-  get_statement_datasets(query: string): StatementDatasetsResult;
+  compile_query(query: string): CompileQueryResult;
+  compile_query_at(query: string, at?: number | null): ContextualResult;
+  get_statement_datasets(query: string): QueryDatasetsResult;
 }
 
 type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembly.Module;
@@ -135,8 +145,8 @@ interface InitOutput {
   readonly compiler_set_catalog_provider: (a: number, b: number) => void;
   readonly compiler_set_time_range: (a: number, b: number, c: number) => void;
   readonly compiler_set_time_range_expression: (a: number, b: number, c: number) => any;
-  readonly compiler_compile_statement: (a: number, b: number, c: number) => any;
-  readonly compiler_compile_statement_at: (a: number, b: number, c: number, d: number) => any;
+  readonly compiler_compile_query: (a: number, b: number, c: number) => any;
+  readonly compiler_compile_query_at: (a: number, b: number, c: number, d: number) => any;
   readonly compiler_get_statement_datasets: (a: number, b: number, c: number) => any;
   readonly __wbindgen_malloc: (a: number, b: number) => number;
   readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
@@ -160,12 +170,12 @@ type SyncInitInput = BufferSource | WebAssembly.Module;
 */
 declare function initSync(module: { module: SyncInitInput } | SyncInitInput): InitOutput;
 
-declare const compileHamelin: (catalog: Catalog, hamelinInput: string, timeRange?: string) => Promise<CompileResult>;
+declare const compileHamelin: (catalog: Catalog, hamelinInput: string, timeRange?: string) => Promise<CompileQueryResult>;
 declare const createCompiler: (catalog: Catalog) => Promise<Compiler>;
 
 declare const getFunctionDescriptions: () => Promise<FunctionDescription[]>;
 
-declare const getDatasetsFromQuery: (catalog: Catalog, hamelinInput: string) => Promise<StatementDatasetsResult>;
+declare const getDatasetsFromQuery: (catalog: Catalog, hamelinInput: string) => Promise<QueryDatasetsResult>;
 
 declare const sampleCatalog: Catalog;
 
@@ -301,12 +311,6 @@ declare class HamelinVisitor<Result> extends AbstractParseTreeVisitor<Result> {
      * @return the visitor result
      */
     visitQueryEOF?: (ctx: QueryEOFContext) => Result;
-    /**
-     * Visit a parse tree produced by `HamelinParser.statementEOF`.
-     * @param ctx the parse tree
-     * @return the visitor result
-     */
-    visitStatementEOF?: (ctx: StatementEOFContext) => Result;
     /**
      * Visit a parse tree produced by `HamelinParser.commandEOF`.
      * @param ctx the parse tree
@@ -331,20 +335,6 @@ declare class HamelinVisitor<Result> extends AbstractParseTreeVisitor<Result> {
      * @return the visitor result
      */
     visitSimpleIdentifierEOF?: (ctx: SimpleIdentifierEOFContext) => Result;
-    /**
-     * Visit a parse tree produced by the `queryStatement`
-     * labeled alternative in `HamelinParser.statement`.
-     * @param ctx the parse tree
-     * @return the visitor result
-     */
-    visitQueryStatement?: (ctx: QueryStatementContext) => Result;
-    /**
-     * Visit a parse tree produced by the `expressionStatement`
-     * labeled alternative in `HamelinParser.statement`.
-     * @param ctx the parse tree
-     * @return the visitor result
-     */
-    visitExpressionStatement?: (ctx: ExpressionStatementContext) => Result;
     /**
      * Visit a parse tree produced by the `withQuery`
      * labeled alternative in `HamelinParser.query`.
@@ -359,6 +349,13 @@ declare class HamelinVisitor<Result> extends AbstractParseTreeVisitor<Result> {
      * @return the visitor result
      */
     visitStandaloneQuery?: (ctx: StandaloneQueryContext) => Result;
+    /**
+     * Visit a parse tree produced by the `expressionQuery`
+     * labeled alternative in `HamelinParser.query`.
+     * @param ctx the parse tree
+     * @return the visitor result
+     */
+    visitExpressionQuery?: (ctx: ExpressionQueryContext) => Result;
     /**
      * Visit a parse tree produced by the `pipelineAlt`
      * labeled alternative in `HamelinParser.pipeline`.
@@ -971,35 +968,33 @@ declare class HamelinParser extends antlr.Parser {
     static readonly BRACKETED_COMMENT = 95;
     static readonly WS = 96;
     static readonly RULE_queryEOF = 0;
-    static readonly RULE_statementEOF = 1;
-    static readonly RULE_commandEOF = 2;
-    static readonly RULE_expressionEOF = 3;
-    static readonly RULE_identifierEOF = 4;
-    static readonly RULE_simpleIdentifierEOF = 5;
-    static readonly RULE_statement = 6;
-    static readonly RULE_query = 7;
-    static readonly RULE_pipeline = 8;
-    static readonly RULE_command = 9;
-    static readonly RULE_assignmentClause = 10;
-    static readonly RULE_groupClause = 11;
-    static readonly RULE_assignment = 12;
-    static readonly RULE_matchDefine = 13;
-    static readonly RULE_selection = 14;
-    static readonly RULE_sortExpression = 15;
-    static readonly RULE_tableAlias = 16;
-    static readonly RULE_fromClause = 17;
-    static readonly RULE_expression = 18;
-    static readonly RULE_hamelintype = 19;
-    static readonly RULE_pattern = 20;
-    static readonly RULE_quantifier = 21;
-    static readonly RULE_columnReference = 22;
-    static readonly RULE_tableReference = 23;
-    static readonly RULE_identifier = 24;
-    static readonly RULE_simpleIdentifier = 25;
-    static readonly RULE_string = 26;
-    static readonly RULE_number = 27;
-    static readonly RULE_positionalArgument = 28;
-    static readonly RULE_namedArgument = 29;
+    static readonly RULE_commandEOF = 1;
+    static readonly RULE_expressionEOF = 2;
+    static readonly RULE_identifierEOF = 3;
+    static readonly RULE_simpleIdentifierEOF = 4;
+    static readonly RULE_query = 5;
+    static readonly RULE_pipeline = 6;
+    static readonly RULE_command = 7;
+    static readonly RULE_assignmentClause = 8;
+    static readonly RULE_groupClause = 9;
+    static readonly RULE_assignment = 10;
+    static readonly RULE_matchDefine = 11;
+    static readonly RULE_selection = 12;
+    static readonly RULE_sortExpression = 13;
+    static readonly RULE_tableAlias = 14;
+    static readonly RULE_fromClause = 15;
+    static readonly RULE_expression = 16;
+    static readonly RULE_hamelintype = 17;
+    static readonly RULE_pattern = 18;
+    static readonly RULE_quantifier = 19;
+    static readonly RULE_columnReference = 20;
+    static readonly RULE_tableReference = 21;
+    static readonly RULE_identifier = 22;
+    static readonly RULE_simpleIdentifier = 23;
+    static readonly RULE_string = 24;
+    static readonly RULE_number = 25;
+    static readonly RULE_positionalArgument = 26;
+    static readonly RULE_namedArgument = 27;
     static readonly literalNames: (string | null)[];
     static readonly symbolicNames: (string | null)[];
     static readonly ruleNames: string[];
@@ -1011,12 +1006,10 @@ declare class HamelinParser extends antlr.Parser {
     protected createFailedPredicateException(predicate?: string, message?: string): antlr.FailedPredicateException;
     constructor(input: antlr.TokenStream);
     queryEOF(): QueryEOFContext;
-    statementEOF(): StatementEOFContext;
     commandEOF(): CommandEOFContext;
     expressionEOF(): ExpressionEOFContext;
     identifierEOF(): IdentifierEOFContext;
     simpleIdentifierEOF(): SimpleIdentifierEOFContext;
-    statement(): StatementContext;
     query(): QueryContext;
     pipeline(): PipelineContext;
     command(): CommandContext;
@@ -1059,15 +1052,6 @@ declare class QueryEOFContext extends antlr.ParserRuleContext {
     exitRule(listener: HamelinListener): void;
     accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
 }
-declare class StatementEOFContext extends antlr.ParserRuleContext {
-    constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
-    statement(): StatementContext;
-    EOF(): antlr.TerminalNode;
-    get ruleIndex(): number;
-    enterRule(listener: HamelinListener): void;
-    exitRule(listener: HamelinListener): void;
-    accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
-}
 declare class CommandEOFContext extends antlr.ParserRuleContext {
     constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
     command(): CommandContext;
@@ -1104,25 +1088,6 @@ declare class SimpleIdentifierEOFContext extends antlr.ParserRuleContext {
     exitRule(listener: HamelinListener): void;
     accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
 }
-declare class StatementContext extends antlr.ParserRuleContext {
-    constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
-    get ruleIndex(): number;
-    copyFrom(ctx: StatementContext): void;
-}
-declare class QueryStatementContext extends StatementContext {
-    constructor(ctx: StatementContext);
-    query(): QueryContext;
-    enterRule(listener: HamelinListener): void;
-    exitRule(listener: HamelinListener): void;
-    accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
-}
-declare class ExpressionStatementContext extends StatementContext {
-    constructor(ctx: StatementContext);
-    expression(): ExpressionContext;
-    enterRule(listener: HamelinListener): void;
-    exitRule(listener: HamelinListener): void;
-    accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
-}
 declare class QueryContext extends antlr.ParserRuleContext {
     constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
     get ruleIndex(): number;
@@ -1149,6 +1114,13 @@ declare class StandaloneQueryContext extends QueryContext {
     exitRule(listener: HamelinListener): void;
     accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
 }
+declare class ExpressionQueryContext extends QueryContext {
+    constructor(ctx: QueryContext);
+    expression(): ExpressionContext;
+    enterRule(listener: HamelinListener): void;
+    exitRule(listener: HamelinListener): void;
+    accept<Result>(visitor: HamelinVisitor<Result>): Result | null;
+}
 declare class PipelineContext extends antlr.ParserRuleContext {
     constructor(parent: antlr.ParserRuleContext | null, invokingState: number);
     get ruleIndex(): number;
@@ -2005,16 +1977,6 @@ declare class HamelinListener implements ParseTreeListener {
      * @param ctx the parse tree
      */
     exitQueryEOF?: (ctx: QueryEOFContext) => void;
-    /**
-     * Enter a parse tree produced by `HamelinParser.statementEOF`.
-     * @param ctx the parse tree
-     */
-    enterStatementEOF?: (ctx: StatementEOFContext) => void;
-    /**
-     * Exit a parse tree produced by `HamelinParser.statementEOF`.
-     * @param ctx the parse tree
-     */
-    exitStatementEOF?: (ctx: StatementEOFContext) => void;
     /**
      * Enter a parse tree produced by `HamelinParser.commandEOF`.
      * @param ctx the parse tree
@@ -2055,30 +2017,6 @@ declare class HamelinListener implements ParseTreeListener {
      * @param ctx the parse tree
      */
     exitSimpleIdentifierEOF?: (ctx: SimpleIdentifierEOFContext) => void;
-    /**
-     * Enter a parse tree produced by the `queryStatement`
-     * labeled alternative in `HamelinParser.statement`.
-     * @param ctx the parse tree
-     */
-    enterQueryStatement?: (ctx: QueryStatementContext) => void;
-    /**
-     * Exit a parse tree produced by the `queryStatement`
-     * labeled alternative in `HamelinParser.statement`.
-     * @param ctx the parse tree
-     */
-    exitQueryStatement?: (ctx: QueryStatementContext) => void;
-    /**
-     * Enter a parse tree produced by the `expressionStatement`
-     * labeled alternative in `HamelinParser.statement`.
-     * @param ctx the parse tree
-     */
-    enterExpressionStatement?: (ctx: ExpressionStatementContext) => void;
-    /**
-     * Exit a parse tree produced by the `expressionStatement`
-     * labeled alternative in `HamelinParser.statement`.
-     * @param ctx the parse tree
-     */
-    exitExpressionStatement?: (ctx: ExpressionStatementContext) => void;
     /**
      * Enter a parse tree produced by the `withQuery`
      * labeled alternative in `HamelinParser.query`.
@@ -2103,6 +2041,18 @@ declare class HamelinListener implements ParseTreeListener {
      * @param ctx the parse tree
      */
     exitStandaloneQuery?: (ctx: StandaloneQueryContext) => void;
+    /**
+     * Enter a parse tree produced by the `expressionQuery`
+     * labeled alternative in `HamelinParser.query`.
+     * @param ctx the parse tree
+     */
+    enterExpressionQuery?: (ctx: ExpressionQueryContext) => void;
+    /**
+     * Exit a parse tree produced by the `expressionQuery`
+     * labeled alternative in `HamelinParser.query`.
+     * @param ctx the parse tree
+     */
+    exitExpressionQuery?: (ctx: ExpressionQueryContext) => void;
     /**
      * Enter a parse tree produced by the `pipelineAlt`
      * labeled alternative in `HamelinParser.pipeline`.
@@ -2997,4 +2947,4 @@ type QuerySort = {
  */
 declare const getSorts: (hamelinQuery: string) => QuerySort[];
 
-export { AggCommandContext, AnyNumberContext, AppendCommandContext, ArrayLiteralContext, AssignmentClauseContext, AssignmentContext, AtLeastOneContext, BackQuotedIdentifierContext, BasicDoubleQuotedStringLiteralContext, BasicSingleQuotedStringLiteralContext, BinaryLiteralContext, BinaryOperatorContext, BooleanLiteralContext, CastContext, type Catalog, CatalogProvider, type Column, ColumnReferenceAltContext, ColumnReferenceContext, CommandContext, CommandEOFContext, type CompileResult, Compiler, type Completion, type CompletionItem, type CompletionItemKind, type Context, type ContextualCompletion, type ContextualResult, type ContextualTranslationError, type ContextualTranslationErrors, DecimalLiteralContext, DerefContext, DropCommandContext, ExactlyContext, ExplodeCommandContext, ExpressionContext, ExpressionEOFContext, ExpressionStatementContext, FromClauseContext, FromCommandContext, FunctionCallContext, type FunctionDescription, GroupClauseContext, HamelinLexer, HamelinListener, HamelinParser, type HamelinType, HamelinVisitor, HamelintypeContext, IdentifierContext, IdentifierEOFContext, IndexAccessContext, type InitInput, type InitOutput, IntegerLiteralContext, IntervalLiteralContext, JoinCommandContext, type LanguageArea, LetCommandContext, type Level, LimitCommandContext, MatchCommandContext, MatchDefineContext, NamedArgumentContext, NestCommandContext, NestedContext, NullLiteralContext, NumberContext, NumericLiteralContext, PairLiteralContext, ParameterizedTypeContext, ParenthesizedExpressionContext, ParseCommandContext, PatternContext, PipelineAltContext, PipelineContext, PositionalArgumentContext, QuantifiedContext, QuantifierContext, QueryContext, QueryEOFContext, type QuerySort, QueryStatementContext, RowsLiteralContext, ScientificLiteralContext, SelectCommandContext, SelectionContext, SimpleIdentifierContext, SimpleIdentifierEOFContext, SimpleTypeContext, SortCommandContext, SortExpressionContext, type Stage, StandaloneQueryContext, StatementContext, type StatementDatasetsResult, StatementEOFContext, StringContext, StringLiteralContext, StructLiteralContext, StructTypeContext, type SyncInitInput, TableAliasContext, TableReferenceContext, type Translation, type TranslationError, type TranslationErrors, TsTruncContext, TsTruncTimestampLiteralContext, TupleLiteralContext, TupleTypeContext, TypeWithArgumentsContext, UnaryPostfixOperatorContext, UnaryPrefixOperatorContext, UnboundRangeLiteralContext, UnicodeDoubleQuotedStringLiteralContext, UnicodeSingleQuotedStringLiteralContext, UnionCommandContext, UnnestCommandContext, UnquotedIdentifierContext, WhereCommandContext, WindowCommandContext, WithQueryContext, WithinCommandContext, ZeroOrOneContext, compileHamelin, createCompiler, getDatasetsFromQuery, getFunctionDescriptions, getLimits, getSorts, initSync, sampleCatalog };
+export { AggCommandContext, AnyNumberContext, AppendCommandContext, ArrayLiteralContext, AssignmentClauseContext, AssignmentContext, AtLeastOneContext, BackQuotedIdentifierContext, BasicDoubleQuotedStringLiteralContext, BasicSingleQuotedStringLiteralContext, BinaryLiteralContext, BinaryOperatorContext, BooleanLiteralContext, CastContext, type Catalog, CatalogProvider, type Column, ColumnReferenceAltContext, ColumnReferenceContext, CommandContext, CommandEOFContext, type CompileQueryResult, Compiler, type Completion, type CompletionItem, type CompletionItemKind, type Context, type ContextualCompletion, type ContextualResult, type ContextualTranslationError, type ContextualTranslationErrors, type DMLTranslation, DecimalLiteralContext, DerefContext, DropCommandContext, ExactlyContext, ExplodeCommandContext, ExpressionContext, ExpressionEOFContext, ExpressionQueryContext, FromClauseContext, FromCommandContext, FunctionCallContext, type FunctionDescription, GroupClauseContext, HamelinLexer, HamelinListener, HamelinParser, type HamelinType, HamelinVisitor, HamelintypeContext, IdentifierContext, IdentifierEOFContext, IndexAccessContext, type InitInput, type InitOutput, IntegerLiteralContext, IntervalLiteralContext, JoinCommandContext, type LanguageArea, LetCommandContext, type Level, LimitCommandContext, MatchCommandContext, MatchDefineContext, NamedArgumentContext, NestCommandContext, NestedContext, NullLiteralContext, NumberContext, NumericLiteralContext, PairLiteralContext, ParameterizedTypeContext, ParenthesizedExpressionContext, ParseCommandContext, PatternContext, PipelineAltContext, PipelineContext, PositionalArgumentContext, QuantifiedContext, QuantifierContext, QueryContext, type QueryDatasetsResult, QueryEOFContext, type QuerySort, type QueryTranslation, RowsLiteralContext, ScientificLiteralContext, SelectCommandContext, SelectionContext, SimpleIdentifierContext, SimpleIdentifierEOFContext, SimpleTypeContext, SortCommandContext, SortExpressionContext, type Stage, StandaloneQueryContext, type StatementTranslation, StringContext, StringLiteralContext, StructLiteralContext, StructTypeContext, type SyncInitInput, TableAliasContext, TableReferenceContext, type Translation, type TranslationError, type TranslationErrors, TsTruncContext, TsTruncTimestampLiteralContext, TupleLiteralContext, TupleTypeContext, TypeWithArgumentsContext, UnaryPostfixOperatorContext, UnaryPrefixOperatorContext, UnboundRangeLiteralContext, UnicodeDoubleQuotedStringLiteralContext, UnicodeSingleQuotedStringLiteralContext, UnionCommandContext, UnnestCommandContext, UnquotedIdentifierContext, WhereCommandContext, WindowCommandContext, WithQueryContext, WithinCommandContext, ZeroOrOneContext, compileHamelin, createCompiler, getDatasetsFromQuery, getFunctionDescriptions, getLimits, getSorts, initSync, sampleCatalog };