jena_arq_source

DOCUMENT START TOKENS // ------------------------------------------ // Tokens // Comments and whitespace <DEFAULT> SKIP : { " " | "\t" | "\n" | "\r" | "\f" } <DEFAULT> SPECIAL : { <SINGLE_LINE_COMMENT: "#" (~["\n","\r"])* ("\n" | "\r" | "\r\n")?> } <DEFAULT> TOKEN : { <#WS: " " | "\t" | "\n" | "\r" | "\f"> | <#WSC: <WS> | <SINGLE_LINE_COMMENT>> } // Main tokens */ <DEFAULT> TOKEN : { <IRIref: "<" (~[">","<","\"","{","}","^","\\","|","`","\u0000"-" "])* ">"> | <PNAME_NS: (<PN_PREFIX>)? ":"> | <PNAME_LN: <PNAME_NS> <PN_LOCAL>> | <BLANK_NODE_LABEL: "_:" <PN_LOCAL>> | <VAR1: "?" <VARNAME>> | <VAR2: "$" <VARNAME>> | <LANGTAG: <AT> (<A2Z>)+ ("-" (<A2ZN>)+)*> | <#A2Z: ["a"-"z","A"-"Z"]> | <#A2ZN: ["a"-"z","A"-"Z","0"-"9"]> } // ------------------------------------------------- // Keyworks : includes operators that are words and should be // before general things like IDENTIFIER which swallow almost // anything <DEFAULT> TOKEN : { <KW_A: "a"> } <DEFAULT> TOKEN [IGNORE_CASE] : { <BASE: "base"> | <PREFIX: "prefix"> | <SELECT: "select"> | <DISTINCT: "distinct"> | <REDUCED: "reduced"> | <DESCRIBE: "describe"> | <CONSTRUCT: "construct"> | <ASK: "ask"> | <LIMIT: "limit"> | <OFFSET: "offset"> | <ORDER: "order"> | <BY: "by"> | <BINDINGS: "bindings"> | <UNDEF: "undef"> | <ASC: "asc"> | <DESC: "desc"> | <NAMED: "named"> | <FROM: "from"> | <WHERE: "where"> | <AND: "and"> | <GRAPH: "graph"> | <OPTIONAL: "optional"> | <UNION: "union"> | <MINUS_P: "minus"> | <BIND: "bind"> | <SERVICE: "service"> | <EXISTS: "exists"> | <NOT: "not"> | <AS: "as"> | <GROUP: "group"> | <HAVING: "having"> | <SEPARATOR: "separator"> | <AGG: "agg"> | <COUNT: "count"> | <MIN: "min"> | <MAX: "max"> | <SUM: "sum"> | <AVG: "avg"> | <STDDEV: "stdev"> | <SAMPLE: "sample"> | <GROUP_CONCAT: "group_concat"> | <FILTER: "filter"> | <BOUND: "bound"> | <COALESCE: "coalesce"> | <IN: "in"> | <IF: "if"> | <BNODE: "bnode"> | <IRI: "iri"> | <URI: "uri"> | <STR: "str"> | <STRLANG: "strlang"> | <STRDT: "strdt"> | <DTYPE: "datatype"> | <LANG: "lang"> | <LANGMATCHES: "langmatches"> | <IS_URI: "isURI"> | <IS_IRI: "isIRI"> | <IS_BLANK: "isBlank"> | <IS_LITERAL: "isLiteral"> | <IS_NUMERIC: "isNumeric"> | <REGEX: "regex"> | <SAME_TERM: "sameTerm"> | <RAND: "RAND"> | <ABS: "ABS"> | <CEIL: "CEIL"> | <FLOOR: "FLOOR"> | <ROUND: "ROUND"> | <CONCAT: "CONCAT"> | <SUBSTR: "SUBSTR"> | <STRLEN: "STRLEN"> | <UCASE: "UCASE"> | <LCASE: "LCASE"> | <ENCODE_FOR_URI: "ENCODE_FOR_URI"> | <CONTAINS: "CONTAINS"> | <STRSTARTS: "strSTARTS"> | <STRENDS: "strENDS"> | <YEAR: "YEAR"> | <MONTH: "MONTH"> | <DAY: "DAY"> | <HOURS: "HOURS"> | <MINUTES: "MINUTES"> | <SECONDS: "SECONDS"> | <TIMEZONE: "TIMEZONE"> | <TZ: "TZ"> | <NOW: "NOW"> | <MD5: "MD5"> | <SHA1: "SHA1"> | <SHA224: "SHA224"> | <SHA256: "SHA256"> | <SHA384: "SHA384"> | <SHA512: "SHA512"> | <TRUE: "true"> | <FALSE: "false"> } // SPARQL/Update parts. <DEFAULT> TOKEN [IGNORE_CASE] : { <#DATA: "data"> | <INSERT: "insert"> | <DELETE: "delete"> | <INSERT_DATA: <INSERT> (<WSC>)* <DATA>> | <DELETE_DATA: <DELETE> (<WSC>)* <DATA>> | <DELETE_WHERE: <DELETE> (<WSC>)* <WHERE>> | <LOAD: "load"> | <CLEAR: "clear"> | <CREATE: "create"> | <ADD: "add"> | <MOVE: "move"> | <COPY: "copy"> | <META: "meta"> | <SILENT: "silent"> | <DROP: "drop"> | <INTO: "into"> | <TO: "to"> | <DFT: "default"> | <ALL: "all"> | <WITH: "with"> | <USING: "using"> } // ------------------------------------------------- <DEFAULT> TOKEN : { <#DIGITS: (["0"-"9"])+> | <INTEGER: <DIGITS>> | <DECIMAL: (<DIGITS>)? "." <DIGITS>> | <DOUBLE: (["0"-"9"])+ "." (["0"-"9"])* <EXPONENT> | "." (["0"-"9"])+ <EXPONENT> | (["0"-"9"])+ <EXPONENT>> | <INTEGER_POSITIVE: <PLUS> <INTEGER>> | <DECIMAL_POSITIVE: <PLUS> <DECIMAL>> | <DOUBLE_POSITIVE: <PLUS> <DOUBLE>> | <INTEGER_NEGATIVE: <MINUS> <INTEGER>> | <DECIMAL_NEGATIVE: <MINUS> <DECIMAL>> | <DOUBLE_NEGATIVE: <MINUS> <DOUBLE>> | <#EXPONENT: ["e","E"] (["+","-"])? (["0"-"9"])+> | <#QUOTE_3D: "\"\"\""> | <#QUOTE_3S: "\'\'\'"> | <ECHAR: "\\" ("t" | "b" | "n" | "r" | "f" | "\\" | "\"" | "\'")> | <STRING_LITERAL1: "\'" (~["\'","\\","\n","\r"] | <ECHAR>)* "\'"> | <STRING_LITERAL2: "\"" (~["\"","\\","\n","\r"] | <ECHAR>)* "\""> | <STRING_LITERAL_LONG1: <QUOTE_3S> (("\'" | "\'\'")? (~["\'","\\"] | <ECHAR>))* <QUOTE_3S>> | <STRING_LITERAL_LONG2: <QUOTE_3D> (("\"" | "\"\"")? (~["\"","\\"] | <ECHAR>))* <QUOTE_3D>> } <DEFAULT> TOKEN : { <LPAREN: "("> | <RPAREN: ")"> | <NIL: <LPAREN> (<WSC>)* <RPAREN>> | <LBRACE: "{"> | <RBRACE: "}"> | <LBRACKET: "["> | <RBRACKET: "]"> | <ANON: <LBRACKET> (<WSC>)* <RBRACKET>> | <SEMICOLON: ";"> | <COMMA: ","> | <DOT: "."> | <EQ: "="> | <NE: "!="> | <GT: ">"> | <LT: "<"> | <LE: "<="> | <GE: ">="> | <BANG: "!"> | <TILDE: "~"> | <COLON: ":"> | <SC_OR: "||"> | <SC_AND: "&&"> | <PLUS: "+"> | <MINUS: "-"> | <STAR: "*"> | <SLASH: "/"> | <DATATYPE: "^^"> | <AT: "@"> | <VBAR: "|"> | <CARAT: "^"> | <FPATH: "->"> | <RPATH: "<-"> | <QMARK: "?"> } // See XML chars.txt for notes <DEFAULT> TOKEN : { <#PN_CHARS_BASE: ["A"-"Z"] | ["a"-"z"] | ["\u00c0"-"\u00d6"] | ["\u00d8"-"\u00f6"] | ["\u00f8"-"\u02ff"] | ["\u0370"-"\u037d"] | ["\u037f"-"\u1fff"] | ["\u200c"-"\u200d"] | ["\u2070"-"\u218f"] | ["\u2c00"-"\u2fef"] | ["\u3001"-"\ud7ff"] | ["\uf900"-"\ufffd"]> | <#PN_CHARS_U: <PN_CHARS_BASE> | "_"> | <#PN_CHARS: <PN_CHARS_U> | "-" | ["0"-"9"] | "\u00b7" | ["\u0300"-"\u036f"] | ["\u203f"-"\u2040"]> | <#PN_PREFIX: <PN_CHARS_BASE> ((<PN_CHARS> | ".")* <PN_CHARS>)?> | <#PN_LOCAL: (<PN_CHARS_U> | ["0"-"9"]) ((<PN_CHARS> | ".")* <PN_CHARS>)?> | <#VARNAME: (<PN_CHARS_U> | ["0"-"9"]) (<PN_CHARS_U> | ["0"-"9"] | "\u00b7" | ["\u0300"-"\u036f"] | ["\u203f"-"\u2040"])*> } // Catch-all tokens. Must be last. // Any non-whitespace. Causes a parser exception, rather than a // token manager error (with hidden line numbers). // Only bad IRIs (e.g. spaces) now give unhelpful parse errors. <DEFAULT> TOKEN : { <#UNKNOWN: (~[" ","\t","\n","\r","\f"])+> } NON-TERMINALS // // Common top for single entry point. // void Top(): {} // { // ( Query() | Update() ) // <EOF> // } // Query only entry point QueryUnit := Query <EOF> Query := Prologue ( SelectQuery | ConstructQuery | DescribeQuery | AskQuery ) BindingsClause UpdateUnit := Update <EOF> Prologue := ( BaseDecl | PrefixDecl )* BaseDecl := <BASE> IRI_REF PrefixDecl := <PREFIX> <PNAME_NS> IRI_REF // ---- Query type clauses SelectQuery := SelectClause ( DatasetClause )* WhereClause SolutionModifier SubSelect := SelectClause WhereClause SolutionModifier SelectClause := <SELECT> ( <DISTINCT> | <REDUCED> )? ( ( Var | ( <LPAREN> Expression <AS> Var <RPAREN> ) )+ | <STAR> ) ConstructQuery := <CONSTRUCT> ( ConstructTemplate ( DatasetClause )* WhereClause SolutionModifier | ( DatasetClause )* <WHERE> <LBRACE> ( TriplesTemplate )? <RBRACE> SolutionModifier ) DescribeQuery := <DESCRIBE> ( ( VarOrIRIref )+ | <STAR> ) ( DatasetClause )* ( WhereClause )? SolutionModifier AskQuery := <ASK> ( DatasetClause )* WhereClause // ---- DatasetClause := <FROM> ( DefaultGraphClause | NamedGraphClause ) DefaultGraphClause := SourceSelector NamedGraphClause := <NAMED> SourceSelector SourceSelector := IRIref WhereClause := ( <WHERE> )? GroupGraphPattern SolutionModifier := ( GroupClause )? ( HavingClause )? ( OrderClause )? ( LimitOffsetClauses )? GroupClause := <GROUP> <BY> ( GroupCondition )+ GroupCondition := ( BuiltInCall | FunctionCall | <LPAREN> Expression ( <AS> Var )? <RPAREN> | Var ) HavingClause := <HAVING> ( HavingCondition )+ HavingCondition := Constraint OrderClause := <ORDER> <BY> ( OrderCondition )+ OrderCondition := ( ( ( <ASC> | <DESC> ) BrackettedExpression ) | ( Constraint | Var ) ) LimitOffsetClauses := ( LimitClause ( OffsetClause )? | OffsetClause ( LimitClause )? ) LimitClause := <LIMIT> <INTEGER> OffsetClause := <OFFSET> <INTEGER> BindingsClause := ( <BINDINGS> ( Var )* <LBRACE> ( <LPAREN> ( BindingValue )* <RPAREN> | <NIL> )* <RBRACE> )? BindingValue := IRIref | RDFLiteral | NumericLiteral | BooleanLiteral | <UNDEF> //