@traqula/rules-sparql-1-1 0.0.1-alpha.176 → 0.0.1

package/lib/Sparql11types.js.map

@@ -1 +1 @@
-{"version":3,"file":"Sparql11types.js","sourceRoot":"","sources":["Sparql11types.ts"],"names":[],"mappings":"","sourcesContent":["import type * as RDF from '@rdfjs/types';\nimport type { ParserRule, GeneratorRule } from '@traqula/core';\nimport type { BlankNode, DataFactory } from 'rdf-data-factory';\nimport type { CommonIRIs } from './grammar-helpers/utils';\nimport type { Wildcard } from './Wildcard';\n\n// Make sure there cannot be a DefaultGraph in subject and object position\ntype RdfJsTerm = Term | BaseQuadTerm;\nexport type BaseQuadTerm = RDF.BaseQuad & { subject: RdfJsTerm; predicate: RdfJsTerm; object: RdfJsTerm };\nexport type GraphTerm = IriTerm | BlankTerm | LiteralTerm;\nexport type Term = GraphTerm | VariableTerm;\nexport type VerbA = IriTerm<CommonIRIs.TYPE>;\n\nexport type Triple = {\n  subject: Term;\n  predicate: IriTerm | VariableTerm | PropertyPath;\n  object: Term;\n};\n\nexport interface IGraphNode {\n  node: ITriplesNode['node'] | Term;\n  triples: Triple[];\n}\n\nexport interface ITriplesNode {\n  node: IriTerm | BlankNode;\n  triples: Triple[];\n}\n\nexport type Pattern =\n  | BgpPattern\n  | BlockPattern\n  | FilterPattern\n  | BindPattern\n  | ValuesPattern\n  | Omit<SelectQuery, 'prefixes'>;\n\nexport type Expression =\n  | OperationExpression\n  | FunctionCallExpression\n  | AggregateExpression\n  // Used in `IN` operator\n  | Expression[]\n  | IriTerm\n  | VariableTerm\n  | LiteralTerm;\n\nexport interface FunctionCallExpression extends BaseExpression {\n  type: 'functionCall';\n  function: IriTerm;\n  args: Expression[];\n}\n\n/**\n * Basic Graph Pattern\n */\nexport interface BgpPattern {\n  type: 'bgp';\n  triples: Triple[];\n}\n\nexport interface GraphQuads {\n  type: 'graph';\n  name: IriTerm | VariableTerm;\n  triples: Triple[];\n}\n\nexport type VariableTerm = RDF.Variable;\nexport type IriTerm<IRI extends string = string> = RDF.NamedNode<IRI>;\nexport type LiteralTerm = RDF.Literal;\nexport type BlankTerm = RDF.BlankNode;\n\nexport type PropertyPath = NegatedPropertySet | {\n  type: 'path';\n  pathType: '|' | '/' | '^' | '+' | '*' | '?';\n  items: (IriTerm | PropertyPath)[];\n};\n\nexport type SparqlQuery = Query | Update | Pick<Update, 'base' | 'prefixes'>;\n\nexport type Query = SelectQuery | ConstructQuery | AskQuery | DescribeQuery;\n\nexport interface SelectQuery extends BaseQuery {\n  queryType: 'SELECT';\n  variables: Variable[] | [Wildcard];\n  distinct?: true | undefined;\n  reduced?: true | undefined;\n}\n\nexport interface Grouping {\n  expression: Expression;\n  variable?: VariableTerm;\n}\n\nexport interface Ordering {\n  expression: Expression;\n  descending?: true | undefined;\n}\n\nexport interface ConstructQuery extends BaseQuery {\n  queryType: 'CONSTRUCT';\n  template?: Triple[] | undefined;\n}\n\nexport interface AskQuery extends BaseQuery {\n  queryType: 'ASK';\n}\n\nexport interface DescribeQuery extends BaseQuery {\n  queryType: 'DESCRIBE';\n  variables: (VariableTerm | IriTerm)[] | [Wildcard];\n}\n\nexport interface Update {\n  type: 'update';\n  base?: string | undefined;\n  prefixes: Record<string, string>;\n  updates: UpdateOperation[];\n}\n\nexport type UpdateOperation = InsertDeleteOperation | ManagementOperation;\n\nexport type InsertDeleteOperation = InsertOperation | DeleteOperation | ModifyOperation | DeleteWhereOperation;\nexport interface InsertOperation {\n  updateType: 'insert';\n  insert: Quads[];\n}\nexport interface DeleteOperation {\n  updateType: 'delete';\n  delete: Quads[];\n}\nexport interface ModifyOperation {\n  updateType: 'insertdelete';\n  insert: Quads[];\n  delete: Quads[];\n  graph?: IriTerm;\n  using?: {\n    default: IriTerm[];\n    named: IriTerm[];\n  };\n  where: Pattern[];\n}\nexport interface DeleteWhereOperation {\n  updateType: 'deletewhere';\n  delete: Quads[];\n}\n\nexport type Quads = BgpPattern | GraphQuads;\n\nexport type ManagementOperation =\n  | CopyMoveAddOperation\n  | LoadOperation\n  | CreateOperation\n  | ClearDropOperation;\n\nexport interface CopyMoveAddOperation {\n  type: 'copy' | 'move' | 'add';\n  silent: boolean;\n  source: GraphOrDefault;\n  destination: GraphOrDefault;\n}\n\nexport interface LoadOperation {\n  type: 'load';\n  silent: boolean;\n  source: IriTerm;\n  destination?: IriTerm;\n}\n\nexport interface CreateOperation {\n  type: 'create';\n  silent: boolean;\n  graph: GraphOrDefault;\n}\n\nexport interface ClearDropOperation {\n  type: 'clear' | 'drop';\n  silent: boolean;\n  graph: GraphReference;\n}\n\nexport interface GraphOrDefault {\n  type?: 'graph';\n  name?: IriTerm | undefined;\n  default?: true | undefined;\n}\n\nexport interface GraphReference extends GraphOrDefault {\n  named?: true | undefined;\n  all?: true | undefined;\n}\n\n/**\n * Examples: '?var', '*',\n *   SELECT (?a as ?b) ... ==> { expression: '?a', variable: '?b' }\n */\nexport type Variable = VariableExpression | VariableTerm;\n\nexport interface VariableExpression {\n  expression: Expression;\n  variable: VariableTerm;\n}\n\nexport interface BaseQuery {\n  type: 'query';\n  base?: string | undefined;\n  prefixes: Record<string, string>;\n  from?:\n    | {\n      default: IriTerm[];\n      named: IriTerm[];\n    }\n    | undefined;\n  where?: Pattern[] | undefined;\n  values?: ValuePatternRow[] | undefined;\n  having?: Expression[] | undefined;\n  group?: Grouping[] | undefined;\n  order?: Ordering[] | undefined;\n  limit?: number | undefined;\n  offset?: number | undefined;\n}\n\nexport type IriTermOrElt = IriTerm | {\n  type: 'path';\n  pathType: '^';\n  items: [IriTerm];\n};\n\nexport interface NegatedPropertySet {\n  type: 'path';\n  pathType: '!';\n  items: [IriTermOrElt] | [{\n    type: 'path';\n    pathType: '|';\n    items: (IriTermOrElt)[];\n  }];\n}\n\nexport interface GroupPattern {\n  type: 'group';\n  patterns: Pattern[];\n}\n\nexport interface GraphPattern {\n  type: 'graph';\n  name: IriTerm | VariableTerm;\n  patterns: Pattern[];\n}\n\nexport interface MinusPattern {\n  type: 'minus';\n  patterns: Pattern[];\n}\n\nexport interface ServicePattern {\n  type: 'service';\n  name: IriTerm | VariableTerm;\n  silent: boolean;\n  patterns: Pattern[];\n}\n\nexport type BlockPattern =\n  | OptionalPattern\n  | UnionPattern\n  | GroupPattern\n  | GraphPattern\n  | MinusPattern\n  | ServicePattern;\n\nexport interface OptionalPattern {\n  type: 'optional';\n  patterns: Pattern[];\n}\n\nexport interface UnionPattern {\n  type: 'union';\n  patterns: Pattern[];\n}\n\nexport type ValuePatternRow = Record<string, IriTerm | BlankTerm | LiteralTerm | undefined>;\n\nexport interface FilterPattern {\n  type: 'filter';\n  expression: Expression;\n}\n\nexport interface BindPattern {\n  type: 'bind';\n  expression: Expression;\n  variable: VariableTerm;\n}\n\nexport interface ValuesPattern {\n  type: 'values';\n  values: ValuePatternRow[];\n}\n\nexport interface BaseExpression {\n  type: string;\n  distinct?: boolean | undefined;\n}\n\nexport interface OperationExpression extends BaseExpression {\n  type: 'operation';\n  operator: string;\n  // Can be a pattern in case of exists and not exists\n  args: (Expression)[] | [Pattern];\n}\n\nexport interface AggregateExpression extends BaseExpression {\n  type: 'aggregate';\n  expression: Expression | Wildcard;\n  aggregation: string;\n  separator?: string | undefined;\n}\n\nexport type SparqlRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = ParserRule<SparqlContext, NameType, ReturnType, ParamType>\n  & GeneratorRule<undefined, NameType, ReturnType, ParamType>;\n\nexport type SparqlGrammarRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = ParserRule<SparqlContext, NameType, ReturnType, ParamType>;\n\nexport interface SparqlContext {\n  /**\n   * Data-factory to be used when constructing rdf primitives.\n   */\n  dataFactory: DataFactory<BaseQuadTerm>;\n  /**\n   * Current scoped prefixes. Used for resolving prefixed names.\n   */\n  prefixes: Record<string, string>;\n  /**\n   * The base IRI for the query. Used for resolving relative IRIs.\n   */\n  baseIRI: string | undefined;\n  /**\n   * Can be used to disable the validation that used variables in a select clause are in scope.\n   */\n  skipValidation: boolean;\n  /**\n   * Set of queryModes. Primarily used for note 8, 14.\n   */\n  parseMode: Set<'canParseVars' | 'canCreateBlankNodes' | 'inAggregate' | 'canParseAggregate' | string>;\n}\n"]}
+{"version":3,"file":"Sparql11types.js","sourceRoot":"","sources":["Sparql11types.ts"],"names":[],"mappings":"","sourcesContent":["import type { GeneratorRule, ParserRule } from '@traqula/core';\nimport type { Factory } from './factory';\n\nexport type SparqlRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  GenInputType = ReturnType,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = SparqlGrammarRule<NameType, ReturnType, ParamType>\n  & SparqlGeneratorRule<NameType, GenInputType, ParamType>;\n\nexport type SparqlGeneratorRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = GeneratorRule<{ factory: Factory }, NameType, ReturnType, ParamType>;\n\nexport type SparqlGrammarRule<\n  /**\n   * Name of grammar rule, should be a strict subtype of string like 'myGrammarRule'.\n   */\n  NameType extends string = string,\n  /**\n   * Type that will be returned after a correct parse of this rule.\n   * This type will be the return type of calling SUBRULE with this grammar rule.\n   */\n  ReturnType = unknown,\n  /**\n   * Function arguments that can be given to convey the state of the current parse operation.\n   */\n  ParamType = undefined,\n> = ParserRule<SparqlContext, NameType, ReturnType, ParamType>;\n\nexport interface SparqlContext {\n  /**\n   * Data-factoryMixins to be used when constructing rdf primitives.\n   */\n  factory: Factory;\n  /**\n   * Current scoped prefixes. Used for resolving prefixed names.\n   */\n  prefixes: Record<string, string>;\n  /**\n   * The base IRI for the query. Used for resolving relative IRIs.\n   */\n  baseIRI: string | undefined;\n  /**\n   * Can be used to disable the validation that used variables in a select clause are in scope.\n   */\n  skipValidation: boolean;\n  /**\n   * Set of queryModes. Primarily used for note 8, 14.\n   */\n  parseMode: Set<'canParseVars' | 'canCreateBlankNodes' | 'inAggregate' | 'canParseAggregate' | string>;\n}\n"]}

package/lib/SparqlParser.d.ts

@@ -1,14 +1,23 @@
-import type { IriTerm, PropertyPath, SparqlContext } from './Sparql11types';
+import type { Path, TermIri } from './RoundTripTypes';
+import type { SparqlContext } from './Sparql11types';
 interface Parser<ParseRet> {
     queryOrUpdate: (input: string, context: SparqlContext, arg: undefined) => ParseRet;
-    path: (input: string, context: SparqlContext, arg: undefined) => IriTerm | PropertyPath;
+    path: (input: string, context: SparqlContext, arg: undefined) => TermIri | Path;
 }
+export declare function completeParseContext(context: Partial<SparqlContext & {
+    origSource: string;
+    offset?: number;
+}>): SparqlContext & {
+    origSource: string;
+    offset?: number;
+};
 export declare class SparqlParser<ParseRet> {
     private readonly parser;
     constructor(parser: Parser<ParseRet>);
+    private readonly F;
     parse(query: string, context?: Partial<SparqlContext>): ParseRet;
-    parsePath(query: string, context?: Partial<SparqlContext>): (PropertyPath & {
+    parsePath(query: string, context?: Partial<SparqlContext>): (Path & {
         prefixes: object;
-    }) | IriTerm;
+    }) | TermIri;
 }
 export {};

package/lib/SparqlParser.js

@@ -1,9 +1,11 @@
-import { DataFactory } from 'rdf-data-factory';
-function completeParseContext(context) {
+import { Factory } from './factory';
+export function completeParseContext(context) {
     return {
-        dataFactory: context.dataFactory ?? new DataFactory({ blankNodePrefix: 'g_' }),
+        factory: context.factory ?? new Factory(),
         baseIRI: context.baseIRI,
         prefixes: { ...context.prefixes },
+        origSource: context.origSource ?? '',
+        offset: context.offset,
         parseMode: context.parseMode ? new Set(context.parseMode) : new Set(['canParseVars', 'canCreateBlankNodes']),
         skipValidation: context.skipValidation ?? false,
     };
@@ -11,13 +13,14 @@ function completeParseContext(context) {
 export class SparqlParser {
     constructor(parser) {
         this.parser = parser;
+        this.F = new Factory();
     }
     parse(query, context = {}) {
         return this.parser.queryOrUpdate(query, completeParseContext(context), undefined);
     }
     parsePath(query, context = {}) {
         const result = this.parser.path(query, completeParseContext(context), undefined);
-        if ('type' in result) {
+        if (this.F.isPathPure(result)) {
             return {
                 ...result,
                 prefixes: {},

package/lib/SparqlParser.js.map

@@ -1 +1 @@
-{"version":3,"file":"SparqlParser.js","sourceRoot":"","sources":["SparqlParser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAQ/C,SAAS,oBAAoB,CAAC,OAA+B;IAC3D,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,IAAI,WAAW,CAAC,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QAC9E,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE;QACjC,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAE,cAAc,EAAE,qBAAqB,CAAE,CAAC;QAC9G,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;KAChD,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,YAAY;IACvB,YAAoC,MAAwB;QAAxB,WAAM,GAAN,MAAM,CAAkB;IAAG,CAAC;IAEzD,KAAK,CAAC,KAAa,EAAE,UAAkC,EAAE;QAC9D,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;IACpF,CAAC;IAEM,SAAS,CAAC,KAAa,EAAE,UAAkC,EAAE;QAElE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;QACjF,IAAI,MAAM,IAAI,MAAM,EAAE,CAAC;YACrB,OAAO;gBACL,GAAG,MAAM;gBACT,QAAQ,EAAE,EAAE;aACb,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF","sourcesContent":["import { DataFactory } from 'rdf-data-factory';\nimport type { IriTerm, PropertyPath, SparqlContext } from './Sparql11types';\n\ninterface Parser<ParseRet> {\n  queryOrUpdate: (input: string, context: SparqlContext, arg: undefined) => ParseRet;\n  path: (input: string, context: SparqlContext, arg: undefined) => IriTerm | PropertyPath;\n}\n\nfunction completeParseContext(context: Partial<SparqlContext>): SparqlContext {\n  return {\n    dataFactory: context.dataFactory ?? new DataFactory({ blankNodePrefix: 'g_' }),\n    baseIRI: context.baseIRI,\n    prefixes: { ...context.prefixes },\n    parseMode: context.parseMode ? new Set(context.parseMode) : new Set([ 'canParseVars', 'canCreateBlankNodes' ]),\n    skipValidation: context.skipValidation ?? false,\n  };\n}\n\nexport class SparqlParser<ParseRet> {\n  public constructor(private readonly parser: Parser<ParseRet>) {}\n\n  public parse(query: string, context: Partial<SparqlContext> = {}): ParseRet {\n    return this.parser.queryOrUpdate(query, completeParseContext(context), undefined);\n  }\n\n  public parsePath(query: string, context: Partial<SparqlContext> = {}):\n    (PropertyPath & { prefixes: object }) | IriTerm {\n    const result = this.parser.path(query, completeParseContext(context), undefined);\n    if ('type' in result) {\n      return {\n        ...result,\n        prefixes: {},\n      };\n    }\n    return result;\n  }\n}\n"]}
+{"version":3,"file":"SparqlParser.js","sourceRoot":"","sources":["SparqlParser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AASpC,MAAM,UAAU,oBAAoB,CAClC,OAAyE;IAEzE,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,IAAI,OAAO,EAAE;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,QAAQ,EAAE;QACjC,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;QACpC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAE,cAAc,EAAE,qBAAqB,CAAE,CAAC;QAC9G,cAAc,EAAE,OAAO,CAAC,cAAc,IAAI,KAAK;KAChD,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,YAAY;IACvB,YAAoC,MAAwB;QAAxB,WAAM,GAAN,MAAM,CAAkB;QAC3C,MAAC,GAAG,IAAI,OAAO,EAAE,CAAC;IAD4B,CAAC;IAGzD,KAAK,CAAC,KAAa,EAAE,UAAkC,EAAE;QAC9D,OAAO,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;IACpF,CAAC;IAEM,SAAS,CAAC,KAAa,EAAE,UAAkC,EAAE;QAElE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,oBAAoB,CAAC,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC;QACjF,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,OAAO;gBACL,GAAG,MAAM;gBACT,QAAQ,EAAE,EAAE;aACb,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF","sourcesContent":["import { Factory } from './factory';\nimport type { Path, TermIri } from './RoundTripTypes';\nimport type { SparqlContext } from './Sparql11types';\n\ninterface Parser<ParseRet> {\n  queryOrUpdate: (input: string, context: SparqlContext, arg: undefined) => ParseRet;\n  path: (input: string, context: SparqlContext, arg: undefined) => TermIri | Path;\n}\n\nexport function completeParseContext(\n  context: Partial<SparqlContext & { origSource: string; offset?: number }>,\n): SparqlContext & { origSource: string; offset?: number } {\n  return {\n    factory: context.factory ?? new Factory(),\n    baseIRI: context.baseIRI,\n    prefixes: { ...context.prefixes },\n    origSource: context.origSource ?? '',\n    offset: context.offset,\n    parseMode: context.parseMode ? new Set(context.parseMode) : new Set([ 'canParseVars', 'canCreateBlankNodes' ]),\n    skipValidation: context.skipValidation ?? false,\n  };\n}\n\nexport class SparqlParser<ParseRet> {\n  public constructor(private readonly parser: Parser<ParseRet>) {}\n  private readonly F = new Factory();\n\n  public parse(query: string, context: Partial<SparqlContext> = {}): ParseRet {\n    return this.parser.queryOrUpdate(query, completeParseContext(context), undefined);\n  }\n\n  public parsePath(query: string, context: Partial<SparqlContext> = {}):\n    (Path & { prefixes: object }) | TermIri {\n    const result = this.parser.path(query, completeParseContext(context), undefined);\n    if (this.F.isPathPure(result)) {\n      return {\n        ...result,\n        prefixes: {},\n      };\n    }\n    return result;\n  }\n}\n"]}

package/lib/expressionHelpers.d.ts

@@ -1,12 +1,10 @@
 import type { TokenType } from 'chevrotain';
-import type { Expression, OperationExpression, Pattern, SparqlGrammarRule, VariableTerm } from './Sparql11types';
-import { Wildcard } from './Wildcard';
-export interface IExpressionFunctionX<U extends Expression[] | [Pattern]> extends OperationExpression {
-    type: 'operation';
-    operator: string;
+import type { Expression, ExpressionAggregateDefault, ExpressionOperation, ExpressionPatternOperation, TermVariable } from './RoundTripTypes';
+import type { SparqlGrammarRule } from './Sparql11types';
+export type ExpressionFunctionX<U extends Expression[]> = ExpressionOperation & {
     args: U;
-}
-export type RuleDefExpressionFunctionX<T extends string, U extends Expression[] | [Pattern]> = SparqlGrammarRule<T, IExpressionFunctionX<U>>;
+};
+export type RuleDefExpressionFunctionX<T extends string, U extends Expression[]> = SparqlGrammarRule<T, ExpressionFunctionX<U>>;
 export declare function funcExpr1<T extends string>(func: TokenType & {
     name: T;
 }): RuleDefExpressionFunctionX<Uncapitalize<T>, [Expression]>;
@@ -18,7 +16,7 @@ export declare function funcExpr3<T extends string>(func: TokenType & {
 }): RuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression, Expression]>;
 export declare function funcVar1<T extends string>(func: TokenType & {
     name: T;
-}): RuleDefExpressionFunctionX<Uncapitalize<T>, [VariableTerm]>;
+}): RuleDefExpressionFunctionX<Uncapitalize<T>, [TermVariable]>;
 export declare function funcExprOrNil1<T extends string>(func: TokenType & {
     name: T;
 }): RuleDefExpressionFunctionX<Uncapitalize<T>, [] | [Expression]>;
@@ -40,17 +38,8 @@ export declare function funcExpr3or4<T extends string>(func: TokenType & {
 ] | [Expression, Expression, Expression, Expression]>;
 export declare function funcGroupGraphPattern<T extends string>(func: TokenType & {
     name: T;
-}): RuleDefExpressionFunctionX<Uncapitalize<T>, [
-    Pattern
-]>;
-export interface IExpressionAggregator {
-    type: 'aggregate';
-    distinct: boolean;
-    expression: Expression | Wildcard;
-    aggregation: string;
-    separator?: string;
-}
-export type RuleDefExpressionAggregatorX<T extends string> = SparqlGrammarRule<T, IExpressionAggregator>;
+}): SparqlGrammarRule<Uncapitalize<T>, ExpressionPatternOperation>;
+export type RuleDefExpressionAggregatorX<T extends string> = SparqlGrammarRule<T, ExpressionAggregateDefault>;
 export declare function baseAggregateFunc<T extends string>(func: TokenType & {
     name: T;
 }): RuleDefExpressionAggregatorX<Uncapitalize<T>>;

package/lib/expressionHelpers.js

@@ -1,51 +1,38 @@
 import { unCapitalize } from '@traqula/core';
+import { var_ } from './grammar';
 import { expression, expressionList } from './grammar/expression';
-import { var_ } from './grammar/general';
 import { groupGraphPattern } from './grammar/whereClause';
 import * as l from './lexer';
-import { deGroupSingle } from './utils';
-import { Wildcard } from './Wildcard';
-function formatOperator(operator) {
-    return operator.toLowerCase().replaceAll(' ', '');
-}
 export function funcExpr1(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ SUBRULE, CONSUME }) => () => {
+        impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const arg = SUBRULE(expression, undefined);
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: [arg],
-            };
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.expressionOperation(operator.image, [arg], C.factory.sourceLocation(operator, close)));
         },
     };
 }
 export function funcExpr2(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ SUBRULE1, SUBRULE2, CONSUME }) => () => {
+        impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2 }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const arg1 = SUBRULE1(expression, undefined);
             CONSUME(l.symbols.comma);
             const arg2 = SUBRULE2(expression, undefined);
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: [arg1, arg2],
-            };
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.expressionOperation(operator.image, [arg1, arg2], C.factory.sourceLocation(operator, close)));
         },
     };
 }
 export function funcExpr3(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ SUBRULE1, SUBRULE2, SUBRULE3, CONSUME, CONSUME1, CONSUME2 }) => () => {
+        impl: ({ ACTION, CONSUME, CONSUME1, CONSUME2, SUBRULE1, SUBRULE2, SUBRULE3 }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const arg1 = SUBRULE1(expression, undefined);
@@ -53,92 +40,67 @@ export function funcExpr3(func) {
             const arg2 = SUBRULE2(expression, undefined);
             CONSUME2(l.symbols.comma);
             const arg3 = SUBRULE3(expression, undefined);
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: [arg1, arg2, arg3],
-            };
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.expressionOperation(operator.image, [arg1, arg2, arg3], C.factory.sourceLocation(operator, close)));
         },
     };
 }
 export function funcVar1(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ SUBRULE, CONSUME }) => () => {
+        impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const arg = SUBRULE(var_, undefined);
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: [arg],
-            };
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.expressionOperation(operator.image, [arg], C.factory.sourceLocation(operator, close)));
         },
     };
 }
 export function funcExprOrNil1(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ CONSUME, OR, SUBRULE }) => () => {
+        impl: ({ ACTION, CONSUME, OR, SUBRULE }) => (C) => {
             const operator = CONSUME(func);
-            const args = OR([
-                {
-                    ALT: () => {
+            return OR([
+                { ALT: () => {
                         CONSUME(l.symbols.LParen);
                         const arg = SUBRULE(expression, undefined);
-                        CONSUME(l.symbols.RParen);
-                        return [arg];
-                    },
-                },
-                {
-                    ALT: () => {
-                        CONSUME(l.terminals.nil);
-                        return [];
-                    },
-                },
+                        const close = CONSUME(l.symbols.RParen);
+                        return ACTION(() => C.factory.expressionOperation(operator.image, [arg], C.factory.sourceLocation(operator, close)));
+                    } },
+                { ALT: () => {
+                        const nil = CONSUME(l.terminals.nil);
+                        return ACTION(() => C.factory.expressionOperation(operator.image, [], C.factory.sourceLocation(operator, nil)));
+                    } },
             ]);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args,
-            };
         },
     };
 }
 export function funcNil1(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ CONSUME }) => () => {
+        impl: ({ ACTION, CONSUME }) => (C) => {
             const operator = CONSUME(func);
-            CONSUME(l.terminals.nil);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: [],
-            };
+            const nil = CONSUME(l.terminals.nil);
+            return ACTION(() => C.factory.expressionOperation(operator.image, [], C.factory.sourceLocation(operator, nil)));
         },
     };
 }
 export function funcExprList1(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ CONSUME, SUBRULE }) => () => {
+        impl: ({ ACTION, CONSUME, SUBRULE }) => (C) => {
             const operator = CONSUME(func);
             const args = SUBRULE(expressionList, undefined);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args,
-            };
+            return ACTION(() => C.factory.expressionOperation(operator.image, args.val, C.factory.sourceLocation(operator, args)));
         },
     };
 }
 export function funcExpr2or3(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, CONSUME1, OPTION, CONSUME2 }) => () => {
+        impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, CONSUME1, OPTION, CONSUME2 }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const arg1 = SUBRULE1(expression, undefined);
@@ -148,19 +110,15 @@ export function funcExpr2or3(func) {
                 CONSUME2(l.symbols.comma);
                 return SUBRULE3(expression, undefined);
             });
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: arg3 ? [arg1, arg2, arg3] : [arg1, arg2],
-            };
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.expressionOperation(operator.image, arg3 ? [arg1, arg2, arg3] : [arg1, arg2], C.factory.sourceLocation(operator, close)));
         },
     };
 }
 export function funcExpr3or4(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, CONSUME1, OPTION, CONSUME2, SUBRULE4, CONSUME3 }) => () => {
+        impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, SUBRULE4, CONSUME1, OPTION, CONSUME2, CONSUME3, }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const arg1 = SUBRULE1(expression, undefined);
@@ -172,52 +130,31 @@ export function funcExpr3or4(func) {
                 CONSUME3(l.symbols.comma);
                 return SUBRULE4(expression, undefined);
             });
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: arg4 ? [arg1, arg2, arg3, arg4] : [arg1, arg2, arg3],
-            };
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.expressionOperation(operator.image, arg4 ? [arg1, arg2, arg3, arg4] : [arg1, arg2, arg3], C.factory.sourceLocation(operator, close)));
         },
     };
 }
 export function funcGroupGraphPattern(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ ACTION, SUBRULE, CONSUME }) => () => {
+        impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {
             const operator = CONSUME(func);
             const group = SUBRULE(groupGraphPattern, undefined);
-            return ACTION(() => ({
-                type: 'operation',
-                operator: formatOperator(operator.image),
-                args: [deGroupSingle(group)],
-            }));
+            return ACTION(() => C.factory.expressionPatternOperation(operator.image, group, C.factory.sourceLocation(operator, group)));
         },
     };
 }
 export function baseAggregateFunc(func) {
     return {
         name: unCapitalize(func.name),
-        impl: ({ CONSUME, SUBRULE, OPTION, OR }) => () => {
+        impl: ({ ACTION, CONSUME, SUBRULE, OPTION }) => (C) => {
             const operator = CONSUME(func);
             CONSUME(l.symbols.LParen);
             const distinct = OPTION(() => CONSUME(l.distinct));
-            const expressionVal = OR([
-                {
-                    ALT: () => {
-                        CONSUME(l.symbols.star);
-                        return new Wildcard();
-                    },
-                },
-                { ALT: () => SUBRULE(expression, undefined) },
-            ]);
-            CONSUME(l.symbols.RParen);
-            return {
-                type: 'aggregate',
-                aggregation: operator.image.toLowerCase(),
-                expression: expressionVal,
-                distinct: Boolean(distinct),
-            };
+            const expr1 = SUBRULE(expression, undefined);
+            const close = CONSUME(l.symbols.RParen);
+            return ACTION(() => C.factory.aggregate(operator.image, distinct !== undefined, expr1, undefined, C.factory.sourceLocation(operator, close)));
         },
     };
 }

package/lib/expressionHelpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"expressionHelpers.js","sourceRoot":"","sources":["expressionHelpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,CAAC,MAAM,SAAS,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAWtC,SAAS,cAAc,CAAC,QAAgB;IACtC,OAAO,QAAQ,CAAC,WAAW,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,MAAM,UAAU,SAAS,CAAmB,IAA6B;IAEvE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC3C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,CAAE,GAAG,CAAE;aACd,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAmB,IAA6B;IAEvE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,CAAE,IAAI,EAAE,IAAI,CAAE;aACrB,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAmB,IAA6B;IAEvE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC5E,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE;aAC3B,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAmB,IAA6B;IAEtE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,CAAE,GAAG,CAAE;aACd,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAmB,IAA6B;IAE5E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,EAAE,CAAoB;gBACjC;oBACE,GAAG,EAAE,GAAG,EAAE;wBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;wBAC3C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAC1B,OAAO,CAAE,GAAG,CAAE,CAAC;oBACjB,CAAC;iBACF;gBACD;oBACE,GAAG,EAAE,GAAG,EAAE;wBACR,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;wBACzB,OAAO,EAAE,CAAC;oBACZ,CAAC;iBACF;aACF,CAAC,CAAC;YACH,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI;aACL,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAmB,IAA6B;IAEtE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC1B,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACzB,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,EAAE;aACT,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAmB,IAA6B;IAE3E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI;aACL,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAmB,IAA6B;IAE1E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACpF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE;gBACvB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1B,OAAO,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE,CAAC,CAAC,CAAC,CAAE,IAAI,EAAE,IAAI,CAAE;aACnD,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAmB,IAA6B;IAK1E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YACxG,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE;gBACvB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1B,OAAO,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE,CAAC,CAAC,CAAC,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE;aAC/D,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAmB,IAA6B;IAKnF,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;gBACnB,IAAI,EAAE,WAAW;gBACjB,QAAQ,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACxC,IAAI,EAAE,CAAE,aAAa,CAAC,KAAK,CAAC,CAAE;aAC/B,CAAC,CAAC,CAAC;QACN,CAAC;KACF,CAAC;AACJ,CAAC;AAYD,MAAM,UAAU,iBAAiB,CAAmB,IAA6B;IAE/E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE;YAC/C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACnD,MAAM,aAAa,GAAG,EAAE,CAAwB;gBAC9C;oBACE,GAAG,EAAE,GAAG,EAAE;wBACR,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;wBACxB,OAAO,IAAI,QAAQ,EAAE,CAAC;oBACxB,CAAC;iBACF;gBACD,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE;aAC9C,CAAC,CAAC;YACH,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,OAAO;gBACL,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE;gBACzC,UAAU,EAAE,aAAa;gBACzB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;aAC5B,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["import { unCapitalize } from '@traqula/core';\nimport type { TokenType } from 'chevrotain';\nimport { expression, expressionList } from './grammar/expression';\nimport { var_ } from './grammar/general';\nimport { groupGraphPattern } from './grammar/whereClause';\nimport * as l from './lexer';\nimport type { Expression, OperationExpression, Pattern, SparqlGrammarRule, VariableTerm } from './Sparql11types';\nimport { deGroupSingle } from './utils';\nimport { Wildcard } from './Wildcard';\n\nexport interface IExpressionFunctionX<U extends Expression[] | [Pattern]> extends OperationExpression {\n  type: 'operation';\n  operator: string;\n  args: U;\n}\n\nexport type RuleDefExpressionFunctionX<T extends string, U extends Expression[] | [Pattern]>\n  = SparqlGrammarRule<T, IExpressionFunctionX<U>>;\n\nfunction formatOperator(operator: string): string {\n  return operator.toLowerCase().replaceAll(' ', '');\n}\n\nexport function funcExpr1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ SUBRULE, CONSUME }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg = SUBRULE(expression, undefined);\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: [ arg ],\n      };\n    },\n  };\n}\n\nexport function funcExpr2<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ SUBRULE1, SUBRULE2, CONSUME }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg1 = SUBRULE1(expression, undefined);\n      CONSUME(l.symbols.comma);\n      const arg2 = SUBRULE2(expression, undefined);\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: [ arg1, arg2 ],\n      };\n    },\n  };\n}\n\nexport function funcExpr3<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression, Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ SUBRULE1, SUBRULE2, SUBRULE3, CONSUME, CONSUME1, CONSUME2 }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg1 = SUBRULE1(expression, undefined);\n      CONSUME1(l.symbols.comma);\n      const arg2 = SUBRULE2(expression, undefined);\n      CONSUME2(l.symbols.comma);\n      const arg3 = SUBRULE3(expression, undefined);\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: [ arg1, arg2, arg3 ],\n      };\n    },\n  };\n}\n\nexport function funcVar1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [VariableTerm]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ SUBRULE, CONSUME }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg = SUBRULE(var_, undefined);\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: [ arg ],\n      };\n    },\n  };\n}\n\nexport function funcExprOrNil1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [] | [Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ CONSUME, OR, SUBRULE }) => () => {\n      const operator = CONSUME(func);\n      const args = OR<[] | [Expression]>([\n        {\n          ALT: () => {\n            CONSUME(l.symbols.LParen);\n            const arg = SUBRULE(expression, undefined);\n            CONSUME(l.symbols.RParen);\n            return [ arg ];\n          },\n        },\n        {\n          ALT: () => {\n            CONSUME(l.terminals.nil);\n            return [];\n          },\n        },\n      ]);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args,\n      };\n    },\n  };\n}\n\nexport function funcNil1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, []> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ CONSUME }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.terminals.nil);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: [],\n      };\n    },\n  };\n}\n\nexport function funcExprList1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, Expression[]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ CONSUME, SUBRULE }) => () => {\n      const operator = CONSUME(func);\n      const args = SUBRULE(expressionList, undefined);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args,\n      };\n    },\n  };\n}\n\nexport function funcExpr2or3<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression] | [Expression, Expression, Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, CONSUME1, OPTION, CONSUME2 }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg1 = SUBRULE1(expression, undefined);\n      CONSUME1(l.symbols.comma);\n      const arg2 = SUBRULE2(expression, undefined);\n      const arg3 = OPTION(() => {\n        CONSUME2(l.symbols.comma);\n        return SUBRULE3(expression, undefined);\n      });\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: arg3 ? [ arg1, arg2, arg3 ] : [ arg1, arg2 ],\n      };\n    },\n  };\n}\n\nexport function funcExpr3or4<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<\n  Uncapitalize<T>,\n    [Expression, Expression, Expression] | [Expression, Expression, Expression, Expression]\n> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, CONSUME1, OPTION, CONSUME2, SUBRULE4, CONSUME3 }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg1 = SUBRULE1(expression, undefined);\n      CONSUME1(l.symbols.comma);\n      const arg2 = SUBRULE2(expression, undefined);\n      CONSUME2(l.symbols.comma);\n      const arg3 = SUBRULE3(expression, undefined);\n      const arg4 = OPTION(() => {\n        CONSUME3(l.symbols.comma);\n        return SUBRULE4(expression, undefined);\n      });\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: arg4 ? [ arg1, arg2, arg3, arg4 ] : [ arg1, arg2, arg3 ],\n      };\n    },\n  };\n}\n\nexport function funcGroupGraphPattern<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<\n  Uncapitalize<T>,\n  [ Pattern ]\n> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, SUBRULE, CONSUME }) => () => {\n      const operator = CONSUME(func);\n      const group = SUBRULE(groupGraphPattern, undefined);\n      return ACTION(() => ({\n        type: 'operation',\n        operator: formatOperator(operator.image),\n        args: [ deGroupSingle(group) ],\n      }));\n    },\n  };\n}\n\nexport interface IExpressionAggregator {\n  type: 'aggregate';\n  distinct: boolean;\n  expression: Expression | Wildcard;\n  aggregation: string;\n  separator?: string;\n}\n\nexport type RuleDefExpressionAggregatorX<T extends string> = SparqlGrammarRule<T, IExpressionAggregator>;\n\nexport function baseAggregateFunc<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionAggregatorX<Uncapitalize<T>> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ CONSUME, SUBRULE, OPTION, OR }) => () => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const distinct = OPTION(() => CONSUME(l.distinct));\n      const expressionVal = OR<Expression | Wildcard>([\n        {\n          ALT: () => {\n            CONSUME(l.symbols.star);\n            return new Wildcard();\n          },\n        },\n        { ALT: () => SUBRULE(expression, undefined) },\n      ]);\n      CONSUME(l.symbols.RParen);\n      return {\n        type: 'aggregate',\n        aggregation: operator.image.toLowerCase(),\n        expression: expressionVal,\n        distinct: Boolean(distinct),\n      };\n    },\n  };\n}\n"]}
+{"version":3,"file":"expressionHelpers.js","sourceRoot":"","sources":["expressionHelpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,CAAC,MAAM,SAAS,CAAC;AAiB7B,MAAM,UAAU,SAAS,CAAmB,IAA6B;IAEvE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAE,GAAG,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACvG,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAmB,IAA6B;IAEvE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YACvD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAE,IAAI,EAAE,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9G,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAmB,IAA6B;IAEvE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YACrF,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAExC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAmB,IAA6B;IAEtE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAE,GAAG,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACvG,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAmB,IAA6B;IAE5E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,EAAE,CAAyC;gBAChD,EAAE,GAAG,EAAE,GAAG,EAAE;wBACV,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;wBAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;wBACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAE,GAAG,CAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;oBACvG,CAAC,EAAE;gBACH,EAAE,GAAG,EAAE,GAAG,EAAE;wBACV,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;wBACrC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;oBAChG,CAAC,EAAE;aACJ,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,QAAQ,CAAmB,IAA6B;IAEtE,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACrC,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChG,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAmB,IAA6B;IAE3E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;YAChD,OAAO,MAAM,CAAC,GAAG,EAAE,CACjB,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACvG,CAAC;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAmB,IAA6B;IAE1E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CACtF,CAAC,CAAC,EAAE,EAAE;YACJ,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE;gBACvB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1B,OAAO,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAC/C,QAAQ,CAAC,KAAK,EACd,IAAI,CAAC,CAAC,CAAS,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE,CAAC,CAAC,CAAS,CAAE,IAAI,EAAE,IAAI,CAAE,EAC5D,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAC1C,CAAC,CAAC;QACL,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAmB,IAA6B;IAK1E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EACL,MAAM,EACN,OAAO,EACP,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,QAAQ,GACT,EAAE,EAAE,CACH,CAAC,CAAC,EAAE,EAAE;YACJ,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE;gBACvB,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC1B,OAAO,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAC/C,QAAQ,CAAC,KAAK,EACd,IAAI,CAAC,CAAC,CAAS,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE,CAAC,CAAC,CAAS,CAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAE,EACxE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAC1C,CAAC,CAAC;QACL,CAAC;KACJ,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAmB,IAA6B;IAEnF,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,iBAAiB,EAAE,SAAS,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,0BAA0B,CACtD,QAAQ,CAAC,KAAK,EACd,KAAK,EACL,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAC1C,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,iBAAiB,CAAmB,IAA6B;IAE/E,OAAO;QACL,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;YACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACnD,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAExC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CACrC,QAAQ,CAAC,KAAK,EACd,QAAQ,KAAK,SAAS,EACtB,KAAK,EACL,SAAS,EACT,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,CAC1C,CAAC,CAAC;QACL,CAAC;KACF,CAAC;AACJ,CAAC","sourcesContent":["import { unCapitalize } from '@traqula/core';\nimport type { TokenType } from 'chevrotain';\nimport { var_ } from './grammar';\nimport { expression, expressionList } from './grammar/expression';\nimport { groupGraphPattern } from './grammar/whereClause';\nimport * as l from './lexer';\nimport type {\n  Expression,\n  ExpressionAggregateDefault,\n  ExpressionOperation,\n  ExpressionPatternOperation,\n  TermVariable,\n} from './RoundTripTypes';\nimport type { SparqlGrammarRule } from './Sparql11types';\n\nexport type ExpressionFunctionX<U extends Expression[]> = ExpressionOperation & {\n  args: U;\n};\n\nexport type RuleDefExpressionFunctionX<T extends string, U extends Expression[]>\n  = SparqlGrammarRule<T, ExpressionFunctionX<U>>;\n\nexport function funcExpr1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg = SUBRULE(expression, undefined);\n      const close = CONSUME(l.symbols.RParen);\n      return ACTION(() =>\n        C.factory.expressionOperation(operator.image, [ arg ], C.factory.sourceLocation(operator, close)));\n    },\n  };\n}\n\nexport function funcExpr2<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2 }) => (C) => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg1 = SUBRULE1(expression, undefined);\n      CONSUME(l.symbols.comma);\n      const arg2 = SUBRULE2(expression, undefined);\n      const close = CONSUME(l.symbols.RParen);\n      return ACTION(() =>\n        C.factory.expressionOperation(operator.image, [ arg1, arg2 ], C.factory.sourceLocation(operator, close)));\n    },\n  };\n}\n\nexport function funcExpr3<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression, Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME, CONSUME1, CONSUME2, SUBRULE1, SUBRULE2, SUBRULE3 }) => (C) => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg1 = SUBRULE1(expression, undefined);\n      CONSUME1(l.symbols.comma);\n      const arg2 = SUBRULE2(expression, undefined);\n      CONSUME2(l.symbols.comma);\n      const arg3 = SUBRULE3(expression, undefined);\n      const close = CONSUME(l.symbols.RParen);\n\n      return ACTION(() =>\n        C.factory.expressionOperation(operator.image, [ arg1, arg2, arg3 ], C.factory.sourceLocation(operator, close)));\n    },\n  };\n}\n\nexport function funcVar1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [TermVariable]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const arg = SUBRULE(var_, undefined);\n      const close = CONSUME(l.symbols.RParen);\n      return ACTION(() =>\n        C.factory.expressionOperation(operator.image, [ arg ], C.factory.sourceLocation(operator, close)));\n    },\n  };\n}\n\nexport function funcExprOrNil1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [] | [Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME, OR, SUBRULE }) => (C) => {\n      const operator = CONSUME(func);\n      return OR<ExpressionFunctionX<[] | [Expression]>>([\n        { ALT: () => {\n          CONSUME(l.symbols.LParen);\n          const arg = SUBRULE(expression, undefined);\n          const close = CONSUME(l.symbols.RParen);\n          return ACTION(() =>\n            C.factory.expressionOperation(operator.image, [ arg ], C.factory.sourceLocation(operator, close)));\n        } },\n        { ALT: () => {\n          const nil = CONSUME(l.terminals.nil);\n          return ACTION(() =>\n            C.factory.expressionOperation(operator.image, [], C.factory.sourceLocation(operator, nil)));\n        } },\n      ]);\n    },\n  };\n}\n\nexport function funcNil1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, []> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME }) => (C) => {\n      const operator = CONSUME(func);\n      const nil = CONSUME(l.terminals.nil);\n      return ACTION(() =>\n        C.factory.expressionOperation(operator.image, [], C.factory.sourceLocation(operator, nil)));\n    },\n  };\n}\n\nexport function funcExprList1<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, Expression[]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME, SUBRULE }) => (C) => {\n      const operator = CONSUME(func);\n      const args = SUBRULE(expressionList, undefined);\n      return ACTION(() =>\n        C.factory.expressionOperation(operator.image, args.val, C.factory.sourceLocation(operator, args)));\n    },\n  };\n}\n\nexport function funcExpr2or3<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<Uncapitalize<T>, [Expression, Expression] | [Expression, Expression, Expression]> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME, SUBRULE1, SUBRULE2, SUBRULE3, CONSUME1, OPTION, CONSUME2 }) =>\n      (C) => {\n        const operator = CONSUME(func);\n        CONSUME(l.symbols.LParen);\n        const arg1 = SUBRULE1(expression, undefined);\n        CONSUME1(l.symbols.comma);\n        const arg2 = SUBRULE2(expression, undefined);\n        const arg3 = OPTION(() => {\n          CONSUME2(l.symbols.comma);\n          return SUBRULE3(expression, undefined);\n        });\n        const close = CONSUME(l.symbols.RParen);\n        return ACTION(() => C.factory.expressionOperation(\n          operator.image,\n          arg3 ? <const> [ arg1, arg2, arg3 ] : <const> [ arg1, arg2 ],\n          C.factory.sourceLocation(operator, close),\n        ));\n      },\n  };\n}\n\nexport function funcExpr3or4<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionFunctionX<\n  Uncapitalize<T>,\n    [Expression, Expression, Expression] | [Expression, Expression, Expression, Expression]\n> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({\n      ACTION,\n      CONSUME,\n      SUBRULE1,\n      SUBRULE2,\n      SUBRULE3,\n      SUBRULE4,\n      CONSUME1,\n      OPTION,\n      CONSUME2,\n      CONSUME3,\n    }) =>\n      (C) => {\n        const operator = CONSUME(func);\n        CONSUME(l.symbols.LParen);\n        const arg1 = SUBRULE1(expression, undefined);\n        CONSUME1(l.symbols.comma);\n        const arg2 = SUBRULE2(expression, undefined);\n        CONSUME2(l.symbols.comma);\n        const arg3 = SUBRULE3(expression, undefined);\n        const arg4 = OPTION(() => {\n          CONSUME3(l.symbols.comma);\n          return SUBRULE4(expression, undefined);\n        });\n        const close = CONSUME(l.symbols.RParen);\n        return ACTION(() => C.factory.expressionOperation(\n          operator.image,\n          arg4 ? <const> [ arg1, arg2, arg3, arg4 ] : <const> [ arg1, arg2, arg3 ],\n          C.factory.sourceLocation(operator, close),\n        ));\n      },\n  };\n}\n\nexport function funcGroupGraphPattern<T extends string>(func: TokenType & { name: T }):\nSparqlGrammarRule<Uncapitalize<T>, ExpressionPatternOperation> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, SUBRULE, CONSUME }) => (C) => {\n      const operator = CONSUME(func);\n      const group = SUBRULE(groupGraphPattern, undefined);\n      return ACTION(() => C.factory.expressionPatternOperation(\n        operator.image,\n        group,\n        C.factory.sourceLocation(operator, group),\n      ));\n    },\n  };\n}\n\nexport type RuleDefExpressionAggregatorX<T extends string> = SparqlGrammarRule<T, ExpressionAggregateDefault>;\n\nexport function baseAggregateFunc<T extends string>(func: TokenType & { name: T }):\nRuleDefExpressionAggregatorX<Uncapitalize<T>> {\n  return {\n    name: unCapitalize(func.name),\n    impl: ({ ACTION, CONSUME, SUBRULE, OPTION }) => (C) => {\n      const operator = CONSUME(func);\n      CONSUME(l.symbols.LParen);\n      const distinct = OPTION(() => CONSUME(l.distinct));\n      const expr1 = SUBRULE(expression, undefined);\n      const close = CONSUME(l.symbols.RParen);\n\n      return ACTION(() => C.factory.aggregate(\n        operator.image,\n        distinct !== undefined,\n        expr1,\n        undefined,\n        C.factory.sourceLocation(operator, close),\n      ));\n    },\n  };\n}\n"]}