org.apache.jena.sparql.lang.SPARQLParserBase Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jena-arq Show documentation
Show all versions of jena-arq Show documentation
ARQ is a SPARQL 1.1 query engine for Apache Jena
/*
* Licensed to the Apache Software Foundation (ASF) under one
* or more contributor license agreements. See the NOTICE file
* distributed with this work for additional information
* regarding copyright ownership. The ASF licenses this file
* to you under the Apache License, Version 2.0 (the
* "License"); you may not use this file except in compliance
* with the License. You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.apache.jena.sparql.lang;
import java.util.* ;
import org.apache.jena.graph.Node ;
import org.apache.jena.query.Query ;
import org.apache.jena.query.QueryParseException ;
import org.apache.jena.sparql.ARQInternalErrorException ;
import org.apache.jena.sparql.core.Prologue ;
import org.apache.jena.sparql.core.Var ;
import org.apache.jena.sparql.engine.binding.Binding ;
import org.apache.jena.sparql.engine.binding.BindingFactory ;
import org.apache.jena.sparql.engine.binding.BindingMap ;
import org.apache.jena.sparql.modify.UpdateSink ;
import org.apache.jena.sparql.modify.request.* ;
import org.apache.jena.sparql.util.LabelToNodeMap ;
import org.apache.jena.update.Update ;
/** Class that has all the parse event operations and other query/update specific things */
public class SPARQLParserBase extends ParserBase
{
private Deque stack = new ArrayDeque<>() ;
protected Query query ;
protected SPARQLParserBase() {}
public void setQuery(Query q)
{
query = q ;
setPrologue(q) ;
}
public Query getQuery() { return query ; }
// The ARQ parser is both query and update languages.
// // ---- SPARQL/Update (Submission)
// private UpdateRequest requestSubmission = null ;
//
// protected UpdateRequest getUpdateRequestSubmission() { return requestSubmission ; }
// public void setUpdateRequest(UpdateRequest request)
// {
// setPrologue(request) ;
// this.requestSubmission = request ;
// // And create a query because we may have nested selects.
// this.query = new Query () ;
// }
private UpdateSink sink = null ;
// Places to push settings across points where we reset.
private boolean oldBNodesAreVariables ;
private boolean oldBNodesAreAllowed ;
// Count of subSelect nesting.
// Level 0 is top level.
// Level -1 is not in a pattern WHERE clause.
private int queryLevel = -1 ;
private Deque> stackPreviousLabels = new ArrayDeque<>() ;
private Deque stackCurrentLabels = new ArrayDeque<>() ;
// protected UpdateSink getUpdateSink() { return sink ; }
public void setUpdateSink(UpdateSink sink)
{
this.sink = sink ;
this.query = new Query() ;
setPrologue(sink.getPrologue()) ;
}
// Signal start/finish of units
protected void startQuery() {}
protected void finishQuery() {}
protected void startUpdateRequest() {}
protected void finishUpdateRequest() {}
// protected void startBasicGraphPattern()
// { activeLabelMap.clear() ; }
//
// protected void endBasicGraphPattern()
// { oldLabels.addAll(activeLabelMap.getLabels()) ; }
protected void startUpdateOperation() {}
protected void finishUpdateOperation() {}
protected void startModifyUpdate() { }
protected void finishModifyUpdate() { }
protected void startDataInsert(QuadDataAccSink qd, int line, int col)
{
oldBNodesAreVariables = getBNodesAreVariables() ;
setBNodesAreVariables(false) ;
activeLabelMap.clear() ;
}
protected void finishDataInsert(QuadDataAccSink qd, int line, int col)
{
previousLabels.addAll(activeLabelMap.getLabels()) ;
activeLabelMap.clear() ;
setBNodesAreVariables(oldBNodesAreVariables) ;
}
protected void startDataDelete(QuadDataAccSink qd,int line, int col)
{
oldBNodesAreAllowed = getBNodesAreAllowed() ;
setBNodesAreAllowed(false) ;
}
protected void finishDataDelete(QuadDataAccSink qd, int line, int col)
{
setBNodesAreAllowed(oldBNodesAreAllowed) ;
}
// These can be nested with subSELECTs but subSELECTs share bNodeLabel state.
protected void startWherePattern()
{
queryLevel += 1 ;
if ( queryLevel == 0 )
{
pushLabelState() ;
clearLabelState() ;
}
}
protected void finishWherePattern()
{
if ( queryLevel == 0 )
popLabelState() ;
queryLevel -= 1 ;
}
// This holds the accumulation of labels from earlier INSERT DATA
// across template creation (bNode in templates get cloned before
// going into the data).
protected void startInsertTemplate(QuadAcc qd, int line, int col)
{
oldBNodesAreVariables = getBNodesAreVariables() ;
setBNodesAreVariables(false) ;
pushLabelState() ;
}
protected void finishInsertTemplate(QuadAcc qd, int line, int col)
{
// Restore accumulated labels.
popLabelState() ;
// This also set the bnode syntax to node functionality - must be after popLabelState.
setBNodesAreVariables(oldBNodesAreVariables) ;
}
// No bNodes in delete templates.
protected void startDeleteTemplate(QuadAcc qd, int line, int col)
{
oldBNodesAreAllowed = getBNodesAreAllowed() ;
setBNodesAreAllowed(false) ;
}
protected void finishDeleteTemplate(QuadAcc qd, int line, int col)
{
setBNodesAreAllowed(oldBNodesAreAllowed) ;
}
protected void emitUpdate(Update update)
{
// The parser can send null if it already performed an INSERT_DATA or DELETE_DATA
if (null != update) {
// Verify each operation
verifyUpdate(update) ;
sink.send(update);
}
}
private static UpdateVisitor v = new UpdateVisitorBase() {
@Override
public void visit(UpdateModify mod) {
SyntaxVarScope.check(mod.getWherePattern()) ;
}
} ;
private void verifyUpdate(Update update) {
update.visit(v);
}
protected QuadDataAccSink createInsertDataSink()
{
return sink.createInsertDataSink();
}
protected QuadDataAccSink createDeleteDataSink()
{
return sink.createDeleteDataSink();
}
protected void pushQuery()
{
if ( query == null )
throw new ARQInternalErrorException("Parser query object is null") ;
stack.push(query) ;
}
protected void startSubSelect(int line, int col)
{
pushQuery();
query = newSubQuery(getPrologue()) ;
}
protected Query newSubQuery(Prologue progloue)
{
return new Query(getPrologue());
}
protected void popQuery()
{
query = stack.pop();
}
protected Query endSubSelect(int line, int column)
{
Query subQuery = query ;
if ( ! subQuery.isSelectType() )
throwParseException("Subquery not a SELECT query", line, column) ;
popQuery();
return subQuery ;
}
private List variables = null ;
private List values = null ;
private int currentColumn = -1 ;
protected void startValuesClause(int line, int col)
{
variables = new ArrayList<>() ;
values = new ArrayList<>() ;
}
protected void finishValuesClause(int line, int col)
{
getQuery().setValuesDataBlock(variables, values) ;
}
protected void startInlineData(List vars, List rows, int line, int col)
{
variables = vars ;
values = rows ;
}
protected void finishInlineData(int line, int col)
{}
private BindingMap currentValueRow() { return (BindingMap)values.get(values.size()-1) ; }
protected void emitDataBlockVariable(Var v) { variables.add(v) ; }
protected void startDataBlockValueRow(int line, int col)
{
values.add(BindingFactory.create()) ;
currentColumn = -1 ;
}
protected void emitDataBlockValue(Node n, int line, int col)
{
currentColumn++ ;
if ( currentColumn >= variables.size() )
// Exception will be thrown later when we have the complete row count.
return ;
Var v = variables.get(currentColumn) ;
if ( n != null )
currentValueRow().add(v, n) ;
}
protected void finishDataBlockValueRow(int line, int col)
{
//if ( variables.size() != currentValueRow().size() )
if ( currentColumn+1 != variables.size() )
{
String msg = String.format("Mismatch: %d variables but %d values",variables.size(), currentColumn+1) ;
msg = QueryParseException.formatMessage(msg, line, col) ;
throw new QueryParseException(msg, line , col) ;
}
}
private void pushLabelState()
{
// Hide used labels already tracked.
stackPreviousLabels.push(previousLabels) ;
stackCurrentLabels.push(activeLabelMap) ;
previousLabels = new HashSet<>() ;
activeLabelMap.clear() ;
}
private void popLabelState()
{
previousLabels = stackPreviousLabels.pop() ;
activeLabelMap = stackCurrentLabels.pop();
}
private void clearLabelState()
{
activeLabelMap.clear() ;
previousLabels.clear() ;
}
}