yacker: SPARQL validator

Validating against the SPARQL grammar. See

Input some text to test:

Productions:

[1]

Query

::=

Prologue ( SelectQuery | ConstructQuery | DescribeQuery | AskQuery )

[2]

Prologue

::=

(BaseDecl)? (PrefixDecl)*

[3]

BaseDecl

::=

"BASE" IRI_REF

[4]

PrefixDecl

::=

"PREFIX" PNAME_NS IRI_REF

[5]

SelectQuery

::=

"SELECT" (( "DISTINCT" | "REDUCED" ))? ( (Var)+ | "*" ) (DatasetClause)* WhereClause SolutionModifier

[6]

ConstructQuery

::=

"CONSTRUCT" ConstructTemplate (DatasetClause)* WhereClause SolutionModifier

[7]

DescribeQuery

::=

"DESCRIBE" ( (VarOrIRIref)+ | "*" ) (DatasetClause)* (WhereClause)? SolutionModifier

[8]

AskQuery

::=

"ASK" (DatasetClause)* WhereClause

[9]

DatasetClause

::=

"FROM" ( DefaultGraphClause | NamedGraphClause )

[10]

DefaultGraphClause

::=

SourceSelector

[11]

NamedGraphClause

::=

"NAMED" SourceSelector

[12]

SourceSelector

::=

IRIref

[13]

WhereClause

::=

("WHERE")? GroupGraphPattern

[14]

SolutionModifier

::=

(OrderClause)? (LimitOffsetClauses)?

[15]

LimitOffsetClauses

::=

( LimitClause (OffsetClause)? | OffsetClause (LimitClause)? )

[16]

OrderClause

::=

"ORDER" "BY" (OrderCondition)+

[17]

OrderCondition

::=

( ( "ASC" | "DESC" ) BrackettedExpression )

| ( Constraint | Var )

[18]

LimitClause

::=

"LIMIT" INTEGER

[19]

OffsetClause

::=

"OFFSET" INTEGER

[20]

GroupGraphPattern

::=

"{" (TriplesBlock)? (( ( GraphPatternNotTriples | Filter ) (".")? (TriplesBlock)? ))* "}"

[21]

TriplesBlock

::=

TriplesSameSubject (( "." (TriplesBlock)? ))?

[22]

GraphPatternNotTriples

::=

OptionalGraphPattern

| GroupOrUnionGraphPattern

| GraphGraphPattern

[23]

OptionalGraphPattern

::=

"OPTIONAL" GroupGraphPattern

[24]

GraphGraphPattern

::=

"GRAPH" VarOrIRIref GroupGraphPattern

[25]

GroupOrUnionGraphPattern

::=

GroupGraphPattern (( "UNION" GroupGraphPattern ))*

[26]

Filter

::=

"FILTER" Constraint

[27]

Constraint

::=

BrackettedExpression

| BuiltInCall

| FunctionCall

[28]

FunctionCall

::=

IRIref ArgList

[29]

ArgList

::=

( NIL | "(" Expression (( "," Expression ))* ")" )

[30]

ConstructTemplate

::=

"{" (ConstructTriples)? "}"

[31]

ConstructTriples

::=

TriplesSameSubject (( "." (ConstructTriples)? ))?

[32]

TriplesSameSubject

::=

VarOrTerm PropertyListNotEmpty

| TriplesNode PropertyList

[33]

PropertyListNotEmpty

::=

Verb ObjectList (( ";" (( Verb ObjectList ))? ))*

[34]

PropertyList

::=

(PropertyListNotEmpty)?

[35]

ObjectList

::=

Object (( "," Object ))*

[36]

Object

::=

GraphNode

[37]

Verb

::=

VarOrIRIref

| "a"

[38]

TriplesNode

::=

Collection

| BlankNodePropertyList

[39]

BlankNodePropertyList

::=

"[" PropertyListNotEmpty "]"

[40]

Collection

::=

"(" (GraphNode)+ ")"

[41]

GraphNode

::=

VarOrTerm

| TriplesNode

[42]

VarOrTerm

::=

Var

| GraphTerm

[43]

VarOrIRIref

::=

Var

| IRIref

[44]

Var

::=

VAR1

| VAR2

[45]

GraphTerm

::=

IRIref

| RDFLiteral

| NumericLiteral

| BooleanLiteral

| BlankNode

| NIL

[46]

Expression

::=

ConditionalOrExpression

[47]

ConditionalOrExpression

::=

ConditionalAndExpression (( "||" ConditionalAndExpression ))*

[48]

ConditionalAndExpression

::=

ValueLogical (( "&&" ValueLogical ))*

[49]

ValueLogical

::=

RelationalExpression

[50]

RelationalExpression

::=

NumericExpression (( "=" NumericExpression | "!=" NumericExpression | "<" NumericExpression | ">" NumericExpression | "<=" NumericExpression | ">=" NumericExpression ))?

[51]

NumericExpression

::=

AdditiveExpression

[52]

AdditiveExpression

::=

MultiplicativeExpression (( "+" MultiplicativeExpression | "-" MultiplicativeExpression | NumericLiteralPositive | NumericLiteralNegative ))*

[53]

MultiplicativeExpression

::=

UnaryExpression (( "*" UnaryExpression | "/" UnaryExpression ))*

[54]

UnaryExpression

::=

"!" PrimaryExpression

| "+" PrimaryExpression

| "-" PrimaryExpression

| PrimaryExpression

[55]

PrimaryExpression

::=

BrackettedExpression

| BuiltInCall

| IRIrefOrFunction

| RDFLiteral

| NumericLiteral

| BooleanLiteral

| Var

[56]

BrackettedExpression

::=

"(" Expression ")"

[57]

BuiltInCall

::=

"STR" "(" Expression ")"

| "LANG" "(" Expression ")"

| "LANGMATCHES" "(" Expression "," Expression ")"

| "DATATYPE" "(" Expression ")"

| "BOUND" "(" Var ")"

| "sameTerm" "(" Expression "," Expression ")"

| "isIRI" "(" Expression ")"

| "isURI" "(" Expression ")"

| "isBLANK" "(" Expression ")"

| "isLITERAL" "(" Expression ")"

| RegexExpression

[58]

RegexExpression

::=

"REGEX" "(" Expression "," Expression (( "," Expression ))? ")"

[59]

IRIrefOrFunction

::=

IRIref (ArgList)?

[60]

RDFLiteral

::=

String (( LANGTAG | ( "^^" IRIref ) ))?

[61]

NumericLiteral

::=

NumericLiteralUnsigned

| NumericLiteralPositive

| NumericLiteralNegative

[62]

NumericLiteralUnsigned

::=

INTEGER

| DECIMAL

| DOUBLE

[63]

NumericLiteralPositive

::=

INTEGER_POSITIVE

| DECIMAL_POSITIVE

| DOUBLE_POSITIVE

[64]

NumericLiteralNegative

::=

INTEGER_NEGATIVE

| DECIMAL_NEGATIVE

| DOUBLE_NEGATIVE

[65]

BooleanLiteral

::=

"true"

| "false"

[66]

String

::=

STRING_LITERAL1

| STRING_LITERAL2

| STRING_LITERAL_LONG1

| STRING_LITERAL_LONG2

[67]

IRIref

::=

IRI_REF

| PrefixedName

[68]

PrefixedName

::=

PNAME_LN

| PNAME_NS

[69]

BlankNode

::=

BLANK_NODE_LABEL

| ANON

[70]

<IRI_REF>

::=

"<" (( [^<>\"{}|^`\\] - [#0000- ] ))* ">"

[71]

<PNAME_NS>

::=

(PN_PREFIX)? ":"

[72]

<PNAME_LN>

::=

PNAME_NS PN_LOCAL

[73]

<BLANK_NODE_LABEL>

::=

"_:" PN_LOCAL

[74]

<VAR1>

::=

"?" VARNAME

[75]

<VAR2>

::=

"$" VARNAME

[76]

<LANGTAG>

::=

"@" ([a-zA-Z])+ (( "-" ([a-zA-Z0-9])+ ))*

[77]

<INTEGER>

::=

([0-9])+

[78]

<DECIMAL>

::=

([0-9])+ "." ([0-9])*

| "." ([0-9])+

[79]

<DOUBLE>

::=

([0-9])+ "." ([0-9])* EXPONENT

| "." (( [0-9] ))+ EXPONENT

| (( [0-9] ))+ EXPONENT

[80]

<INTEGER_POSITIVE>

::=

"+" INTEGER

[81]

<DECIMAL_POSITIVE>

::=

"+" DECIMAL

[82]

<DOUBLE_POSITIVE>

::=

"+" DOUBLE

[83]

<INTEGER_NEGATIVE>

::=

"-" INTEGER

[84]

<DECIMAL_NEGATIVE>

::=

"-" DECIMAL

[85]

<DOUBLE_NEGATIVE>

::=

"-" DOUBLE

[86]

<EXPONENT>

::=

[eE] ([+-])? ([0-9])+

[87]

<STRING_LITERAL1>

::=

"'" (( ( [^'\\\n\r] ) | ECHAR ))* "'"

[88]

<STRING_LITERAL2>

::=

'"' (( ( [^\"\\\n\r] ) | ECHAR ))* '"'

[89]

<STRING_LITERAL_LONG1>

::=

"'''" (( (( "'" | "''" ))? ( [^'\\] | ECHAR ) ))* "'''"

[90]

<STRING_LITERAL_LONG2>

::=

'"""' (( (( '"' | '""' ))? ( [^\"\\] | ECHAR ) ))* '"""'

[91]

<ECHAR>

::=

"\\" [tbnrf\\\"']

[92]

<NIL>

::=

"(" (WS)* ")"

[93]

<WS>

::=

" "

| "\t"

| "\r"

| "\n"

[94]

<ANON>

::=

"[" (WS)* "]"

[95]

<PN_CHARS_BASE>

::=

[A-Z]

| [a-z]

| [#00C0-#00D6]

| [#00D8-#00F6]

| [#00F8-#02FF]

| [#0370-#037D]

| [#037F-#1FFF]

| [#200C-#200D]

| [#2070-#218F]

| [#2C00-#2FEF]

| [#3001-#D7FF]

| [#F900-#FDCF]

| [#FDF0-#FFFD]

| [#10000-#EFFFF]

[96]

<PN_CHARS_U>

::=

PN_CHARS_BASE

| "_"

[97]

<VARNAME>

::=

( PN_CHARS_U | [0-9] ) (( PN_CHARS_U | [0-9] | #00B7 | [#0300-#036F] | [#203F-#2040] ))*

[98]

<PN_CHARS>

::=

PN_CHARS_U

| "-"

| [0-9]

| #00B7

| [#0300-#036F]

| [#203F-#2040]

[99]

<PN_PREFIX>

::=

PN_CHARS_BASE (( (( PN_CHARS | "." ))* PN_CHARS ))?

[100]

<PN_LOCAL>

::=

( PN_CHARS_U | [0-9] ) (( (( PN_CHARS | "." ))* PN_CHARS ))?

[101]

PASSED TOKENS

::=

([ \t\r\n])+

| "#" ([^\r\n])*

Eric Prud'hommeaux <eric+yacker@w3.org>
$Id: yacker,v 1.82 2008/04/12 04:10:11 eric Exp $
$Id: Presenter.pm,v 1.39 2007/12/21 09:35:46 eric Exp $